Related papers: Some remarks about normal rings

We determine the splitting (isomorphism) type of the normal bundle of a generic genus-0 curve with 1 or 2 components in any projective space, as well as the (sometimes nontrivial) way the bundle deforms locally with a general deformation of…

Let (R,m,k) be an excellent local ring of positive prime characteristic. We show that if Tor_1^R(R^+,k) = 0 then R is regular. This improves a result of Schoutens, in which the additional hypothesis that R was an isolated singularity was…

In this paper, a combination of algebraic and topological methods are applied to obtain new and structural results on harmonic rings. Especially, it is shown that if a Gelfand ring $A$ modulo its Jacobson radical is a zero dimensional ring,…

For a morphism f in a category C with sufficiently many finite limits and colimits, we discuss an elementary construction of a decomposition of f through objects P and N which, if C happens to have a zero object, amounts to the standard…

We introduce a canonical form for reduced bases of integral closures of discrete valuation rings, and we describe an algorithm for computing a basis in reduced normal form. This normal form has the same applications as the Hermite normal…

This paper gives an elementary proof of an improved version of the algebraic Local B\'ezout Theorem (given by the authors in JSC 45 (2010) 975--985). Here we remove some ad hoc hypotheses and obtain an optimal algebraic version of the…

The global analogue of a Henselian local ring is a Henselian pair: a ring A and an ideal I which satisfy a condition resembling Hensel's lemma regarding lifting coprime factorizations of polynomials over A/I to factorizations over A. The…

In the paper we show that for a normal-crossings degeneration $Z$ over the ring of integers of a local field with $X$ as generic fibre, the local monodromy operator and its powers determine invariant cocycle classes under the decomposition…

Let $(R,\mathfrak{m}_R,k)$ be a one-dimensional complete local reduced $k$-algebra over a field of characteristic zero. The ring $R$ is said to be quasihomogeneous if there exists a surjection $\Omega_R\twoheadrightarrow \mathfrak{m}$ where…

We prove Dirichlet's theorem for polynomial rings: Let F be a pseudo algebraically closed field. Then for all relatively prime polynomials a(X), b(X)\in F[X] and for every sufficiently large positive integer n there exist infinitely many…

Let A be an integral domain with field of fractions K. We investigate the structure of the overrings B of A (contained in K) that are well-centered on A in the sense that each principal ideal of B is generated by an element of A. We…

In this note, we show that sub-Riemannian manifolds can contain branching normal minimizing geodesics. This phenomenon occurs if and only if a normal geodesic has a discontinuity in its rank at a non-zero time, which in particular for a…

Given two rings $R \subseteq S$, $S$ is said to be a minimal ring extension of $R$ if $R$ is a maximal subring of $S$. In this article, we study minimal extensions of an arbitrary ring $R$, with particular focus on those possessing nonzero…

It is proved that if $D$ is a $UFD$ and $R$ is a $D$-algebra, such that $U(R)\cap D\neq U(D)$, then $R$ has a maximal subring. In particular, if $R$ is a ring which either contains a unit $x$ which is not algebraic over the prime subring of…

Let $G$ be a complex connected reductive algebraic group that acts on a smooth complex algebraic variety $X$, and let $E$ be a $G$-equivariant algebraic vector bundle over $X$. A section of $E$ is regular if it is transversal to the zero…

Let $B$ be a Noetherian normal local ring, and $G\subset\Aut(B)$ a cyclic group of local automorphisms of prime order. Let $A$ be the ring of $G$-invariants of $B$, assume that $A$ is Noetherian. We study the invariant morphism; in…

We define a ring whose elements are rational functions, whose addition is polynomial multiplication, and whose multiplication is a convolution operation. It is then show that this ring's endomorphisms exhibit a strong classification.…

An ideal of a local polynomial ring can be described by calculating a standard basis with respect to a local monomial ordering. However standard basis algorithms are not numerically stable. Instead we can describe the ideal numerically by…

A ring R is said to be VNL if for any a in R, either a or 1-a is (von Neumann) regular. The class of VNL rings lies properly between the exchange rings and (von Neumann) regular rings. We characterize abelian VNL rings. We also characterize…

We show normalisation and decidability of convertibility for a type theory with a hierarchy of universes and a proof irrelevant type of propositions, close to the type system used in the proof assistant Lean. Contrary to previous arguments,…