Related papers: Euclidean domains with no multiplicative norms
We prove the existence of nontrivial unbounded exceptional domains in the Euclidean space $\R^N$, $N\geq4$. These domains arise as perturbations of complements of straight cylinders in $\R^N$, and by definition they support a positive…
In this paper we state and explain techniques useful for the computation of strong Gr\"obner and standard bases over Euclidean domains: First we investigate several strategies for creating the pair set using an idea by Lichtblau. Then we…
We present a Lean 4 Mathlib formalization of Nagata's factoriality theorem: if R is a noetherian domain and S <= R is a prime-generated submonoid such that S^{-1}R is a UFD, then R itself is a UFD. The prime-generated hypothesis -- every…
It is a well-known and easily established fact that every Euclidean domain is also a principal ideal domain. However, the converse statement is not true, and this is usually shown by exhibiting as a counterexample the ring of algebraic…
We construct open domains in Euclidean 3-space which do not admit complete properly immersed minimal surfaces with an annular end. These domains can not be smooth by a recent result of Martin and Morales
Let $D$ be a bounded domain $D$ in $\mathbb R^n $ with infinitely smooth boundary and $n$ is odd. We prove that if the volume cut off from the domain by a hyperplane is an algebraic function of the hyperplane, free of real singular points,…
In this article, we study the monoid of fractional ideals and the ideal class semigroup of an arbitrary given one dimensional normal domain O obtained by an infinite integral extension of a Dedekind domain. We introduce a notion of "upper…
In this note, we prove that the infimum of the mean curvature on any disconnected boundary component of an unbounded mean convex domain in $\mathbb{R}^n$ must be zero.
Commutative totally ordered monoids abound, number systems for example. When the monoid is not assumed commutative, one may be hard pressed to find an example. One suggested by Professor Orr Shalit are the countable ordinals with addition.…
In this paper, we advance an ideal-theoretic analogue of a "finite factorization domain" (FFD), giving such a domain the moniker "finite molecularization domain" (FMD). We characterize FMD's as those factorable domains (termed "molecular…
We obtain sharp upper bounds for the first two nonzero Steklov eigenvalues among bounded domains in Euclidean spaces of dimension $d \geq 7$ under a natural normalization involving volume and boundary measure. These bounds are derived from…
For any (real) algebraic variety $X$ in a Euclidean space $V$ endowed with a nondegenerate quadratic form $q$, we introduce a polynomial $\mathrm{EDpoly}_{X,u}(t^2)$ which, for any $u\in V$, has among its roots the distance from $u$ to $X$.…
Abstract. This article determines relations between two notions concerning monoids: factorability structure, introduced to simplify the bar complex; and quadratic normalisation, introduced to generalise quadratic rewriting systems and…
We give several criteria for a ring to be a UFD including generalizations of some criteria due to P. Samuel. These criteria are applied to construct, for any field k, (1) a Z-graded non-noetherian rational UFD of dimension three over k, and…
Answering a question of Benjamini, we present an isometry-invariant random partition of the Euclidean space $\mathbb{R}^d$, $d\geq 3$, into infinite connected indistinguishable pieces, such that the adjacency graph defined on the pieces is…
We study functions from a unique factorization monoid to a field. The set of all such functions is a commutative ring isomorphic to a ring of formal power series over the field, with indeterminates indexed by the prime elements of the…
We consider nonnegative solutions to $-\Delta u=f(u)$ in unbounded euclidean domains, where $f$ is merely locally Lipschitz continuous and satisfies $f(0)<0$. In the half-plane, and without any other assumption on $u$, we prove that $u$ is…
We prove the following rigidity results. Coarse equivalences between Euclidean buildings preserve spherical buildings at infinity. If all irreducible factors have dimension at least two, then coarsely equivalent Euclidean buildings are…
In this paper we study regular irreducible algebraic monoids over $\fldc$ equipped with the euclidean topology. It is shown that, in such monoids, the Green classes and the spaces of idempotents in the Green classes all have natural…
We study two important operations on polynomials defined over complete discrete valuation fields: Euclidean division and factorization. In particular, we design a simple and efficient algorithm for computing slope factorizations, based on…