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
Antolepore94
Vorrei un chiarimento riguardante il mio esame di matematica discreta. Nell'esame una delle richieste era: Scrivere la definizione di reticolo ordinato, quella di reticolo algebrico e spiegare la corrispondenza tra le due strutture. Credo di aver risposto correttamente alle due definizioni, ma qual è esattamente la correlazione tra le due? In un'altro quesito chiedeva di effettuare un'operazione nel campo $(ZZ_11 , + , *)$, nello specifico: $[5]_11^-1 * ([4]_11 + [6]_11)$ Ho risolto in questa ...
2
20 gen 2014, 09:53

matematicamenteparlando
Salve a tutti ho i seguenti esercizi : 1)Se $A |= ¬A$ allora A è insoddisfacibile (Vero) 2)Se $A$ `e una tautologia allora $B |= A$ per ogni $ B$(vero) 3)Se $(A∧B)$ è soddisfacibile allora il tableau di $A$ oppure il tableau di $B$ hanno qualche ramo aperto(falso) 4)$(A↔B)≡((A∨B)→(A∧B))$(Vero) Tra parentesi c'è la risposta che ho dato io. Sono giuste o c'è qualche errore? Vi ringrazio per l'attenzione
2
18 gen 2014, 19:45

mrx888
Salve! Chiedo il vostro aiuto nel risolvere il seguente esercizio: Dimostrare, per induzione matematica, la seguente proprietà: \( \displaystyle ((1+q)(1+q^2)...(1+(q^2)^n)=(1-(q^2)^{n+1})/(1-q) \) per ogni n>= 0, e per ogni q != 1 Nella dimostrazione del passo induttivo arrivo al punto in cui: \(\displaystyle ((1-(q^2)^{n+1})/(1-q))*(1+(q^2)^{n+1}) \) \( \displaystyle ((1-(q^2)^{n+2})/(1-q)) \)che è uguale a: \(\displaystyle ((1-(q^2)^{2n+2})/(1-q)) \) mentre la tesi ...
2
18 gen 2014, 19:24

matematicamenteparlando
Salve a tutti,stavo svolgendo l'esercizio numero 2 di questo pdf: http://www.batmath.it/corsi_uni/es_an_u ... -10-08.pdf Il punto che non riesco a capire è l'ultimo: $1+a(n+1)+na^2>=1+(n+1)a$ specificato dal *3 nel file. Mi potreste spiegare il passaggio? Vi ringrazio molto, per la vostra disponibilità
12
18 gen 2014, 13:17

Ichan89
Salve a tutti... Ho un dubbio su come risolvere questo esercizio... Nell'anello dei polinomi Z[x] si considerino gli ideali (n), (x) e (n,x), con n appartenente ai Naturali (tranne lo zero). Dimostrare che: Z[x]/(n) è isomorfo a Zn[x] (n al pedice ovviamente) Z[x]/(x) è isomorfo a Z Z[x]/(n,x) è isomorfo a Zn secondo me si potrebbe usare il teorema fondamentale d'omomorfismo ma credo risulterebbe troppo laborioso e inutile... credo che si possa arrivare a dimostrare l'isomorfismo in tutti ...
32
17 gen 2014, 21:59

Ichan89
Qualcuno può aiutarmi a risolvere questo esercizio? Credo che il primo approccio sia usare il criterio di irriducibilità di eisenstein e dovrebbe risultare riducibile... anche se ho una lieve confusione su quali sono gli elementi primi di Z3... qualcuno sa dirmeli con certezza? A questo punto ho provato a vedere se gli elementi di Z3 sono radici e nessuno lo è... quindi ho escluso che nella fattorizzazione ci siano polinomi di primo grado.. ragion per cui l'unica fattorizzazione possibile ...
15
17 gen 2014, 20:39

thedarkhero
Sia $G$ un gruppo di ordine 15. Siccome $15=3*5$ e $MCD(3,5)=1$ allora per il primo teorema di Sylow devono esistere un 3-sottogruppo di Sylow (chiamiamolo $P$) e un 5-sottogruppo di Sylow (chiamiamolo $Q$). Sia $P$ che $Q$ sono di ordine primo e dunque (per il teorema di Cauchy) contengono un elemento di ordine rispettivamente 3 e 5 e sono dunque entrambi ciclici. Consideriamo ora la struttura ...
7
17 gen 2014, 14:32

Pozzetto1
Buongiorno agli amici del forum, mi trovo davanti ad un esercizio di un vecchio esame. Tale esercizio era facoltativo ma mi piacerebbe capire lo stesso come svolgerlo. Il testo è il seguente: Dimostrare che $P(A - B) sube {\varphi} uu (P(A) - P(B))$. Come procedere?
6
17 gen 2014, 14:26

rasmik
Ciao a tutti ragazzi, ho bisogno di un piccolo aiuto, ovvero, ho svolto l'esame di elementi di matematica e logica...ho fatto tutto apparte un esercizio che chiede: Si dica se il polinomio $ X^16+47 $ ha radici in C ed in caso affermativo determinarle. Dato che sicuramente mi sara domandato all'esame orale di risolverlo, non è che qualche anima pia può darmi una mano o almeno indirizzarmi verso una buona strada... please Help Me...
5
17 gen 2014, 12:44

balestra_romani
a^x + b^x = c; x=?
7
17 gen 2014, 11:57

_GaS_11
Si consideri l'applicazione in ZxZ in sé così definita: $(x,y)to(x',y')$, essendo $x'=ax+by,y'=cx+dy$, con $a,b,c,d$ interi. In quali casi essa è iniettiva? In quali surgettiva? Vorrei essere abbastanza sicuro della soluzione. SOLUZIONE. Iniettività: $(x,y)to(x',y')$. È possibile: $(x_1,y_1)to(x',y'),x_1!=x,y_1!=y$? $(x'-by)/a=(y'-dy)/c=(x)inZZ$. $(x'-by_1)/a=(y'-dy_1)/c=x_1inZZ$. Da cui: $y!=y_1=>x!=x_1$. Quindi è possibile: $f(x,y)=f(x_1,y_1)=(x',y')$. Se $b=d=0=>(x')/a=(y')/c=x;(x')/a=(y')/c=x_1=>x=x_1$. Cioè iniettiva. $(a,dinZZ,b=c=0)uu(b,cinZZ,a=d=0)$. Surgettività: Fissata la ...
2
17 gen 2014, 10:51

daniele94102
salve con questo anello non riesco a dimostrare la proprietà distributiva "$(Z5,#,o)$ dove$a#b=a+b+[4]5$ e $aob=a+b-ab$" io ho fatto così: $ao(b#c)=>ao(b+c+[4]5)=>a+b+c+[4]5-ab-ac-a[4]5$ e poi $(aob)#(aoc)=>(a+b-ab)#(a+c-ac)=>a+b-ab+a+c-ac+[4]5$ come risolvo?? grazie
5
16 gen 2014, 18:36

Fedrooo
come si fa a scoprire le ultime 3 cifre di $46^14$ utilizzando i stemi cinesi?
5
16 gen 2014, 18:13

LLello1
Salve a tutti Non riesco a raccapezzarmi tra questa confusione facilmente riscontrabile in molti tesi ma soprattutto online Il segno di implicazione materiale è equivalente al segno di implicazione logica( nel senso che sortisce gli stessi effetti al fine della comprensione)? Ovvero: $rarr$ $=$ $rArr$ ( per chi non ricordasse i nomi delle "freccette") Grazie a tutti per l'attenzione
3
16 gen 2014, 16:59

Pozzetto1
Buonasera a tutti gli amici del forum, mi trovo di fronte a questo problema. $a) (A uu C) nn D$ è un sottonsieme di B $b) (A uu C) nn D$ non è un sottonsieme di B quali delle seguenti affermazioni posso usare per esprimere $a$ e quali per esprimere $b$ ? 1)$EEa(a in(A uu C)nnD ^^ a in B)$ 2)$AAa(a in(A uu C)nnD vv a in B)$ 3)$AAa(a in(A uu C)nnD rarr a in B)$ Ho provato in questo modo con degli insiemi casuali: $A={3,6,7,10}$ $B={7,9,10,12,20}$ $C={7,9,10}$ $D={7,9,12}$ ma per tutte posso usare la ...
16
16 gen 2014, 14:04

johack
Salve come primo esame devo affrontare matematica discreta, spero che non abbia sbagliato sezione Mi trovo a preparare un esame senza aver potuto seguire le lezioni Adesso mi trovo a combattere con tro il seguente esercizio: Calcolare $|{ i in [500] : (i,500)=1}|$
17
16 gen 2014, 11:32

DR1
Siano $y in RR$, $ \ y >=0 $ e $ \ n in NN$, $ \ n >=2$ allora $ EE ! \ r in RR \ : r^n=y$ Perché $r=$sup${a>=0 : a^n <= y }$ e non $r=$sup${a>=0 : a^n = y }$?
7
DR1
15 gen 2014, 14:00

_GaS_11
Scusate per questa domanda ambigua, ma è una cosa alla quale tengo. Se ho un insieme $A$ costituito da elementi senza proprietà ( ammesso che ciò sia possibile ), ha senso imporre una funzione $f:AtoA$ che non sia quella d'identità? Ovvero può esistere tale funzione? Ad esempio ( ammettendo per ipotesi una funzione ): $ainA$; $f(a)=a_1inf(A)$. È possibile: $binA$; $f(b)=b_1inf(A)$, se gli elementi non possiedono proprietà? Per intenderci: ...
18
14 gen 2014, 22:18

LLello1
Salve a tutti è la prima volta che scrivo su questo forum perciò vi prego di correggermi, oltre che nel testo che sto per scrivere, anche nella modalità in cui l'ho scritto: caratteri, chiarezza, forum sbagliato (ma non credo), finestra sbagliata ( Secondaria II grado), e tutto quello che vi viene in mente. La mia domanda è: il principio di induzione, quello permesso dal quinto postulato di Peano, è valido solo per N? Perché non dovrebbe esserlo anche per altri insiemi? Usando il ...
46
14 gen 2014, 03:53

duombo
Ciao a tutti, sto preparando l'esame di matematica discreta, uno degli esercizi di fine capitolo proposti dal libro è il seguente: Sia \(\displaystyle \varrho \) la relazione su \(\displaystyle \mathbb{Z} \) definita al modo seguente per ogni \(\displaystyle a,b \in \) \(\displaystyle \mathbb{Z} \) : \(\displaystyle a \varrho b \Leftrightarrow \exists c \in \mathbb{Z} | b=ac \) In questo caso ho dimostrato che è Riflessiva perchè \(\displaystyle \exists c \in \mathbb{Z} | a=ac \) per ...
11
13 gen 2014, 16:54