Gruppeteori

Her kan brukere av forum utfordre hverandre med morsomme oppgaver og nøtter man ønsker å dele med andre. Dette er altså ikke et sted for desperate skrik om hjelp, de kan man poste i de andre forumene, men et sted for problemløsing på tvers av trinn og fag.

Moderatorer: Vektormannen, espen180, Aleks855, Solar Plexsus, Gustav, Nebuchadnezzar, Janhaa

Svar
Markus
Fermat
Fermat
Innlegg: 767
Registrert: 20/09-2016 13:48
Sted: NTNU

La $G$ være en endelig gruppe. La $f: G \to G$ være en homomorfi slik at $\left|\left\{x \in G : f(x)=x^{-1} \right \}\right| > \frac12 |G|$. Vis at $f$ er en automorfi av $G$.
Gustav
Tyrann
Tyrann
Innlegg: 4555
Registrert: 12/12-2008 12:44

Markus skrev:La $G$ være en endelig gruppe. La $f: G \to G$ være en homomorfi slik at $\left|\left\{x \in G : f(x)=x^{-1} \right \}\right| > \frac12 |G|$. Vis at $f$ er en automorfi av $G$.
La $I=\left\{x \in G : f(x)=x^{-1} \right \}$ og $H=\left\{x \in G : f^2(x)=x \right \}$. Da er $I\subseteq H$: La $x\in I$. Da er $f(x)=x^{-1}$, og $f^2(x)=f(x^{-1})=f(x)^{-1}=(x^{-1})^{-1}=x$, så $x\in H$.

$H$ er en undergruppe av $G$: La $x,y \in H$. Da er $xy^{-1}\in H$: $f^2(xy^{-1})=f(f(x)f(y^{-1}))=f^2(x) f^2(y^{-1})=x f^2(y)^{-1}=xy^{-1}$.

Siden $|H|\ge |I|>\frac12 |G|$, må av Lagrange $|H|=|G|$, så alle element $g \in G$ må ha egenskapen $f^2(g)=g$. Dermed må $f$ være surjektiv, og følgelig en automorfi.
Markus
Fermat
Fermat
Innlegg: 767
Registrert: 20/09-2016 13:48
Sted: NTNU

Gustav skrev:
Markus skrev:La $G$ være en endelig gruppe. La $f: G \to G$ være en homomorfi slik at $\left|\left\{x \in G : f(x)=x^{-1} \right \}\right| > \frac12 |G|$. Vis at $f$ er en automorfi av $G$.
La $I=\left\{x \in G : f(x)=x^{-1} \right \}$ og $H=\left\{x \in G : f^2(x)=x \right \}$. Da er $I\subseteq H$: La $x\in I$. Da er $f(x)=x^{-1}$, og $f^2(x)=f(x^{-1})=f(x)^{-1}=(x^{-1})^{-1}=x$, så $x\in H$.

$H$ er en undergruppe av $G$: La $x,y \in H$. Da er $xy^{-1}\in H$: $f^2(xy^{-1})=f(f(x)f(y^{-1}))=f^2(x) f^2(y^{-1})=x f^2(y)^{-1}=xy^{-1}$.

Siden $|H|\ge |I|>\frac12 |G|$, må av Lagrange $|H|=|G|$, så alle element $g \in G$ må ha egenskapen $f^2(g)=g$. Dermed må $f$ være surjektiv, og følgelig en automorfi.
Bra!
Svar