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
Antimonio1
Quante sono le permutazioni di S10 che hanno periodo 8? Se (sigma) è una di esse, quanti sottogruppi ha il sottogruppo generato da (sigma)?
5
3 gen 2018, 15:55

ludovica.sarandrea
Ho il seguente esercizio: Dimostrare che $QQ(π)$ e $QQ(e)$ sono isomorfi. (suggerimento: Usare il fatto che $π$ ed $e$ sono trascendenti in $CC$) Ho provato a riflettere sul fatto che questi siano trascendenti ma l'unico teorema che mi viene in mente da poter sfruttare in qualche modo e' che se un elemento e' trascendente allora $QQ[π]$ e $QQ[x]$ sono isomorfi ma in questo caso ho $QQ(π)$ e non ...
3
2 gen 2018, 11:46

algibro
Dato un omomorfismo $f$ di $(G,*)$ in $(G', \star)$ mi si chiede di provare che i) $f(G)={f(a): a \in G}$ è un sottogruppo di $G'$; ii) $f$ è suriettivo se e solo se $f(G)$ eguaglia $G'$. Per quanto concerne la i) abbiamo che per ogni elemento $a \in G$, $f(a) \in G'$ pertanto sicuramente $f(G)={f(a): a \in G} \subseteq G'$ e la legge associativa vale in $G'$ perciò vale certamente in $f(G)$ che è un ...
1
31 dic 2017, 18:46

Lolaanzhnj
Salve ragazzi, mi aiutate a capire il ragionamento per risolvere questo quesito? Quante terne ordinate di interi positivi (x,y,z) soddisfano : $ (x^y)^z=64 $. Grazie.
3
31 dic 2017, 13:18

ann83
Ciao ragazzi. Ho un problema col seguente esercizio: devo dimostrare che se |G|= $2^6*5^6$ allora G non è semplice. Ho calcolato che: - un 5-Sylow di G ha ordine $5^6$ e che n[size=60]5[/size] = 1 o n[size=60]5[/size] = 16 - un 2-Sylow di G ha ordine $2^6$ e che n[size=60]2[/size] = 1 o n[size=60]2[/size] = potenza di 5 (fino a $5^6$) e non so come continuare... Grazie
4
26 dic 2017, 09:09

francox1
Mi trovo in difficoltà. Le 3 regole che ho preso sono 1. P → (Q → P) 2. (P → (Q → R)) → ((P → Q) → (P → R)) 3. (¬P → ¬Q) → (Q → P) La relazione di cui dispongo è questa aRb => ¬(bRa) Per tutti a e b in X, se a è legato a b, allora b non è correlato ad a Io voglio ottenere da una relazione asimmetrica -> una relazione simmetrica del tipo ¬(bRa) => aRb passando da ¬(bRa) a aRb Ho difficoltà a definire gli assiomi ...
1
25 dic 2017, 00:37

stenford
Premetto la mia ignoranza assoluta , quindi se faccio errori perdonatemi Oggi a lezione il prof ha affermato che un generico polinomio $mu$ di grado infinito può sempre essere scomposto in tale modo $ mu (L)= (gamma (L))/(omega (L)) $ con $gamma$ di grado $l$ e $omega$ di grado $k$ , entrambi finiti con $ l!= k $ Non sapendo se può servire sono funzioni comunque in $R$ , volevo sapere se tale relazione fosse possibile, a me ...
7
24 dic 2017, 15:35

killing_buddha
Se $\varphi : A\to A$ è un omomorfismo di gruppi abeliani idempotente allora esiste una successione esatta corta \[ 0\to \ker \varphi\to \ker \varphi\to \ker \varphi\to 0 \] se \(K=\ker\varphi\), come si descrivono gli endomorfismi di \(\ker \varphi\) (equivalentemente, qual è l'elemento \([a]\in\text{Ext}^1(K,K)\) cui questa estensione corrisponde)? E' vero che se $[a]=0$ allora \(\varphi=1_A\)?
3
23 dic 2017, 13:51

NerdMind
Salve a tutti, in un esercizio sulle permutazioni di Matematica Discreta mi viene chiesto di determinare se due permutazioni sono pari o dispari, di comporre le permutazioni ed infine trovare l'inversa della composta. Per determinare il pari o dispari non ho avuto problemi, mentre per eseguire la composizione ho quale dubbio, io ho fatto così: Prima Permutazione (Pari) 1 -> 4 2 -> 1 3 -> 7 4 -> 5 5 -> 2 6 -> 3 7 -> 6 Seconda Permutazione (Dispari) 1 -> 4 2 -> 7 3 -> 3 4 -> 2 5 -> 6 6 -> 5 7 ...
3
20 dic 2017, 14:40

Cantor99
Salve, ho trovato questa dimostrazione della numerabilità di N×N che non riesco a comprendere al meglio dato che non capisco il simbolo usato cosa sia (un coefficiente binomiale??) In ogni caso vi chiederei un aiuto per la dimostrazione Grazie mille a chi risponderà
4
19 dic 2017, 22:55

algibro
Il problema è dimostrare che se un gruppo $G$ ha ordine pari allora esiste in $G$ un elemento $a$ di ordine $2$. In un gruppo possiamo avere che tutti gli elementi coincidono con il loro inverso, in tal caso hanno tutti ordine $2$. Se ne trovassimo uno che non coincide con il proprio inverso, essendo quest'ultimo unico per ogni elemento, dovremmo avere in $G$ almeno un altro elemento che non coincide con il ...
1
19 dic 2017, 06:58

Ishima1
Salve ragazzi,come potete vedere la traccia richiede di determinare le radici del polinomio in $ Z_2 $ ed eventualmente scomporlo in fattori non ulteriolmente scomponibili in $ Z_2 $. Che il polinomio iniziale non abbia radici,nessun problema,quello che mi chiedo,ma perchè non è riducibile? Nell'ultima riga mi pare sia scritto il polinomio iniziale come prodotto tra due polinomi di 2 e 3 grado,non ulteriormente scomponibili in $ Z_2 $, dunque a mio parere DOVREBBE ...
7
16 dic 2017, 11:57

Kennerd
Salve. E' da un po' che ci sbatto la testa e francamente non riesco a venirne fuori. Dovrei provare che per ogni insieme $ A $ , l'unico elemento regolare (detto anche elemento cancellabile) in \( (\mathscr{P}(A),\cup ) \) è l'insieme \( \varnothing \) Avreste consigli su come procedere? Ho già tentato la strada secondo cui un elemento, se è simmetrizzabile, allora è cancellabile. E' vero che il vuoto in questa struttura risulta essere l'unico simmetrizzabile, ma qui secondo ...
2
14 dic 2017, 17:48

abbandono1
Salve, sto provando da un giorno a svolgere questo esercizio sulla teoria di Galois, di cui ho svolto gli ultimi 3 punti. Però non so dove mettere le mani per quanto riguarda i primi due: Sia $finQ[x]$ polinomio di grado 6 con $Gal(f/Q)~=S_6$. Chiamando $E$ il campo di spezzamento di f i)Determinare i corpi intermedi $QsubeFsubeE$ tali che $[E]=9$ Beh qui io avevo pensato di provarci con la teoria di Sylow, arrivando a poter ammettere solo questi casi ...
1
12 dic 2017, 19:07

algibro
Mi si chiede "quanti generatori ha un gruppo ciclico di ordine $n$ ?". La vaghezza [nota]Ad esempio, nello specifico, so che il gruppo $(ZZ,+)$ è generato da $-1$ e $1$, $(ZZ_m, +)$ da tutti gli elementi $a_m \in ZZ_m$ tali che $(a,m)=1$[/nota] della domanda mi ha messo in difficoltà. Sia $(G, *)$ un gruppo ciclico di ordine $n$. Allora so che esiste un elemento $a \in G$ tale che il sottogruppo ...
2
12 dic 2017, 07:05

liberatorimatteo
Buonasera, vi enuncio un po di definizioni e poi vi scrivo il teorema di cui non ben capito la dimostrazione. Sia $mathbb(K)$ un campo e sia $S\subseteqmathbb(K)[x_1,...x_n]$. Si definisce varietà algebrica associata a $S$ l'insieme $V_S={x\inmathbb(K)^n:f(x)=0 \forallF\inS}$ Se $S={f_1,...,f_t}\subseteqmathbb(K)[x_1,...x_n]$ allora si definisce $I(V_S)={a_1f_1+...+a_tf_t:a_i\inmathbb(K)[x_1,...x_n]}$, ossia l'ideale generato da $S$. Definisco $\mathbb(K)[V_S]=mathbb(K)[x_1,...x_n]//I(V_S)$ OSSERVAZIONE: la funzione $v_P:\mathbb(K)[V_S]->\mathbb(K):f\mapstof(P)$ è detta valutazione in $P\inV_S$ ed è suriettiva ...
3
11 dic 2017, 12:45

manuelb93
Buongiorno a tutti, vi chiedo gentilmente una mano per l'esercizio che segue: Sia $S=ZZ\\13ZZ$: a) Dimostrare che $S^(-1)ZZ$ è un anello locale; b)Calcolare $Res(S^(-1)ZZ)$. a) Posso dire che $S$ è un anello locale. Ora devo dimostrare che gli elementi non invertibili di $S^(-1)ZZ$ costituiscono un ideale, il problema è che non riesco a capire come siano fatti questi elementi. b) Mi serve il punto a) quindi non posso nemmeno pensarci.
1
10 dic 2017, 21:35

manuelb93
Buonasera, in un tema di esame di algebra 2 è richiesto di fornire un esempio di dominio di integrità che non sia noetheriano. Può essere giusto prendere l'anello dei polinomi $mathbb(K)[X]$ dove $mathbb(K)$ è un campo?
4
10 dic 2017, 16:27

manuelb93
Buonasera, in un tema di esame di algebra 2 un esercizio chiede di fornire un esempio di sistema moltiplicativo che non sia un gruppo. Chiedo se è corretto considerare un insieme $S$ su cui definisco il prodotto, in cui non è vero che ogni elemento ammette inverso bilatero ma che soddisfa: i) $1\in S$; ii) per ogni $s,t\in S, s*t\in S$, ad esempio $(mathbb(Z\\{0}), *)$?
2
10 dic 2017, 08:47

manuelb93
Buonasera ragazzi, volevo chiedervi delucidazioni riguardo la dimostrazione del teorema della base di Hilbert (R noetheriano -> R[T] noetheriano) che non ho ben capito a lezione. In particolare non ho capito perché si prende l'ideale generato dai coefficienti direttori e nemmeno le conseguenze di questa scelta. Potete spiegarmi perfavore?
3
9 dic 2017, 19:01