Citat:
Ursprungligen postat av
phunque
Finns även lite rudimentär galoisteori i Beachy & Blairs abstract algebra samt Hersteins topics in algebra.
http://carlossicoli.free.fr/A/Artin_...9%2886s%29.pdf
Tackar, det är min gamla kurslitteratur! Jag tror jag läste kursen -73 på SU för Christer Lech och lyckades bara på tag på tysk upplaga.
@freethespeech: du måste börja från början. Man kan inte bygga hus från taket och nedåt.
Mathieu-grupper är exempel på grupper utan icke-triviala normala delgrupper, vilket har betydelse i Galoisteorin.
Funktioner f:A→B kan vara entydiga, så att värdet av två olika element inte kan vara samma: a≠b ⇒ f(a)≠f(b) och de kan vara surjektiva, så att varje b∈B kan skrivas som b=f(a) för något a∈A. Funktioner som är både entydiga och surjektiva kallas för bijektioner och dessa parar ihop elementen i A och i B, så att A och B framstår som kopior. För varje bijektion Φ:A→B finns en invers bijektion Φ⁻¹:B→A som parar ihop elementen på samma sätt, så att alltid ΦΦ⁻¹(b)=b och Φ⁻¹Φ(a)=a.
En morfism-funktion är en speciell funktion mellan två matematiska system av samma typ, tex strukturlösa mängder, grupper, grafer, geometriska rum etc. En graf t.ex är en mängd G och en relation '▷' mellan elementen i G, så att x▷y svarar emot en pil mellan punkterna x och y. En grafmorfism mellan två grafer G och G' är en funktion f:G→G' sådan att x▷y ⇒ f(x)▷f(y).
En morfismfunktion som är bijektiv och vars invers är en morfism kallas för en isomorfism. Automorfismer är isomorfismer från G→G, alltså när G och G' är samma objekt.