Algebra

Analyse

Bewijzen

De grafische rekenmachine

Discrete wiskunde

Fundamenten

Meetkunde

Oppervlakte en inhoud

Rekenen

Schoolwiskunde

Statistiek en kansrekenen

Telproblemen

Toegepaste wiskunde

Van alles en nog wat


\require{AMSmath}

Bewijzen dat een oneindig cyclische groep isomorf is

Hallo, ik moet hier een klein bewijs leveren dat als 'G=$<$g$>$' groep is en oneindig is, en cyclisch is, dat deze isomorf is met $\mathbf{Z}$

men definieerd een functie u: Z$\to$G
k$\to$gk

ik heb al bewezen dat dit een homomorfisme is, en dat dit surjectief is: voor surjectief was ik niet 100% zeker

Voor alle 'x' element van G bestaat er een k element van Z met x = gk (g is cyclisch) en dus is x=u(k) , hiervoor is de functie surjectief.

Voor de injectiviteit weet ik het niet zo goed, ik moet dus bewijzen dat U(x1)=U(x2) $\Rightarrow$ x1=x2

Hoe zou ik hieraan beginnnen? wan ik heb het gevoel dat ik iets met de kern van U moet doen.

Bedankt

winny
Student universiteit België - vrijdag 6 januari 2006

Antwoord

Inderdaad, je moet bewijzen dat de kern uit alleen het punt 0 bestaat.
Stel k is niet 0 en stel u(k)=e. Dan kun je bewijzen dat u(n+k)=u(n) voor alle n en daaruit volgt dan dat G={e,g,g2, ...,gk-1}. Maar dan zou G eindig zijn ...
Je bewijs van de surjectiviteit is correct.

kphart
zondag 8 januari 2006

©2001-2024 WisFaq