Related papers: Euclidean domains with no multiplicative norms

We prove that for every indecomposable ordinal there exists a (transfinitely valued) Euclidean domain whose minimal Euclidean norm is of that order type. Conversely, any such norm must have indecomposable type, and so we completely…

With the growing evolution of the theory of non-unique factorization in integral domains and monoids, the study of several variations to the classical unique factorization domain (or UFD) property have become popular in the literature.…

We recast Euclid's proof of the infinitude of prime numbers as a Euclidean Criterion for a domain to have infinitely many atoms. We make connections with Furstenberg's "topological" proof of the infinitude of prime numbers and show that our…

This paper discusses the extension of the Prototype Verification System (PVS) sub-theory for rings, part of the PVS algebra theory, with theorems related to the division algorithm for Euclidean rings and Unique Factorization Domains that…

Using a well-ordering on the reals, one can prove there exists a partition of the three-dimensional Euclidean space into unit circles (PUC). We show that the converse does not hold: there exist models of $\mathsf{ZF}$ without a…

For an integral domain $R$ and a commutative cancellative monoid $M$, the ring consisting of all polynomial expressions with coefficients in $R$ and exponents in $M$ is called the monoid ring of $M$ over $R$. An integral domain is called…

We study polynomials with no zeros on the unit ball in complex Euclidean space with a view toward characterizing when a rational function is bounded on the ball. We give a complete local description of such polynomials in two variables near…

We use Herbrand's theorem to give a new proof that Euclid's parallel axiom is not derivable from the other axioms of first-order Euclidean geometry. Previous proofs involve constructing models of non-Euclidean geometry. This proof uses a…

We introduce several classes of monoids satisfying up to five axioms and establish basic theories on their arithmetics. The one satisfying all the axioms is named natural monoid. Two typical examples are 1) the monoid $\mathbb{N}$ of…

We generalize the theory of radical factorization from almost Dedekind domain to strongly discrete Pr\"ufer domains; we show that, for a fixed subset $X$ of maximal ideals, the finitely generated ideals with $\mathcal{V}(I)\subseteq X$ have…

In this paper I generalize the notion of a polynomial over an ordered field to that of a naked polynomial over a non-Archimedean ordered field, subsequently showing that the notion of a naked polynomial ring forms an Euclidean domain. This…

In this paper we study number fields which are Euclidean with respect to a function different from the absolute value of the norm. We also show that the Euclidean minimum with respect to weighted norms may be irrational and not isolated.

A nonzero element of an integral domain (or commutative cancellative monoid) is called atomic if it can be written as a finite product of irreducible elements (also called atoms). In this paper, we introduce and investigate an unrestricted…

We introduce and study a new class of integral domains which we call irreducible divisor pair domains (IDPDs). In particular, we show how IDPDs fit in with other classes of integral domains defined in terms of factorization conditions. For…

A commutative cancellative monoid is atomic if every non-invertible element factors into irreducibles (also called atoms), while an integral domain is atomic if its multiplicative monoid is atomic. Back in the eighties, Gilmer posed the…

This note presents a short, transparent proof of the theorem that every Euclidean quadratic form over a normed integral domain is an Aubry-Davenport-Cassels form. The theorem, as formulated in the note, allows besides quadratic terms also…

The behavior of a class of mappings of a domain of Euclidean space is studied. It is established that the indicated class is equicontinuous both at the inner and at the boundary points of the domain if the mappings contained in it satisfy…

Let D be a Euclidean domain, with fraction field K. Let R(D) be the subring of K generated by the reciprocals of the nonzero elements of D. The main theorem states that if R(D) is not equal to K, then R(D) is a rank 1 discrete valuation…

We prove the existence of (non compact) complex surfaces with a smooth rational curve embedded such that there does not exist any formal singular foliation along the curve. In particular, at arbitray small neighborhood of the curve, any…

We give a short proof -- not relying on ideal classes or the geometry of numbers -- of a known criterion for quadratic orders to possess unique factorization.