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
ragazzi non sono sicuro di avere bene afferrato il concetto di gruppo quoziente,sul mio libro di teoria è spiagato un po approssimativamente..da come l'ho capito io dovrebbe essere l'insieme dei laterali di H in G (dove G è il gruppo e H il suo sottogruppo normale,e ovviamente G/H il gruppo quoziente).Ad esempio se abbiamo (Z8,+) e H suo sottogruppo normale H{0,4} allora il grippo quoziente dovrebbe essere J=0+Z8 e K=4+Z8 che coinciderebbero e sarebbe Z8 stesso..c'è qualcosa di sbagliato?come ...
Qualcuno può aiutarmi ad impostare un esercizio del genere?
Sia $ A={( ( a , b ),( 0 , c ) ) |a,b,cinZZ} $ e $ I={( ( a , b ),( 0 , c ) ) |ainnZZ} $ un suo ideale. Descrivere gli ideali di $ A/I $ .
Volevo inoltre chiedervi se potreste indicarmi dei link dove posso trovare degli esercizi su ideali, anelli quoziente e omomorfismi con soluzioni...
Qualcuno può aiutarmi a risolvere questo esercizio?
Sia $ phi:ZZ[x]->ZZ_2 $ tale che $ f(x)|-> f(0) $ .
a) Mostrare che $ kerphi $ è l'ideale generato da $ (2,x) $ .
Il motivo per cui è vero mi è chiaro teoricamente, ma non riesco a formalizzare... cioè vorrei un procedimento per risalire all'ideale ovvero passare da $ kerphi $ all'ideale senza sapere che è $ (2,x) $...
Ciao a tutti, mi potreste come svolgere un esercizio di questo tipo?
Sia n il numero che in base 35 si scrive 123456789123456789123456789. Si trovi di n il resto della divisione per 5, 7, 17. Non so' proprio da dove partire.
Grazie mille a tutti..
ciao ragazzi avrei un dubbio,temo di non averci capito qualcosa del teorema di lagrange,o peggio ancora della teoria dei gruppi...
prendiamo in esame il gruppo finito Z5 con la somma.i suoi possibili sottogruppi sono:
{0,1,4} e {0,2,3} entrambi hanno ordine 3.ma per il teorema di lagrange l'ordine di un sottogruppo deve essere un multiplo intero degli ordini dei suoi sottogruppi,ma Z5 ha ordine 5 che non è multiplo di 3....cosa c'è che sbaglio?
Ciao a tutti amici del Forum,
di seguito vi propongo alcuni i primi esercizi svolti da me nel primo approccio con Matematica Discreta; vi chiedo cortesemente di valutarli e dirmi dove ho sbagliato per aiutarmi meglio a capire i miei errori:
1) Dire se le seguenti affermazioni sono vere o false:
$∅∈{∅,2}$ => VERA perchè l'insieme vuoto è sottoinsieme di ogni insieme quindi vi appartiene
$∅⊆{∅,{∅}}$ => VERA per lo stesso motivo di prima
${∅}={∅,{∅}}$ => FALSA perchè due ...
ciao ragazzi avrei da sottoporvi la correzione di un mio esercizio:
trovare tutti i sottogruppi di Z6
premetto che dalla traccia non ho ben capito se si sta parlando in notazione additiva o moltiplicativa(non è specificato nella traccia)ma penso che sia in notazione additiva dal momento che Z6 non è un gruppo(lo 0 non puo avere inverso ed inoltre 6 non è primo).
io ho trovato:
{0,3} generato da 3;{0,2,4}generato sia da 2 che da 4;{0,1,2,3,4,5}generato da 5 e da 1.come procedimento ho utilizzato ...
Buonasera a tutti,
cerco in maniera disperata una buona anima che mi aiuti a capire il perché della soluzione di questo esercizio:
So che dovrebbe essere la a, ma con tutti i ragionamenti possibili che ho fatto non riesco a capire come possa essere corretta perché non mi torna lo stesso resto da entrambe le parti.
chi mi aiuta?
grazie
Volevo chiedervi esempi e chiarimenti sugli anelli quoziente... ho letto molte dispense su questo argomento ma ancora non so come muovermi negli esercizi...
Un esempio di esercizio è il seguente...
Sia $ ZZ_3[X] $ l'anello dei polinomi a coefficienti in $ ZZ_3 $ . Sia $ p(X)=X^4+X^3+X^2-1 $ e sia $ I=(p(X)) $ l'ideale principale generato da $ p(X) $ .
(a) Mostrare che $ A=(ZZ_3[X])/I $ (anello quoziente) è un dominio;
(b) trovare i nilpotenti di ...
Sia $\phi$ : $\mathbb{G}$ $\Rightarrow$ $\mathbb{H}$ un omomorfismo di gruppi. Si dimostri che per ogni $\mathbb{g} \in \mathbb{G}$ e per ogni $\mathbb{n} \in \mathbb{Z}$ risulta $\phi(\mathbb{g}^\mathbb{n})$ = $\phi(\mathbb{g})^\mathbb{n}$
Grazie in anticipo.
Come posso mostrare che un numero in $ ZZ[sqrt(-n)] $ è irriducibile $ 4 $
Se considero ad esempio $ 2inZZ[sqrt(-5)] $ , io ho pensato di usare il seguente procedimento: se $ a+bsqrt(-5 $ divide 2 allora $ a^2+5b^2 $ divide $ 4 $ , ora devo dimostrare che $ a+bsqrt(-5) $ è un divisore banale...
Propongo degli esercizi sugli interi di Gauss con i quali ho qualche problema...
1) Dimostrare che $ 2+i $ è primo.
2) Trovare $ M.C.D.(2+i,5) $ .
Per l'esercizio 1) ho pensato che è indifferente dimostrare che è primo o irriducibile... se $ 2+i $ è irriducibile, $ a+ib|2+irArr $ $ a+ib $ divisore banale; $ a+ib|2+irArra^2+b^2|5 $ cioè $ a^2+b^2=1 $ oppure $ a^2+b^2=5 $ ... in questo modo però mi vengono tanti casi da considerare e non so più come ...
Salve, sto leggendo il libro "Che cos'è la matematica" di R. Courant e, mentre per altri teoremi come le progressioni aritmetiche e geometriche c'è la dimostrazione, per questo teorema non c'è scritta. Ho cercato ed ho trovato una dimostrazione che però va al di la delle mie conoscenze di studentello del 3 anno di liceo, o almeno io non ci ho capito molto. Conoscete qualche dimostrazione di questo teorema semplice e che non usi strumenti al di sopra del mio livello?
Salve a tutti, ringrazio anticipatamente per le risposte. Ho un piccolo dubbio sullo svolgimento di questa equazione diofantea.
\(\ 35*x+28*y= -14 \)
Il problema sta nel trovare l'identità di Bezout. Allora mi blocco dopo aver applicato l'algoritmo di Euclide esteso. Applicando l'algoritmo mi trovo queste soluzioni:
\(\ E1: 35=(28)*1+7 \)
\(\ E2: 28=(7)*4+0 \)
Mi calcolo i resti dalle equazioni E1, E2(anzi l'unico resto):
\(\ r1: 7= 35- (28)*1 \)
Mi fermo qui. Non riesco a capire quale ...
Come dimostrare che \(\displaystyle K[x,y,z]/(xy-z^2) \) non è UFD?
Intuitivamente si ha che xy=z*z sono due fattorizzazioni di uno stesso elemento.Ma come faccio a dimostrare che [x],[y],[z] sono irriducibili nell'anello e che non sono associati?
Ciao a tutti sto provando a dimostrare certe proposizioni ma mi scontro sempre con l'esistenza di un \( p \)-Sylow centrale. A quanto ho capito, sarebbe un \( p \)-Sylow contenuto nel centro del gruppo. Se così fosse sarebbe anche l'unico (in base al teorema di Sylow). Qualcuno ha definizioni alternative o mi può confermare?grazie
$F : = {a + b sqrt(2) : a , b in QQ } $
Come si dimostra la relazione $ a + b sqrt(2) <= c + d sqrt(2) iff c - a + ( b - d ) sqrt(2) >= 0 $ ?
Non so proprio come cominciare HELP.
P.S il primo è un minore piu o meno uguale .
Salve a tutti, mi controllate che ho svolto il seguente esercizio correttamente?
Sia p un numero primo e G un p-gruppo finito, ovvero |G| = p^n, con n > 0. Si dimostri
che il centro di G non è banale, ovvero Z(G) diverso da {e}.
In generale il centro di un gruppo T è Z(T)={t in T | tx=xt per ogni x in T}
In questo caso: Z(G)={g in G | gx=xg per ogni x in G}={p^n in G per qualche n | p^n*p^m=p^m*p^n per ogni p^m in G}=
={p^n in G per qualche n | p^(n+m)=p^(m+n) per ogni p^m in G}=
={p^n in G ...
Ciao a tutti, sto cercando di risolvere questo esercizio:
$ p (x,y,z) ~ ((y′∨z ∨y′)∧(x′∨z ∨x′))′∨((y′∨x∨z′)∧(z′∧x′∧y)′)′ $
Dopo aver fatto scendere il complemento alle variabili ecc ecc , arrivo ad avere la seguente Forma Normale Disgiuntiva.
$ (x∧y′∧z')∨(x′∧y∧z) $
A questo punto non potendo utilizzare il metodo del Consenso, mi rendo conto che è anche la Forma Minimale.
La cosa mi lascia un po' perplesso, sento di aver mancato qualcosa ma non riesco a capire. Qualcuno può darmi una mano?