Cyclische groepen

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

Cyclische groepen

in mijn cursus staat gedefinieerd: Het kleinste natuurlijke getal r, verschillend van 0, waarvoor g^r = e, met e het neutraal element noemt men de orde van het element g.

maar hoe zie ik dat dit kleinste natuurlijke getal r sowieso bestaat?

Gebruikersavatar
Pluimdrager
Berichten: 10.058

Re: Cyclische groepen

Dat weet je omdat een cyclische groep eindig is en de groepsoperatie gesloten is (in de groep).

Gebruikersavatar
Berichten: 997

Re: Cyclische groepen

maar zou het dan niet kunnen dat g^r steeds een element is uit G\{e} voor alle r?

enkel de isomorfie met {1,2,...,r} toont voor mij aan dat g^r=e, directer zie ik het echt niet :D

Gebruikersavatar
Berichten: 7.556

Re: Cyclische groepen

maar hoe zie ik dat dit kleinste natuurlijke getal r sowieso bestaat?
Dat hoeft ook niet. Indien er geen kleinste natuurlijke r bestaat waarvoor g^r=e, heeft g een oneindige orde.
Never express yourself more clearly than you think.

- Niels Bohr -

Gebruikersavatar
Pluimdrager
Berichten: 10.058

Re: Cyclische groepen

Alle cyclische groepen van oneindige orde zijn isomorf met (Z,+)

Een vb van een cyclische groep van oneindige orde is (Z,+) met (bv) 1 als voortbrenger van oneindige orde.

Ik nam aan dat je uitgaat van eindige cyclische groepen. (mijn fout!)

Gebruikersavatar
Berichten: 7.556

Re: Cyclische groepen

Ik had niet gezien dat het specifiek over cyclische groepen ging (het staat alleen in de titel; de definitie in de openingspost is algemeen)).

Bij eindige cyclische groepen is er uiteraard altijd zo'n kleinste r waarvoor g^r=e.

Dat is logisch, want een cyclische groep wordt per definitie voortgebracht door één element. De orde van dit element g is gelijk aan de orde van <g>.

Zie ook hier
Never express yourself more clearly than you think.

- Niels Bohr -

Gebruikersavatar
Berichten: 997

Re: Cyclische groepen

in die link die je daar geeft wordt gezegd:

if
\(G = \{g^0,g^1,g^2,g^3,g^4,g^5 \} \)
is a group, then
\(g^6 = g^0\)
maar hoe toon je die gevolgtrekking aan?

Berichten: 308

Re: Cyclische groepen

Volgt uit vermenigvuldigingstabel.

g^6 = g^1.g^5 moet gelijk zijn aan een groepselement. Neem aan dat dat niet g^0=e is. Dus stel b.v. g^1.g^5=g^4=g^1.g^3, dan is g^5=g^3, wat dus niet kan. g^1.g^5=e kan wel, want dan is g^5=g^-1

Gebruikersavatar
Berichten: 997

Re: Cyclische groepen

oke bedankt

Reageer