En kongruensrelation är inom matematik en ekvivalensrelation över en algebraisk struktur (exempelvis en grupp eller ring), sådan att den är kompatibel med strukturen. Ekvivalensklasserna som uppstår från en kongruensrelation kallas kongruensklasser eller restklasser. Genom att identifiera kongruensklasser i en algebraisk struktur kan man bilda en kvotstruktur (exempelvis en kvotgrupp eller kvotring).

Inledande exempel

redigera

Ett exempel på en kongruensrelation är relationen kongruens modulo n över heltalen, som är kompatibel med både addition och multiplikation, dvs om

 

så gäller att

 

Definition

redigera

Definitionen av en kongruensrelation beror på vilken algebraisk struktur den är definierad över, men relationen måste uppfylla villkoren för att vara en ekvivalensrelation, dvs om ~ är en kongruensrelation på en mängd X måste följande gälla för alla x, y och z i X:

  • Reflixivitet: x ~ x.
  • Symmetri: x ~ y medför y ~ x.
  • Transitivitet: x ~ y och y ~ z medför x ~ z.

Grupper och monoider

redigera

Om ~ är en kongruensrelation på en grupp eller monoid M med operatorn * måste det gälla att om a1 ~ a2 och b1 ~ b2 så gäller att a1 * b1 ~ a2 * b2. Om M är en grupp kan man utifrån detta visa att om a ~ b så följer att a-1 ~ b-1.

I en grupp bestäms en kongruens unikt av mängden av element som är kongruent med det neutrala elementet i gruppen och denna mängd bildar en normal delgrupp.

För en kongruensrelation ~ på en ring R med operationerna + och * gäller att om a1 ~ a2 ochb1 ~ b2 så är a1 * b1 ~ a2 * b2 och a1 + b1 ~ a2 + b2.

Liknande fallet med grupper bildar mängden bestående av element som är kongruent med enhetselementet för + ett ideal.

Vektorrum

redigera

För ett vektorrum V över en kropp K uppfyller en kongruensrelation ~ villkoren att om v1 ~ v2ochu1 ~ u2 så följer v1 + u1 ~ v2 + u2 och rv1 ~ rv2 för alla r i K.

Mängden av element kongruenta med nollvektorn bildar ett underrum.

Relation med homomorfier

redigera

Om f: AB är en homomorfi mellan två algebraiska strukturer så ges en kongruensrelation ~ av

a ~ b om och endast om f(a) = f(b).

Referenser

redigera
  • Råde, Lennart; Bertil Westergren. Mathematics Handbook BETA. Studentlitteratur. sid. 19. ISBN 91-44-03109-2 
  • Sims, Charles (1994). Computation with Finitely Presented Groups. Cambridge University Press. ISBN 0-521-43213-8 
  • Roman, Steven. Advanced Linear Algebra. Springer Verlag. ISBN 978-0-387-72828-5