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
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}} ...
Salve, ho difficoltà a capire il seguente concetto:
Non riesco a capire come rappresentare il sottospazio vettoriale di $R^2 $formato dalle rette passanti per l'origine, e quale è una possibile base. Ora, $R^2 = {(x,y) : x, y in R}$.
Una base è (0,1),(1,0). Combinando gli elementi della base è possibile ottenere un qualunque elemento di R^2.
La rappresentazione canonica di una retta è per l'origine è y = mx, dunque sia S il sottospazio formato da tali rette, allora sarebbe ...
Ciao, sapreste dirmi se la mia è una soluzione?
Definizione:
\(\displaystyle \prod_{n=1}^{m}{a_n} = (a_1* … *a_{m-1})a_m
\)
Esercizio:
\(\displaystyle \prod_{n=1}^{m}{a_n} * \prod_{v=1}^{h}{a_{m+v}} = \prod_{v=1}^{m+h}{a_v} \)
Soluzione:
Se $h = 1$ abbiamo che è vera per la definizione
Se $h = k$ dico vera per ipotesi
Se $h = k+1$ scrivo:
\(\displaystyle \prod_{n=1}^{m}{a_n} * \prod_{v=1}^{h}{a_{m+v}} = \prod_{n=1}^{m}{a_n} * (a_{m+1}* … *a_{m+k})a_{m+k+1} ...
Buongiorno a tutti, avrei bisogno di un aiuto per risolvere una congruenza.
Siano \(\displaystyle p \), \(\displaystyle q \), primi distinti dispari. Allora \(\displaystyle \left( \mathbb{Z}/pq\mathbb{Z} \right)^* \) non è ciclico.
So che \(\displaystyle |( \mathbb{Z}/pq\mathbb{Z})^* | = \varphi(pq) = \varphi(p) \varphi(q) = (p-1)(q-1) \) e devo mostrare che \(\displaystyle \forall x \in \mathbb{Z} \ \ x^{\frac{(p-1)(q-1)}{2}} \equiv 1 \pmod{pq} \).
Come posso risolverla?
Ho provato a ...
Come costruire un campo di spezzamento di un polinomio generico , che abbia come dimensione $n!$?
Sia $ p^n(x)$ un polinomio di grado $n$ irriducibile in $Q$ insieme dei razionali, e siano ${x_1,x_2,...x_n}$ l'insieme delle radici, essendo il polinomio $p^n(x)$ irriducibile, quozientando avremo il campo $Q[x]$ $/$ $p^n(x)~~Q[x_i]$ con $x_i$ una qualsiasi radice del polinomio, $p^n(x)$, ...
Ciao,
cerco un aiuto per una dimostrazione di cui non riesco bene ad afferrare la logica sottostante per giungere alla prova.
Devo dimostrare che:
Dato Ax=b sistema lienare con v' sua soluzione. Tutte e sole le soluzioni v del sistema sono della forma v=v+w con w soluzione del sistema omogeneo associato.
DIM:
=>)[nota]il dubbio su
Vorrei un aiuto per risolvere questo esercizio:
Dimostrare che $4x^4+44x^2y^2+4y^4+4x^2+8xy+8y^2$ non è un quadrato del campo finito $\mathbb{F}_q$ con $q=3^h$ elementi, $h$ dispari, per ogni $(x,y) \in \mathbb{F}_q^2 \setminus \{(0,0)\}$.
Buongiorno, non capisco una parte della soluzione del seguente esercizio che ho provato a svolgere.
Siano \(\displaystyle (G, +) \) e \(\displaystyle (G', +) \) due gruppi abeliani, \(\displaystyle H < G \), \(\displaystyle H' < G' \) e \(\displaystyle \mathrm{Hom}(G, G') = \{f : G \rightarrow G' \ | \ f \text{ omomorfismo}\} \) con \(\displaystyle (f + g)(x) = f(x) + g(x) \ \forall x \in G \).
Determinare se \(\displaystyle B = \{f \in \mathrm{Hom}(G, G') \ | \ \mathrm{Ker}(f) \supseteq H\} \) ...
12365439^987345316 congruo ad a modulo 122, come si ricava la a?
Sia $p^n(x)=a_0+a_1x+a_2x^2+....+a_nx^n$ il polinomio irriducibile in $Q$ di grado $n$,sia $x_1$ una radice, dividendo per il fattore lineare $(x-x_1)$ si ottiene il polinomio $p^(n-1)(x)=b_0+b_1x+b_2x^2+...+b_(n-1)x^(n-1)$, i cui coefficienti apparterranno al campo $Q(x_1)$ ora volendo iterare il procedimento partendo dall'estensione $Q(x_1)$ , dovrebbe essere il polinomio
$p^(n-1)$ irriducibile su tale estensione, in modo che quozientando ottengo ancora un campo , ...
Determinare il coprodotto in Grp.
Io ho pensato cosi: Siano $A$ e $B$ due gruppi, come coprodotto prendo il gruppo $Q={s_1s_2...s_n| ninNN$ e $s_iinAuuB$ con $i=1,...,n}$, come omomorfismo $t_A:A->Q$ ho preso $t_A(a)=a$ (analogamente per $t_B:B->Q$ ho preso $t_B(b)=b$} e come omomorfismo $ι_Q:Q->Z$ (con $Z$ gruppo tale che esistono due omomorfismi $f_A:A->Z$ e $f_B:B->Z$) ho preso ...
Buongiorno, vorrei chiedere alcune delucidazioni su alcune domande che mi sorgono su un esercizio mentale semplice che mi sono posto.
Vorrei tradurre in logca la frase "chiamo 'pippo' tutti e soli i punti (quindi coppia n,m) che rispettano la legge $r=na+mb$ con $n,m in ZZ$"
Tutti e soli mi verrebbe da dire che è traducibile come:
pippo (Per ogni $n,m in ZZ$ esiste r t.c $r=na+mb$) ∧ (per ogni r esistono $n,m in ZZ$ t.c $r=na+mb$)
analizziamo ...
Assegnata la permutazione
α := (1 2 3 4 5 6 7 8 9 10)
(3 6 5 10 7 4 9 8 1 2)∈ S10,
determinare le orbite di α, la sua decomposizione in cicli disgiunti
e la decomposizione in cicli disgiunti della sua inversa α^−1. Infine,
determinare i generatori ciclici del gruppo ciclico G := ⟨α?66610⟩ ∩ A10.
La mia incertezza riguarda l'ultima domanda.
Accedi a tutti gli appunti
Tutor AI: studia meglio e in meno tempo