Streszczenie Homomorfizmy grup: definicje, jądra i obrazy

## Wprowadzenie Homomorfizm grup to funkcja między dwiema grupami, która zachowuje strukturę działania. Homomorfizmy pozwalają przenosić własności jednej grupy do drugiej i są podstawowym narzędziem w analizie struktur algebraicznych. > **Definicja:** Niech $(C_1,+)$ i $(C_2,*)$ będą grupami. Funkcja $V\colon C_1 \to C_2$ nazywana jest homomorfizmem grup (komunikacją z grupy $(C_1,+)$ do $(C_2,*)$), jeżeli dla wszystkich $a,b\in C_1$ zachodzi > $$V(a+b)=V(a)*V(b).$$ ## Podstawowe pojęcia i własności ### Jądro i obraz homomorfizmu > **Definicja jądra:** Jądrem homomorfizmu $V\colon C_1\to C_2$ nazywamy zbiór > $$\ker V=\{x\in C_1:\;V(x)=e_{C_2}\},$$ > gdzie $e_{C_2}$ jest elementem neutralnym w $C_2$. > **Definicja obrazu:** Obrazem homomorfizmu nazywamy > $$\mathrm{Im}\,V=\{V(x):x\in C_1\}\subseteq C_2.$$ Własności: - $\ker V$ jest podgrupą normalną w $C_1$. - $\mathrm{Im}\,V$ jest podgrupą $C_2$. - Jeśli $V$ jest injektywny, to $\ker V=\{e_{C_1}\}$. ### Typowe przykłady homomorfizmów 1. Homomorfizmy trywialne: $V(g)=e_{C_2}$ dla każdego $g\in C_1$. Wtedy $\mathrm{Im}\,V=\{e_{C_2}\}$. 2. Rzut modularny: $V\colon (\mathbb{Z},+)\to (\mathbb{Z}_m,+)$ dany wzorem $V(z)=\overline{z}$ (reszta modulo $m$). To klasyczny przykład surjekcji z jądrem $m\mathbb{Z}$. 3. Homomorfizm wartości bezwzględnej nie jest homomorfizmem grupy addytywnej na liczbach rzeczywistych, więc trzeba uważać przy przykładach z funkcjami elementarnymi. 4. Homomorfizm logarytmiczny z grupy multiplikatywnej dodatnich liczb rzeczywistych $\left(\mathbb{R}_{>0},\cdot\right)$ do $(\mathbb{R},+)$: $V(x)=\ln x$, ponieważ $\ln(xy)=\ln x+\ln y$. ### Rodzaje homomorfizmów - **Iniektywny (monomorfizm):** $V$ jest injektywny, czyli różne elementy mają różne obrazy. - **Surjektywny (epimorfizm):** $\mathrm{Im}\,V=C_2$. - **Izomorfizm:** $V$ jest bijekcją i zachowuje działanie; wtedy grupy są strukturalnie identyczne. ## Twierdzenia i obserwacje - Twierdzenie o izomorfizmie: dla homomorfizmu $V\colon C_1\to C_2$ istnieje izomorfizm między ilorazem $C_1/\ker V$ a $\mathrm{Im}\,V$. $$C_1/\ker V \cong \mathrm{Im}\,V$$ - Jeśli $N$ jest normalną podgrupą $C_1$, to istnieje naturalny homomorfizm rzutowy $\pi\colon C_1\to C_1/N$ dany wzorem $\pi(g)=gN$. ## Porównanie: jądro vs obraz | Cecha | Jądro $\ker V$ | Obraz $\mathrm{Im}\,V$ | |---|---:|---:| | Zawiera element neutralny? | Tak | Tak | | Typ podgrupy | Normalna podgrupa $C_1$ | Podgrupa $C_2$ | | Wpływ na iniektywność | $\ker V=\{e\}$ wtedy $V$ injektywny | jeśli $\mathrm{Im}\,V=C_2$ to $V$ surjektywny | | Przykład | $m\mathbb{Z}$ dla rzutowania $\mathbb{Z}\to\mathbb{Z}_m$ | $\mathbb{Z}_m$ dla tego rzutowania | ## Przykłady szczegółowe (krok po kroku) 1. Rzut modulo $m$: $$V\colon \mathbb{Z}\to\mathbb{Z}_m,\quad V(z)=\overline{z}.$$ Jądro: $\ker V=m\mathbb{Z}$. Obraz: $\mathrm{Im}\,V=\mathbb{Z}_m$. Homomorfizm jest surjektywny. 2. Logarytm: $$V\colon \left(\mathbb{R}_{>0},\cdot\right)\to(\mathbb{R},+),\quad V(x)=\ln x.$$ Sprawdzenie: $V(xy)=\ln(xy)=\ln x+\ln y=V(x)+V(y)$, więc to homomorfizm (surjektywny, jądro $\{1\}$). 3. Homomorfizm trywialny: $$V\colon C_1\to C_2,\quad V(g)=e_{C_2}.$$ Jądro to cała $C_1$, obraz to $\{e_{C_2}\}$. ## Zastosowania praktyczne - W teorii kodów i kryptografii używa się homomorfizmów między grupami do budowy schematów, które pozwalają wykonywać operacje na zaszyfrowanych danych. - W topologii algebraicznej homomorfizmy grup fundamentalnych pozwalają przenosić informacje o kształcie przestrzeni. - W teorii liczb homomorfizmy modulo pozwalają analizować właściwości kongruencji. Fun fact: Homomorfizmy grup są kluczowe w kryptografii homomorficznej, która umożliwia wykonywanie obliczeń na zaszyfrowanych danych bez ich odszyfrowywania. ## Częste błędy i pułapki - Mylenie funkcji zachowującej działanie z funkcjami dowolnymi: trzeba sprawdzić warunek $V(a+b)=V(a)*V(b)$ dla wszystkich par. - Przyjmowanie, że obraz zawsze jest normalny: obraz homomorfizmu nie musi być normalny w $C