Principal Ideal Domains are Almost Euclidean (Q4340679)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1019843
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Principal Ideal Domains are Almost Euclidean |
scientific article; zbMATH DE number 1019843 |
Statements
Principal Ideal Domains are Almost Euclidean (English)
0 references
16 July 1997
0 references
almost Euclidean domain
0 references
integral domain
0 references
principal ideal domain
0 references
0.7851021885871887
0 references
0.7821053266525269
0 references
0.765576183795929
0 references
An integral domain \(D\) is said to be almost Euclidean if there is a function \(d:D \to \mathbb{Z}^+ \cup \{0\}\) such that (1) \(d(0) =0\), \(d(a) >0\) if \(a\neq 0\), (2) if \(b\neq 0\), then \(d(ab) \geq d(a)\) for all \(a\in D\), (3) for any \(a,b\in D\), if \(b\neq 0\) then either (i) \(a=bq\) for some \(q\in D\) or (ii) \(0<d (ax+ by) <d(b)\) for some \(x,y\in D\). In this paper the author proves that an integral domain \(D\) is almost Euclidean if and only if \(D\) is a principal ideal domain.
0 references
