Related papers: A Dedekind Domain with Nontrivial Class Group

There are two kinds of polynomial functions on matrix algebras over commutative rings: those induced by polynomials with coefficients in the algebra itself and those induced by polynomials with scalar coefficients. In the case of algebras…

Let $\RR_S$ denote the expansion of the real ordered field by a family of real-valued functions $S$, where each function in $S$ is defined on a compact box and is a member of some quasianalytic class which is closed under the operations of…

We prove the existence of HK density function for a pair $(R, I)$, where $R$ is a ${\mathbb N}$-graded domain of finite type over a perfect field and $I\subset R$ is a graded ideal of finite colength. This generalizes our earlier result…

For a number field $K$, we extend the notion of the ring class field of an order in $K$ [C. Lv and Y. Deng, SciChina. Math., 2015] to that of an arbitrary number ring in $K$. We give both ideal-theoretic and idele-theoretic description of…

We show that rings of $S$-integers of a global function field $K$ of odd characteristic are first-order universally definable in $K$. This extends work of Koenigsmann and Park who showed the same for $\mathbb{Z}$ in $\mathbb{Q}$ and the…

We show that the formal skew Laurent series ring $R = D(\! ( x; \sigma )\! )$ over a commutative Dedekind domain $D$ with an automorphism $\sigma$ is a noncommutative Dedekind domain. If $\sigma$ acts trivially on the ideal class group of…

Let $\Sigma (X,\mathbb{C})$ denote the collection of all the rings between $C^*(X,\mathbb{C})$ and $C(X,\mathbb{C})$. We show that there is a natural correlation between the absolutely convex ideals/ prime ideals/maximal…

We introduce a new class of commutative rings with unity, namely, the Containment-Division Rings (CDR-s). We show that this notion has a very exceptional origin since it was essentially co-discovered with the qualitative help of a computer…

Local fields, and fields complete with respect to a discrete valuation, are essential objects in commutative algebra, with applications to number theory and algebraic geometry. We formalize in Lean the basic theory of discretely valued…

Let G be a reductive connected linear algebraic group over an algebraically closed field of positive characteristic and let g be its Lie algebra. First we extend a well-known result about the Picard group of a semisimple group to reductive…

We study the Eisenstein ideal of Drinfeld modular curves of small levels, and the relation of the Eisenstein ideal to the cuspidal divisor group and the component groups of Jacobians of Drinfeld modular curves. We prove that the…

We present a new notion of non-positively curved groups: the collection of discrete countable groups acting (AU-)acylindrically on finite products of $\delta$-hyperbolic spaces with general type factors and associated subdirect products.…

This paper studies analytic functions $f$ defined on the open unit disk of the complex plane for which $f/g$ and $(1+z)g/z$ are both functions with positive real part for some analytic function $g$. We determine radius constants of these…

The present paper studies structure of the ring of integer-valued entire functions. We characterize certain classes of prime and maximal ideals and investigate some of their properties.

A new classification of real functions and other related real objects defined within a compact interval is proposed. The scope of the classification includes normal real functions and distributions in the sense of Schwartz, referred to…

In this work we analyze the main properties of the Zariski and maximal spectra of the ring ${\mathcal S}^r(M)$ of differentiable semialgebraic functions of class ${\mathcal C}^r$ on a semialgebraic set $M\subset\mathbb{R}^m$. Denote…

The mathematics of crystalline structures connects analysis, geometry, algebra, and number theory. The planar crystallographic groups were classified in the late 19th century. One hundred years later, B\'erard proved that the fundamental…

Let $(K,\nu)$ be an arbitrary valued field with valuation ring $R_{\nu}$ and $L=K(\alpha)$, where $\alpha$ is a root of a monic irreducible polynomial $f\in R_{\nu}[x]$. In this paper, we characterize the integral closedness of…

A dimension group is a partially ordered countable group such that (1) every finite subset is contained in an ordered subgroup which is a finite direct power of Z and (2) the group has an order unit i.e. a positive element u such that every…

An excellent ring of prime characteristic for which the Frobenius map is pure is also Frobenius split in many commonly occurring situations in positive characteristic commutative algebra and algebraic geometry. However, using a fundamental…