Deelgroep g²

Moderators: dirkwb, Xilvo

Forumregels
(Middelbare) school-achtige vragen naar het forum "Huiswerk en Practica" a.u.b.
Zie eerst de Huiswerkbijsluiter
Reageer
Gebruikersavatar
Berichten: 997

Deelgroep g

Als
\(H= \{g² | g \in G \}\)
een deelgroep is van een eindige multiplicatieve groep G. Klopt het dan dat G commutatief is? Ik vermoed het omdat het me de enige manier lijkt om H een groep te laten zijn door g²h²=(gh)². Maar kan het niet hard maken.

Re: Deelgroep g

Dat is niet zo.
\(H\)
is wel een normale ondergroep van
\(G\)
. (Mag je zelf bewijzen).
\(H\)
bevat ook de commutator groep van
\(G\)
en de quotientgroep
\(G/H\)
is van orde 1 of 2.
\(G/H\)
is dus abels en de commutator groep is een deel van
\(H\)
.

Als nu elk element van
\(G\)
geschreven kan worden als een product van elementen
\(a\)
, met
\(a^2=1\)
, dan is
\(H\)
de commutator van
\(G\)
.

De commutator is echter abels dan en slechts dan als hij triviaal is (i.e. alleen bestaat uit de eenheid).

Re: Deelgroep g

Leuk probleem trouwens.

Dat je vermoeden onjuist is volgt uit de volgende beweringen:

Als
\(G\)
een eindige groep is van oneven orde, dan is
\(G= \{g² | g \in G \}\)
.

Want voor een element
\(a \in G\)
geldt
\(a^n=1\)
, waarbij
\(n\)
de (oneven!) orde van de groep is.

Dan is
\(m=\frac{n+1}{2}\)
een geheel getal, en
\(a = a^{n+1} = (a^m)^2\)
.

Dus elke eindige multiplicatieve niet-abelse groep van oneven orde geeft ons een tegenvoorbeeld.

Gebruikersavatar
Berichten: 997

Re: Deelgroep g

PeterPan schreef:Dat is niet zo.
\(H\)
is wel een normale ondergroep van
\(G\)
. (Mag je zelf bewijzen).


Dat was een deel van het probleem. Ik dacht aanvankelijk dat hiervoor commutativiteit vereist was en daarmee kwam ik hiermee af.

Gebruikersavatar
Berichten: 42

Re: Deelgroep g

Dat van die commutativiteit is idd niet zo, daarom dat wij in de oplossing van die vraag tijdens de les toen, de volgende redenering moesten gebruiken: klik.

Ik heb overigens geluk gehad met toegep. discrete algebra, net een 10 van dat ***. 8-)
[center]Concordia res parvae crescunt, discordia maximae dilabuntur.[/center]

Gebruikersavatar
Berichten: 997

Re: Deelgroep g

Handsome Hermit schreef:Dat van die commutativiteit is idd niet zo, daarom dat wij in de oplossing van die vraag tijdens de les toen, de volgende redenering moesten gebruiken: klik.

Ik heb overigens geluk gehad met toegep. discrete algebra, net een 10 van dat ***. :D
mja, ik had geen enkele les gevolgd, geen enkele oefening gedaan, juist de cursus eens doorlezen, dan was een 4 nog wel oké, nu ga ik ook voor de 10, bedankt voor de reactie nog

Reageer