Från Rilpedia

I matematiken är en skevkropp eller divisionsring en unitär ring, där varje element utom nollan har en multiplikativ invers. Varje kropp är en skevkropp, men inte omvänt, eftersom man i allmänhet kräver att kroppar dessutom skall uppfylla den kommutativa lagen för multiplikation. Talområdet H av kvaternioner är ett exempel på en ickekommutativ skevkropp.

Mer precist är en skevkropp K en mängd tillsammans med två binära operationer: en addition som brukar betecknas med +, sådan att (K,+) utgör utgör en abelsk grupp (med neutralt element 0 och invers -a till a i K), och en multiplikation (·), sådan att (K,·) utgör en monoid (med neutralt element 1 ≠ 0), varje element a ≠ 0 har en multiplikativ invers a^-1, och multiplikationen distribuerar additionen både från vänster och från höger. Med andra ord har K någon slags addition, subtraktion och multiplikation, som uppfyller "de vanliga räknelagarna", utom att multiplikationen i allmänhet inte behöver vara kommutativ; i stället kan det inträffa att a·b ≠ b·a. Division får man vara litet försiktigare med: Om b ≠ 0, så finns det i allmänhet två olika tänkbara kandidater till "a delat med b", nämligen ab^-1 och b^-1a, så alla "vanliga räkneregler" för division uppfylls i allmänhet inte. (Se nedan för detaljer!)

En skevkropp karakteriseras också av att den är en unitär ring som saknar icketriviala ideal; det finns inget vare sig ensidigt eller tvåsidigt ideal utom nollidealet och hela skevkroppen. Speciellt utgör skevkroppar de mest grundläggande exemplen på halvenkla ringar.

Allmänna skevkroppar har många av de egenskaper som tillkommer kroppar. Exempelvis är varje ensidig modul över en skevkropp fri och har en väldefinierad rang, på samma sätt som lineära rum över kroppar har väldefinierade dimensioner.

Formell definition

En skevkropp är en mängd K tillsammans med två binära operationer + och · samt två olika element 0 och 1, som uppfyller följande räknelagar: För alla element a, b och c i K, och för varje nollskilt element d i K gäller:

a + b = b + a   (kommutativitet);

(a + b) + c = a + (b + c)   och   (a · b) · c = a · (b · c)   (associativitet);

a + 0 = 0 + a = a · 1 = 1 · a = a (existens av neutrala element);

a · (b + c) = a · b + a · c   och   (a + b) · c = a · c + b · c (distributivitet);

Det finns ett x och ett y i K, sådana att   a + x = x + a = 0   och   d · y = y · d = 1 (invertibilitet).

Detta element y kallas för inversen till d.

Exempel

Alla exempel på kroppar är förstås definitionsmässigt exempel på kommutativa skevkroppar. Det existerar inga ändliga ickekommutativa skevkroppar. Det finns upp till isomorfi bara en skevkropp som samtidigt är en ändligtdimensionell algebra över R, nämligen H (kvaternionerna).

Varje nolldelarfri unitär ring R, som dessutom uppfyller Orevillkoret

För varje a ≠ 0 och b ≠ 0 i R finns det ett x ≠ 0 och ett y ≠ 0 i R, sådana att  ax = by,

kan inbäddas i en "minsta" skevkropp K med hjälp av den sorts konstruktion man använder för att bilda de rationella talen med hjälp av heltalen.