Noen som kan hinte/veilede ang denne.
Sant eller galt:
Det finnes en injektiv gruppehomomorfi fra en gruppe med 5 elementer til en gruppe med 12 elementer
gruppehomomorfi
Moderatorer: Vektormannen, espen180, Aleks855, Solar Plexsus, Gustav, Nebuchadnezzar, Janhaa
Hint 2.
Generelt resultat:
La $G$ og $H$ være to grupper der $|G|=n$ og $|H|=m$. La $f:G\to H$ være en injektiv homomorfi. Siden $Im(f)$ (bildet av $G$ under $f$) er en undergruppe av $H$, og $|Im(f)|=n$ (pga. injektiviteten til $f$), så må, fra Lagranges teorem, $m$ være delelig med $n$.
Generelt resultat:
La $G$ og $H$ være to grupper der $|G|=n$ og $|H|=m$. La $f:G\to H$ være en injektiv homomorfi. Siden $Im(f)$ (bildet av $G$ under $f$) er en undergruppe av $H$, og $|Im(f)|=n$ (pga. injektiviteten til $f$), så må, fra Lagranges teorem, $m$ være delelig med $n$.
Takker for hintene plutarco!viking skrev:kun den trivielle homomofismen til identiteselementet finnes
Ja - viking, [tex]\,\,\ker(\phi) = {e}[/tex]
?
betyr dette at spm over er usant?
Og samme for denne:
Det finnes en injektiv gruppehomomorfi fra en gruppe med 4 elementer til en gruppe med 12 elementer
usant altså?
La verken mennesker eller hendelser ta livsmotet fra deg.
Marie Curie, kjemiker og fysiker.
[tex]\large\dot \rho = -\frac{i}{\hbar}[H,\rho][/tex]
Marie Curie, kjemiker og fysiker.
[tex]\large\dot \rho = -\frac{i}{\hbar}[H,\rho][/tex]
Enhver gruppe av orden 12 vil ha en sylow 2-undergruppe av orden $2^2$. Dermed kan du konstruere en injektiv homomorfi som en identitetsavbildning fra og til denne sylow 2-undergruppa.Janhaa skrev:
Og samme for denne:
Det finnes en injektiv gruppehomomorfi fra en gruppe med 4 elementer til en gruppe med 12 elementer
usant altså?
Svaret på den første er usant fordi 5 ikke deler 12. Dermed fins det ingen undergruppe av orden 5 i gruppa med orden 12. Siden bildet av enhver homomorfi er en gruppe, og siden denne må ha orden 5 (fordi den er injektiv), så motsier dette Lagranges teorem.Janhaa skrev:Takker for hintene plutarco!viking skrev:kun den trivielle homomofismen til identiteselementet finnes
Ja - viking, [tex]\,\,\ker(\phi) = {e}[/tex]
?
betyr dette at spm over er usant?
Jeg har ingen innvending til dette, men om utsagnet til Janhaa skal tolkes som "det finnes grupper av orden 4 og 12 slik at det finnes en injektiv gruppehomomorfi fra den ene til den andre" er det kanskje lettest å bare gi et eksempel. Vi ser at for gruppene $\mathbb Z_4$ og $\mathbb Z_{12}$ er funksjonen $f: \mathbb Z_4 \to \mathbb Z_{12}$ som tar "$n \to 3 \cdot n$" (dvs. $0 \to 0, 1 \to 3, 2 \to 6, 3 \to 9$) injektiv og en gruppehomomorfi.plutarco skrev:Enhver gruppe av orden 12 vil ha en sylow 2-undergruppe av orden $2^2$. Dermed kan du konstruere en injektiv homomorfi som en identitetsavbildning fra og til denne sylow 2-undergruppa.Janhaa skrev:
Og samme for denne:
Det finnes en injektiv gruppehomomorfi fra en gruppe med 4 elementer til en gruppe med 12 elementer
usant altså?
takker...,Karl_Erik skrev:Jeg har ingen innvending til dette, men om utsagnet til Janhaa skal tolkes som "det finnes grupper av orden 4 og 12 slik at det finnes en injektiv gruppehomomorfi fra den ene til den andre" er det kanskje lettest å bare gi et eksempel. Vi ser at for gruppene $\mathbb Z_4$ og $\mathbb Z_{12}$ er funksjonen $f: \mathbb Z_4 \to \mathbb Z_{12}$ som tar "$n \to 3 \cdot n$" (dvs. $0 \to 0, 1 \to 3, 2 \to 6, 3 \to 9$) injektiv og en gruppehomomorfi.plutarco skrev:Enhver gruppe av orden 12 vil ha en sylow 2-undergruppe av orden $2^2$. Dermed kan du konstruere en injektiv homomorfi som en identitetsavbildning fra og til denne sylow 2-undergruppa.Janhaa skrev: Og samme for denne:
Det finnes en injektiv gruppehomomorfi fra en gruppe med 4 elementer til en gruppe med 12 elementer
usant altså?
men dette trenger jo ikke være gruppene: $\mathbb Z_4$ og $\mathbb Z_{12}$?
Men generelt gruppene:
$\mathbb G_4$ og $\mathbb G_{12}$ ?
La verken mennesker eller hendelser ta livsmotet fra deg.
Marie Curie, kjemiker og fysiker.
[tex]\large\dot \rho = -\frac{i}{\hbar}[H,\rho][/tex]
Marie Curie, kjemiker og fysiker.
[tex]\large\dot \rho = -\frac{i}{\hbar}[H,\rho][/tex]
Mulig jeg bare skapte forvirring! Det jeg mente å si at om spørsmålet er "Finnes det to grupper A, B av orden 4 og 12 med en injektiv gruppehomomorfi fra A til B?" holder det å gi et eksempel på to konkrete grupper og en konkret homomorfi, som var det jeg gjorde. Om spørsmålet er "Er det sånn at om A og B er to vilkårlige grupper av orden 4 og 12, så finnes det alltid en injektiv gruppehomomorfi fra A til B?" må plutarcos (gode!) svar til.
Alt i orden.Karl_Erik skrev:Mulig jeg bare skapte forvirring! Det jeg mente å si at om spørsmålet er "Finnes det to grupper A, B av orden 4 og 12 med en injektiv gruppehomomorfi fra A til B?" holder det å gi et eksempel på to konkrete grupper og en konkret homomorfi, som var det jeg gjorde. Om spørsmålet er "Er det sånn at om A og B er to vilkårlige grupper av orden 4 og 12, så finnes det alltid en injektiv gruppehomomorfi fra A til B?" må plutarcos (gode!) svar til.
La verken mennesker eller hendelser ta livsmotet fra deg.
Marie Curie, kjemiker og fysiker.
[tex]\large\dot \rho = -\frac{i}{\hbar}[H,\rho][/tex]
Marie Curie, kjemiker og fysiker.
[tex]\large\dot \rho = -\frac{i}{\hbar}[H,\rho][/tex]