Izluđuje me jedna sitnica koju ne mogu razjasniti u dokazu leme II.5.5. iz Hungerfordove Algebre. Lema glasi ovako:
Ako je [latex]H[/latex] [latex]p[/latex]-podgrupa konačne grupe [latex]G[/latex], onda je [latex][N_G(H)]\equiv [G] \pmod p[/latex].
Stvar se dokazuje tako da se definiraju skupovi [latex]S=\{xH\ |\ x\in G\}[/latex] i [latex]S_0=\{xH\in S\ |\ hxH=xH \text{ za sve } h\in H\}[/latex]. Prema jednoj od prethodnih lema (II.5.1.), imamo [latex]|S|\equiv |S_0| \pmod p[/latex]. Jasno je da je [latex]|S| = [G][/latex]. Treba se pokazati da je [latex]|S_0| = [N_G(H)][/latex].
E sad, jasno mi je da je [latex]xH\in S_0\ \Leftrightarrow\ x^{-1}Hx\subseteq H[/latex]. Jasno mi je i da je [latex]x\in N_G(H)\ \Leftrightarrow\ x^{-1}Hx=H[/latex]. Ne znam kako spojiti to dvoje. Mora da je nešto trivijalno, ali naprosto ne vidim kako iz prvog slijedi drugo.
Ima netko ideju?
[size=9][color=#999999]Added after 43 minutes:[/color][/size]
Aha, kužim... Ako je [latex]x^{-1}Hx\subseteq H[/latex], onda je funkcija [latex]\varphi\colon H\to H,\ \varphi(h) = x^{-1}hx[/latex] dobro definirana injekcija. Kako je [latex]H[/latex] konačan skup, [latex]\varphi[/latex] je i surjekcija. Prema tome, za svaki [latex]h\in H[/latex] postoji [latex]h'\in H[/latex] takav da je [latex]\varphi(h')=x^{-1}h'x=h[/latex], a to upravo znači da je [latex]H\subseteq x^{-1}Hx[/latex].
No dobro, ako netko nekad zapne na tome, nek se nađe...
Izluđuje me jedna sitnica koju ne mogu razjasniti u dokazu leme II.5.5. iz Hungerfordove Algebre. Lema glasi ovako:
Ako je
-podgrupa konačne grupe
, onda je
.
Stvar se dokazuje tako da se definiraju skupovi
i
. Prema jednoj od prethodnih lema (II.5.1.), imamo
. Jasno je da je
. Treba se pokazati da je
.
E sad, jasno mi je da je
. Jasno mi je i da je
. Ne znam kako spojiti to dvoje. Mora da je nešto trivijalno, ali naprosto ne vidim kako iz prvog slijedi drugo.
Ima netko ideju?
Added after 43 minutes:
Aha, kužim... Ako je
, onda je funkcija
dobro definirana injekcija. Kako je
konačan skup,
je i surjekcija. Prema tome, za svaki
postoji
takav da je
, a to upravo znači da je
.
No dobro, ako netko nekad zapne na tome, nek se nađe...
_________________
I don't know half of you half as well as I should like; and I like less than half of you half as well as you deserve.