Algebra, logica, teoria dei numeri e matematica discreta

Salve.. cosa significa: descrivere esplicitamente la classe di equivalenza di (a,b)?? per esempio ho una relazione d'equivalenza (a,b)R(x,y) a-x in Z, b-y in Q e devo descrivere la classe (5, 1/7). Grazie

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 ...

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

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 ...

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à

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 ...

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 ...

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 ...

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?

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...

a^x + b^x = c; x=?

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 ...

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

come si fa a scoprire le ultime 3 cifre di $46^14$ utilizzando i stemi cinesi?

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

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 ...

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}|$

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 }$?

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: ...

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 ...