Podpierścień

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacji, wyszukiwania

Podpierścieńpodzbiór pierścienia sam będący pierścieniem ze względu na działania indukowane z pierścienia wyjściowego. Dokładne znaczenie pojęcia zwykle wynika z kontekstu: zwykle wymaga się, by podpierścień był obiektem tej samej kategorii co pierścień, a wszystkie odstępstwa najczęściej są zaznaczane. W ten sposób od podpierścieni pierścienia z jedynką wymaga się często, aby same miały jedynkę (choć nie jest to regułą). Nie mniej niektóre własności są dziedziczne, np. przemienność, czy brak dzielników zera (tzn. podpierścienie pierścienia przemiennego są przemienne, podobnie zachowywany jest brak dzielników zera).

Definicja[edytuj | edytuj kod]

Niech (R, +, \cdot) będzie pierścieniem. Podzbiór S zbioru R jest podpierścieniem pierścienia R, jeżeli jest on zamknięty ze względu na działania + i \cdot, tzn. dla dowolnych elementów a, b \in S zachodzi

a - b \in S

oraz

a \cdot b \in S.

Równoważnie podpierścieniem pierścienia (R, +, \cdot) nazywa się algebrę ogólną (S, \oplus, \odot), gdzie \varnothing \neq S \subseteq R, przy czym \oplus oraz \odot oznaczają zawężenia działań pierścienia R do zbioru S.

Uwaga 
Podzbiór S nie może być pusty, ponieważ (S, +) musi być podgrupą (R, +), zatem musi zawierać element neutralny dodawania (zero).

Związek z ideałami[edytuj | edytuj kod]

Ideał właściwy nie może być podpierścieniem, jeśli wymaga się, by miał jedynkę, gdyż musiałby być on wtedy całym pierścieniem. Przykładowo, ideały w \mathbb Z są postaci n\mathbb Z, gdzie n jest liczbą całkowitą. Są one podpierścieniami wtedy i tylko wtedy, gdy n = \pm 1 (w innych przypadkach nie zawierają jedynki), kiedy to są całym \mathbb Z.

Jeżeli pominąć wymaganie, aby pierścienie miały jedynkę, to podpierścienie muszą zawierać wyłącznie zero oraz być zamknięte ze względu na odejmowanie i mnożenie – w ten sposób ideały stają się podpierścieniami. Ideały mogą, ale nie muszą mieć własnej jedynki (różnej od jedynki pierścienia):

  • ideał I = \{(z, 0)\colon z \in \mathbb Z\} pierścienia \mathbb Z \times \mathbb Z = \{(x, y)\colon x, y \in \mathbb Z\} z dodawaniem i mnożeniem po współrzędnych ma jedynkę (1, 0), która jest różna od jedynki (1, 1) pierścienia. W ten sposób I jest pierścieniem z jedynką, a zarazem „podpierścieniem bez jedynki” pierścienia \mathbb Z \times \mathbb Z;
  • ideały właściwe \mathbb Z (np. liczby parzyste 2\mathbb Z) nie mają jedynki.

Przykłady[edytuj | edytuj kod]

Bibliografia[edytuj | edytuj kod]

  • Fritz Reinhardt, Heinrich Soeder: Atlas matematyki. Warszawa: Prószyński i S-ka. ISBN 83-7469-189-1.