Teoria grup — grupy, podgrupy i homomorfizmy

Teoria grup wyjaśnia, kiedy zbiór i działanie tworzą razem stabilną strukturę. Grupa ma cztery składniki: domkniętość, łączność, element neutralny oraz element odwrotny dla każdego elementu. Podgrupa to mniejsza grupa wewnątrz większej, a homomorfizm to odwzorowanie zachowujące działanie.

Jeśli masz zapamiętać tylko jeden przykład, wybierz liczby całkowite z dodawaniem. Pokazuje on definicję grupy, daje prostą podgrupę i ułatwia sprawdzenie idei homomorfizmu.

Definicja grupy: cztery aksjomaty

Grupa to zbiór $G$ wraz z działaniem, często zapisywanym multiplikatywnie jako $ab$, taki że spełnione są cztery warunki:

1. Domkniętość: jeśli $a,b \in G$, to $ab \in G$.
2. Łączność: $(ab)c = a(bc)$ dla wszystkich $a,b,c \in G$.
3. Element neutralny: istnieje element $e \in G$ taki, że $ea = ae = a$ dla każdego $a \in G$.
4. Elementy odwrotne: dla każdego $a \in G$ istnieje element $a^{-1} \in G$ taki, że $aa^{-1} = a^{-1}a = e$.

To jest pełna definicja. Jeśli choć jeden warunek nie jest spełniony, ten zbiór z tym działaniem nie jest grupą.

Dlaczego ta definicja jest ważna

Definicja daje strukturę, w której można łączyć elementy, cofać wykonane działania i mieć pewność, że inne grupowanie nie zmieni wyniku. Dlatego grupy pojawiają się w symetrii, arytmetyce modularnej, permutacjach i algebrze macierzy.

Jeśli potraktujesz działanie jako dozwolony ruch, to grupa jest układem, w którym dozwolone ruchy można łączyć, istnieje ruch nic nierobiący, a każdy ruch można odwrócić.

Przykład: dlaczego $(\mathbb{Z}, +)$ jest grupą

Weźmy zbiór wszystkich liczb całkowitych $\mathbb{Z} = \{\dots,-2,-1,0,1,2,\dots\}$ z działaniem dodawania.

To jest grupa:

• Domkniętość zachodzi, ponieważ suma dwóch liczb całkowitych nadal jest liczbą całkowitą.
• Łączność zachodzi, ponieważ dla liczb całkowitych $(a+b)+c = a+(b+c)$.
• Elementem neutralnym jest $0$, ponieważ $a+0 = 0+a = a$.
• Elementem odwrotnym do $a$ jest $-a$, ponieważ $a + (-a) = 0$.

Zatem $(\mathbb{Z}, +)$ jest grupą.

To dobry punkt wyjścia, ponieważ ten przykład konkretnie pokazuje też podgrupy i homomorfizmy.

Definicja podgrupy na przykładzie liczb parzystych

Podgrupa to podzbiór grupy, który sam jest grupą względem tego samego działania.

Wewnątrz $(\mathbb{Z}, +)$ rozważmy liczby parzyste:

$$2\mathbb{Z} = \{\dots,-4,-2,0,2,4,\dots\}$$

Jest to podgrupa $\mathbb{Z}$ względem dodawania, ponieważ:

• suma dwóch liczb parzystych jest znowu liczbą parzystą
• $0$ jest parzyste, więc element neutralny nadal należy do zbioru
• liczba przeciwna do liczby parzystej też jest parzysta

Zatem $2\mathbb{Z}$ nie jest tylko podzbiorem. Zachowuje te same reguły algebraiczne co większa grupa.

To jest główna idea podgrupy: to mniejszy, domknięty świat, w którym to samo działanie nadal działa.

Definicja homomorfizmu: zachowanie działania

Homomorfizm to funkcja między grupami, która zachowuje działanie.

Jeśli $f : G \to H$ jest homomorfizmem, to

$$f(ab) = f(a)f(b)$$

dla wszystkich $a,b \in G$.

Dokładne symbole zależą od danych grup. Jeśli działaniem jest dodawanie, ten sam warunek często zapisuje się jako

$$f(a+b) = f(a) + f(b)$$

Sens jest ten sam: najpierw wykonujesz działanie, a potem odwzorowujesz, albo najpierw odwzorowujesz, a potem wykonujesz działanie. Homomorfizm sprawia, że obie drogi dają ten sam wynik.

Przykład: odwzorowanie parzystości z $\mathbb{Z}$ do $\mathbb{Z}_2$

Zdefiniujmy $f : \mathbb{Z} \to \mathbb{Z}_2$ przez

$$f(n) = \text{reszta z dzielenia } n \text{ przez } 2$$

Tutaj $\mathbb{Z}_2 = \{0,1\}$ z dodawaniem modulo $2$.

Ta funkcja zapisuje, czy liczba całkowita jest parzysta, czy nieparzysta. Aby sprawdzić, że jest homomorfizmem, porównaj obie strony:

$$f(a+b)$$

to parzystość sumy, natomiast

$$f(a) + f(b)$$

dodaje dwie parzystości modulo $2$.

Te wartości zgadzają się dla wszystkich liczb całkowitych $a$ i $b$, więc

$$f(a+b) = f(a) + f(b)$$

w $\mathbb{Z}_2$.

Na przykład, jeśli $a=3$ i $b=5$, to

$$f(3) = 1,\qquad f(5) = 1,\qquad f(3+5) = f(8) = 0$$

oraz

$$f(3)+f(5) = 1+1 = 0 \pmod{2}$$

Zatem to odwzorowanie zachowuje działanie grupowe.

Częste błędy w teorii grup

Zapominanie, że działanie jest częścią danych

Stwierdzenie „liczby całkowite tworzą grupę” jest niepełne, jeśli nie wiadomo, o jakie działanie chodzi. Liczby całkowite tworzą grupę względem dodawania, ale nie względem mnożenia, ponieważ większość liczb całkowitych nie ma odwrotności multiplikatywnej w $\mathbb{Z}$.

Zakładanie, że każdy podzbiór jest podgrupą

Podzbiór musi zawierać element neutralny, być domknięty względem działania i zawierać elementy odwrotne. Na przykład liczby dodatnie nie są podgrupą $(\mathbb{Z}, +)$, ponieważ nie zawierają $0$ i nie zawierają odwrotności addytywnych.

Traktowanie homomorfizmów jak dowolnych funkcji

Homomorfizm to nie jest po prostu dowolne odwzorowanie między zbiorami. Jego podstawowym zadaniem jest zachowanie działania. Jeśli ten warunek nie jest spełniony, nie jest to homomorfizm grup.

Mieszanie notacji między różnymi grupami

W jednej grupie działaniem może być dodawanie, w innej mnożenie, a w jeszcze innej składanie. Reguła homomorfizmu musi używać poprawnego działania po każdej stronie.

Gdzie używa się teorii grup

Teoria grup jest używana wszędzie tam, gdzie problem ma powtarzalną i odwracalną strukturę. Typowe przykłady to symetrie figur, arytmetyka modularna, permutacje, algebra liniowa i niektóre działy fizyki.

Nie potrzebujesz zaawansowanych przykładów, żeby odnieść z niej korzyść. Nawet na podstawowym poziomie teoria grup pomaga rozpoznać, kiedy różne problemy mają tę samą ukrytą strukturę.

Spróbuj podobnego zadania

Zacznij od $(\mathbb{Z}, +)$. Sprawdź, czy wielokrotności $3$ tworzą podgrupę. Następnie zbadaj odwzorowanie $g(n) = n \bmod 3$ z $\mathbb{Z}$ do $\mathbb{Z}_3$ i sprawdź, czy

$$g(a+b) = g(a) + g(b)$$

zachodzi modulo $3$.

Jeśli chcesz pójść o krok dalej, spróbuj tych samych pytań dla obrotów trójkąta równobocznego. Wtedy teoria grup często zaczyna być odczuwana jako narzędzie, a nie tylko definicja.