Struktury algebraiczne – grupy, pierścienie i ciała

Mgr inż.

Sebastian Dziarmaga-Działyński

Wirtualna kancelaria korepetytorska i konsultacyjna – wszechwiedza.pl

Struktury algebraiczne pozwalają opisywać zbiory wraz z wykonywanymi na ich elementach działaniami. Półgrupy, monoidy, grupy, pierścienie i ciała różnią się tym, jakie własności spełniają te działania: czy są łączne i przemienne, czy istnieje element neutralny oraz czy elementy mają swoje odwrotności.

Pojęcia te stanowią wspólny język wielu działów matematyki. Pojawiają się między innymi przy badaniu liczb, wielomianów, przekształceń, symetrii oraz macierzy i wyznaczników. W artykule przejdziemy od najprostszych struktur z jednym działaniem do pierścieni i ciał, w których rozpatruje się dwa działania.

Spis treści

• Czym jest struktura algebraiczna?
• Działanie wewnętrzne i domknięcie
• Najważniejsze własności działań
• Półgrupa
• Monoid
• Grupa
• Grupa abelowa
• Pierścień
• Pierścień przemienny
• Dziedzina całkowitości
• Ciało
• Algebra nad ciałem
• Tabela działania
• Przykłady i kontrprzykłady
• Jak rozpoznać strukturę algebraiczną?
• Uwagi terminologiczne
• Znaczenie i zastosowania
• Podsumowanie

Czym jest struktura algebraiczna?

Sama znajomość zbioru nie wystarcza jeszcze do określenia struktury algebraicznej. Potrzebna jest również informacja o działaniu lub działaniach, które można wykonywać na jego elementach.

Przykładowo zapis

\[(\mathbb{Z},+)\]

oznacza zbiór liczb całkowitych rozpatrywany wraz z dodawaniem. Ten sam zbiór z innym działaniem może tworzyć inną strukturę. Dlatego struktury \((\mathbb{Z},+)\) i \((\mathbb{Z},\cdot)\) należy rozpatrywać oddzielnie.

W zapisie ogólnym strukturę z jednym działaniem można przedstawić jako

\[(A,\circ),\]

gdzie \(A\) jest zbiorem, a symbol \(\circ\) oznacza działanie określone na jego elementach. Struktura z dwoma działaniami może być zapisana w postaci

\[(A,+,\cdot).\]

Na diagramie przedstawiono dwa powiązane, lecz różne ciągi pojęć. Półgrupa, monoid i grupa są strukturami z jednym działaniem. Pierścień oraz ciało mają natomiast dwa działania, które zwyczajowo nazywa się dodawaniem i mnożeniem.

Działanie wewnętrzne i domknięcie

Dwuargumentowym działaniem wewnętrznym w zbiorze \(A\) nazywamy przyporządkowanie każdej uporządkowanej parze elementów \(a,b\in A\) dokładnie jednego elementu należącego do tego samego zbioru:

\[\circ\colon A\times A\longrightarrow A.\]

Wynik działania zapisujemy jako \(a\circ b\). Warunek, że wynik ponownie należy do zbioru \(A\), nazywa się domknięciem zbioru względem działania.

Dodawanie jest działaniem wewnętrznym w zbiorze liczb całkowitych, ponieważ dla dowolnych \(a,b\in\mathbb{Z}\) zachodzi

\[a+b\in\mathbb{Z}.\]

Dzielenie nie jest natomiast działaniem wewnętrznym w \(\mathbb{Z}\). Przykładowo

\[3:2=\frac{3}{2}\notin\mathbb{Z}.\]

Domknięcie zawsze należy sprawdzać względem konkretnego zbioru. To samo działanie może być wewnętrzne w jednym zbiorze i nie być wewnętrzne w innym.

Można również określać działania zewnętrzne. Przykładem jest mnożenie wektora przez skalar:

\[\mathbb{R}\times V\longrightarrow V.\]

Jeden argument pochodzi wtedy z ciała skalarów, a drugi z przestrzeni wektorowej.

Najważniejsze własności działań

O rodzaju struktury algebraicznej decydują własności jej działań. Najważniejsze z nich to łączność, przemienność, istnienie elementu neutralnego i odwrotnego oraz rozdzielność.

Łączność

Działanie \(\circ\) jest łączne, jeżeli dla dowolnych \(a,b,c\in A\) zachodzi

\[(a\circ b)\circ c=a\circ(b\circ c).\]

Łączność oznacza, że sposób rozmieszczenia nawiasów nie zmienia wyniku. Dodawanie i mnożenie liczb są łączne. Odejmowanie nie jest łączne, ponieważ na przykład

\[(5-3)-1=1,\qquad 5-(3-1)=3.\]

Przemienność

Działanie jest przemienne, jeżeli

\[a\circ b=b\circ a\]

dla wszystkich \(a,b\in A\). Dodawanie liczb jest przemienne, natomiast odejmowanie nie jest. Mnożenie macierzy również na ogół nie jest przemienne:

\[AB\neq BA.\]

Element neutralny

Element \(e\in A\) jest elementem neutralnym działania \(\circ\), jeżeli dla każdego \(a\in A\)

\[a\circ e=e\circ a=a.\]

Dla dodawania liczb elementem neutralnym jest \(0\), ponieważ

\[a+0=0+a=a.\]

Dla mnożenia elementem neutralnym jest \(1\):

\[a\cdot1=1\cdot a=a.\]

Jeżeli dwustronny element neutralny istnieje, jest jednoznacznie wyznaczony.

Element odwrotny

Jeżeli \(e\) jest elementem neutralnym, to element \(b\) nazywamy odwrotnym do \(a\), gdy

\[a\circ b=b\circ a=e.\]

Element odwrotny do \(a\) oznacza się zazwyczaj symbolem \(a^{-1}\). W grupie addytywnej zamiast określenia „element odwrotny” często używa się nazwy element przeciwny i zapisuje go jako \(-a\):

\[a+(-a)=0.\]

W grupie multiplikatywnej odwrotnością liczby \(a\neq0\) jest

\[a^{-1}=\frac{1}{a}.\]

Rozdzielność

Rozdzielność dotyczy dwóch działań. Mnożenie jest lewostronnie rozdzielne względem dodawania, jeżeli

\[a\cdot(b+c)=a\cdot b+a\cdot c,\]

a prawostronnie rozdzielne, jeżeli

\[(a+b)\cdot c=a\cdot c+b\cdot c.\]

Jeżeli mnożenie nie jest przemienne, lewostronną i prawostronną rozdzielność trzeba rozpatrywać oddzielnie.

Półgrupa

Półgrupą nazywamy zbiór \(S\) z określonym działaniem wewnętrznym \(\circ\), które jest łączne:

\[(a\circ b)\circ c=a\circ(b\circ c)\]

dla wszystkich \(a,b,c\in S\).

Półgrupa nie musi mieć elementu neutralnego. Jej działanie nie musi być również przemienne.

Przykładem półgrupy jest zbiór dodatnich liczb całkowitych z dodawaniem:

\[(\mathbb{Z}_{>0},+).\]

Dodawanie jest łączne, ale w zbiorze dodatnich liczb całkowitych nie występuje element neutralny \(0\).

Monoid

Monoid jest półgrupą mającą element neutralny. Struktura \((M,\circ)\) jest więc monoidem, jeżeli:

1. działanie \(\circ\) jest wewnętrzne,
2. działanie jest łączne,
3. istnieje element neutralny \(e\).

Przy konwencji, zgodnie z którą \(0\in\mathbb{N}\), struktura

\[(\mathbb{N},+)\]

jest monoidem. Elementem neutralnym jest \(0\). Nie jest to jednak grupa, ponieważ dodatnie liczby naturalne nie mają w \(\mathbb{N}\) elementów przeciwnych.

Monoidem jest również zbiór słów nad ustalonym alfabetem wraz z operacją ich łączenia. Elementem neutralnym jest słowo puste.

Grupa

Grupą nazywamy monoid, w którym każdy element ma element odwrotny. Struktura \((G,\circ)\) jest grupą, jeżeli spełnia następujące warunki:

1. dla każdych \(a,b\in G\) wynik \(a\circ b\) należy do \(G\),
2. działanie jest łączne,
3. istnieje element neutralny \(e\),
4. dla każdego \(a\in G\) istnieje \(a^{-1}\in G\), dla którego \(a\circ a^{-1}=a^{-1}\circ a=e\).

Podstawowym przykładem jest grupa liczb całkowitych z dodawaniem:

\[(\mathbb{Z},+).\]

Elementem neutralnym jest \(0\), a elementem przeciwnym do liczby \(a\) jest \(-a\).

Innym ważnym przykładem jest zbiór odwracalnych macierzy kwadratowych ustalonego stopnia nad ciałem \(K\):

\[\operatorname{GL}_n(K).\]

Działaniem grupowym jest mnożenie macierzy, elementem neutralnym jest macierz jednostkowa \(I\), a elementem odwrotnym do \(A\) jest macierz \(A^{-1}\). Macierz jest odwracalna dokładnie wtedy, gdy jej wyznacznik jest różny od zera.

Grupa abelowa

Grupa abelowa, nazywana również grupą przemienną, jest grupą, której działanie spełnia dodatkowy warunek

\[a\circ b=b\circ a.\]

Nazwa pochodzi od nazwiska norweskiego matematyka Nielsa Henrika Abela.

Grupami abelowymi są między innymi:

• \((\mathbb{Z},+)\),
• \((\mathbb{Q},+)\),
• \((\mathbb{R},+)\),
• \((\mathbb{C},+)\),
• dowolna przestrzeń wektorowa z dodawaniem wektorów.

Grupa macierzy odwracalnych \(\operatorname{GL}_n(K)\) dla \(n\geq2\) na ogół nie jest abelowa, ponieważ mnożenie macierzy nie jest przemienne.

Pierścień

Pierścień jest strukturą z dwoma działaniami, zwyczajowo oznaczanymi przez \(+\) i \(\cdot\). Strukturę zapisujemy jako

\[(R,+,\cdot).\]

W przyjętej w tym artykule konwencji pierścień spełnia następujące warunki:

1. \((R,+)\) jest grupą abelową,
2. mnożenie jest łączne,
3. istnieje element neutralny mnożenia oznaczany przez \(1\),
4. mnożenie jest rozdzielne względem dodawania z lewej i prawej strony.

W pierścieniu każdy element ma zatem element przeciwny względem dodawania, ale nie każdy element musi mieć odwrotność względem mnożenia.

Klasycznym przykładem jest pierścień liczb całkowitych:

\[(\mathbb{Z},+,\cdot).\]

Każda liczba całkowita ma element przeciwny, ale na przykład liczba \(2\) nie ma w \(\mathbb{Z}\) odwrotności multiplikatywnej. Liczba \(\frac12\) nie należy bowiem do zbioru liczb całkowitych.

Ważnym przykładem jest również pierścień macierzy kwadratowych

\[M_n(K).\]

Dla \(n\geq2\) jest to na ogół pierścień nieprzemienny, ponieważ mogą istnieć macierze \(A\) i \(B\), dla których \(AB\neq BA\).

Pierścień przemienny

Pierścień przemienny jest pierścieniem, w którym mnożenie jest przemienne:

\[a\cdot b=b\cdot a.\]

Pierścieniami przemiennymi są między innymi:

• pierścień liczb całkowitych \(\mathbb{Z}\),
• pierścienie reszt \(\mathbb{Z}_n\),
• pierścień wielomianów \(K[x]\),
• pierścień funkcji rzeczywistych z dodawaniem i mnożeniem punktowym.

Pierścień wielomianów nad ciałem \(K\) jest przemienny, ale nie jest ciałem. Wielomian \(x\) nie ma bowiem odwrotności należącej do \(K[x]\).

Dzielniki zera

Niezerowy element \(a\) pierścienia nazywamy dzielnikiem zera, jeżeli istnieje niezerowy element \(b\), dla którego

\[a\cdot b=0\]

lub, w pierścieniu nieprzemiennym, \(b\cdot a=0\).

W pierścieniu \(\mathbb{Z}_6\) mamy

\[[2]\cdot[3]=[6]=[0].\]

Klasy reszt \([2]\) i \([3]\) są niezerowe, ale ich iloczyn jest równy zeru. Są więc dzielnikami zera.

Dziedzina całkowitości

Dziedziną całkowitości nazywamy pierścień przemienny z jedynką, w którym \(1\neq0\) i nie występują dzielniki zera.

Jeżeli \(a\neq0\), \(b\neq0\) i \(R\) jest dziedziną całkowitości, to

\[a\cdot b\neq0.\]

Dziedzinami całkowitości są:

• \(\mathbb{Z}\),
• pierścień wielomianów \(K[x]\) nad ciałem \(K\),
• każde ciało.

Pierścień \(\mathbb{Z}_n\) jest dziedziną całkowitości dokładnie wtedy, gdy \(n\) jest liczbą pierwszą.

Ciało

Ciało jest pierścieniem przemiennym, w którym każdy element niezerowy ma odwrotność względem mnożenia.

Dla ciała \(F\):

• \((F,+)\) jest grupą abelową,
• \((F\setminus\{0\},\cdot)\) jest grupą abelową,
• mnożenie jest rozdzielne względem dodawania,
• \(0\neq1\).

Najważniejsze przykłady ciał to:

• ciało liczb wymiernych \(\mathbb{Q}\),
• ciało liczb rzeczywistych \(\mathbb{R}\),
• ciało liczb zespolonych \(\mathbb{C}\),
• ciało reszt \(\mathbb{Z}_p\), gdy \(p\) jest liczbą pierwszą.

Liczby całkowite nie tworzą ciała, ponieważ nie każdy niezerowy element ma odwrotność należącą do \(\mathbb{Z}\). Liczby wymierne tworzą ciało, ponieważ dla każdego

\[a=\frac{p}{q}\neq0\]

istnieje odwrotność

\[a^{-1}=\frac{q}{p}\in\mathbb{Q}.\]

Algebra nad ciałem

Pojęcie algebry nad ciałem łączy własności pierścienia i przestrzeni wektorowej. Algebra \(A\) nad ciałem \(K\) jest przestrzenią wektorową nad \(K\), w której określono dodatkowo mnożenie elementów

\[A\times A\longrightarrow A.\]

Mnożenie powinno być zgodne z działaniami przestrzeni wektorowej. W szczególności dla \(\alpha\in K\) oraz \(a,b\in A\) zachodzi

\[(\alpha a)b=\alpha(ab)=a(\alpha b).\]

Przykładami algebr nad ciałem \(K\) są:

• algebra macierzy \(M_n(K)\),
• algebra wielomianów \(K[x]\),
• ciało liczb zespolonych \(\mathbb{C}\), rozpatrywane jako algebra nad \(\mathbb{R}\).

Algebra nie musi być przemienna. Algebra macierzy kwadratowych stopnia co najmniej drugiego jest podstawowym przykładem algebry nieprzemiennej.

Tabela działania

Działanie w skończonym zbiorze można przedstawić za pomocą tabeli działania, nazywanej również tabelą Cayleya. W komórce znajdującej się na przecięciu wiersza \(a\) i kolumny \(b\) umieszcza się wynik \(a\circ b\).

Poniższa tabela przedstawia dodawanie modulo \(4\) w zbiorze

\[\mathbb{Z}_4=\{0,1,2,3\}.\]

Z tabeli można odczytać, że:

• wyniki zawsze należą do \(\mathbb{Z}_4\), więc zbiór jest domknięty,
• elementem neutralnym jest \(0\),
• elementami przeciwnymi są pary \(1\) i \(3\), natomiast \(0\) i \(2\) są przeciwne same do siebie,
• tabela jest symetryczna względem głównej przekątnej, co wskazuje na przemienność.

Sama symetria tabeli nie dowodzi łączności. Łączność trzeba sprawdzić osobno albo wyprowadzić z własności znanego działania, którym w tym przypadku jest dodawanie klas reszt.

Przykłady i kontrprzykłady

Przy rozpoznawaniu struktur równie ważne jak przykłady są kontrprzykłady. Pozwalają one wskazać konkretny warunek, który nie jest spełniony.

Brak łączności

Aby wykazać, że działanie nie jest łączne, wystarczy znaleźć jeden kontrprzykład. Dla odejmowania:

\[(5-3)-1\neq5-(3-1).\]

Brak domknięcia

Zbiór liczb nieparzystych nie jest domknięty względem dodawania, ponieważ

\[3+5=8,\]

a liczba \(8\) nie jest nieparzysta.

Brak przemienności

Rozważmy macierze

\[ A=\begin{pmatrix}0&1\\0&0\end{pmatrix}, \qquad B=\begin{pmatrix}0&0\\1&0\end{pmatrix}. \]

Wówczas

\[ AB=\begin{pmatrix}1&0\\0&0\end{pmatrix}, \qquad BA=\begin{pmatrix}0&0\\0&1\end{pmatrix}, \]

a zatem \(AB\neq BA\).

Jak rozpoznać strukturę algebraiczną?

Sprawdzanie, jaką strukturę tworzy dany zbiór, najlepiej prowadzić etapami.

1. Określ zbiór i działania. Sam zapis zbioru bez wskazania działania jest niewystarczający.
2. Sprawdź domknięcie. Wynik działania musi pozostawać w rozpatrywanym zbiorze.
3. Sprawdź łączność. Jest ona wymagana już w definicji półgrupy.
4. Znajdź element neutralny. Jego istnienie pozwala przejść od półgrupy do monoidu.
5. Sprawdź elementy odwrotne. Jeżeli ma je każdy element, monoid jest grupą.
6. Sprawdź przemienność. Grupa przemienna jest grupą abelową.
7. Przy dwóch działaniach zbadaj strukturę addytywną. Dodawanie w pierścieniu musi tworzyć grupę abelową.
8. Sprawdź mnożenie i rozdzielność. Mnożenie musi być łączne i rozdzielne względem dodawania.
9. Zbadaj dzielniki zera. Ich brak jest konieczny w dziedzinie całkowitości.
10. Sprawdź odwrotności elementów niezerowych. Jeżeli istnieją dla wszystkich takich elementów, otrzymujemy ciało.

Aby udowodnić, że własność zachodzi, trzeba przeprowadzić rozumowanie dla wszystkich dopuszczalnych elementów. Aby wykazać, że własność nie zachodzi, wystarczy jeden poprawny kontrprzykład.

Uwagi terminologiczne

Czy zero należy do liczb naturalnych?

W matematyce spotyka się dwie konwencje:

\[\mathbb{N}=\{0,1,2,3,\ldots\}\]

albo

\[\mathbb{N}=\{1,2,3,\ldots\}.\]

W tym artykule przyjmujemy pierwszą z nich. Dzięki temu \((\mathbb{N},+)\) ma element neutralny \(0\) i jest monoidem. Przy drugiej konwencji zbiór dodatnich liczb naturalnych z dodawaniem byłby jedynie półgrupą.

Czy pierścień musi mieć jedynkę?

W różnych podręcznikach można spotkać odmienne definicje pierścienia. Część autorów wymaga istnienia elementu neutralnego mnożenia, a część dopuszcza pierścienie bez jedynki.

W tym artykule przyjmujemy, że pierścień ma jedynkę. Pozwala to przedstawić przejrzysty ciąg:

\[\text{pierścień przemienny}\longrightarrow \text{dziedzina całkowitości}\longrightarrow \text{ciało}.\]

Znaczenie i zastosowania struktur algebraicznych

Struktury algebraiczne pozwalają dostrzec, że pozornie różne obiekty matematyczne mogą podlegać tym samym regułom. Twierdzenie udowodnione dla wszystkich grup można później zastosować zarówno do liczb, macierzy, permutacji, jak i symetrii figur.

Grupy wykorzystuje się między innymi do opisywania:

• symetrii figur i brył,
• permutacji elementów,
• przekształceń geometrycznych,
• macierzy odwracalnych,
• operacji stosowanych w kryptografii.

Pierścienie pojawiają się przy badaniu liczb całkowitych, wielomianów i macierzy. Ciała stanowią natomiast podstawę algebry liniowej, ponieważ współrzędne wektorów oraz elementy macierzy są zazwyczaj liczbami należącymi do ustalonego ciała.

Szczególnie ważnym przykładem jest ciało liczb zespolonych \(\mathbb{C}\). Liczby zespolone rozszerzają zbiór liczb rzeczywistych i umożliwiają między innymi rozwiązywanie wszystkich równań wielomianowych zgodnie z zasadniczym twierdzeniem algebry.

Podsumowanie

Struktury algebraiczne klasyfikuje się na podstawie działań i spełnianych przez nie własności. Półgrupa wymaga działania łącznego. Monoid ma dodatkowo element neutralny, a w grupie każdy element ma element odwrotny. Jeżeli działanie grupowe jest przemienne, otrzymujemy grupę abelową.

Pierścień ma dwa działania. Dodawanie tworzy grupę abelową, mnożenie jest łączne, a oba działania wiąże rozdzielność. Pierścień przemienny bez dzielników zera jest dziedziną całkowitości, natomiast w ciele każdy element niezerowy ma odwrotność względem mnożenia.

Znajomość tych pojęć ułatwia dalszą naukę algebry liniowej, teorii liczb, wielomianów oraz liczb zespolonych. Pozwala również rozpoznawać wspólne własności obiektów, które na pierwszy rzut oka mogą wydawać się zupełnie różne.

Najważniejsze zależności:

\[ \text{półgrupa} \longrightarrow \text{monoid} \longrightarrow \text{grupa} \longrightarrow \text{grupa abelowa} \]

\[ \text{pierścień} \longrightarrow \text{pierścień przemienny} \longrightarrow \text{dziedzina całkowitości} \longrightarrow \text{ciało}. \]

Utworzono: 04.05.2026 | Zmodyfikowano: 19.07.2026

Powiązane artykuły

• Liczby zespolone – postać algebraiczna, działania, moduł i sprzężenie 
• Wielomiany 

Masz problem z tym tematem?

Wszechwiedza.pl pomaga zrozumieć matematykę, statystykę, ekonometrię, badania operacyjne, analizę danych, mechanikę, rachunkowość i wiele innych przedmiotów — spokojnie, konkretnie i krok po kroku. 

Zapytaj o pomoc