msleziak.com

Keďže sa párkrát vyskytla situácia, že sme mali "skoro rovnaké" grupy, ale operácia bola definovaná "obrátene", tak sme skúsim pridať niečo k tomu.$\newcommand{\inv}[1]{{#1}^{-1}}\newcommand{\Zobr}[3]{#1\colon#2\to#3}$

Chceme sa skúsiť zamyslieť nad niečím takýmto:

Nech $(G,*)$ je grupa. Na množine $G$ definujeme novú binárnu operáciu $*'$ predpisom
$$x*'y=y*x$$
(pre ľubovoľné $x,y\in G$).
a) Dokážte, že $(G,*')$ je grupa.
b) Dokážte, že grupy $(G,*)$ a $(G,*')$ sú izomorfné, t.j. $(G,*)\cong(G,*')$.

Ak je operácia $*$ komutatívna, tak $*'$ je presne tá istá operácia. Čiže iba pre nekomutatívny prípad nám toto dá inú - ale stále izomorfnú - grupu.

Takéto niečo by azda bolo prirodzené nazvať opačná grupa. Pridám aj linku na Wikipédiu - ale ak sa chcete nad dôkazom zamyslieť samostatne, tak zatiaľ na ňu nepozerajte: Opposite group.

Nebudem sa venovať časti a) - tá je veľmi ľahká.

Aspoň o čosi náročnejšie je overiť, že tieto grupy sú izomorfné. Ak si však správne tipneme, čo by mohol byť vhodný izomorfizmus, tak by to už nemalo byť ťažké.

Hint 1: Hint 2 - ktorý už v podstate prezradí, čo je izomorfizmus: Teda o takomto zobrazení by sme chceli overiť, že to je grupový izomorfizmus: Tu je overenie, že to je izomorfizmus.

Keď hovorím o opačnej grupe, tak spomeniem súvisiaci pojem: antihomomorfizmus.$\newcommand{\inv}[1]{{#1}^{-1}}\newcommand{\Zobr}[3]{#1\colon#2\to#3}$

Grupový antihomomorfizmus $\Zobr f{(G,*)}{(H,\circ)}$ je zobrazenie $\Zobr fGH$ také, že
$$(\forall x_1,x_2\in G) f(x_1*x_2)=f(x_2)\circ f(x_1).$$

Napríklad ak $G^{op}$ označíme opačnú grupu ku $G$, tak $\Zobr{id_G}G{G^{op}}$ je antihomomorfizmus.

Tiež si môžeme všimnúť, že $\Zobr fGH$ je antihomomorfizmus p.v.k. $\Zobr fG{H^{op}}$ je homomorfizmus. (Alebo ekvivalentne, ak $\Zobr f{G^{op}}H$ je homomorfizmus.)

Vidíme aj to, že ak aspoň jedna z grúp $G$, $H$ je komutatívna, tak homomorfizmus je to isté ako antihomomorfizmus.