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
In evidenza
Più recenti
Più popolari
Con risposta
Con miglior risposta
Senza risposta
SaraC1234
Mi trovo in difficoltà con un esercizio , Questo mi chiede di mostrare che il gruppo $G$ con ordine = $p^2*q^2$ con $p<q$ é non semplice e inoltre so già che l’ordine deve essere diverso da $36$. Da questa ultima osservazione posso dedurre che $p$ deve essere diverso da $2$ e $q$ deve essere diverso da $3$ . Ho provato a eseguirlo ponendo $p$ =$5$ e ...
3
20 nov 2017, 10:41

SaraC1234
Devo dimostrare che il gruppo G tale che $o(G)=992$ non é semplice. Io utilizzo i teoremi di Sylow quindi fattorizzo l’ordine di G per cui $o(G)=(2^5)*31$. Considero $n_31$ il numero dei sottogruppi di sylow di ordine 31 e $n_31$= 1 oppure 31 Allo stesso modo considero $n_2$ il numero dei sttogruppi di sylow di ordine 32 e $n_2$= 1 oppure 32 Se considero $n_31$= 32 trovo 32*30 = 960 elementi Per $n_2$ = 1 trovo ...
3
19 nov 2017, 14:11

0105
Ho alcune domande teoriche e alcuni esercizi di cui non ho riscontro per la validità, mi scuso per la lunghezza del post ma, per gran parte è solo una conferma immediata. 1) Quali dei seguenti isomorfismi di categorie sono veri: (a) Rel e Rel^(op) SI basta considerare la funzione (a,b) → (b,a) (b) Sets e Sets^op SI per ogni f:A→B esiste una g:B→A mi basta invertire le freccie per avere tutti i casi (c) dato X il poset P(X) e P(X)^(op) NO in generale le frecce inverse sono "vuote" 2) ...
10
16 nov 2017, 12:04

manuelb93
Buonasera, chiedo gentilmente una mano riguardo il seguente esercizio: Sia $f(x)=x^4+3*x^2+2$ in $mathbb(Q)[x]$: (1) Si dica, giustificando la risposta, se l'anello quoziente $A=(mathbb(Q)[x])/(f(x))$ è un campo. (2) Si dica se $x+(f(x))$ è un elemento invertibile di A e, in caso affermativo, se ne determini l'inverso. (3) Si determinino tutti gli ideali di $mathbb(Q)[x]$ che contengono l'ideale $(f(x))$. Grazie in anticipo a chi risponderà
10
13 nov 2017, 19:07

manuelb93
Buonasera. Chiedo gentilmente aiuto riguardo il seguente esercizio: 1)Determinare esplicitamente (indicando come operano sugli elementi del domino) tutti gli omomorfismi dal gruppo $mathbb(Z//6Z)$ al gruppo $S_3$, il cui nucleo abbia ordine 3. Ho ragionato così: Il nucleo dell'omomorfismo f è un sottogruppo normale di $mathbb(Z//6Z)$. L'unico sottogruppo normale di ordine 3 di $mathbb(Z//6z)$ è ${0, 2, 4}$, dove 0, 2, 4 sono le classi $[0], [2], [4]$. Quindi so che ...
7
18 nov 2017, 19:50

ludovica.sarandrea
"Dimostrare che ogni dominio finito e' un campo" Io ho ragionato in questo modo. Per far si che un gruppo finito sia un campo devo vedere che ogni elemento preso e' invertibile. Prendo $a∈R$, con R che e' il mio dominio, devo dimostrare che esiste $b∈R$ tale che $ab=1$ Io so che R e' un dominio finito quindi che ogni elemento ha ordine finito. Suppongo che n sia l'ordine di a e m quello di b quindi prendendo il prodotto $nm$. ...
3
17 nov 2017, 16:03

ludovica.sarandrea
Buonasera, ho il seguente esercizio: "Scrivere le presentazioni dei seguenti gruppi: $ZZ_20 ZZ_20* D_20 V_4 A_4$ Io ho fatto in questo modo: $ZZ_20$ e' ciclico per cui ha un solo generatore che chiamo a e la presentazione e' $<a:a^20=e>$ $ZZ_20$* ha 8 elementi, ed e' isomorfo a $ZZ_2xZZ_4$ quindi prendo due generatori a,b e la presentazione e' $<a,b:a^2, b^4, ab=ba>$ per $D_20$ ho i generatori che sono R e S e la presentazione e' $<R,S: R^20=e, S^2=e, SR=SR^19>$ $V_4$ e' ...
9
15 nov 2017, 16:02

ludovica.sarandrea
"Sia R un anello commutativo e siano $I,J⊂R$ due ideali coprimi, vale a dire $I+J=R$. Dimostrare che per ogni $m≥1$ si ha che $I^m+J^m=R$." Io ho pensato di sfruttare il fatto che se due ideali sono coprimi allora per ogni $i,j∈R$ $i+j=1$ quindi questa cosa dovrebbe valere anche per $I^m$ e $J^m$ ma non so come proseguire
5
17 nov 2017, 17:58

Cantor99
Salve, ho due dubbi sul teorema di Zermelo, che asserisce che in ogni insieme non vuoto esiste una relazione di buon ordine. 1) In base al teorema, in R e in Q esistono relazioni di buon ordine. E quali sarebbero? 2) Tali relazioni sono uniche? In N, per esempio, ce n'è un'altra oltre quella usuale $<=$?
2
17 nov 2017, 11:13

SaraC1234
Determinare tutti gli omomorfismi da $Z$/$12Z$ $->$ $Z$ / $7Z$. Devo considerare i sottogruppi di Z/12Z e successivamente uguagliarli al nucleo dell’applicazione ? Ho un solo esercizio svolto di questa tipologia e non lo capisco
12
16 nov 2017, 10:07

liberatorimatteo
Devo svolgere questo esercizio bello lungo... Sia $R$ l’anello $mathbb(Z)<em>$ degli interi di Gauss. (a) Dimostrare che ogni ideale non nullo di $R$ contiene un intero positivo. (b) Dimostrare che ogni ideale non nullo di $R$ ha indice finito. (c) Dedurre che gli ideali primi non nulli di $R$ sono massimali. (Sugg: Dimostrare che ogni dominio finito è un campo) (d) Dimostrare che $ R^(\ast) = {±1, ±i} $ (e) Dimostrare che ...
6
15 nov 2017, 16:44

Ishima1
Salve,l'esercizio mi chiede di determinare: \( 35267^(1000) \equiv ?? mod9 \) Io l'ho svolto in questa maniera: \( 35267\equiv 5 mod9 \) Per il corollario del piccolo teorema di Fermat si ha che: \( MCD(5,9)=1\rightarrow 5^8\equiv 1 mod9 \) dunque: \( 35267^(1000)\equiv 5^(1000)=(5^8)^(125)\equiv 1mod9 \) I valori in parentesi sarebbero gli esponenti. Ma il risultato,controllando con un tool online,dovrebbe essere 4. Che cosa ho sbagliato?
5
16 nov 2017, 11:07

gygabyte017
Ho il seguente esercizio che non ho idea di come si può risolvere: Si provi che le operazioni di addizione e moltiplicazione definite su $ZZ$ sono ben poste. Ora sapendo che le operazioni suddette sono definite come: $(bar (n , m)) +(bar (n' , m')) = (bar (n+n' , m+m'))$ $(bar (n , m)) * (bar (n' , m')) = (bar (n n'+mm' , n'm+nm'))$ come lo dimostro?? Grazie 1000
7
10 nov 2007, 14:37

SaraC1234
Dato l’anello $ZZ/9ZZ$ Determinare gli ideali dell’anello e indicare quali sono gli ideali massimali e quali quelli primi dando una giustificazione. In generale quelli sono gli anelli primi e massimali dell’anello $ZZ/nZZ$ ?
2
15 nov 2017, 15:18

ludovica.sarandrea
Ho il seguente esercizio: "Sia G un gruppo abeliano di cardinalita' n. Dimostrare che per ogni divisore $m>0$ di n, esiste un sottogruppo H di G con cardinalita' m" Io ho pensato di procedere per induzione: Suppongo che $|G|=1$ e quindi $m=1$ esiste il sottogruppo $H$ di ordine 1 che coincide con G Suppongo vero per $|G|<n$ e lo dimostro per n, $n=ma$ Se m e' primo non ho nulla da dimostrare Se m non e' primo posso scomporlo ...
7
11 nov 2017, 16:28

andreaciceri96
Ho una domanda (spero stupida e dovuta solo alla mia stanchezza) sulle estensioni semplici di campo di Galois: In un esercizio mi viene data una estensione di campi $QQ \subseteq E$ che poi si scopre essere di Galois perché $E$ è campo di spezzamento di un polinomio in $QQ[X]$, ossia un polinomio separabile poiché $QQ$ è perfetto. Successivamente determino come è fatto il gruppo di Galois (che chiamerò $G$), nel senso che determino proprio ...
6
11 nov 2017, 19:01

manuelb93
Buonasera, chiedo un aiuto per il seguente esercizio: Sia $\sigma\ in\ S_11$ la permutazione definita da $\sigma =((1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11), (10, 6, 1, 7, 11, 9, 8, 4, 5, 3, 2))$. (1) Si scriva $\sigma$ come prodotto di cicli disgiunti, si determinino l’ordine e la parità di $\sigma$. (2) Si dica (giustificando la risposta) se esistono omomorfismi non banali dal sottogruppo $<\sigma>$, generato da $\sigma$, al gruppo $(mathbb(Z))/mathbb(11Z)$. Sul primo punto non ho problemi. Ho che la parità è +1 e l'ordine è 15. Sul ...
7
13 nov 2017, 19:19

TheRealBonfi24
Ciao a tutti, ho bisogno di voi: sono alle prese con questo esercizio che credo di aver fatto giusto ma volevo capire da voi se il ragionamento è corretto oppure no! Il testo dell'esercizio recita: Sia G un gruppo di ordine 189 in cui i sottogruppi di Sylow sono tutti abeliani. Si determinino i possibili tipi di isomorfismi di G. Io ho ragionato così: $ |G| = 189 = 7 * 3^3 $ quindi la cardinalità dei 7-sylow deve dividere $ 3^3 $ quindi può essere $ n_7 = {1,3,9,27} $, ma nessuno di questi ...
1
12 nov 2017, 11:22

liberatorimatteo
Buonasera, Non riesco a dimostrare il seguente fatto: Sia $G$ un gruppo finito. Se $G$ ha solo due classi di coniugio, allora $G\cong \mathbb(Z)_2$. Ho provato in vari modi ma non riesco... Ad esempio considerando l'azione $G\timesG->G:(g,h)\mapstoghg^1$ ho che le orbite sono le classi di coniugio di $G$ quindi $2=1/(#G)\sum_{g\inG}#\text(fix)(g)$, ove $\text(fix)(g)={h\inG:ghg^-1=h}$ $2=1/(#G)\sum_{g\inG}#\text(fix)(g)\Leftrightarrow #G=\sum_{g\inG-{e}}#\text(fix)(g)$ ma non riesco a concludere nulla... Similmente visto che la cardinalità di ...
5
11 nov 2017, 14:48

Guerino2
Salve a tutti, sto cercando di risolvere un esercizio di algebra, e vorrei chiedervi conferma che siano giusti i passaggi che ho fatto, e aiuto su come proseguire "Sia dato il Gruppo $G = GL_2(F_2)$, con $F_2$ il campo dove vale $1+1=0$. Si risponda alle domande: 1) G è abeliano? 2) Quale è la dimensione di G? 3) Considerato il sottogruppo $<((0,1),(1,1))>$: è un sottogruppo normale? 4) Si trovino generatori e relazioni per G Mio svolgimento (vi prego di ...
9
8 nov 2017, 11:51