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

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

 

sådan att:

  • (divisionsalgoritmen) för alla a och b i R med b nollskild finns k och r i R så att   där r antingen är nollan i R eller så är  .
  • för alla nollskilda a och b gäller att  .

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

Exempel redigera

  • Ringen av heltal är euklidisk med euklidisk värdering  .
  • Ringen av gaussiska heltal med värderingen  .
  •  , polynomringen över en kropp, med värderingen   definierad som p:s grad.

Egenskaper redigera

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

Källor redigera

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