Passa al tema normale
Discussioni su Algebra astratta, Logica Matematica, Teoria dei Numeri, Matematica Discreta, Teoria dei Codici, Algebra degli insiemi finiti, Crittografia.

Regole del forum

Consulta il nostro regolamento e la guida per scrivere le formule
Rispondi al messaggio

ideale [J:I]

08/03/2019, 21:56

Siano $I$ e $J$ ideali di una nello commutativo $A$ e si ponga
$[J:I]={x \in A | ax \in I \ per \ ogni\ a \in J}$
Si provi che tale insieme è un ideale di $A$ che contiene $I$

siano $h,k \in [J:I] $ allora $ah \in I$ e $ak \in I$ per ogni $a \in J$
si ha : $a(h-k)=ah-ak \in I $ ciò implica che $h-k \in [J:I]$

sia $ h \in [J:I]$ allora $ah \in I $ per ogni $a\in J$
per ogni $b \in A$ si ha : $a(bh)=b(ah) \in I$ (tale prodotto sta in $I$ in quanto $I$ è ideale di $A$) ciò implica che $bh \in [J:I]$

abbiamo così dimostrato che $[J:I]$ è ideale di $A$

non so come dimostrare che $I$ e contenuto in $[J:I]$. Ho pensato di dimostrare che ogni elemento di $I$ sta in $[J:I]$ ma non riesco a formalizzarlo. Grazie in anticipo per l'aiuto :)

Re: ideale [J:I]

08/03/2019, 22:19

Prendi $x \in I$ ciò che ti serve è che preso $j \in J$, si abbia $jx \in I$, ma ciò è evidente per la proprietà di assorbimento dell'ideale (cioè gli elementi dell'ideale "assorbono" gli elementi di A tramite prodotto, quindi in particolare quelli di J vengono "assorbiti") perciò $x \in [J:I]$

Re: ideale [J:I]

08/03/2019, 22:24

puoi spiegarmi meglio questo "assorbimento"??

Re: ideale [J:I]

08/03/2019, 22:42

È semplicemente una delle due proprietà che caratterizzano gli ideali ovvero:
$\forall a\in A, i\in I$ si ha $ai \in I$ (se A commutativo, altrimenti va distinto il prodotto a dx e sx)

Re: ideale [J:I]

08/03/2019, 22:58

Reyzet ha scritto:Prendi $x \in I$ ciò che ti serve è che preso $j \in J$, si abbia $jx \in I$

$j$ oltre ad essere un elemento di $J$ è anche un elemento di $A$ quindi essendo $I$ ideale si ha $jx \in I$. Giusto?

Re: ideale [J:I]

08/03/2019, 23:33

Rispondi al messaggio


Skuola.net News è una testata giornalistica iscritta al Registro degli Operatori della Comunicazione.
Registrazione: n° 20792 del 23/12/2010.
©2000— Skuola Network s.r.l. Tutti i diritti riservati. — P.I. 10404470014.