rmod H není kongruence; dokážeme to pomocí věty 8.2, která říká, že ekvivalentně můžeme ověřit, že H není normální podgrupa. To ukážeme např. volbou {: alt="g = (2;3), h = (1;2)" type="image/"}, pak {: alt="g \circ h \circ g^{-1} = (2;3) \circ (1;2) \circ (2;3) = (1;3) \notin H" type="image/"}
Neexistuje. Kdyby byl {: alt="\psi" type="image/"} homomorfismus, bude {: alt="\psi(L)" type="image/"} podalgebra (podokruh?) H. Protože {: alt="\psi" type="image/"} je prosté a L je těleso, je {: alt="\abs{\psi(L)} = 8, \abs{\psi(L)^(\cdot)} = 7" type="image/"} (řád multiplikativní grupy), ale {: alt="\abs{K(\cdot)} = 15" type="image/"}, což je ve sporu s Lagrangovou větou. Řešení obecnější úlohy (kdy má konečné těleso podtěleso daného řádu?) viz StackExchange: https://math.stackexchange.com/question ... ite-fields
Stačí vzít {: alt="f = GCD(p, q)" type="image/"}, kde bereme GCD polynomů. Polynomy umíme dělit, takže můžeme použít Eukleidův algoritmus. Vyšel mi polynom {: alt="f = x + 3" type="image/"} (na násobku nezáleží). Pak {: alt="f\mathbb{R}[x] \subseteq p\mathbb{R}[x] + q\mathbb{R}[x]" type="image/"}, protože jak p, tak q jsou násobky f. Opačná inkluze platí díky tomu, že f lze vyjádřit jako "lineární kombinaci" p a q, jak říká rozšířený Eukleidův algoritmus.
(viz skripta)
Ekvivalentně chceme ukázat {: alt="a+a=0" type="image/"}. Upravíme: {: alt="a+1 = (a+1)\cdot(a+1) = a \cdot a + a + a + 1 = a + a + a + 1" type="image/"} a když odečteme {: alt="a+1" type="image/"}, dostaneme už {: alt="a+a = 0" type="image/"}.
Chceme číslo spočítat mod 100. Spočítáme zbytek mod 4 a mod 25, z toho už pak pomocí čínské zbytkové věty (CRT) dostaneme výsledek mod 100. mod 4 je to zjevně 1. mod 25 spočítáme tak, že víme {: alt="37^{38^{39}} \equiv 12^{38^{39}} \mod 25" type="image/"} a z Eulerovy věty {: alt="12^{\phi(25)} = 12^{20} \equiv 1 \mod 25" type="image/"}, takže stačí spočítat {: alt="38^{39} \mod 20" type="image/"}, na což použijeme podobný trik. Dostaneme {: alt="38^{39} \mod 20 = 12" type="image/"} a {: alt="37^{38^{39}} \mod 25 = 6" type="image/"}, celkově je výsledek 81 (můžeme ověřit ve WolframAlpha)