Groep theorie: Bewijs dat vermenigvuldigingstabellen van twee isomorfe groepen hetzelfde zijn
-
- Berichten: 131
Groep theorie: Bewijs dat vermenigvuldigingstabellen van twee isomorfe groepen hetzelfde zijn
Bewijs dat als twee groepen G1 en G2 isomorf zijn, ook de vermenigvuldigingstabellen hetzelfde zijn.
Weet iemand hoe je dit moet bewijzen?
Weet iemand hoe je dit moet bewijzen?
- Berichten: 78
Re: Groep theorie: Bewijs dat vermenigvuldigingstabellen van twee isomorfe groepen hetzelfde zijn
Stel je isomorfisme heet f.
En je 2 vermenigvuldigingstafels zijn gegeven.
Voor elke g uit G1 zit er een f(g) in G2.
Vervang nu elke g in je tafel van G1 door f(g) en doe dit voor elke g uit G.
Bekijk nu de rij die oorspronkelijk g was gelabeled, (nu dus f(g)) en de kolom die oorspronkelijk h was gedoopt en nu f(h).
Oorspronkelijk stond daar g*h, dus nu f(g*h). Maar door het isomorfisme is dit gelijk aan f(g*h)=f(g)*f(h), dus in de tabel zien we in rij f(g) kolom f(h) het element f(g)*f(h). M.a.w. wanneer we in de vermenigvuldigingstabel van (G1,*) de elementen vervangen m.b.v. f, krijgen we de vermenigvuldigings tabel van G2. En omdat het isomorfisme een bijectie is zijn we verzekerd van het feit dat er geen herhaalde rijen, kolommen zijn en zodoende geeft het de gehele tabel voor G2.
En je 2 vermenigvuldigingstafels zijn gegeven.
Voor elke g uit G1 zit er een f(g) in G2.
Vervang nu elke g in je tafel van G1 door f(g) en doe dit voor elke g uit G.
Bekijk nu de rij die oorspronkelijk g was gelabeled, (nu dus f(g)) en de kolom die oorspronkelijk h was gedoopt en nu f(h).
Oorspronkelijk stond daar g*h, dus nu f(g*h). Maar door het isomorfisme is dit gelijk aan f(g*h)=f(g)*f(h), dus in de tabel zien we in rij f(g) kolom f(h) het element f(g)*f(h). M.a.w. wanneer we in de vermenigvuldigingstabel van (G1,*) de elementen vervangen m.b.v. f, krijgen we de vermenigvuldigings tabel van G2. En omdat het isomorfisme een bijectie is zijn we verzekerd van het feit dat er geen herhaalde rijen, kolommen zijn en zodoende geeft het de gehele tabel voor G2.