Algebra, logica, teoria dei numeri e matematica discreta
Discussioni su Algebra astratta, Logica Matematica, Teoria dei Numeri, Matematica Discreta, Teoria dei Codici, Algebra degli insiemi finiti, Crittografia.
Domande e risposte
Ordina per
In evidenza
Buongiorno,
ho trovato che per ogni trasposizione $(i, j)$ con $i < j$ si ha \(\displaystyle \text{inv}((i, j)) = 2(j - i - 1) + 1 \).
Non capisco come va letta: $(i, j)$ è un'inversione di $\sigma \in S_n$ se $1 \leq i < j \leq n$ e $\sigma(i) > \sigma(j)$. Il numero \(\displaystyle \text{inv}((i, j)) \) di inversioni di $(i, j) \in S_n$ con $i < j$ non dovrebbe essere $0$ se $\sigma(i)<\sigma(j)$ o $1$ se $\sigma(i)>\sigma(j)$?
Potreste per ...
Sia $F$ un campo , ed $p(x)$ un polinomio irriducibile di grado $n$ a coefficienti in $F$, ha senso domandarsi quale sia il numero minimo di radici da aggiungere al campo base $F$ affinché si raggiunga il campo di spezzamento $E$ di tale polinomio? Esiste una correlazione tra tale numero ed il grado dell'estensione $E//F$?
Ad esempio se il polinomio ha grado $n=2$ sarà sufficiente aggiungere ...
Buongiorno, non so se è la sezione giusta, nel caso spostate.
Sto provando a verificare che $forall x , y \ in RR$ in particolare $yne0$ allora si ha $ |frac{x}{y}|=frac{|x|}{|y|}$.
Se $x ge 0$ e $y>0$ allora $frac{x}{y} ge 0 to |frac{x}{y}|=frac{x}{y}=frac{|x|}{|y|}$
Se $x ge 0$ e $y<0$ allora $frac{x}{y} le 0 to |frac{x}{y}|=-frac{x}{y}=???$
Qual'è il significato di $-frac{x}{y}$, questo $frac{-x}{y}$ oppure $frac{x}{-y}$?
Mi sono dato una mezza risposta, cioè se considero un numero reale ...
Salve,
per sapere se $x^2-x+3 \in \mathbb{F}_7[x]$ è irriducibile, devo provare tutte le possibili radici o esistono dei metodi più veloci? Questo è soltanto un passaggio di un esercizio e, se risparmio tempo e trovo qualcosa di più pratico, è meglio .
Buongiorno,
ho un dubbio sulla risoluzione di questo esercizio: probabilmente sto sbagliando qualcosa perché altrimenti diventa banale.
Sia $G$ un gruppo abeliano. Sia $\sigma : G \rightarrow G$ un omomorfismo con $\sigma^2=\text{Id}_G$.
[...] (Prima parte risolta)
Dimostrare che $H={h \in G | \sigma(h)=h} \leq G$.
La cosa che non mi convince è che usando $\sigma(h) = h$ e $\sigma^2=\text{Id}_G$ dovrei ottenere $\forall h \in H$
$\sigma(\sigma(h)) = \sigma(h)$ perché $\sigma(h) = h$
$\sigma(h) = h$ per lo stesso ...
Sera,
sto studiando algerba lineare, e purtroppo non ho una infarinatura di algebra di base in quanto nel cdl ingegneristico non viene fatta quindi avrei una lacuna.
Il professore ha posto come prorpietà di uno spazio vettoriale che (assumendo il prodotto per scalare): $(-1)*x=-x$ ossia è dimostrabile che l'opposto di un x vettore che esiste sicuramente per definizione di spazio vettoriale si può rendere come -1 per il vettore x.
Ho cercato di capire autonomamente meglio da cosa ...
Dalla soluzione di un esercizio mi sembra di aver capito che se un gruppo $G$ (nel mio caso di ordine $p(p-1)$) ha un sottogruppo ciclico $H$ di ordine un multiplo di $p-1$ allora esiste un sottogruppo ciclico $K \leq G$ di ordine $p-1$. E' corretto? Esiste qualche teorema a proposito?
Se $X$ e $Y$ sono due insiemi, indichiamo con $Y^X$ l’insieme delle funzioni da $X$ a $Y$ .
Siano $X,Y,T$ tre insiemi. Si costruisca una bigezione tra l’insieme $Y^(XxxT)$ e l’insieme $(Y^X)^T$.
Ho definito la seguente funzione $h: Y^(XxxT)->(Y^X)^T$ definita come $h(f)=g$ tale che $f(-,t)=g(t)$ $AAtinT$.
1) $h$ è iniettiva, infatti siano $f_1,f_2inY^(XxxT)$ tale che ...
Buongiorno, penso che non stia considerando qualche caso, perché altrimenti questo esercizio sarebbe banale.
"Sia G un gruppo e sia $f:G \rarr G$ un omomorfismo tale $f \circ f = f$. Dimostrare che $\text{ker}(f) \cap \text{Im}(f)=\{e\}$."
Se $f \circ f = f$, significa che $\forall x \in G \ \ f(f(x))=f(x)$, ma allora $f(x) = x \ \ \forall x \in G$. Quindi $\text{ker}(f) = \{e\}$ e $\text{Im}(f) = G$.
Mi potreste aiutare per favore a capire l'errore e dare un esempio in cui non è così?
Ho questa dimostrazione:
che io ho interpretato così:
$(1)$ le successioni $A_1A_2....$ sono le successioni di $0$ e $1$ associate a una funzione caratteristica di uno specifico sottoinsieme. di $A$.
Per esempio, se considero $ A=NN$ al sottoinsieme ${0}$ è associata la successione
$A_0=100000...$
al sottoinsieme ...
Buongiorno,
non capisco il seguente passaggio di un esercizio.
Abbiamo \(\displaystyle X = \{1, 2, ..., 100\} \) e dobbiamo calcolare la cardinalità di \(\displaystyle B = \{f: X \to X \ \ |\ \ f^2(x) = 1 \ \ \forall x \in X\} \). Avevo cercato di risolverlo con le congruenze, ma la soluzione che propone è completamente diversa.
"Sia \(\displaystyle f \in B \) e sia \(\displaystyle Y = f^{-1}(1) \), allora \(\displaystyle Y \) è non vuoto perché \(\displaystyle 1 \in f(X) \). Inoltre ...
Mi sarebbe d'aiuto qualche idea per risolvere il seguente esercizio: "quali sono gli elementi di ordine massimo in \(\displaystyle (\mathbb{Z}/13\mathbb{Z})^* \)? E in \(\displaystyle (\mathbb{Z}/20\mathbb{Z})^* \)?"
Sapere che l'ordine di un elemento divide $varphi(13)=12$ non mi sembra di aiuto, dal momento che chiede quali elementi hanno ordine massimo. Provarli uno a uno mi sembra un esercizio molto lungo e meccanico e mi sembra strano che sia così.
Mi era venuta questa curiosità. Se definiamo un'operazione $\sum(i < x)$ che rappresenta la concatenazione in ordine di grandezza degli ordinali $i$ minori di $x$.
Mi chiedevo gli ordinali che soddisfano questa proprietà...
$A)$ $x = \sum(i < x)$
si riesce ad afferrare occhio e croce come dovrebbero essere fatti?
Soddisfano qualche altra proprietà particolare oltre a questa che li caratterizzi meglio?
Tutti gli ordinali che scattano in base alla ...
Lemma: sia $S$ un insieme qualsiasi, sia $\le$ una relazione d'ordine parziale sull'insieme $S$ e siano $a,b \in S$ due elementi non confrontabili tramite la relazione $\le$ (cioè tali che non valga nè $a \le b$ nè $b \le a$). Allora la relazione d'ordine parziale $\le$ si può estendere ad una relazione d'ordine parziale $\le'$ tale che $a \le' b$.
Teorema: sia $S$ un insieme ...
Si possono esprimere tutti i numeri naturali come polinomi di secondo grado?
"Elencare tutti i sottogruppi ciclici di ordine 9 del gruppo simmetrico $ S_6$"
Ho un dubbio su questo esercizio riguardo all'esistenza dei sottogruppi ciclici di ordine 9 di $S_6$:
Se ci fosse un sottogruppo ciclico $H$ di ordine 9 allora dovrebbe esistere una permutazione $\sigma \in S_6$ di ordine
9.
Sappiamo che pensando $\sigma$ come composizione di cicli disgiunti $\sigma = \gamma_1* gamma_2 * ... * \gamma_r $allora $\sigma^k = \gamma_1^k* gamma_2^k * ... * \gamma_r^k = 1 $ se e solo se $\gamma_i^k =1$ per ...
Salve a tutti, avrei bisogno di un aiuto nel comprendere che cosa chiede il seguente esercizio.
"Sia \(\displaystyle n \) un intero positivo, sia \(\displaystyle p \) un numero primo e, per un numero reale \(\displaystyle x \) sia \(\displaystyle \lfloor x \rfloor \) la parte intera di \(\displaystyle x \), ossia il massimo intero \(\displaystyle m \) tale che \(\displaystyle m \leq x \). Dimostrare che
\(\displaystyle \sum_{h=0}^\infty \left \lfloor \frac{n}{p^h} \right \rfloor \)
è l'esatta ...
Buongiorno,
Dal fatto che \(\displaystyle \mathbb{Z}/mn\mathbb{Z} \cong \mathbb{Z}/m\mathbb{Z} \times \mathbb{Z}/n\mathbb{Z} \) come si fa a ricavare che \(\displaystyle \mathbb{Z}/6\mathbb{Z} \times \mathbb{Z}/20\mathbb{Z} \cong (\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/4\mathbb{Z}) \times \mathbb{Z}/3\mathbb{Z} \times \mathbb{Z}/5\mathbb{Z} \)?
Se fosse stato \(\displaystyle \mathbb{Z}/3\mathbb{Z} \times \mathbb{Z}/10\mathbb{Z} \) l'avrei scomposto in \(\displaystyle \mathbb{Z}/2\mathbb{Z} ...
Potreste postarmi alcuni esempi di polinomi irriducibili a coefficienti in $Q$ campo dei razionali, il cui grado del campo di spezzamento è minore di $n!$, grazie!
Ciao a tutti, sono bloccato alla fine del seguente esercizio:
"Al variare di \(\displaystyle a \in \mathbb{Z} \), determinare i valori interi di \(\displaystyle x \) per cui \(\displaystyle \frac{1}{3}x^3-\frac{8}{21}ax^2+\frac{3}{7}x+\frac{1}{7}a \) è un numero intero."
Sono arrivato al seguente sistema
\begin{cases} x^3 + ax^2 \equiv 0{\pmod{3}}\\
-ax^2+2x+3a \equiv 0{\pmod{7}}\end{cases}
Per la prima equazione si trova \(\displaystyle x \equiv 0{\pmod{3}} \lor x \equiv -a{\pmod{3}} ...
Accedi a tutti gli appunti
Tutor AI: studia meglio e in meno tempo