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
andreaciceri96
Ho un problema con un esercizio di teoria di Galois, anche se credo sia piu' un problema di teoria dei gruppi. Cercando di riassumere (buona parte dell'esercizio l'ho svolta) la questione e' questa: Ho l'estensione di campi $E$ su $QQ$ dove $E$ e' il campo di spezzamento di $f(x)=x^5-5\inQQ[x]$ e devo dire quali sono le estensioni di $QQ$ contenute in $E \cap RR$ (esibendone proprio i generatori per ognuna). Siano $\alpha$ la ...
1
30 gen 2018, 18:49

Jhonny777
Buon giorno, ho un problema con questo esercizio: Sia $\sigma$ il seguente elemento di S11 $\sigma$=( 1 2 3 4 5 6 7 8 9 10 11) ( 11 7 4 8 9 6 1 3 5 10 2 ) 1) Si scriva $\sigma$ come prodotto di cicli disgiunti, se ne stabilisca l'ordine e la parità. 2) Stabilire se $\langle$ $\sigma$ $\rangle$, il sottogruppo di S11 generato da $\sigma$, è un sottogruppo normale di S11. Allora per il punto ...
3
28 gen 2018, 13:55

frak27
Ciao ragazzi, non capisco come risolvere questo esercizio d'esame degli anni passati: Dimostrare che per ogni numero positivo $n$ e per ogni numero reale positivo $a$ si ha $(1 + a)n ≥ 1 + na$. Soluzione: binomio di Newton. Come si fa tramite il binomio di Newton a dimostrarlo? Di questa tipologia c'è anche quest'altro: Dimostrare che per ogni numero positivo $n$ si ha $2^n ≥ n$. Soluzione: biniomio di Newton.
4
27 gen 2018, 19:19

Alessio1113
Buona sera a tutti, ho un problema con questo esercizio: Mostrare che G non è semplice, dove : | G | = $p^2q^2$ con p
2
28 gen 2018, 19:53

otta96
Stavo cercando delle informazioni sulla tecnica del forcing (diciamo una introduzione al forcing "divulgativa", nel senso senza troppi dettagli tecnici) perché mi incuriosisce non poco e cercando un po' ho trovato questi due link: http://mathforum.org/kb/thread.jspa?for ... ID=1688945 e https://arxiv.org/abs/0712.1320, sinceramente il primo non mi è piaciuto molto, non ho finito di leggerlo, ma il secondo mi ha creato qualche perplessità. Per ora ho letto i primi 5 paragrafi ma ci sono delle cose che non ho capito per ora che ritengo siano ...
2
28 gen 2018, 14:21

evaristegalois1
Salve, ho un dubbio su un esercizio. Mi sono bloccata nel dimostrare che $x^6-2$ sia irriducibile su $QQ$($\omega$). Con $\omega$ radice terza di 1. Visto che non ha grado 2,3 non posso invertire Ruffini. Qualcuno ha qualche idea?
3
25 gen 2018, 16:11

icarus91
Mi sto esercitando per l'esame di logica matematica ed ho problemi con le relazioni di equivalenza ma sopratutto con le classi di equivalenza. Ad esempio la seguente relazione: $ fRg <=> f(0)=g(0) $ è una relazione di equivalenza in quanto: 1- è riflessiva $ fRf f(0)=f(0) $ 2- è simmetrica $ fRg -> gRf$ $f(0)=g(0) -> g(0)=f(0) $ 3- è transitiva $ fRg∧gRh->fRh$ $F(0)=g(0)∧g(0)=h(0)->f(0)=h(0) $ fin qui è giusto? Ora devo determinare le classi di equivalenza per la funzione ...
2
26 gen 2018, 11:04

liberatorimatteo
Buonasera devo dimostrare questa proposizione Dimostrare che per ogni anello commutativo $R$, lo spazio $\text(Spec)(R)$, dotato dalla topologia di Zariski, è compatto. Vi scrivo la mia dimostrazione ma non sono convinto di alcuni passaggi. Nel corso della dimostrazione indichero con $I(S)$ l'ideale di $R$ generato da $S\subsetR$. DIMOSTRAZIONE Devo mostrare che $\forall{C_a}_(a\inA): \nnn_{a\inA}C_a=O/\text( ) \existsB\subsetA \text( finito): \nnn_{b\inB}C_b=O/$ Poiché $ C_a $ è un chiuso di ...
3
24 gen 2018, 22:38

ludovica.sarandrea
Buongiorno, ho il seguente esercizio: "sia $f:A->B$ un omorfismo di anelli commutativi. Dimostare che $f^*:Spec(B) -> Spec(A) $ data da $f^*(p)=f^(-1)(p)$ e' continua per la topologia di Zarinsky. Io ho ragionato in questo modo: so che una funzione e' continua se per ogni chiuso U in Spec(A), $f^*^(-1)(p))$ e' chiuso in Spec(B) Prendo S chiuso in Spec(A), questo vuol dire che $S⊂p$ con p ideale primo di Spec(A) Devo controllare, sapendo che vale questa cosa $f^*(p)=f^(-1)(p)$, che ...
14
21 dic 2017, 10:46

evaristegalois1
Salve, volevo porvi un quesito. Secondo voi, un'estensione di campi di grado 2 è sicuramente un'estensione di Galois?
3
23 gen 2018, 18:37

Ishima1
Buonasera,mi è sorto un dubbio. È possibile ricavare il circuito più lungo all'interno di un grafo attraverso l'utilizzo di semplici calcoli? Nel caso in cui sia euleriano, è semplice,ma negli altri casi? Grazie in anticipo!
3
22 gen 2018, 18:34

roby12341
Qualcuno può aiutarmi in questo esercizio? so che è una tautologia però non riesco a dimostrarla
6
23 gen 2018, 15:47

NerdMind
Salve a tutti, preparandomi per l'esame di MD ho notato che nelle dispense fornite dal professore questo argomento è trattato in maniera spicciola e non molto bene... Il testo dell'esercizio mi chiede: Determinare, se esistono, gli inversi moltiplicativi delle classi date: \(\displaystyle [35] \epsilon \mathbb{Z}60 \) \(\displaystyle [8] \epsilon \mathbb{Z}21 \) \(\displaystyle [15] \epsilon \mathbb{Z}64 \) Ora, se ho ben capito, l'inverso di una classe esiste solo se i due valori ...
5
16 gen 2018, 19:39

ludovica.sarandrea
buongiorno, ho il seguente esercizio: Sia R l’anello $(F_5[X])/(X^2 + 1)$. Quante soluzioni dell’equazione $y^2 = 1$ ci sono in R? Io ho svolto cosi: Gli elementi dell'anello sono della forma $a+bx$ con $a,b \in F_5$ Ho preso un generico elemento dell'anello e ho cercato di risolvere l'equazione: $(a+bx)^2=1=a^2+b^2x^2+2abx=1$ ma nell'anello $b^2x^2=0$ Quindi ho $a^2+2abx=1$ e quindi (a sistema) $a^2=1 -> a=+-1$ $2abx=0 -> b=0$ (sostituendo prima $a=1$ poi ...
5
23 gen 2018, 10:47

gloriaunimate
Salve, ho un dubbio sui prodotti. Io ho studiato che se due sottogruppi sono normali e hanno intersezione vuota allora c'è prodotto diretto; se solo uno è normale e l'altro no allora è semidiretto. In università mi hanno posto l'esempio di un gruppo di ordine 120 che ha prodotto semidiretto A5 * Z/2Z ma che non è diretto. Non ho capito perchè non è diretto. A5 ha indice 2 e dunque è normale. Io credevo che anche Z/2Z fosse normale. QUalcuno mi spiega come funziona? Grazie in anticipo
6
22 gen 2018, 09:56

jack221
Salve, ho trovato su Khan Academy (link) questa proprietà: \(\displaystyle A^B \; \text{mod} \; C = ( (A \; \text{mod} \; C)^B ) \; \text{mod} \; C \) Mi chiedevo come si potesse dimostrare. Mi viene in mente di scrivere: \(\displaystyle A = C \cdot m + r \) con \( 0 \le r < C\) E quindi: \(\displaystyle A \; \text{mod} \; C = r \) \(\displaystyle A^B = (C \cdot m + r)^B = \sum\limits_{k=0}^B \binom{B}{k} (C \cdot m)^k r^{B-k}\) E moh
2
22 gen 2018, 16:01

roby12341
Sapendo che 'Se domani giocherò a calcio allora pioverà' e che 'domani non giocherò a calcio', possiamo concludere che 'domani pioverà'? Domani giocherò a calcio G Domani pioverà P Qualcuno può aiutarmi? dato che mi esce G, io risponderei: possiamo concludere che se domani giocherò a calcio o no, non possiamo sapere se pioverà o no. è giusto? poi nella parte sottolineata nella foto, la distributività con 2 or si può fare oppure devo togliere le ...
1
22 gen 2018, 10:26

gloriaunimate
Salve, un esercizio mi chiede se un gruppo di ordine 21 ha centro banale o no. Per ora ho osservato che 21=7*3. Il 7-sylow è sicuramente unico, invece ci potrebbe essere o un unico 3-sylow o 7 3-sylow. Se anche il 3-sylow è unico, il gruppo è ciclico e dunque il centro coincide con l'intero gruppo. Non ho capito come sapere quale è il centro in caso i 3-sylow fossero sette. Grazie
2
21 gen 2018, 15:22

gloriaunimate
Salve, un esercizio mi chiede di dire se un gruppo di ordine 3125 e uno di ordine 168 sono necessariamente risolubili e se esistono gruppi semplici di questi ordini. Ora, 3125=5^5 e dunque è risolubile. Io ho pensato che non esiste un gruppo semplice di questo ordine in quanto ogni sottogruppo di indice 5 è normale. Sbaglio? Invece, 168=2^6*3 ma non saprei dire nè se è risolubile, nè se esiste un gruppo semplice di questo ordine. Come devo fare? Grazie
3
21 gen 2018, 18:03

frak27
Ho cercato su internet e sui miei libri ma non ho trovato nulla, l'unica pagina che ne parla è questa viewtopic.php?f=26&t=157678 Cosa significa risolvere un sistema modulo "qualcosa"? Ad esempio questo esercizio: Determinare se il seguente sistema ha soluzioni modulo 3. $\{(3x + 4y + 2z = 1),(4x + 5y + 6z = 2),(4x + 3y + 9z = 3):}$
4
21 gen 2018, 16:14