Pierścień przemienny

Pierścień przemienny (rzad. komutatywny) – pierścień, w którym mnożenie jest przemienne („komutatywne”), czyli którego wszystkie elementy ze sobą komutują, tj. dla dowolnych elementów a , b {\displaystyle a,b} danego pierścienia R {\displaystyle R} zachodzi a b = b a . {\displaystyle a\cdot b=b\cdot a.}

Badaniem pierścieni przemiennych zajmuje się algebra przemienna. Często zakłada się dodatkowo istnienie w takim pierścieniu elementu neutralnego mnożenia (zob. pierścień z jedynką)[1].

Przykłady

  • Prototypowym przykładem pierścienia przemiennego (z jedynką) jest pierścień liczb całkowitych wraz z naturalnymi działaniami dodawania i mnożenia.
  • Dowolne ciało, jak np. ciała liczb wymiernych, rzeczywistych i zespolonych, jest pierścieniem przemiennym.
  • Zbiór wszystkich rzeczywistych macierzy kwadratowych stopnia 2 {\displaystyle 2} z działaniami dodawania i mnożenia macierzy tworzy pierścień, który nie jest przemienny, przykładowo:
[ 1 1 0 1 ] [ 1 1 1 0 ] = [ 2 1 1 0 ] [ 1 2 1 1 ] = [ 1 1 1 0 ] [ 1 1 0 1 ] . {\displaystyle {\begin{bmatrix}1&1\\0&1\end{bmatrix}}\cdot {\begin{bmatrix}1&1\\1&0\end{bmatrix}}={\begin{bmatrix}2&1\\1&0\end{bmatrix}}\neq {\begin{bmatrix}1&2\\1&1\end{bmatrix}}={\begin{bmatrix}1&1\\1&0\end{bmatrix}}\cdot {\begin{bmatrix}1&1\\0&1\end{bmatrix}}.}
  • Pierścienie klas reszt modulo n {\displaystyle n} są przemienne dla dowolnego n N . {\displaystyle n\in \mathbb {N} .}
  • Jeżeli R {\displaystyle R} jest pierścieniem przemiennym, to zbiór wszystkich wielomianów zmiennej X {\displaystyle X} o współczynnikach z R {\displaystyle R} wraz z naturalnymi działaniami dodawania i mnożenia wielomianów tworzy pierścień wielomianów R [ X ] , {\displaystyle R[X],} który również jest przemienny.
  • Zbiór wszystkich liczb postaci a + b 5 , {\displaystyle a+b{\sqrt {5}},} gdzie a {\displaystyle a} i b {\displaystyle b} są dowolnymi liczbami całkowitymi.
  • Twierdzenie Wedderburna[2]: każdy skończony pierścień z dzieleniem (tj. taki, w którym każdy niezerowy element jest odwracalny), jest przemienny (a więc jest ciałem).

Przypisy

  1. Atiyah M.F., Macdonald I.G.: Introduction to commutative algebra. Addison-Wesley, 1969.
  2. J.H.M. Wedderburn. A theorem on finite algebras. „Trans. Amer. Math. Soc.”. 6, s. 349–352, 1905. Amer. math. Soc.. 
Kontrola autorytatywna (graded-commutative ring):
  • LCCN: sh85029269
  • GND: 4164825-0
  • NDL: 00564708
  • BnF: 13163192g
  • SUDOC: 029681073
  • BNCF: 21032
  • J9U: 987007545498905171
  • Britannica: topic/commutative-ring
  • Universalis: anneaux-commutatifs
  • Catalana: 0158634