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
ceanto12
Salve a tutti, avrei bisogno di un aiutino. Vi allego di seguito il link del pdf di cui vorrei parlarvi http://www.dmi.units.it/~brundu/didattica/algebra2/dispense/campi_5_6_2017.pdf A pagina 70 nella proposizione 4.6 ci sta dimostrando che l'automorfismo esteso al sottocampo fondamentale di K è l'identita su K. Viene effettuato un passaggio automatico phi(m 1_k)= m phi(1_k) con m appartenente a Z... vorrei cercare di avere una spiegazione a questo passaggio Forse ignoro qualcosa, o semplicemente c'è qualcosa che non so La motivazione che mi sono ...
12
29 nov 2017, 10:24

otta96
Se uno si interessa a questioni di logica è abbastanza probabile che avrà a che fare molto presto con i linguaggi del primo e del secondo ordine, in effetti è capitato anche a me, ma ancora non ho ben familiarizzato con questi concetti, scrivo questo post alla ricerca di chiarimenti. La differenza tra primo e secondo ordine dovrebbe essere che nel primo ordine si quantifica solo su elementi di insiemi, come in tutte le definizioni di strutture algebriche e molte di quelle relazionali che ...
4
26 nov 2017, 14:47

Guerino2
Ciao a tutti, per lunedì devo consegnare un esercizio per il corso di algebra e teoria dei numeri, e non riesco ad impostare il problema. "$GL_2(\mathbb F_2)$ opera su ${\mathbb F_2}^2$ \ ${0}$. Si dimostri che: 1. Questa operazione è transitiva 2. Questa operazione è fedele 3. $GL_2(\mathbb F_2)$ è isomorfo al gruppo simmetrico $S_3$" Mio tentativo di impostare il problema 1. L'operazione è quindi del gruppo $GL_2(\mathbb F_2)$ sull'insieme ${\mathbb F_2}^2$ \ ...
8
23 nov 2017, 23:48

marcus1121
Dimostrare che se $G$ è un gruppo abeliano allora $(ab)^n=a^nb^n$. Ebbene, ho pensato di fare così: $(ab)^n=(a^-nb^-n)^-1$ $(a^-nb^-n)((a^-n)^-1(b^-)^-1)=a^-n((b^-n*(b^-n)^-1)a^((-n)^-1))=a^-n(e)a^((-n)^-1)=e$ e quindi per definizione di inverso $(ab)^n=(a^-nb^-n)^-1=a^nb^n$
4
21 nov 2014, 09:52

marco9551
Ho il seguente quesito di semplice esecuzione: Sia $S$ un insieme non vuoto, e si ponga $G={(X,Y)inP(S)^2|X nn Y=O/}$. Provare che la relazione binaria $(P(S)^2,G)$ in $P(S)$ non è nè riflessiva nè transitiva. Adesso mi chiedo, se ,per dimostrare la non riflessività, prendo in considerazione l'insieme $S$ anzichè un generico sottoinsieme non vuoto in $S$ ,e per dimostrare la non transitività prendo in considerazione lo stesso insieme ...
2
24 nov 2017, 19:14

elatan1
Salve a tutti, magari sarà una banalità, ma non riesco a trovare una spiegazione al fatto che le potenze di un $p$-ciclo sono ancora $p$-cicli. Dove sta la chiave per vederlo? Vi ringrazio
4
23 nov 2017, 17:18

natostanco
Presa ad esempio questa composizione: $ (1 3) @ (2 4) @ (2 3 4 1) $ definita nel Gruppo (Sn ,$ @$ ) il risultato di questa composizione sarebbe? Per risolverla si dovrebbe fare la composizione di $ ( ( 1 , 2 , 3 , 4 ),( 3 , 2 , 1 , 4 ) ) @ ( ( 1 , 2 , 3 , 4 ),( 1 , 4 , 3 , 2 ) ) @ ( ( 1 , 2 , 3 , 4 ),( 2 , 3 , 4 , 1 ) )$ e quindi trovare prima la composizione delle ultime due, e comporre la composizione ottenuta con la prima ? perche' con la operazione cerchietto si parte sempre da destra... c'e' un modo piu' veloce da adottare direttamente sui cicli al posto della rappresentazione ...
10
11 gen 2011, 18:55

elatan1
Salve a tutti, la problematica è la seguente: Siano $A$ e $R$ domini e sia $\varphi:A\toR$ un isomorfismo, allora \[ a/b\mapsto\varphi(a)/\varphi(b) \] è un isomorfismo $Frac(A)\to Frac(R)$. Qualcuno sarebbe così gentile da darmi un'idea di come procedere? Vi ringrazio!
5
17 nov 2017, 18:45

SaraC1234
Ciao a tutti, ho una domanda più che altro teorica . Se io ho un gruppo $G$ ed un endomorfismo $φ :G→G$ tale che $φ⋅φ=φ$, Cosa posso dire del nucleo e dell’immagine di questo endomorfismo ? Grazie
4
21 nov 2017, 19:00

SaraC1234
Ciao ragazzi, in un quesito mi si chiedeva di trovare gli anelli della classe resto modulo 8 : $Z/8Z$ . Io ho risolto pensando che gli ideali sono tutti e soli i sottogruppi di $Z$ dellls forma: $I=mZ$ con $m>=1$ e appartiene a $Z$. Quindi ho trovato gli ideali $(1),(2),(4),(8)$ con $(1)=Z/8Z$ e $(8)=[0]$ É giusto? Inoltre mi chiedeva di indicare quali ideali fossero primi e quali quelli massimali. A questo punto mi ...
1
20 nov 2017, 10:49

SaraC1234
Se io ho $h$ appartenente a $Z$ e ho $ F_h$ = $Q[x]$/$(x^3+h*x^2+h*x+2)$ Per poter dimostrare che $F_h$ é un campo devo dimostrare che il polinomio sia irridubule . A questo punto sarebbe lecito usare il criterio di Einstein per il quale : un polinomio é irredducile se per $p$ primo abbiamo: $p$ non divide 1 ( in questo caso il coefficiente direttivo é 1) $p^2$ non divide 2 $p$| ...
1
20 nov 2017, 11:44

SaraC1234
Ciao a tutti, ho una domanda più che altro teorica . Se io ho un gruppo $G$ ed un endomorfismo $\varphi$ :$G->G$ tale che $\varphi * \varphi=\varphi$, Il nucleo $Ker=K$ e L’immagine $Im=H$ dell’endomorfismo . Come faccio a provare che $KnnH={1_G}$ e$G=H*K$ ? Io farei così : considero K sottogruppo normale di G con $K=[1_G]$ e H sottogruppo di G. Allora di conseguenza la loro intersezione é formata da 1_G : ...
1
20 nov 2017, 11:01

manuelb93
Sia $G$ un gruppo abeliano di ordine $p^n$ (p primo). Siano: $H={g^p|g\ in\ G}$ e $K={x\ in\ G| x^p=1}$. (1) Provare che H e K sono sottogruppi di G con $G//K \cong H$. Riguardo questo punto ho prima dimostrato che H e K sono sottogruppi con il criterio per sottogruppi qualsiasi, poi ho definito la funzione $F:G->H$ come $F(g)=g^p$, fissato p. A questo punto $K=Ker(f)$, quindi per il teorema d'omomorfismo per i gruppi e perché ...
1
19 nov 2017, 16:12

Rigel25
Salve a tutti ragazzi.Ho un dubbio relativamente a questo esercizio riguardante le permutazioni. Non riesco a capire come calcolare il prodotto di cicli disgiunti ,la zona colorata di blu. http://postimg.org/image/5m90h4ocx/
4
28 gen 2016, 23:22

manuelb93
Buonasera, vi chiedo una mano riguardo il seguente esercizio: Sia G un gruppo di ordine $12*p$ con p primo, $p>5$. Mostrare che G non è semplice. Inizio della soluzione: -$2-Sylow$ di ordine 4; -$3-Sylow$ di ordine 3; -$p-Sylow$ di ordine p. Allora il numero di $2-Sylow$ può essere $n_2=1, 3, p, 3*p$. Qui ho ragionato nel seguente modo: poiché p è primo e maggiore di 5 è sicuramente un numero dispari, quindi sicuramente congruo a 1 ...
6
18 nov 2017, 22:50

montanaro.giovanni
Ciao a tutti Mi é chiaro cosa sia il principio di induzione, ma non mi é chiaro come risolvere gli esercizi. Qualcuno mi può gentilmente aiutare sviluppando l'esercizio e commentandolo passo passo.. Grazie a tutti..
11
15 nov 2017, 20:00

SaraC1234
Ciao ragazzi ho un problema con un esercizio riguardante i gruppi non semplici. Io ho l’ordine di un gruppo e devo dimostrare che sia non semplice. Io fattorizzo l’ordine in numeri primi In questo caso abbiamo $6545$=$5*7*11*17$ Io uso i teoremi di Sylow e trovo dei sottogruppi p- Sylow. In questo caso però non mi escono i calcoli , non riesco ad arrivare all’ordine
5
20 nov 2017, 10:33

manuelb93
Buongiorno, vi chiedo gentilmente una mano riguardo il seguente esercizio: Si consideri in $mathbb(F_7)[x]$ il polinomio $f(x)=x^3-x+2$ e sia $I$ l'ideale $I=(f(x))$. Si dimostri che $K=(mathbb(F_7)[x])//I$ è un campo e si determini in $K$ l'inverso di $x^2+x+2+I$. Parziale soluzione: Ho dimostrato che $K=(mathbb(F_7)[x])//I$ è un campo mostrando che $I$ è massimale, poiché $f(x)$ è irriducibile in $mathbb(F_7)$. Riguardo alla ...
2
19 nov 2017, 12:33

manuelb93
Buonasera, vi chiedo gentilmente aiuto riguardo il seguente esercizio: Sia $\sigma\ in\ S_3$ la permutazione definita da: $\sigma=((1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13),(5, 10, 2, 13, 4, 11, 9, 12, 6, 3, 1, 8, 7))$ (1) Scrivere $\sigma$ come prodotto di cicli disgiunti. Determinarne ordine e parità. (2) Determinare l'ordine di ogni sottogruppo di $<\sigma>$, specificando quanti sottogruppi esistono di un determinato ordine. Per ciascun sottogruppo, determinare un generatore. (1) il prodotto in cicli disgiunti è $\sigma=(1, 5, 4, 13, 7, 9, 6, 11)(2, 10, 3)(8, 12)$. L'ordine è 24 e la ...
2
18 nov 2017, 22:05

Eulercio
Ciao a tutti, sto iniziando a studiare la teoria dei gruppi. Mi piacerebbe avere un bel manuale che copra anche argomenti di algebra (insomma, un investimento per il futuro). Cercando qua e là, anche sul forum, ho trovato questi possibili titoli: - Algebra, Herstein - Abstract Algebra, P. Grillet - Abstract Algebra, Dummit and Foote Cosa mi consigliate? Certo, se qualcuno di voi conosce un monografico estremamente ben fatto che dovrei assolutamente avere, ci farei un pensierino... Grazie ...
1
19 nov 2017, 23:43