Given a seminormal affine monoid M we consider several monoid properties of M and their connections to ring properties of the associated affine monoid ring K[M] over a field K. We characterize when K[M] satisfies Serre's condition (S_2) and analyze the local cohomology of K[M]. As an application we present criteria which imply that K[M] is Cohen--Macaulay and we give lower bounds for the depth of K[M]. Finally, the seminormality of an arbitrary affine monoid M is studied with characteristic p methods.
It is well-known that a C-monoid is completely integrally closed if and only if its reduced class semigroup is a group and if this holds, then the C-monoid is a Krull monoid and the reduced class semigroup coincides with the usual class group of Krull monoids. We prove that a C-monoid is seminormal if and only if its reduced class semigroup is a union of groups. Based on this characterization we establish a criterion (in terms of the class semigroup) when seminormal C-monoids are half-factorial.
The set of distances of a monoid or of a domain is the set of all $d \in \mathbb N$ with the following property: there are irreducible elements $u_1, \ldots, u_k, v_1, \ldots, v_{k+d}$ such that $u_1 \cdot \ldots \cdot u_k = v_1 \cdot \ldots \cdot v_{k+d}$, but $u_1 \cdot \ldots \cdot u_k$ cannot be written as a product of $l$ irreducible elements for any $l$ with $k < l < k+d$. We show that the set of distances is an interval for certain seminormal weakly Krull monoids which include seminormal orders in holomorphy rings of global fields.
We study the arithmetic of seminormal $v$-noetherian weakly Krull monoids with nontrivial conductor which have finite class group and prime divisors in all classes. These monoids include seminormal orders in holomorphy rings in global fields. The crucial property of seminormality allows us to give precise arithmetical results analogous to the well-known results for Krull monoids having finite class group and prime divisors in each class. This allows us to show, for example, that unions of sets of lengths are intervals and to provide a characterization of half-factoriality.
We characterize the seminormality of an affine semigroup ring in terms of the dualizing complex, and the normality of a Cohen-Macaulay semigroup ring by the "shape" of the canonical module. We also characterize the seminormality of a toric face ring in terms of the dualizing complex. A toric face ring is a simultaneous generalization of Stanley-Reisner rings and affine semigroups.
We show that the Eisenbud-Goto conjecture holds for (homogeneous) seminormal simplicial affine semigroup rings. Moreover, we prove an upper bound for the Castelnuovo-Mumford regularity in terms of the dimension, which is similar as in the normal case. Finally, we compute explicitly the regularity of full Veronese rings.
We characterize the toric face rings that are normal (respectively seminormal). Extending results about local cohomology of Brun, Bruns, Ichim, Li and Römer of seminormal monoid rings and Stanley toric face rings, we prove the vanishing of certain graded parts of local cohomology of seminormal toric face rings. The combinatorial formula we obtain generalizes Hochster's formula. We also characterize all (necessarily seminormal) toric face rings that are $F$-pure or $F$-split over a field of characteristic $p>0$. An example is given to show that $F$-injectivity does not behave well with respect …
Let $R$ be a commutative Noetherian ring of dimension $d$ and $M$ a commutative cancellative torsion-free seminormal monoid. Then (1) Let $A$ be a ring of type $R[d,m,n]$ and $P$ be a projective $A[M]$-module of rank $r \geq max\{2,d+1\}$. Then the action of $E(A[M] \oplus P)$ on $Um(A[M] \oplus P)$ is transitive and (2) Assume $(R, m, K)$ is a regular local ring containing a field $k$ such that either $char$ $k=0$ or $ char$ $k = p$ and $tr$-$deg$ $K/\mathbb{F}_p \geq 1$. Let $A$ be a ring of type $R[d,m,n]^*$ and $f\in R$ be a regular parameter. Then all finitely generated projective modules…
We give a geometric description of the set of holes in a non-normal affine monoid $Q$. The set of holes turns out to be related to the non-trivial graded components of the local cohomology of $k[Q]$. From this, we see how various properties of $k[Q]$ like local normality and Serre's conditions $(R_1)$ and $(S_2)$ are encoded in the geometry of the holes. A combinatorial upper bound for the depth the monoid algebra $k[Q]$ is obtained and some cases where equality holds are identified. We apply this results to seminormal affine monoids.
In this article, the ring of polynomials is studied in a systematic way through the theory of monoid rings. As a consequence, this study provides natural and canonical approaches in order to find easy and rigorous proofs and methods for many facts on polynomials and formal power series; some of them as sample are treated in this note. Besides the universal properties of the monoid rings and polynomial rings, a universal property for the formal power series rings is also established.
In this paper we study the concept of radical factorization in the context of abstract ideal theory in order to obtain a unified approach to the theory of factorization into radical ideals and elements in the literature of commutative rings, monoids and ideal systems. Using this approach we derive new characterizations of classes of rings whose ideals are a product of radical ideals, and we obtain also similar characterizations for classes of ideal systems in monoids and star ideals in integral domains.
Differential modules over a commutative differential ring R which are finitely generated projective as ring modules, with differential homomorphisms, form an additive category, so their isomorphism classes form a monoid. We study the quotient monoid of this monoid by the submonoid of isomorphism classes of free modules with component wise derivation. This quotient monoid has the reduced K group of R (ignoring the derivation) as an image and contains the reduced K group of the constants of R as its subgroup of units. This monoid provides a description of the isomorphism classes of differential …
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 atomic if every nonzero nonunit element can be written as a product of irreducibles. In the investigation of the atomicity of integral domains, the building blocks are the irreducible elements. Thus, tools to prove irreducibility are crucial to study atomicity. In the first part of this paper, we extend Gauss's Lemma and Eisenstein's Criterion from polynomial …
We investigate the algebraic structure on the set of closure operations of a ring. We show the set of closure operations is not a monoid under composition for a discrete valuation ring. Even the set of semiprime operations over a DVR is not a monoid; however, it is the union of two monoids, one being the left but not right act of the other. We also determine all semiprime operations over the ring $K[[t^2, t^3]]$.
We study direct-sum decompositions of torsion-free, finitely generated modules over a (commutative) Bass ring $R$ through the factorization theory of the corresponding monoid $T(R)$. Results of Levy-Wiegand and Levy-Odenthal together with a study of the local case yield an explicit description of $T(R)$. The monoid is typically neither factorial nor cancellative. Nevertheless, we construct a transfer homomorphism to a monoid of graph agglomerations--a natural class of monoids serving as combinatorial models for the factorization theory of $T(R)$. As a consequence, the monoid $T(R)$ is transfer…
In this paper we investigate the concept of radical factorization with respect to finitary ideal systems of cancellative monoids. We present new characterizations for r-almost Dedekind r-SP-monoids and provide specific descriptions of t-almost Dedekind t-SP-monoids and w-SP-monoids. We show that a monoid is a w-SP-monoid if and only if the radical of every nontrivial principal ideal is t-invertible. We characterize when the monoid ring is a w-SP-domain and describe when the *-Nagata ring is an SP-domain for a star operation * of finite type.
For a commutative Noetherian ring R of dimension d and a commutative cancellative monoid M, the elementary action on unimodular n-rows over the monoid ring R[M] is transitive for n>=max(d+2,3). The starting point is the case of polynomial rings, considered by A. Suslin in the 1970s. The main result completes a project, initiated in the early 1990s, and suggests a new direction in the study of K-theory of monoid rings.
Let (R,m,k) be a one-dimensional analytically unramified local ring with minimal prime ideals P_1,...,P_s. Our ultimate goal is to study the direct-sum behavior of maximal Cohen-Macaulay modules over R. Such behavior is encoded by the monoid C(R) of isomorphism classes of maximal Cohen-Macaulay R-modules: the structure of this monoid reveals, for example, whether or not every maximal Cohen-Macaulay module is uniquely a direct sum of indecomposable modules; when uniqueness does not hold, invariants of this monoid give a measure of how badly this property fails. The key to understanding the mono…
Let $A\subset B$ be an extension of commutative reduced rings and $M\subset N$ an extension of positive commutative cancellative torsion-free monoids. We prove that $A$ is subintegrally closed in $B$ and $M$ is subintegrally closed in $N$ if and only if the group of invertible $A$-submodules of $B$ is isomorphic to the group of invertible $A[M]$-submodules of $B[N]$. In case $M=N$, we prove the same without the assumption that the ring extension is reduced.
Let $R$ be a (possibly noncommutative) ring and let $\mathcal C$ be a class of finitely generated (right) $R$-modules which is closed under finite direct sums, direct summands, and isomorphisms. Then the set $\mathcal V (\mathcal C)$ of isomorphism classes of modules is a commutative semigroup with operation induced by the direct sum. This semigroup encodes all possible information about direct sum decompositions of modules in $\mathcal C$. If the endomorphism ring of each module in $\mathcal C$ is semilocal, then $\mathcal V (\mathcal C)$ is a Krull monoid. Although this fact was observed nea…
Classically, Groebner bases are computed by first prescribing a set monomial order. Moss Sweedler suggested an alternative and developed a framework to perform such computations by using valuation rings in place of monomial orders. We build on these ideas by providing a class of valuations on rational function fields of two variables that are suitable for this framework. For these valuations, we explicitly compute the image of an underlying polynomial ring and use this to perform computations concerning ideals in the polynomial ring. Interestingly, for these valuations, some ideals have a fini…
Toric face rings is a generalization of the concepts of affine monoid rings and Stanley-Reisner rings. We consider several properties which imply Koszulness for toric face rings over a field $k$. Generalizing works of Laudal, Sletsjøe and Herzog et al., graded Betti numbers of $k$ over the toric face rings are computed, and a characterization of Koszul toric face rings is provided. We investigate a conjecture suggested by Römer about the sufficient condition for the Koszul property. The conjecture is inspired by Fröberg's theorem on the Koszulness of quadratic squarefree monomial ideals. Final…
In this note we consider monoidal complexes and their associated algebras, called toric face rings. These rings generalize Stanley-Reisner rings and affine monoid algebras. We compute initial ideals of the presentation ideal of a toric face ring, and determine its graded Betti numbers. Our results generalize celebrated theorems of Hochster in combinatorial commutative algebra.
We consider the natural monoid structure on the set of quadratic rings over an arbitrary base scheme and characterize this monoid in terms of discriminants.
The differential Brauer monoid of a differential commutative ring R s defined. Its elements are the isomorphism classes of differential Azumaya R algebras with operation from tensor product subject to the relation that two such algebras are equivalent if matrix algebras over them are differentially isomorphic. The Bauer monoid, which is a group, is the same thing without the differential requirement. The differential Brauer monoid is then determined from the Brauer monoids of R and its ring of constants and the submonoid whose underlying Azumaya algebras are matrix rings.
Let $R$ be a factorial domain. In this work we investigate the connections between the arithmetic of ${\rm Int}(R)$ (i.e., the ring of integer-valued polynomials over $R$) and its monadic submonoids (i.e., monoids of the form $\{g\in {\rm Int}(R)\mid g\mid_{{\rm Int}(R)} f^k$ for some $k\in\mathbb{N}_0\}$ for some nonzero $f\in {\rm Int}(R)$). Since every monadic submonoid of ${\rm Int}(R)$ is a Krull monoid it is possible to describe the arithmetic of these monoids in terms of their divisor-class group. We give an explicit description of these divisor-class groups in several situations and pr…
We investigate non-unique factorization of polynomials in Z_{p^n}[x] into irreducibles. As a Noetherian ring whose zero-divisors are contained in the Jacobson radical, Z_{p^n}[x] is atomic. We reduce the question of factoring arbitrary non-zero polynomials into irreducibles to the problem of factoring monic polynomials into monic irreducibles. The multiplicative monoid of monic polynomials of Z_{p^n}[x] is a direct sum of monoids corresponding to irreducible polynomials in Z_p[x], and we show that each of these monoids has infinite elasticity. Moreover, for every positive integer m, there exis…
Let $H^\times$ be the group of units of a multiplicatively written monoid $H$. We say $H$ is acyclic if $xyz \ne y$ for all $x, y, z \in H$ with $x \notin H^\times$ or $z \notin H^\times$; unit-cancellative if $yx \ne x \ne xy$ for all $x, y \in H$ with $y \notin H^\times$; f.g.u. if there is a finite set $A \subseteq H$ such that every non-unit of $H$ is a finite product of elements of the form $uav$ with $u, v \in H^\times$ and $a \in A$; l.f.g.u. if, for each $x \in H$, the smallest divisor-closed submonoid of $H$ containing $x$ is f.g.u; and atomic if every non-unit can be written as a fin…
Following a construction of Stanley we consider toric face rings associated to rational pointed fans. This class of rings is a common generalization of the concepts of Stanley--Reisner and affine monoid algebras. The main goal of this article is to unify parts of the theories of Stanley--Reisner- and affine monoid algebras. We consider (non-pure) shellable fan's and the Cohen--Macaulay property. Moreover, we study the local cohomology, the canonical module and the Gorenstein property of a toric face ring.
The Huneke-Wiegand conjecture has prompted much recent research in Commutative Algebra. In studying this conjecture for certain classes of rings, García-Sánchez and Leamer construct a monoid S_Γ^s whose elements correspond to arithmetic sequences in a numerical monoid Γof step size s. These monoids, which we call Leamer monoids, possess a very interesting factorization theory that is significantly different from the numerical monoids from which they are derived. In this paper, we offer much of the foundational theory of Leamer monoids, including an analysis of their atomic structure, and inves…
