Pierścień (matematyka): Różnice pomiędzy wersjami

Z Wikipedii, wolnej encyklopedii
[wersja przejrzana][wersja przejrzana]
Usunięta treść Dodana treść
m poprawa linków
Linia 7: Linia 7:
== Definicja ==
== Definicja ==
Niech <math>(R, +, \cdot, 0)</math> będzie [[algebra ogólna|algebrą]], w której <math>R</math> jest pewnym niepustym [[zbiór|zbiorem]], symbole <math>+, \cdot</math> oznaczają dwa [[działanie dwuargumentowe|działania dwuargumentowe]] określone w tym zbiorze, a <math>0</math> jest pewnym [[działanie zeroargumentowe|wyróżnionym elementem]]. Algebra ta nazwana jest '''pierścieniem''' (''łącznym''), jeśli:
Niech <math>(R, +, \cdot, 0)</math> będzie [[algebra ogólna|algebrą]], w której <math>R</math> jest pewnym niepustym [[zbiór|zbiorem]], symbole <math>+, \cdot</math> oznaczają dwa [[działanie dwuargumentowe|działania dwuargumentowe]] określone w tym zbiorze, a <math>0</math> jest pewnym [[działanie zeroargumentowe|wyróżnionym elementem]]. Algebra ta nazwana jest '''pierścieniem''' (''łącznym''), jeśli:
* struktura <math>R^+ = (R, +, 0)</math> jest [[grupa przemienna|grupą abelową]], nazywaną [[grupa addytywna|grupą addytywną]], z działaniem <math>+</math> nazywanym '''dodawaniem''' i [[element neutralny|elementem neutralnym]] <math>0</math> nazywanym '''[[0 (liczba)#Zero w matematyce|zerem]]''':
* struktura <math>R^+ = (R, +, 0)</math> jest [[grupa przemienna|grupą abelową]], nazywaną [[grupa addytywna|grupą addytywną]], z działaniem <math>+</math> nazywanym '''dodawaniem''' i [[element neutralny|elementem neutralnym]] <math>0</math> nazywanym '''[[0#Zero w matematyce|zerem]]''':
*: <math>\forall_{a, b, c \in R}\; a + (b + c) = (a + b) + c,</math>
*: <math>\forall_{a, b, c \in R}\; a + (b + c) = (a + b) + c,</math>
*: <math>\forall_{a \in R}\; a + 0 = a,</math>
*: <math>\forall_{a \in R}\; a + 0 = a,</math>
Linia 21: Linia 21:


=== Warianty ===
=== Warianty ===
Na działanie mnożenia nakłada się często dodatkowe warunki regularności precyzując nazwę nowej struktury:
Na działanie mnożenia nakłada się często dodatkowe warunki regularności, precyzując nazwę nowej struktury:
* '''[[pierścień z jedynką]]''' – istnienie [[element neutralny|elementu neutralnego]] mnożenia nazywanego '''[[1 (liczba)#Jeden w matematyce|jedynką]]'''<ref>Niekiedy wymaga się, aby był on różny od elementu neutralnego dodawania wykluczając przy tym przypadek [[pierścień zerowy|pierścienia zerowego]], przybliżając definicję pierścienia do określenia [[ciało (matematyka)|ciała]].</ref>:
* '''[[pierścień z jedynką]]''' – istnienie [[element neutralny|elementu neutralnego]] mnożenia nazywanego '''[[1 (liczba)#Jeden w matematyce|jedynką]]'''<ref>Niekiedy wymaga się, aby był on różny od elementu neutralnego dodawania, wykluczając przy tym przypadek [[pierścień zerowy|pierścienia zerowego]], przybliżając definicję pierścienia do określenia [[ciało (matematyka)|ciała]].</ref>:
*: <math>\exists_{1 \in R}\; \forall_{a \in R}\; a \cdot 1 = 1 \cdot a = a,</math>
*: <math>\exists_{1 \in R}\; \forall_{a \in R}\; a \cdot 1 = 1 \cdot a = a,</math>
* '''[[pierścień przemienny]]''' – przemienność mnożenia (wówczas prawa rozdzielności stają się sobie równoważne):
* '''[[pierścień przemienny]]''' – przemienność mnożenia (wówczas prawa rozdzielności stają się sobie równoważne):
Linia 38: Linia 38:
*: <math>\forall_{a \in R \setminus \{0\}}\; \exists_{b \in R}\; a \cdot b = 1,</math>
*: <math>\forall_{a \in R \setminus \{0\}}\; \exists_{b \in R}\; a \cdot b = 1,</math>


'''Element odwrotny''' do <math>a</math> (względem mnożenia; <math>b</math> w powyższym aksjomacie) oznacza się zwykle symbolami <math>a^{-1}</math> lub <math>\tfrac{1}{a}.</math> Zbiór <math>R^*</math> [[element odwracalny|elementów odwracalnych]] pierścienia tworzy grupę ze względu na mnożenie (z jedynką jako elementem neutralnym; [[grupa przemienna|przemienną]], jeśli pierścień jest przemienny) nazywaną także '''[[grupa multyplikatywna|grupą multiplikatywną]]'''. W pierścieniu z dzieleniem jest <math>R^* = R \setminus \{0\}.</math>
'''Element odwrotny''' do <math>a</math> (względem mnożenia; <math>b</math> w powyższym aksjomacie) oznacza się zwykle symbolami <math>a^{-1}</math> lub <math>\tfrac{1}{a}.</math> Zbiór <math>R^*</math> [[element odwracalny|elementów odwracalnych]] pierścienia tworzy grupę ze względu na mnożenie (z jedynką jako elementem neutralnym; [[grupa przemienna|przemienną]], jeśli pierścień jest przemienny) nazywaną także '''[[Grupa multiplikatywna|grupą multiplikatywną]]'''. W pierścieniu z dzieleniem jest <math>R^* = R \setminus \{0\}.</math>


Pierścień z jedynką bez dzielników zera nazywa się '''dziedziną'''. Ponieważ własność dzielenia pociąga za sobą brak dzielników zera<ref>Z aksjomatu istnienia elementu odwrotnego wynika, że dla każdego <math>\scriptstyle a \ne 0</math> istnieje element odwrotny <math>\scriptstyle a^{-1}.</math> Gdyby pierścień miał dzielniki zera, to istniałyby takie <math>\scriptstyle a, b \ne 0,</math> że <math>\scriptstyle ab = 0.</math> Lewostronne mnożenie stronami przez <math>\scriptstyle a^{-1}</math> daje <math>\scriptstyle a^{-1}ab = 0;</math> z istnienia elementu neutralnego mnożenia otrzymuje się sprzeczność z założeniem <math>\scriptstyle b = 0.</math></ref>, to każdy pierścień z dzieleniem jest pierścieniem bez dzielników zera, a więc dziedziną. Dziedziny przemienne określa się nazwą '''[[dziedzina całkowitości]]''' (także: '''pierścień całkowity'''; niekiedy nie wyróżnia się nieprzemiennych dziedzin całkowitości, wówczas często skraca się nazwę tej struktury do: ''dziedzina''). Pierścień przemienny z dzieleniem (lub z powyższej obserwacji: dziedzinę całkowitości z dzieleniem) nazywa się '''[[ciało (matematyka)|ciałem]]'''.
Pierścień z jedynką bez dzielników zera nazywa się '''dziedziną'''. Ponieważ własność dzielenia pociąga za sobą brak dzielników zera<ref>Z aksjomatu istnienia elementu odwrotnego wynika, że dla każdego <math>a \ne 0</math> istnieje element odwrotny <math>a^{-1}.</math> Gdyby pierścień miał dzielniki zera, to istniałyby takie <math>a, b \ne 0,</math> że <math>ab = 0.</math> Lewostronne mnożenie stronami przez <math>a^{-1}</math> daje <math>a^{-1}ab = 0;</math> z istnienia elementu neutralnego mnożenia otrzymuje się sprzeczność z założeniem <math>b = 0.</math></ref>, to każdy pierścień z dzieleniem jest pierścieniem bez dzielników zera, a więc dziedziną. Dziedziny przemienne określa się nazwą '''[[dziedzina całkowitości]]''' (także: '''pierścień całkowity'''; niekiedy nie wyróżnia się nieprzemiennych dziedzin całkowitości, wówczas często skraca się nazwę tej struktury do: ''dziedzina''). Pierścień przemienny z dzieleniem (lub z powyższej obserwacji: dziedzinę całkowitości z dzieleniem) nazywa się '''[[ciało (matematyka)|ciałem]]'''.


== Przykłady ==
== Przykłady ==
Linia 54: Linia 54:
* [[liczby całkowite Eisensteina]] (pierścień przemienny, dziedzina Euklidesa),
* [[liczby całkowite Eisensteina]] (pierścień przemienny, dziedzina Euklidesa),


Osobnym przykładem są [[pierścień wielomianów|pierścienie wielomianów]] <math>R[X]</math> jednej zmiennej <math>X</math> o współczynnikach z pierścienia <math>R.</math> W <math>R[X]</math> zachowywane są następujące własności pierścienia <math>R</math>: przemienność, istnienie jedynki, brak dzielników zera, całkowitość (tzn. bycie dziedziną całkowitości), jednoznaczność rozkładu ([[Twierdzenie Gaussa (algebra)|twierdzenie Gaussa]]), noetherowskość ([[twierdzenie Hilberta o bazie]]). Jeżeli <math>R</math> jest ciałem, to <math>R[X]</math> jest [[Dziedzina Euklidesa|pierścieniem euklidesowym]].
Osobnym przykładem są [[pierścień wielomianów|pierścienie wielomianów]] <math>R[X]</math> jednej zmiennej <math>X</math> o współczynnikach z pierścienia <math>R.</math> W <math>R[X]</math> zachowywane są następujące własności pierścienia <math>R{:}</math> przemienność, istnienie jedynki, brak dzielników zera, całkowitość (tzn. bycie dziedziną całkowitości), jednoznaczność rozkładu ([[Twierdzenie Gaussa (algebra)|twierdzenie Gaussa]]), noetherowskość ([[twierdzenie Hilberta o bazie]]). Jeżeli <math>R</math> jest ciałem, to <math>R[X]</math> jest [[Dziedzina Euklidesa|pierścieniem euklidesowym]].


Dobrze znane struktury [[liczby wymierne|liczb wymiernych]], [[liczby rzeczywiste|liczb rzeczywistych]], czy [[liczby zespolone|liczb zespolonych]] z działaniami arytmetycznymi są przykładami pierścieni, jako że wszystkie są [[ciało (matematyka)|ciałami]]. Z kolei liczby naturalne (z działaniami arytmetycznymi) ''nie'' tworzą pierścienia, ponieważ wraz z działaniem dodawania nie tworzą nawet [[grupa (matematyka)|grupy]]; [[oktawy Cayleya|oktoniony]] również nie są pierścieniem, ponieważ mnożenie w nich określone nie jest [[łączność (matematyka)|łączne]], lecz tylko [[alternatywność|alternatywne]].
Dobrze znane struktury [[liczby wymierne|liczb wymiernych]], [[liczby rzeczywiste|liczb rzeczywistych]], czy [[liczby zespolone|liczb zespolonych]] z działaniami arytmetycznymi są przykładami pierścieni, jako że wszystkie są [[ciało (matematyka)|ciałami]]. Z kolei liczby naturalne (z działaniami arytmetycznymi) ''nie'' tworzą pierścienia, ponieważ wraz z działaniem dodawania nie tworzą nawet [[grupa (matematyka)|grupy]]; [[oktawy Cayleya|oktoniony]] również nie są pierścieniem, ponieważ mnożenie w nich określone nie jest [[łączność (matematyka)|łączne]], lecz tylko [[alternatywność|alternatywne]].
Linia 61: Linia 61:
=== Podpierścienie ===
=== Podpierścienie ===
{{Osobny artykuł|podpierścień}}
{{Osobny artykuł|podpierścień}}
Podzbiór <math>S</math> pierścienia <math>(R, +, \cdot)</math> nazywa się '''podpierścieniem''', jeżeli jest on zamknięty na działania pierścienia <math>R,</math> czyli sam tworzy pierścień z działaniami odziedziczonymi z <math>R</math>:
Podzbiór <math>S</math> pierścienia <math>(R, +, \cdot)</math> nazywa się '''podpierścieniem''', jeżeli jest on zamknięty na działania pierścienia <math>R,</math> czyli sam tworzy pierścień z działaniami odziedziczonymi z <math>R{:}</math>
* <math>\forall_{a, b \in S}\; a - b \in S,</math>
* <math>\forall_{a, b \in S}\; a - b \in S,</math>
* <math>\forall_{a, b \in S}\; a \cdot b \in S.</math>
* <math>\forall_{a, b \in S}\; a \cdot b \in S.</math>
Linia 74: Linia 74:
Jeżeli <math>I</math> spełnia w zamian warunek
Jeżeli <math>I</math> spełnia w zamian warunek
: <math>i \cdot r \in I,</math>
: <math>i \cdot r \in I,</math>

to nazywa się ją '''ideałem prawostronnym'''. Ideał będący zarazem lewo- jak i prawostronny nazywa się krótko '''ideałem'''; pojęcia te pokrywają się w pierścieniach przemiennych. Każdy ideał jest podpierścieniem.
to nazywa się ją '''ideałem prawostronnym'''. Ideał będący zarazem lewo- jak i prawostronny nazywa się krótko '''ideałem'''; pojęcia te pokrywają się w pierścieniach przemiennych. Każdy ideał jest podpierścieniem.


W dowolnym nietrywialnym pierścieniu <math>R</math> istnieją co najmniej dwa różne ideały: cały pierścień <math>R</math> i podpierścień trywialny <math>\{0\},</math> nazywa się je ''ideałami trywialnymi'' lub ''niewłaściwymi'', wszystkie pozostałe nazywa się ''ideałami właściwymi''.
W dowolnym nietrywialnym pierścieniu <math>R</math> istnieją co najmniej dwa różne ideały: cały pierścień <math>R</math> i podpierścień trywialny <math>\{0\},</math> nazywa się je ''ideałami trywialnymi'' lub ''niewłaściwymi'', wszystkie pozostałe nazywa się ''ideałami właściwymi''.


Ze względu na inne własności wyróżnia się m.in. następujące rodzaje ideałów pierścienia <math>R</math>:
Ze względu na inne własności wyróżnia się m.in. następujące rodzaje ideałów pierścienia <math>R{:}</math>
* [[ideał główny]] – generowany przez jeden element pierścienia,
* [[ideał główny]] – generowany przez jeden element pierścienia,
* [[ideał maksymalny]] – zawarty wyłącznie w ideale niewłaściwym <math>R,</math>
* [[ideał maksymalny]] – zawarty wyłącznie w ideale niewłaściwym <math>R,</math>
Linia 96: Linia 97:
* <math>f(a + b) = f(a) + f(b),</math>
* <math>f(a + b) = f(a) + f(b),</math>
* <math>f(a \cdot b) = f(a) \cdot f(b),</math>
* <math>f(a \cdot b) = f(a) \cdot f(b),</math>

nazywa się '''homomorfizmem pierścieni'''. Inaczej: jest to [[homomorfizm grup]] addytywnych, a przy tym [[półgrupa|homomorfizm półgrup]] multiplikatywnych tych pierścieni.
nazywa się '''homomorfizmem pierścieni'''. Inaczej: jest to [[homomorfizm grup]] addytywnych, a przy tym [[półgrupa|homomorfizm półgrup]] multiplikatywnych tych pierścieni.


Linia 102: Linia 104:
* <math>f(a \cdot b) = f(a) \cdot f(b),</math>
* <math>f(a \cdot b) = f(a) \cdot f(b),</math>
* <math>f(1_{R_1}) = 1_{R_2},</math>
* <math>f(1_{R_1}) = 1_{R_2},</math>

nazywa się '''homomorfizmem pierścieni z jedynką'''. Inaczej: jest to [[homomorfizm grup]] addytywnych, a przy tym [[monoid|homomorfizm monoidów]] multiplikatywnych.
nazywa się '''homomorfizmem pierścieni z jedynką'''. Inaczej: jest to [[homomorfizm grup]] addytywnych, a przy tym [[monoid|homomorfizm monoidów]] multiplikatywnych.


Linia 114: Linia 117:
Dodawanie jest dobrze określone z [[Grupa ilorazowa#Definicja|definicji grupy ilorazowej]]. Wystarczy więc dowieść, że iloczyn warstw nie zależy od wyboru [[Relacja równoważności#Klasy abstrakcji|reprezentanta]] mnożonych warstw. Niech dane będą dwie warstwy, każda z nich reprezentowana przez dwa różne elementy: <math>a + I = a' + I</math> oraz <math>b + I = b' + I.</math> Równość
Dodawanie jest dobrze określone z [[Grupa ilorazowa#Definicja|definicji grupy ilorazowej]]. Wystarczy więc dowieść, że iloczyn warstw nie zależy od wyboru [[Relacja równoważności#Klasy abstrakcji|reprezentanta]] mnożonych warstw. Niech dane będą dwie warstwy, każda z nich reprezentowana przez dwa różne elementy: <math>a + I = a' + I</math> oraz <math>b + I = b' + I.</math> Równość
: <math>(a \cdot b) + I = (a + I) \cdot (b + I) = (a' + I) \cdot (b' + I) = (a' \cdot b') + I</math>
: <math>(a \cdot b) + I = (a + I) \cdot (b + I) = (a' + I) \cdot (b' + I) = (a' \cdot b') + I</math>

dowodzi, że zmiana reprezentantów nie wpływa na wynik mnożenia, gdyż otrzymuje się tę samą, choć reprezentowaną przez inny element, warstwę.
dowodzi, że zmiana reprezentantów nie wpływa na wynik mnożenia, gdyż otrzymuje się tę samą, choć reprezentowaną przez inny element, warstwę.


Linia 131: Linia 135:
== Zobacz też ==
== Zobacz też ==
{{wikisłownik|pierścień}}
{{wikisłownik|pierścień}}
* [[algebra nad ciałem]]
* [[moduł (matematyka)|moduł]]
* [[Algebra Boole’a|pierścień Boole’a]]
* [[Algebra Boole’a|pierścień Boole’a]]
* [[pierścień przemienny]]
* [[pierścień przemienny]]
* [[półpierścień]]
* [[półpierścień]]
* [[algebra nad ciałem]]
* [[moduł (matematyka)|moduł]]


== Przypisy ==
== Przypisy ==
{{Przypisy}}
{{Przypisy}}


== Literatura ==
== Bibliografia ==
* Andrzej Białynicki-Birula, ''Algebra''
* Andrzej Białynicki-Birula, ''Algebra''.
* Jerzy Browkin, ''Teoria ciał''
* Jerzy Browkin, ''Teoria ciał''.


[[Kategoria:Teoria pierścieni]]
[[Kategoria:Teoria pierścieni]]

Wersja z 00:55, 28 gru 2018

Pierścieństruktura formalizująca własności algebraiczne liczb całkowitych oraz arytmetyki modularnej; intuicyjnie zbiór, którego elementy mogą być bez przeszkód dodawane, odejmowane i mnożone, lecz niekoniecznie dzielone. Badanie pierścieni umożliwiło uogólnienie innych pojęć matematycznych takich, jak np. liczby pierwsze (przez ideały pierwsze), wielomiany, ułamki oraz rozwinięcie teorii podzielności i wskazania przy tym najogólniejszej struktury, w której możliwe jest stosowanie algorytmu Euklidesa (tzw. pierścień Euklidesa). Dział matematyki opisujący te struktury nazywa się teorią pierścieni.

W literaturze spotyka się rozmaite definicje pierścieni różniące się stopniem uogólnienia. W artykule tym za najogólniejszą przyjmowana jest definicja tzw. pierścienia łącznego. Wnioskom płynącym z zawężenia definicji poprzez wymaganie elementu neutralnego mnożenia bądź warunku przemienności mnożenia również poświęcono osobne artykuły: pierścień z jedynką, pierścień przemienny.

Definicja

Niech będzie algebrą, w której jest pewnym niepustym zbiorem, symbole oznaczają dwa działania dwuargumentowe określone w tym zbiorze, a jest pewnym wyróżnionym elementem. Algebra ta nazwana jest pierścieniem (łącznym), jeśli:

  • struktura jest grupą abelową, nazywaną grupą addytywną, z działaniem nazywanym dodawaniem i elementem neutralnym nazywanym zerem:
  • struktura jest półgrupą z działaniem nazywanym mnożeniem:
  • oba działania powiązane są ze sobą prawami rozdzielności:

Ponieważ jest grupą, to pierścień ma dokładnie jedno zero, a element odwrotny do względem dodawania (element z trzeciego aksjomatu), nazywany w tym kontekście elementem przeciwnym, jest wyznaczony jednoznacznie i oznaczany

Warianty

Na działanie mnożenia nakłada się często dodatkowe warunki regularności, precyzując nazwę nowej struktury:

  • pierścień z jedynką – istnienie elementu neutralnego mnożenia nazywanego jedynką[1]:
  • pierścień przemienny – przemienność mnożenia (wówczas prawa rozdzielności stają się sobie równoważne):
Uwaga
W pierścieniu z jedynką struktura jest monoidem (przemiennym, jeśli pierścień jest przemienny), wynika stąd, że pierścień może mieć co najwyżej jedną jedynkę.

W praktyce najczęściej rozpatruje się (niezerowe) pierścienie z jedynką; ich atutem jest, gdy są one dodatkowo przemienne.

Rodzaje

Podstawowa definicja pierścienia, bywa rozwijana w wielu różnych kierunkach:

  • pierścień bez dzielników zera – brak właściwych dzielników zera (zob. dalej):
  • pierścień z dzieleniem – dowolny niezerowy element ma element odwrotny (zakłada się, że pierścień ma jedynkę):

Element odwrotny do (względem mnożenia; w powyższym aksjomacie) oznacza się zwykle symbolami lub Zbiór elementów odwracalnych pierścienia tworzy grupę ze względu na mnożenie (z jedynką jako elementem neutralnym; przemienną, jeśli pierścień jest przemienny) nazywaną także grupą multiplikatywną. W pierścieniu z dzieleniem jest

Pierścień z jedynką bez dzielników zera nazywa się dziedziną. Ponieważ własność dzielenia pociąga za sobą brak dzielników zera[2], to każdy pierścień z dzieleniem jest pierścieniem bez dzielników zera, a więc dziedziną. Dziedziny przemienne określa się nazwą dziedzina całkowitości (także: pierścień całkowity; niekiedy nie wyróżnia się nieprzemiennych dziedzin całkowitości, wówczas często skraca się nazwę tej struktury do: dziedzina). Pierścień przemienny z dzieleniem (lub z powyższej obserwacji: dziedzinę całkowitości z dzieleniem) nazywa się ciałem.

Przykłady

Do najprostszych uniwersalnych przykładów należą:

Innymi ważnymi przykładami pierścieni są:

Osobnym przykładem są pierścienie wielomianów jednej zmiennej o współczynnikach z pierścienia W zachowywane są następujące własności pierścienia przemienność, istnienie jedynki, brak dzielników zera, całkowitość (tzn. bycie dziedziną całkowitości), jednoznaczność rozkładu (twierdzenie Gaussa), noetherowskość (twierdzenie Hilberta o bazie). Jeżeli jest ciałem, to jest pierścieniem euklidesowym.

Dobrze znane struktury liczb wymiernych, liczb rzeczywistych, czy liczb zespolonych z działaniami arytmetycznymi są przykładami pierścieni, jako że wszystkie są ciałami. Z kolei liczby naturalne (z działaniami arytmetycznymi) nie tworzą pierścienia, ponieważ wraz z działaniem dodawania nie tworzą nawet grupy; oktoniony również nie są pierścieniem, ponieważ mnożenie w nich określone nie jest łączne, lecz tylko alternatywne.

Składowe

Podpierścienie

 Osobny artykuł: podpierścień.

Podzbiór pierścienia nazywa się podpierścieniem, jeżeli jest on zamknięty na działania pierścienia czyli sam tworzy pierścień z działaniami odziedziczonymi z

Pierwszy warunek oznacza, że musi być grupą (przemienną), drugi gwarantuje, że wynik mnożenia elementów z będzie zawierał się w tym samym zbiorze (tzn. mnożenie jest tam poprawnie określonym działaniem wewnętrznym).

Ideały

 Osobny artykuł: ideał (teoria pierścieni).

Podgrupę grupy addytywnej pierścienia nazywa się ideałem lewostronnym, jeżeli dla dowolnych dwóch elementów oraz spełniony jest warunek

Jeżeli spełnia w zamian warunek

to nazywa się ją ideałem prawostronnym. Ideał będący zarazem lewo- jak i prawostronny nazywa się krótko ideałem; pojęcia te pokrywają się w pierścieniach przemiennych. Każdy ideał jest podpierścieniem.

W dowolnym nietrywialnym pierścieniu istnieją co najmniej dwa różne ideały: cały pierścień i podpierścień trywialny nazywa się je ideałami trywialnymi lub niewłaściwymi, wszystkie pozostałe nazywa się ideałami właściwymi.

Ze względu na inne własności wyróżnia się m.in. następujące rodzaje ideałów pierścienia

  • ideał główny – generowany przez jeden element pierścienia,
  • ideał maksymalny – zawarty wyłącznie w ideale niewłaściwym
  • ideał pierwszy – taki, że jeśli dany element ideału jest iloczynem dwóch innych, to przynajmniej jeden z nich również należy do ideału.

Elementy wyróżnione

Element pierścienia nazywa się

  • dzielnikiem zera, gdy istnieje taki niezerowy element że
  • idempotentnym, gdy
  • nilpotentnym, gdy istnieje dla którego

W pierścieniu skończonym (mającym skończenie wiele elementów) każdy element jest odwracalny albo jest dzielnikiem zera.

Homomorfizmy

Przekształcenie między dwoma pierścieniami zachowujące ich działania, tzn. dla dowolnych elementów spełnione są warunki:

nazywa się homomorfizmem pierścieni. Inaczej: jest to homomorfizm grup addytywnych, a przy tym homomorfizm półgrup multiplikatywnych tych pierścieni.

Przekształcenie między dwoma pierścieniami z jedynką zachowujące ich działania i jedynkę, tzn. dla dowolnych elementów spełnione są warunki:

nazywa się homomorfizmem pierścieni z jedynką. Inaczej: jest to homomorfizm grup addytywnych, a przy tym homomorfizm monoidów multiplikatywnych.

Pierścień ilorazowy

 Osobny artykuł: pierścień ilorazowy.

W dowolnym pierścieniu grupa ilorazowa gdzie jest dowolnym ideałem (dwustronnym), jest pierścieniem z dobrze określonymi działaniami dodawania i mnożenia na warstwach:

Pierścień ten nazywa się pierścieniem ilorazowym pierścienia przez ideał i również oznacza symbolem

Dodawanie jest dobrze określone z definicji grupy ilorazowej. Wystarczy więc dowieść, że iloczyn warstw nie zależy od wyboru reprezentanta mnożonych warstw. Niech dane będą dwie warstwy, każda z nich reprezentowana przez dwa różne elementy: oraz Równość

dowodzi, że zmiana reprezentantów nie wpływa na wynik mnożenia, gdyż otrzymuje się tę samą, choć reprezentowaną przez inny element, warstwę.

Uogólnienia i przypadki szczególne

Wyróżnia się wiele rodzajów pierścieni, na które nakłada się dodatkowe warunki:

Zobacz też

Przypisy

  1. Niekiedy wymaga się, aby był on różny od elementu neutralnego dodawania, wykluczając przy tym przypadek pierścienia zerowego, przybliżając definicję pierścienia do określenia ciała.
  2. Z aksjomatu istnienia elementu odwrotnego wynika, że dla każdego istnieje element odwrotny Gdyby pierścień miał dzielniki zera, to istniałyby takie że Lewostronne mnożenie stronami przez daje z istnienia elementu neutralnego mnożenia otrzymuje się sprzeczność z założeniem

Bibliografia

  • Andrzej Białynicki-Birula, Algebra.
  • Jerzy Browkin, Teoria ciał.