Pierścień (matematyka)

Pierścień – struktura algebraiczna definiowana różnie, nie zawsze równoważnie. Pierścień zawsze jest rozumiany jako zbiór, którego elementy mogą być bez przeszkód dodawane, odejmowane i mnożone, lecz niekoniecznie dzielone. Dokładne definicje pierścienia różnią się ogólnością przez różne założenia o tym mnożeniu.

Przykłady pierścieni to liczby całkowite, reszty z dzielenia przez ustaloną liczbę całkowitą i różne zbiory wielomianów. Teoria pierścieni to dział algebry, konkretniej algebry abstrakcyjnej, badający takie struktury. Osiągnięcia tej dziedziny to m.in.:

• uogólnienie pewnych pojęć, takich jak np. liczby pierwsze (przez ideały pierwsze), wielomiany i ułamki;
• rozwinięcie teorii podzielności, np. wskazanie najogólniejszej struktury, w której możliwe jest stosowanie algorytmu Euklidesa (tzw. pierścień Euklidesa).

Definicja

Niech $(R\,,\,+\,,\,\cdot \,,\,{\boldsymbol {0}})$ będzie algebrą, w której $R$ jest pewnym niepustym zbiorem, symbole $+$ oraz $\cdot$ oznaczają dwa działania dwuargumentowe określone w zbiorze $R$, zaś ${\boldsymbol {0}}$ jest pewnym wyróżnionym elementem zbioru $R$. Algebra ta nazwana jest pierścieniem (łącznym), jeśli ponadto:

• struktura $R^{+}=(R\,,\,+\,,\,{\boldsymbol {0}})$ jest grupą abelową, nazywaną grupą addytywną, z działaniem $+$ nazywanym dodawaniem i elementem neutralnym ${\boldsymbol {0}}$, nazywanym zerem:

  $\left(\forall a,b,c\,\in \,R\right){\Big (}a+(b+c)=(a+b)+c{\Big )}$

  $\left(\forall a\,\in \,R\right){\Big (}a+{\boldsymbol {0}}=a{\Big )}$

  $\left(\forall a\,\in \,R\right)\left(\exists b\,\in \,R\right){\Big (}a+b={\boldsymbol {0}}{\Big )}$

  $\left(\forall a,b\,\in \,R\right){\Big (}a+b=b+a{\Big )}$

• struktura $(R\,,\,\cdot )$ jest półgrupą z działaniem $\cdot$ nazywanym mnożeniem:

  $\left(\forall a,b,c\,\in \,R\right){\Big (}a\cdot (b\cdot c)=(a\cdot b)\cdot c{\Big )}$

• oba działania powiązane są ze sobą prawami rozdzielności:

  $\left(\forall a,b,c\,\in \,R\right){\Big (}a\cdot (b+c)=(a\cdot b)+(a\cdot c){\Big )}$

  $\left(\forall a,b,c\,\in \,R\right){\Big (}(b+c)\cdot a=(b\cdot a)+(c\cdot a){\Big )}$

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

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 (oznaczanego tradycyjnie ${\boldsymbol {1}}$) nazywanego jedynką:

  $\left(\exists \,{\boldsymbol {1}}\,\in \,R\right)\left(\forall a\,\in \,R\right){\Big (}a\cdot {\boldsymbol {1}}={\boldsymbol {1}}\cdot a=a{\Big )}$

• pierścień przemienny – przemienność mnożenia (wówczas prawa rozdzielności stają się sobie równoważne):

  $\left(\forall a,b\,\in \,R\right){\Big (}a\cdot b=b\cdot a{\Big )}$

Uwaga

W pierścieniu z jedynką struktura $(\,R\,\,,\,\,\cdot \,\,,\,\,{\boldsymbol {1}}\,)$ 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):

  $\left(\forall a,b\,\in \,R\setminus \{{\boldsymbol {0}}\}\right){\Big (}a\cdot b\neq {\boldsymbol {0}}{\Big )}$

• pierścień z dzieleniem – dowolny niezerowy element ma element odwrotny (zakłada się, że pierścień ma jedynkę):

  $\left(\forall a\in R\setminus \{{\boldsymbol {0}}\}\right)\left(\exists b\in R\right){\Big (}a\cdot b={\boldsymbol {1}}{\Big )}$

Element odwrotny do $a$ (względem mnożenia; $b$ w powyższym aksjomacie) oznacza się zwykle symbolami $a^{-1}$ lub ${\frac {1}{a}}$. Zbiór $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 $R^{*}=R\setminus \{{\boldsymbol {0}}\}$.

Pierścień z jedynką bez dzielników zera nazywa się dziedziną. Ponieważ własność dzielenia pociąga za sobą brak dzielników zera, 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żą:

• pierścień trywialny, zawierający dokładnie jeden element,
• pierścień zerowy, w którym mnożenie przez dowolny element daje zero.

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

• liczby całkowite z działaniami arytmetycznymi dodawania i mnożenia (dziedzina całkowitości),
• pierścienie klas reszt (pierścienie przemienne z jedynką oraz ciała),
• kwaterniony (pierścień z dzieleniem),
• liczby całkowite Gaussa (dziedzina z jednoznacznością rozkładu, dziedzina Euklidesa),
• liczby całkowite Eisensteina (pierścień przemienny, dziedzina Euklidesa),

Osobnym przykładem są pierścienie wielomianów $R[X]$ jednej zmiennej $X$ o współczynnikach z pierścienia $R$. W $R[X]$ zachowywane są następujące własności pierścienia $R$ :

• 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 $R$ jest ciałem, to $R[X]$ jest tzw. pierścieniem euklidesowym (dziedziną Euklidesa).

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 pierścieni nie tworzą:

• liczby naturalne z działaniami arytmetycznymi, ponieważ wraz z działaniem dodawania nie tworzą nawet grupy;
• oktoniony, ponieważ określone w nich mnożenie nie jest łączne.

Składowe

Podpierścienie

Podzbiór $S$ pierścienia $(R\,,\,+\,,\,\cdot )$ nazywa się podpierścieniem, jeżeli sam tworzy pierścień z działaniami odziedziczonymi z $R.$ Równoważnie:

• $\left(\forall a,b\in S\right){\big (}a-b\in S{\big )}$
• $\left(\forall a,b\in S\right){\big (}a\cdot b\in S{\big )}$

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

Ideały

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

$r\cdot i\in I$

Jeżeli $I$ spełnia w zamian warunek

$i\cdot r\in I$

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 $R$ istnieją co najmniej dwa różne ideały: cały pierścień $R$ i podpierścień trywialny $\{0\}$, 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 $R$ :

• ideał główny – generowany przez jeden element pierścienia,
• ideał maksymalny – zawarty wyłącznie w ideale niewłaściwym $R$,
• 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 $a$ pierścienia $R$ nazywa się

• dzielnikiem zera, gdy istnieje taki niezerowy element $b\in R$, że: $a\cdot b={\boldsymbol {0}}$.
• idempotentnym, gdy $a\cdot a=a$.
• nilpotentnym, gdy istnieje $n\in \mathbb {N}$, dla którego $a^{n}={\boldsymbol {0}}$.

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

Homomorfizmy

Przekształcenie $f\,:R_{1}\to R_{2}$ między dwoma pierścieniami zachowujące ich działania, tzn. dla dowolnych elementów $a,b\in R_{1}$ spełnione są jednocześnie następujące warunki:

• $f(a+b)=f(a)+f(b)$
• $f(a\cdot b)=f(a)\cdot f(b)$

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

Przekształcenie $f\,:R_{1}\to R_{2}$ między dwoma pierścieniami z jedynką zachowujące ich działania i jedynkę, tzn. dla dowolnych elementów $a,b\in R_{1}$ spełnione są jednocześnie następujące warunki:

• $f(a+b)=f(a)+f(b)$
• $f(a\cdot b)=f(a)\cdot f(b)$
• $f({\boldsymbol {1}}_{R_{1}})={\boldsymbol {1}}_{R_{2}}$

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

Pierścień ilorazowy

W dowolnym pierścieniu $(R\,,\,+\,,\,\cdot )$ grupa ilorazowa $R/I,$ gdzie $I\subseteq R$ jest dowolnym ideałem (dwustronnym), jest pierścieniem z dobrze określonymi działaniami dodawania i mnożenia na warstwach:

• $(a+I)+(b+I)=(a+b)+I$
• $(a+I)\cdot (b+I)=(a\cdot b)+I$

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

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: $a+I=a'+I$ oraz $b+I=b'+I$. Równość

$(a\cdot b)+I=(a+I)\cdot (b+I)=(a'+I)\cdot (b'+I)=(a'\cdot b')+I$

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:

• pierścień ideałów głównych – pierścień, w którym każdy ideał jest główny (także: każdy ideał ma jeden generator),
• pierścień noetherowski – pierścień, w którym każdy ciąg wstępujący (w sensie zawierania) ideałów stabilizuje się (także: każdy ideał jest skończenie generowany),
• pierścień artinowski – pierścień, w którym każdy ciąg zstępujący (w sensie zawierania) ideałów stabilizuje się,
• pierścień z jednoznacznością rozkładu – pierścień przemienny, w którym każdy element można rozłożyć w sposób jednoznaczny na elementy nierozkładalne,
• pierścień lokalny – pierścień mający tylko jeden ideał maksymalny,
• pierścień Euklidesa – pierścień umożliwiający stosowanie algorytmu Euklidesa (znajdowanie NWD),
• pierścień zredukowany – pierścień bez niezerowych elementów nilpotentnych,
• pierścień Boole’a – pierścień przemienny z jedynką, w którym każdy element jest idempotentny,
• pierścień Dedekinda – dziedzina całkowitości, w której każdy niezerowy właściwy ideał rozkłada się na iloczyn ideałów pierwszych.
• pierścień skończenie generowany – pierścień, dla którego istnieje skończony zbiór generatorów (taki, że najmniejszym podpierścieniem go zawierającym jest cały pierścień). Przykładem takiego pierścienia są liczby całkowite (generowane przez jedynkę). Przykładem pierścienia, który nie jest skończenie generowany są liczby wymierne (bo dla dowolnego skończonego zbioru liczb wymiernych istnieje liczba pierwsza nie dzieląca mianownika żadnej z nich).

Zobacz też

• algebra nad ciałem
• moduł
• półpierścień

Bibliografia

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

Linki zewnętrzne

• JoachimJ. Jelisiejew JoachimJ., Co to jest: Pierścień, „Delta”, kwiecień 2019, ISSN 0137-3005 [dostęp 2024-11-03] .
• Eric W.E.W. Weisstein Eric W.E.W., Ring, [w:] MathWorld, Wolfram Research  (ang.). [dostęp 2024-03-25].
• Ring (ang.), Encyclopedia of Mathematics, encyclopediaofmath.org, [dostęp 2023-06-18].