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
chester92
Eccomi di nuovo qui a chiedervi aiuto per un altro famoso teorema della teoria dei numeri. L'enunciato è Un numero p è primo [tex]\leftrightarrow[/tex] [tex](p-1)! \equiv -1 \mod{p}[/tex] e mi trovo in difficoltà con l'implicazione [tex]\leftarrow[/tex] , questa dovrebbe fare più o meno così: Supponiamo per assurdo che p non sia primo, questo implica che esiste un divisore di p, chiamiamolo d, [tex]>1[/tex] e [tex]< p[/tex]. Questo d dividerà la ...
10
4 gen 2011, 10:13

raff5184
Dato il gruppo G(11) devo determinarne l'ordine dei suoi elementi in modo da individuare gli elementi primitivi. Allora per ogni elemento devo trovarmi il numero $m$ t.c. $x^m=1$ e in linea di principio dovrei provare con tutti gli m da 1 a 10. Dunque esiste una procedura più breve per fare questa cosa anziché mettermi a provare tutti i numeri?
16
3 gen 2011, 20:32

perplesso1
Salve a tutti, ho studiato in algebra 1 che un semigruppo commutativo regolare si può simmetrizzare considerando l'insieme quoziente rispetto a una certa relazione del quadrato cartesiano del sostegno della struttura. Come si fa a simmetrizzare un semigruppo unitario che non è regolare e non è commutativo? O meglio esiste qualche arificio (che non sia introdurre nuovi elementi nel sostegno xD) per costruire una struttura dotata di simmetrici e non troppo diversa da quella di partenza? Viceversa ...
3
27 dic 2010, 21:05

raff5184
Ciao, domanda molto semplice: perché nel costruire un gruppo in cui sia definita la moltiplicazione modulo-3 si scelgono come elementi 1 e 2 e si esclude lo zero? Mentre invece nell'esercizio immediatamente successivo mi si chiede di costruire un campo G(11) e in questo caso lo 0 è incluso.
3
3 gen 2011, 20:26

Tia9
Perchè la disequazione : $ x+1geqsqrt(x+2) $ da risultato : $ x geq (-1+sqrt(5))/2 $ e non invece $ x leq (-1-sqrt(5))/2 uu x geq (-1+sqrt(5))/2 $ ?
8
3 gen 2011, 18:32

Perdiana1
[size=18]SOS - progressioni aritmetiche-varie soluzioni ________________________________________ Sono parecchi giorni che cerco di svolgere degli esercizi del libro di testo senza riuscirci, nonostante gli esempi risolti e tantomento applicando la formula dettata dal professore a scuola. Dopo le feste natalizie avrò la verifica riguardante la progressione aritmetica ed ho riscontrato difficoltà soprattutto nel trovare "n" o "r" o "k" (il libro ed alcuni esempi trovati su Internet, vengono ...
3
2 gen 2011, 22:04

francicko
Un gruppo $G$ di ordine $2p$ con $p$ primo deve contenere almeno un sottogruppo di ordine $2$ ed almeno un sottogruppo di ordine $p$, per il teorema di cauchy, è giusto? Se fosse così allora i casi che si possono presentare sono solamente i seguenti? $1)$contiene esattamente due sottogruppi(o elementi) di ordine $p$ ed un sottogruppo(o elemento) di ordine $2$, ...
28
27 nov 2010, 22:22

gundamrx91-votailprof
Devo dimostrare che presi due interi $a,b$, esistono due numeri $x,y$ tale che $ax + by = c <=> d=(a,b) | c$ quindi in pratica devo dimostrare che $c$ e' un multiplo del MCD tra $a$ e $b$. Se $c$ e' un multiplo di $d$ allora lo posso scrivere nella forma $c=c'*d + r$ dove $r=0$ e' il resto della divisione tra $c$ e $d$. Per la definizione di MCD so che ...
12
1 gen 2011, 17:43

margili
Ciao a tutti. Sono una studentessa della facoltà di Scienze Ambientali e stiamo facendo Matematica I. So che sono cose più o meno facili, ma ho riscontrato delle difficoltà con questa disequazione. Ciò che ho fatto è: trasferire il fattore a destra a sinistra. Porre tutto ciò che sta sotto la grande radice maggiore di 0. e poi -x>0 questa era la condizione di esistenza poi elevare al quadrato così da eliminare la grande radice. ma ciò che esce alla fine è UN GRAN DISASTRO e non ...
9
1 gen 2011, 01:09

liantar
Ciao ragazzi avrei bisogno di un piccolo aiuto: Mi é stato assegnato un esercizio che dice: Si consideri nell'insieme G delle coppie ordinate di elementi di Z3 l'operazione così definita: ([x1],[x2])+([y1],[y2])=([x1+y1],[x2+y2]) provare che é un gruppo ciclico e determinare i sotto gruppi. Svolgimento: Poiché dalla traccia si evince che G é l'insieme delle coppie ordinate di Z3 si ha che: G=Z3xZ3={(x,y) : x,y appartiene a Z3} ovvero al prodotto cartesiano di Z3xZ3 con elementi di ...
10
31 dic 2010, 08:22

chester92
Ciao, come si può dimostrare che l'insieme delle classi di congruenza modulo n costituiscono una partizione di Z?
8
30 dic 2010, 11:54

blackbishop13
un esercizio che non riesco a risolvere: [tex]$A$[/tex] anello in cui ogni ideale [tex]$I \neq A$[/tex] è primo, allora [tex]$A$[/tex] è un campo. iniziamo con il considerare l'ideale [tex]$\left( 0 \right)$[/tex]: siccome questo è primo, possiamo concludere che [tex]$A$[/tex] è un dominio. ora osserviamo che [tex]$R$[/tex] è un campo [tex]$\Leftrightarrow$[/tex] gli unici ideali di [tex]$R$[/tex] sono banali, ...
4
30 dic 2010, 15:33

Obionekenobi1
Ciao ragazzi, mi scuso se non sono riuscito a publicare qui il mio diagramma di Hasse: cmq lo potete trovare qui: http://upload.wikimedia.org/wikipedia/c ... iagram.PNG Il mio problema è col diagramma a destra: non riesco a capire perchè non è un reticolo. Sò che ad esempio a e b non hanno sup perchè tra E', E'' e G non si può dire chi è più grande: ma a me sembra evidente che sia G a stare più in alto. Stesso discorso vale tra E' ed E'' per l'inf. Qualcuno mi può aiutare?
7
30 dic 2010, 02:49

†Sally†111
Dimostrare che $ sqrt(4n-1) in I AA $ $ nge1 $, $n in NN$. In spoiler la mia soluzione, volevo sapere se ho ragionato correttamente. Per assurdo si ammetta che $ EE K $ tale che $ K^(2) = 4n-1 rArr K^(2) + 1 = 4n $. Di qui $ K^(2) + 1 -= 0 mod4 $. Ma K è dispari dunque si ha: $ K -= 1 mod4 o K -= 3 mod4 $ e in entrambi i casi $ K^(2) -= 1 mod4 $ da cui $ K^(2) +1 -= 2 mod4 $ e di qui l'assurdo.
2
29 dic 2010, 20:30

angivi
ciao,dovevo determinare il campo di riducibilita' completa di $F$ di $f=x^4-7$ su $QQ$ e il grado dell'estensione [F:$QQ$] e io ho fatto cosi': in $CC$ il polinomio f ha le radici: $root(4)(7)$ $i*root(4)(7)$ $-root(4)(7)$ $-i*root(4)(7)$ $F=QQ(root(4)(7),i*root(4)(7),-root(4)(7),-i*root(4)(7))=QQ(i,root(4)(7),-1)$ per calcolare il grado di [F:$QQ$] osservo che i polinomi minimi di i,$root(4)(7)$,-1 sono rispettivamente ...
4
23 nov 2010, 10:57

gundamrx91-votailprof
Sto cercando di studiare il teorema di Eulero-Fermat... al momento sono arrivato alla funzione di Eulero $\varphi(n)$, che credo di aver capito, pero' successivamente viene indicato un lemma che dice, testualmente: "precisato che per sistema completo di residui modulo a si intende un qualunque insieme di $\varphi(a)$ interi mai due dei quali congrui modulo a, siano a,b e c interi e sia (a,b)=1,; se x percorre M, un sistema completo di residui, allora bx+c percorre un sistema ...
9
25 dic 2010, 09:07

Amartya
Salve ho qusto quesito. Sia $A$ un anello commutativo unitario ed $S = {s:N -> A}$ l'anello delle successioni di elementi di $A$ Provare che $s in S$ è invertibile se e solo se $s(0)$ è invertibile in $A$. Non riesco proprio ad impostare la soluzione. Qual'è l'elemento neutro dell'anello delle successioni? E' sempre $1$
3
27 dic 2010, 17:07

Augosoma
Ciao a tutti, come da oggetto sto ricercando un libro di logica matematica da comprare e dunque vorrei chiedere se qualcuno di voi conosce qualche testo di buon livello, anche in inglese da consigliarmi. Ad esempio guardando su internet ho trovato questi testi che sembrano essere molto buoni: Mendelson, Introduction to mathematical logic Kleene, Introduction to metamathematic Srivastava, A course on mathematical logic secondo voi, per iniziare ad avvicinarsi alla materia possono andare ...
5
24 dic 2010, 14:41

chester92
Ciao, per chiarezza vi riporto l'enunciato: Dati a e b in Z,non contemporaneamente nulli, il loro massimo comun divisore si può esprimere come combinazione lineare di a e b ed è anche il minimo delle combinazioni lineari La dimostrazione fa così Mettiamoci nell'insieme S = { ax+by [tex]\ge[/tex] 1}, questo insieme è non vuoto perché conterrà almeno a o b visto che non possono essere entrambi nulli ed essendo sotto insieme di N è dotato di minimo. Sia d' ...
4
24 dic 2010, 11:09

pagliagiorgia
Ciao ragazzi, devo determinare l'elemento inverso di $(bar1+bar2*barx)$ nell'anello quoziente $F=ZZ//3ZZ[x] //(x^2+1)$. Ho la soluzione che è $(bar2+bar2*barx)$, e so che devo usare l'algoritmo euclideo, ma non so il procedimento! grazie a tutti e buone feste!!
12
24 dic 2010, 16:56