Hoppa till innehållet

Homomorfi

Från Wikipedia
(Omdirigerad från Homomorfism)

En homomorfi eller homomorfism är inom abstrakt algebra en strukturbevarande avbildning mellan två algebraiska strukturer, som exempelvis grupper, ringar, kroppar och linjära rum. Ordet homomorfi kommer från grekiskan, homo betyder samma och morfe betyder form eller utseende. Homomorfi skall inte blandas ihop med homeomorfi.

En homomorfi är en avbildning mellan två algebraiska strukturer av samma typ, som bevarar uppbyggnad och form, som exempelvis sambanden mellan neutrala element, inversa element och binära operatorer.

Beroende på vilken sorts algebraisk struktur homomorfin avbildar från och till behöver den uppfylla olika krav (se exempel nedan), man brukar därför studera olika typer av homomorfier var för sig, exempelvis grupphomomorfier och ringhomomorfier.

Givet två magmor på samma mängd, och , skulle en homomorfi mellan dessa vara en funktion sådan att:

för alla .

En linjär avbildning är en homomorfi mellan två vektorrum. I vektorrum finns två operationer införda, addition av vektorer och multiplikation med skalär, så att om är ett vektorrum över kroppen och är vektorer i och är en skalär i så är även och vektorer i .

Om är en linjär avbildning så uppfyller att:

Dvs, man kan lägga ihop vektorerna eller multiplicera med skalär antingen före eller efter att man applicerat . Man kan också se att linjära avbildningar avbildar nollvektorer på nollvektorer, så att även den strukturen bevaras.

I en unitär ring finns två binära operatorer införda samt ett neutralt element för operatorn . En ringhomomorfi är då en avbildning , där är en annan ring, som uppfyller:

  • för alla .
  • för alla .
  • där och är neutrala element för addition i respektive mängd.

Homomorfityper

[redigera | redigera wikitext]

Eftersom homomorfier är ett specialfall av morfismer, så är isomorfier och andra morfismer med särskilda egenskaper som är definierade i varje kategori också definierade för homomorfier. De allmänna kategoriteoretiska definitionerna är dock något tekniska. För modulhomomorfier och en del andra homomorfier används därför ofta följande enklare beskrivningar:

I samtliga fall nedan används två namnformer, en kortare på -morfi och en längre på -morfism.

Man kan använda dessa enklare beskrivningar bland annat i diagramjakt, och för att härleda speciella egenskaper för modulhomomorfier. Till exempel är en modulhomomorfi iso om och blott om den är både mono och epi, eftersom en funktion är bijektiv om och blott om den både är injektiv och surjektiv.

De allmänna definitionerna av endomorfi och automorfi sammanfaller precis med beskrivningarna ovan. Däremot krävs till exempel för att en homomorfi f ska vara en isomorfi inte bara att den är bijektiv och alltså har en funktionsinvers f-1, utan också att även f-1 är en homomorfi. För många konkreta algebraiska kategorier är detta automatiskt uppfyllt för alla bijektiva homomorfier; detta gäller bland annat homomorfier i universell algebra. Det motsvarande gäller dock inte epimorfier. Exempelvis är inklusionen av Z som en (unitär delring av Q inte surjektiv, men en ringepimorfi[1].