Euklidiskt område

Från Wikipedia
Hoppa till: navigering, sök

Ett euklidiskt område eller euklidisk ring är inom matematik, specifikt abstrakt algebra och ringteori, en ring med en speciell struktur som möjliggör en variant av Euklides algoritm. Denna algoritm kan sedan användas till samma saker som den används till i ringen av heltal, nämligen beräkning av största gemensamma delare av två element.

Ett ring som är euklidisk har många bra egenskaper, exempelvis är den en principalidealdomän och varje element har en entydig faktorisering.

Definitioner[redigera | redigera wikitext]

En euklidisk värdering på ett integritetsområde R är en funktion

f: R \setminus {0_R} \to \N

sådan att:

  • för alla a och b i R med b nollskild finns k och r i R så att a = bk + r där r antingen är nollan i R eller så är f(r) < f(b)\,.
  • för alla nollskilda a och b gäller att f(a) \leq f(ab).

En ring är ett euklidiskt område om den är ett integritetsområde som har en euklidisk värdering.

Exempel[redigera | redigera wikitext]

  • Ringen av heltal är euklidisk med euklidisk värdering \phi(n) = |n|.
  • Ringen av gaussiska heltal med värderingen f(a+bi) = a^2 + b^2.
  • K[x], polynomringen över en kropp, med värderingen f(p) definierad som p:s grad.

Egenskaper[redigera | redigera wikitext]

Låt ringen R vara euklidisk med euklidisk värdering f. Då gäller:

Referenser[redigera | redigera wikitext]

  • Zariski, Oscar; Pierre Samuel (1958). Commutative Algebra I. D. van Nostrand 
  • Dummit, David S.; Richard M. Foote (2004). Abstract Algebra. John Wiley & Sons. ISBN 0-471-45234-9