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
Buonasera sto leggendo la dimostrazione del teorema di Bézout, vi riporto l'enunciato e la dimostrazione
Siano $a_1,...,a_n$ interi non tutti nulli. Posto $d=M.C.D.(a_1,...,a_n)$ risulta
d è il minimo numero naturale del tipo $a_1x_1+....a_nx_n$ con ogni $x_i in ZZ$
Prima di iniziare la lettura, quello che è in corsivo l'ho aggiunto io "dimostra l'affermazione precedente".
Dimostrazione:
Sia $S={a_1x_1+....a_nx_n\:\ x_i in ZZ\,\ a_1x_1+....a_nx_n ge 1}$.
Risulta $S ne emptyset$ infatti esistono necessariamente ...
Salve, ho un esercizio che dice:
Sia $A$ l'insieme dei numeri interi di $ZZ$. Si definisca sull'insieme $A$ la relazione $R$ definita nel modo segunte:
$a R b$ se e solo se $a^2 - b^2 $ è multiplo di 4 $AA a,b in A$
Calcola la classe di equivalenza di 3.
Mi chiede anche di verificare che $R$ sia una relazione di equivalenza ma ci sono già riuscito.
Grazie in anticipo
Esercizi su polinomi e serie di potenza formali:
1) Sia $R$ un anello commutativo e sia $p(x)$ un elemento di $R[x]$. Dimostradre che $p(x)$ è nilpotente se e solo se tutti i suoi coefficienti $a_0, a_1, ... , a_n$ sono elementi nilpotenti di $R$.
2) Sia $R$ un anello commutativo unitario e sia $R[[x]]$ l'anello delle serie di potenze formali a coefficienti in $R$. Un elemento $p(x)$ di ...
1) If $≤$ is a partial order on a set $A$, show that there is a total order $ <=^(**) $ on $A$ such that $a ≤ b => a <=^(**) b$. (Hint: Use Zorn’s lemma.)
2) If $L$ is a lattice we say that an element $a in L$ is join irreducible if $ a=b vv c $ implies $a = b$ or $a = c$. If $L$ is a finite lattice show that every element is of the form $a_1 vv ··· vv a_n$, where each ...
L'esercizio è diviso in tre punti:
1) Dimostrare che $2ZZ$ e $3ZZ$ non sono isomorfi.
2) Dimostrare che $QQ[x]$ e $ZZ[x]$ non sono isomorfi.
3) Trovare tutte le immagini degli omomorfismi di $ZZ$.
Il punto (3) immagino chieda di trovare tutti gli ideali di $ZZ$ (che quozientando danno i rappresentanti delle classi di isomorfismo delle immagini degli omomorfismi di $ZZ$). E questo l'ho risolto, tutti gli ideali ...
Se Galois non fosse stato a conoscenza delle formule risolutive delle equazioni di terzo e quarto grado, avrebbe potuto ugualmente formulare la sua teoria?
Salve a tutti. Stavo dando un'occhiata alla formula di Faulhaber riguardante la somma delle potenze p-esime dei primi n interi \(S_p(n)=\sum_{k=1}^n k^p\). Così ho cercato in rete una dimostrazione della nullità dei numeri di Bernoulli dispari maggiori uguali a tre che non coinvolgesse argomenti di analisi. Mi sono imbattuto qui: https://www.maa.org/sites/default/files/images/images/upload_library/22/2975368.pdf.bannered.pdf. L'idea dell'articolo è che in base alla formula di faulhaber:
\[ S_p(n)= \frac{1}{p+1}\sum_{k=0}^n k^p\binom{p+1}{k}B_k n^{p+1-k} \]
è osservare ...
Consideriamo quello che il libro di testo che sto seguendo chiama "the ring of integers in the quadratic field" $ ZZ(w) $ con $w$:
$ w={ ( (1+ sqrt(D)) /2 \ \ \ \ \ se \ D-=1(mod4) ),( sqrt(D) \ \ \ \ \ al trimenti ):} $
Sia $ f in NN $ un intero positivo, consideriamo il sottoanello $ ZZ(fw) $.
1) Dimostrare che l'indice di $ ZZ(fw) $ in $ ZZ(w) $ visti come gruppi con l'addizione è uguale a $f$, in simboli $ [ZZ(w) : ZZ(fw)]=f $ .
2) Dimostrare viceversa che $ ZZ(fw) $ è l'unico sottoanello ...
Salve ragazzi, avrei un dubbio in merito ad un argomento, che proprio non riesco a risolvere.
Sia A campo e B sottocampo di A. Sia c appartenente ad A.
Si definisce B[c] come il sottoanello generato da B U {c}.
Allo stesso modo si definisce B(c) come il sottocampo generato da B U {c}.
Il primo è il sottoanello delle espressioni razionali intere di un campo. Il secondo: il sottocampo delle espressioni razionali fratte.
Risulta poi provato che se c è algebrico su B, allora B[c] = B(c).
Cercavo ...
Ad esempio se z ( appartenente al campo C ) è radice di un polinomio irriducibile in R ,anche il coniugato di z è radice. Tale proprietà vale per tutti i campi ? Esempio in Q il polinomio irriducibile $ x^2 -3 $ ha come radici in R la coppia +/-$ sqrt (3) $
Cioè le radici del sopracampo del sottocampo sono sempre in coppia (le altre eventuali radici appartengono al sottocampo).
Grazie
Ciao a tutti! Sto provando a svolgere il seguente esercizio:
Si consideri l'operazione definita da $ x** y=x+y+3 $ . Dimostrare che $ (Z,**) $ è un gruppo, esibire l'elemento neutro e l'elemnto inverso. Dare almeno un esempio di sottogruppo di $ (Z,**) $. Si tratta di un sottogruppo normale? Si tratta di un sottogruppo ciclico? Giustificare le risposte.
Allora se non sbaglio l'elemento neutro è -3. Infatti $ -3**y=-3+y+3=y $ . L'elemento inverso è -6-y, infatti ...
Mi si chiede di trovare tutti gli omomorfismi d'anelli \( f: A \to B \) e nei seguenti quattro casi non ho capito alcune cose. Qualcuno sarebbe così gentile da chiarirmi il motivo?
1) \( A= \mathbb{Z}/n\mathbb{Z} \) e \( B= \mathbb{Z} \).
Soluzioni:
Non esistono omomorfismi d'anelli poiché \( n \cdot 1 = 0 \).
Dubbio:
Non capisco il motivo onestamente, se esiste \(f \) allora \( f(1)=1 \) e \( f(0) = 0 \) e in \(\mathbb{Z}/n\mathbb{Z} \) abbiamo che \( 0 = n \) pertanto \( f(0)=f(n \cdot 1)= ...
7
Studente Anonimo
2 mar 2020, 19:08
Determinare se \( B= \{ 0,2,4,\ldots, 10 \} \) è un sottoanello, ideale destro, ideale sinistro e/o ideale bilatero di \( \mathbb{F}_{11} \).
Io direi che non è un sottoanello poiché \( (B,+) \) non è un sottogruppo poiché l'inverso additivo di ciascun elemento di \(B \) non è dentro \( B \). Siccome l'inverso di \( 10 \) ad esempio è \(1 \) che non è dentro \(B\).
Mentre direi che non è un ideale ne destro ne sinistro e dunque nemmeno bilatero poiché ad esempio \( 6 \cdot 2= 2 \cdot 6 = 1 ...
4
Studente Anonimo
2 mar 2020, 18:52
Salve, ho dei dubbi su questo esercizio: "Dimostrare che ogni insieme di 76 interi positivi minori o uguali a 100 contiene almeno 4 numeri consecutivi." Purtroppo non saprei se per risolvere occorre conoscere delle proprietà riguardanti i numeri naturali, ma mi basterebbe avere qualche consiglio o indizio per risolverlo per conto mio. Grazie in anticipo.
Buonasera a tutti! Ho bisogno del vostro aiuto e spero di essere nella sezione giusta.
All'ultimo appello dell'esame di topologia c'era un esercizio in cui si doveva calcolare il gruppo fondamentale di \( \mathbb{R^4} \) meno gli assi coordinati.
Ho cercato di dimostrare che \( \mathbb{R^4} \) meno gli assi si retrae fortemente per deformazione su Y= { $ S^3 $ \ 8 punti} considerando $ r:Xrarr Y $ che ad (x,y,z,w) associa (x,y,z,w)/||(x,y,z,w)|| e con \( ...
mi aiutate a risolvere questo esercizio?
Decomporre f = x4 − ̄4 ∈ Z5[x] come prodotto di polinomi monici irriducibili in Z5[x].
(i) In Z5[x], f ha fattori irriducibili di grado 3?
(ii) In generale, se un polinomio di grado 4 a coefficienti in un campo e privo di radici, questo
polinomio pu`o avere un fattore di grado 3?
(iii) Quanti sono i polinomi di grado 5 in Z5[x] che hanno sia ̄1 che ̄2 come radici?
In "Abstract algebra" di Dummit a pag. 82 si danno due definizioni di sottogruppo normale e si dicono essere equivalenti ma senza dimostrazione:
1) $ gNg^-1=N \ \ \ \ AA gin G $
2) $ gNg^-1subN \ \ \ \ AA gin G $
La (1) implica banalmente la (2).
$ h->ghg^-1 $ è un isomorfismo di $ N $ in $gNg^-1$ quindi nel caso in cui $ N $ sia finito si ha $ gNg^-1subN => gNg^-1=N $. Quindi la (2) implica la (1). Però se $ N $ è infinito lo stesso argomento non vale in quanto potrebbe ...
Salve, sul libro mi viene fatto un esempio di parte stabile generata da un sigleton, mi spiego meglio:
"Sia $m in ZZ$ e $m ne 0$. Rispetto all'ordinaria addizione in $ZZ$ la parte stabile generata da ${m}$ è il sottoinsieme ${mn \|\ n in NN}$."
Mi verrebbe da dire è ovvio, ma se devo dimostrarlo ho qualche difficolta, comunque vi riporto quello che sono riuscito a fare, quindi chiamo la parte stabile generata da ${m}$ con ...
Nel polinomio generico di 2 grado $x^2+bx+c$ ho che il suo gruppo di Galois è $S_2$,ed avremo $Q(sqrt(Delta)) $ come campo di spezzamento, quindi avremo la corrispondenza $Q->S_2$ed $Q(sqrt(Delta)) ->(e)$, ;
Nel caso di un polinomio generico di terzo grado, avente quindi come gruppo di Galois $S_3$, quale sarà la corrispondenza?
Sezionando il cono $x^2+y^2=z^2$ con un piano $z=mx+1$ , se $0<m<1$ si dovrebbe ottenere una ellisse. Come si fa a scrivere l'equazione di questa curva in un sistema di riferimento contenuto nel piano, in modo da riconoscere che è una ellisse trovarne i parametri ( semiassi, centro ecc...) ? E quale sistema di riferimento si deve scegliere per avere l'equazione più semplice ?
Accedi a tutti gli appunti
Tutor AI: studia meglio e in meno tempo