Algebra, logica, teoria dei numeri e matematica discreta

Buonasera volevo provare dato un insieme $S$ risulta $(P(S),subseteq)$ reticolo. Quindi siano $A,B in P(S)$ si ha $exists "sup"{A,B}$ e $exists "inf"{A,B}$. Pongo $L="sup"{A,B}$ risulta 1) $A subseteq L, B subseteq L$, 2)$ C in P(S), A subseteq C , B subseteq C to L subseteq C$ Per la 1) $A cup B subseteq L$, invece, per la 2) $A cup B subseteq C$ Quindi, ho due possibilità a)$Lsubseteq A cup B subseteq C$ oppure b)$ A cup B subseteq L subseteq C$ Chiaramente la b) deve essere scartata, ma questo non saprei formalizzarlo. Ciao

\( \displaystyle A = { (1,2);(2,3),(2,4),(3,1),(5,4).} \)\( \displaystyle A = { (1,2);(2,3),(2,4),(3,1),(5,4).} \)Salve a tutti, Volevo chiedervi se un'affermazione del genere è corretta : Preso un elemento qualsiasi di un grafo orientato \(\displaystyle G \) composto da\(\displaystyle N \) elementi, si supponga di cercare un cammino da un elemento \(\displaystyle A \) a \(\displaystyle B \). Possiamo affermare che se, nella ricerca del cammino, la lunghezza del percorso da ...

Buongiorno, ho la seguente proposizione dove non è riportata la dimostrazione, quindi ora vi riporta la mia dimostrazione, ditemi se può andare bene. Enunciato: Sia $omega$ legge esterna tra $X$ ed $S$ e sia $Sigma={Y subseteq S\:\ "Y parte stabile di S "}$. Allora $bigcap_(Y in Sigma) Y$ è una parte stabile. Dimostrazione: Siano $a, b in bigcap_(Y in Sigma) Y \ to\ a,b in Y\,\ forall Y in Sigma,$ poiché $Y$ è una parte stabile per $omega$, risulta: $alpha \ omega\ a in Y $ e $alpha \ omega\ b in Y $, di nuovo per la stabilità ...

Buongiorno, Volevo provare: se prendo due insiemi $A,B ne emptyset$ i quali risultano stabili per $omega$, allora $AcupB$ stabili per $omega$ se e solo se $AsubseteqB$ o $BsubseteqA.$ $to$ $"hp." \ qquad AcupB$ stabili per $omega,$ $"th." \ qquad AsubseteqB \ qquad leftrightarrow \ qquad a in A to a in B.$ Siano $a in A\,\ b in B\:\ b notin A$, $a\omega\b in AcupB$ 1) $a\omega\b in A leftrightarrow a,b in A leftrightarrow a in A , b in A$ 2) $a\omega\b in B leftrightarrow a,b in B leftrightarrow a in B , b in B$ La 1) viene esclusa, in virtù del fatto che $b notinA$, quindi, rimane la 2), cioè ...

Salve vorrei avere chiarimenti su questo esercizio sulle applicazioni. Si consideri l'applicazione \( f: N_0\longmapsto Z \) definita ponendo $ f(x) = { ( x/3 ) ,( -x ):} $ $ x/3 $ se $ x in 3N_0 $ $ -x $ se \( x \notin 3N_0 \) 1)Motivando la risposta si stabilisca se $ f $ è iniettiva e suriettiva. 2)Si determini l'immagine $ f(N_p) $ . 3)Si determini la controimmagine $ f^(-1)(N_p) $ . 4)Assegnata l'applicazione \( g: y\in Z\longmapsto 3y \in ...

Senza scomodare la teoria di Galois, dato il polinomio $a_0+a_1x+a_2x^2 +a_3x^3 $, è siano $x_1,x_2,x_3$ le radici del polinomio, come si può dimostrare che all'estensione $Q(x_1)$ appartengono le rimanenti radici $x_1,x_2$?

Buongiorno, Siano $|S|=n$, $|T|=t$ e $T^S={f:StoT\|\ f\ "applicazione"}.$. Provare $|T^S|=t^n$ per ogni $n ge 1.$ Procedo per induzione su $n$, quindi sia $n=1.$ Se $n=1 \ to\ |S|=1$ quindi $S={a}.$ Sia $f : S \ to T leftrightarrow f: a in {a} \ to \ f(a) in T$, il valore $f(a) in T$ può assumere $t$ valori possibili, quindi possiamo assegnare $t$ funzioni da ${a}$ in $T$, cioè $|T^({a})|=t^1=t.$ La base d'induzione è ...

Ho un dubbio: se considero l'operazione $x*y = x+y+5$ , $ (Z,*)$, rispetto a questa operazione, é un gruppo abeliano, questo l'ho verificato. Come faccio a trovare il generatore. Devo pensare a questo gruppo come un laterale del gruppo additivo $(Z,+)$, cioé $ Z - 3$ Grazie

Ciao a tutti ho dei problemi nello stabilire quando un ideale di \(\mathbb{Z}[X]\) é primo o/e massimale. Per esempio il seguente esercizio: Siano \(I=(X^2+X+1, X+1), J=(X^2+X+2, X+1)\) ideali di \(\mathbb{Z}[X] \) stabilire se sono primi e/o massimali. Dalla teoria so che se il quoziente \(\mathbb{Z}[X]/I\) é integro (risp. un campo) allora \(I\) é primo (risp. massimale) ed inoltre che, essendo qui in un dominio, se \(I\) é massimale allora é anche primo. Però determinare questo ...

Ciao a tutti, Riprendendo uno degli ultimi argomenti del corso di Algebra I, mi sono imbattuto nella richiesta di trovare la cardinalità dell'insieme $ (A[x])/I $, dove $I$ è l'ideale generato dal polinomio $x^4+2x^3+x^2+2x$ e $A$ è $ZZ/(3ZZ)$. Ho opportunamente fattorizzato in fattori irriducibili il polinomio in questione arrivando a $ x(x+1)(x-1)(x+2)$ ma poi non sono in grado di procedere. A questo punto penso mi manchi qualche pezzo sul come è fatto ...

Salve a tutti, mi sto esercitando in vista di un esame e chiedo aiuto a voi per una traccia che richiede di studiare una relazione d'ordine. Prima di postarvi l'esercizio, vorrei chiedere dei chiarimenti sulle definizioni di minimo, minimale e minorante e provare a rifarlo da solo. Facciamo così: Sia $ (S,rho ) $ un insieme ordinato, ordine largo. Un elemento 'a' $ in $ S è minimo se e solo se $ AA x in S (a rho x) $ Un elemento 'c' $ in $ S, è minorante per un insieme ...

Buonasera, Def. Sia $(S,le)$ insieme ordinato, si dice induttivo se ogni sua parte totalmente ordinata è superiormente limitata. Ai tempi del corso scrissi: $(P(S), subseteq)$ induttivo. Quindi dovrei provare che $forall X subseteq P(S)$ con $X$ totalmente ordinata risulti ammettere maggioranti. La cosa che mi incuriosisce è la parte $X$ totalmente ordinata, cioè cosa vuol dire una parte totalmente ordinata rispetto a $subseteq$ in ...

Condividerò immagini visto che un paio di queste formule e simboli non sono supportati dal sistema di commento: Siccome non l'ho scritto nel titolo, qui si stiamo parlando di permutazioni, quindi S4 è l'insieme di tutte le permutazioni possibili di un qualsiasi insieme di 4 elementi; Per chi non riesce a leggere bene c'é scritto "nel suo cubo x^3 = . . . " La mia idea era trovare un semplice controesempio usando due permutazioni da 4 elementi: T1 = (1234) e T2 ...

Buonasera, Alcuni autori la danno per definizione altri come una proposizione, quindi nel dubbio la dimostra Sia $S ne emptyset$ e $Xne emptyset\,\ X subseteq S.$ Se $"inf"X in X leftrightarrow minX="inf"X$ Posto $y="inf"X in X$ Quindi, $y in X$ per definizione di estremo superiore si ha: a) $y le x\,\ forall x in X,$ b)$forall b in S : b>y\,\ exists x in X \:\ xnotgeb,$ in particolare dalla a) risulta $y le x\,\ forall x in X, y in X leftrightarrow minX=y leftrightarrow minX="inf"X$ Invece, $minX="inf"X$, per definizione minimo si ha $"inf"X in X$ Ciao.

Salve a tutti, Se devo determinare l'insieme degli elementi invertibili in un certo \(\displaystyle n \) di \(\displaystyle Zn \) praticamente devo trovare tutte quelle classi \(\displaystyle A \) tali che \(\displaystyle A * M = 1 \) con \(\displaystyle A \) , \(\displaystyle M \) compresi tra \(\displaystyle [ 0, n-1 ] \) . Per fare ciò devo prendere tutte le classi \(\displaystyle A \) all'interno di \(\displaystyle Zn \) e verificare che \(\displaystyle MCD(A, n)=1 \). Se la condizione ...

Buonasera, Volevo chiarire alcuni passi della seguente dimostrazione. Siano $S,T,V$ non vuoti, $f:S to T$ e $g:T to V$, allora: Se $\ g circ f $ è iniettiva e $f$ suriettiva, allora $g$ è iniettiva. La tesi consiste nel far vedere che presi $y , y' in T \:\ g(y)=g(y') \to\ y=y'$ Siano infatti $y, y' in T$ per cui $g(y)=g(y')$, inoltre dalla suriettività della funzione $f$, abbiamo $exists x, x' in S \:\ y=f(x) \"e"\ y=f(x')$, quindi per la definizione della ...

Un polinomio di terzo grado irriducibile in $Q$ ha sempre $S_3$ come gruppo di Galois?

Innanzitutto un saluto a tutti! Vi chiedo un aiuto. Ho trovato un esercizio secondo il quale l'anello $\mathbb{Z}_2^X$ delle funzioni $f:X\to \mathbb{Z}_2$ è un anello artiniano (che soddisfa la condizione della catena discendente per gli ideali). Qualcuno potrebbe darmi un suggerimento per la dimostrazione? Grazie.

Non capisco questo esempio in relazione alla proposizione seguente Sia \(f \in K[t] \) irriducibile allora \(E= K[t]/(f) \) è un estensione di \(K\) che contiene una radice \( \alpha \) di \(f \). Esempio. Sia \(K= \mathbb{F}_3\). Abbiamo che in \( \mathbb{F}_3[t] \) vi sono - 3 polinomi irriducibili unitari di grado 1 della forma \( t-a \) con \(a=0,1,2\). - 9 polinomi unitari di grado 2 della forma \(t^2+at+ b \), sei sono della forma \((t-a)(t-b) \) che sono riducibili, restano dunque ...

Ho provato a risolvere con le note formule di Cardano l'equazione $x^3-3x+1=0$, dallo studio di funzione si vede che ha esattamente tre radici reali, attraverso i calcoli sono arrivato alla soluzione $x_1=root(3)(-1/2+isqrt(3)/2)+root(3)(-1/2-isqrt(3)/2)$, che dovrebbe rappresentare un numero reale, quali ulteriori trasformazioni sono da apportare per mostrare che si tratta di un numero reale?