Ideał (teoria pierścieni)

Z Wikipedii

Masz nowe wiadomości (różnica z poprzednią wersją).

Ideał – w algebrze abstrakcyjnej jest to podzbiór pierścienia o pewnych szczególnych własnościach. Pojęcie ideału powstało przez wyodrębnienie pewnych własności, które posiadają pewne podzbiory zbioru liczb całkowitych takie jak zbiór liczb parzystych, czy ogólnie liczb podzielnych przez pewną liczbę $k$ . Stąd też pochodzą pojęcia takie jak ideał pierwszy, który w pewien sposób uogólnia własności liczb pierwszych.

Ideały są w teorii pierścieni odgrywają rolę analogiczną do podgrup normalnych w teorii grup. Pozwalają bowiem zdefiniować pierścień ilorazowy.

Pojęcie ideału zostało wprowadzone przez Dedekinda, jako uogólnienie pojęcia liczb idealnych rozważanych przez Kummera. Badania Dedekinda były kontynuowane przez Hilberta i szczególnie przez Emmę Noether.

[edytuj] Definicja

Ideałem pierścienia przemiennego $R$ nazywa się każdy podzbiór $I \sub R$ taki, że:

$I\;$ jest podgrupą grupy addytywnej pierścienia
jeśli $\gamma \in R$ oraz $\alpha \in I$ , to $\gamma\cdot\alpha \in I$

Zamiast pierwszego warunku wystarczy przyjąć, że zbiór $I$ jest niepusty oraz, że spełniony jest warunek następujący:

jeśli $\alpha, \beta \in I$ , to $\alpha + \beta \in I.$

Niekiedy nie zakłada się przemienności pierścienia $R$ . Wtedy powyższe warunki definiują ideał lewostronny pierścienia, natomiast jeśli zastąpimy drugi warunek następującym:

jeśli $\gamma \in R$ oraz $\alpha \in I$ , to $\alpha\cdot\gamma \in I$

to otrzymamy definicję ideału prawostronnego.

Jeżeli $A$ jest dowolnym podzbiorem pierścienia $R$ , to przez $\langle A\rangle$ oznaczamy najmniejszy (w sensie zawierania się zbiorów) ideał pierścienia $R$ zawierający zbiór $A$ . Można udowodnić, że

$\langle A\rangle=\{r_1a_1+\ldots+r_na_n: r_i\in R, a_i\in A, n\in \mathbb N\}$

Ideał ten nazywamy ideałem generowanym przez zbiór $A$ , a sam zbiór $A$ zbiorem generatorów ideału $\langle A\rangle$ .

[edytuj] Typy ideałów

Z definicji natychmiast wynika, że sam pierścień $R$ jest ideałem – ideały, które są właściwymi podzbiorami pierścienia $R$ , nazywamy właściwymi. Ideał $I$ jest właściwy wtedy i tylko wtedy, gdy nie zawiera $1$ .

Ideałem maksymalnym nazywamy ideał właściwy $I$ o następującej własności: nie istnieje ideał właściwy $J \neq I$ taki, że $I \subset J$ . Korzystając z lematu Kuratowskiego-Zorna można udowodnić, że każdy ideał jest zawarty w pewnym ideale maksymalnym. Ponadto, ideał $I\subset R$ jest maksymalny wtedy i tylko wtedy, gdy pierścień ilorazowy $R / I$ jest ciałem.

Ideałem pierwszym nazywamy ideał o własności:

jeżeli $\alpha\cdot\beta \in I$ , to $\alpha\in I$ lub $\beta\in I$ .

Każdy ideał maksymalny jest pierwszy. Ponadto, ideał $I\subset R$ jest pierwszy wtedy i tylko wtedy, gdy pierścień ilorazowy $R / I$ nie posiada nietrywialnych dzielników zera (jest dziedziną całkowitości).

Jeżeli każdy ideał pierścienia jest pierwszy, to pierścień nazywamy pierścieniem ideałów pierwszych.

Ideałem głównym nazywamy ideał, który jest generowany przez jeden element. Jeżeli $a$ jest takim elementem, to generowany przez $a$ ideał główny jest zbiorem wszystkich elementów postaci $a \cdot r$ dla $r \in R$ .

Jeżeli dla danego ideału $I$ istnieje skończony zbiór $A$ taki, że $\langle A\rangle=I$ , to ideał $I$ nazywamy ideałem skończenie generowanym. Każdy ideał główny jest skończenie generowany.

[edytuj] Przykłady

W dowolnym pierścieniu zbiór ${0}$ jest ideałem, zwanym trywialnym.
Zbiór wszystkich elementów pierścienia $R$ jest ideałem w tym pierścieniu (zwanym niewłaściwym).
W pierścieniu $\mathbb Z$ liczb całkowitych przykładem ideału jest zbiór wszystkich liczb parzystych. Ideałem jest również zbiór wszystkich liczb podzielnych przez $9$ . Ogólniej, każdy ideał pierścienia $\mathbb Z$ jest zbiorem wszystkich liczb podzielnych przez pewną liczbę naturalną $k$ . Zatem $\mathbb Z$ jest pierścieniem ideałów głównych. Ideał pierścienia $\mathbb Z$ jest pierwszy, wtedy i tylko wtedy, gdy jest zbiorem liczb podzielnych przez pewną liczbę pierwszą.
Jedynymi ideałami dowolnego ciała są ideał trywialny (złożony z samego zera) i niewłaściwy (całe ciało).
Jeśli $f: R \to S$ jest homomorfizmem pierścieni, to jego jądro $\ker f$ jest ideałem w pierścieniu $R$ .
Zbiór elementów nieodwracalnych pierścienia $R$ tworzy ideał wtedy i tylko wtedy, gdy $R$ zawiera dokładnie jeden ideał maksymalny.

[edytuj] Operacje na ideałach

Suma algebraiczna ideałów $I$ i $J$ pierścienia $R$ , czyli zbiór

$I+J=\{a+b: a \in I, b \in J\}$

jest również ideałem w pierścieniu $R$ .

Zbiór wszystkich iloczynów elementów dwu ideałów $I$ i $J$ nie musi być ideałem. Dlatego przez $I J$ rozumie się ideał generowany przez te iloczyny. Zatem:

$IJ=\{r_1a_1b_1+\ldots+r_na_nb_n :r_i\in R, a_i\in I, b_i\in J, 1\leq i\leq n, n\in \mathbb N\}$

Część wspólna ideałów $I \cap J$ również jest ideałem, podczas gdy teoriomnogościowa suma ideałów $I \cup J$ nie musi być ideałem, ale zawsze jest podzbiorem ideału $I J$ .