Inom matematiken är en algebraisk struktur en mängd med en, två eller flera binära operationer på den.

De grundläggande algebraiska strukturerna med en binär operation är följande:

Magma: En mängd tillsammans med en binär operation som är sluten under operationen. Det ställs inga ytterligare krav som associativitet eller identitetselement — en magma är alltså den enklaste formen av algebraisk struktur.

  • Semigrupp

Semigrupp: En mängd med en operation som är associativ. Exempel är heltalen med addition eller strängar med konkatenation.

  • Monoid

Monoid: En semigrupp som dessutom har ett identitetselement (en neutral element för operationen). Exempel: mängden av alla strängar över ett alfabet med den tomma strängen som identitet, eller matriser med multiplikation (om man inkluderar identitetsmatrisen).

  • Grupp

Grupp: En monoid där varje element har ett motsvarande omvänt element. Med andra ord: operationen är associativ, det finns ett identitetselement och varje element har en invers. Klassiska exempel är (Z, +), permutationsgrupperna S_n och invertibla matriser under multiplikation (den allmänna linjära gruppen GL(n,R)).

  • Kommutativ grupp

Kommutativ grupp (abelsk grupp): En grupp där operationen är kommutativ, det vill säga ordningen av elementen spelar ingen roll. Exempel: (Z, +) eller vektorrumets additiva struktur.

De grundläggande algebraiska strukturerna med två binära operationer är följande:

  • Ring

Ring: En mängd med två operationer, ofta kallade addition och multiplikation. Mängden med additionsoperationen bildar en kommutativ grupp, och med multiplikationsoperationen bildar den en semigrupp (många definierar en ring så att mängden med multiplikation faktiskt är en monoid). Addition och multiplikation i en ring uppfyller den distributiva egenskapen. I ringen finns ofta element som kallas enhet (multiplikativ identitet), noll, nollställen (zero divisors) och inverterbara element (enheter).

  • Kommutativ ring

Kommutativ ring: En ring vars multiplikation är kommutativ. Viktiga specialfall är integritetsdomäner (inga noll-delare), Huvudidealområden (PID) och euklidiska ringar.

  • Fält

Fält: En kommutativ ring där mängden av icke‑noll element bildar en grupp under multiplikation. Det innebär att alla icke‑noll element har en multiplikativ invers — man kan alltså dividera med alla icke‑noll element. Klassiska exempel är rationella tal (Q), reella tal (R) och komplexa tal (C). För ändliga mängder får man ändliga kroppar (fält) endast när antalet element är en potens av ett primtal (fält med p^n element).

Viktiga begrepp och egenskaper

Slutenhet: Operationen på en mängd är sluten om den alltid ger ett element i samma mängd.

Associativitet: (a·b)·c = a·(b·c). Garanterar att gruppering inte spelar roll.

Identitet och inverser: Ett identitetselement e uppfyller e·a = a·e = a. Inversen a^{-1} uppfyller a·a^{-1} = a^{-1}·a = e.

Kommutativitet: a·b = b·a. När en operation är kommutativ säger man ofta att strukturen är abelsk.

Distributivitet: Multiplikation distribuerar över addition: a(b + c) = ab + ac och (b + c)a = ba + ca.

Noll-delare och enheter: I en ring är ett noll‑element z ≠ 0 ett noll‑delare om det finns 0 ≠ a så att za = 0. Ett element u är en enhet om det har en multiplikativ invers.

Karaktäristik: Den minsta positiva n sådan att n·1 = 0 (addition av en ettas antal gånger) — noll om ingen sådan finns. Fält har alltid antingen karaktäristik 0 eller ett primtal.

Homomorfier och konstruktioner

Homomorfism: En avbildning mellan två algebraiska strukturer som bevarar operationerna (t.ex. grupphomomorfism, ringhomomorfism). Kerneln (mängden element som avbildas till 0) och bilden är centrala begrepp. Isomorfa strukturer är strukturer som finns en bijektiv homomorfism mellan — de är "samma" upp till ommärkning.

Konstruktioner: Man bygger nya strukturer ur gamla, t.ex. produktmängder, kvotringar via ideals, polynomringar R[x], matrismissar M_n(R), fältutvidgningar och ändliga kroppar (Galoisteori).

Exempel på algebraiska strukturer

Exempel på detta är

  • Heltalen Z med addition och multiplikation: (Z, +, ·) är en kommutativ ring med en identitet (1). Det är inte ett fält eftersom 2 saknar multiplikativ invers i Z.
  • Restklassringar Z/nZ: Talen modulo n bildar en ring; om n är ett primtal p blir Z/pZ ett fält (ändligt fält med p element).
  • Rationella, reella och komplexa tal (Q, R, C): Exempel på fält med karaktäristik 0. De används i de flesta talteoretiska och analytiska sammanhang.
  • Matrisringar M_n(R): Alla n×n-matriser över ett ring R bildar en ring under matrisaddition och matris‑multiplikation. Denna ring är i allmänhet icke‑kommutativ.
  • Gruppen Z (additiv): (Z, +) är en oändlig cyklisk, abelsk grupp. Cykelgrupper och permutationsgrupper (S_n) är grundläggande exempel på grupper.
  • Allmänna linjära gruppen GL(n, F): Mängden inverterbara n×n-matriser över ett fält F formar en icke‑abelsk grupp under multiplikation.
  • Polynomringar F[x]: Polynom över ett fält F bildar en ring; i många fall studerar man faktorisering, ideal och irreducibla polynom i denna ring.
  • Ändliga kroppar (Galoisfält): För varje primtal p och positiva heltal n finns ett ändligt fält med p^n element, ofta betecknat GF(p^n) eller F_{p^n}.

Tillämpningar

Algebraiska strukturer är centrala inom ren matematik (talteori, algebraisk geometri, gruppteori) och har omfattande tillämpningar:

  • Kryptografi och kodteori (ändliga fält, elliptiska kurvor).
  • Linjär algebra och vetenskapliga beräkningar (vektorrum och matriser).
  • Systemteori och automatteori (monoid‑ och semigruppstrukturer för sekvenser och transformeringar).
  • Fysik och symmetrier (gruppteori för bevarandeegenskaper).

Sammanfattningsvis ger begreppet algebraisk struktur en gemensam ram för att studera hur uppsättningar med operationer beter sig. Genom att specificera vilka egenskaper operationerna har (associativitet, kommutativitet, identiteter, inverser, distributivitet etc.) kan man få alltifrån mycket enkla strukturer (magma) till mycket rika och användbara objekt (fält, ringar och grupper) som underbygger stora delar av modern matematik.