It is shown that every commutative arithmetic ring $R$ has $lambda$-dimension $ leq 3$. An example of a commutative Kaplansky ring with $ lambda$-dimension 3 is given. If $R$ satisfies an additional condition then $ lambda$-dim($R$)
We give an explicit description of the Barr- and Diaconescu covers of the arithmetic site, which are relevant to cohomology. Further, we construct the arithmetic site as the commutative shadow of a non-commutative topological space.
This paper continues a research program on constructive investigations of non-commutative Ore localizations, initiated in our previous papers, and particularly touches the constructiveness of arithmetics within such localizations. Earlier we have introduced monoidal, geometric and rational types of localizations of domains as objects of our studies. Here we extend this classification to rings with zero divisors and consider Ore sets of the mentioned types which are commutative enough: such a set either belongs to a commutative algebra or it is central or its elements commute pairwise. By using…
To each finitely presented module M over a commutative ring R one can associate an R-ideal Fit_R(M) which is called the (zeroth) Fitting ideal of M over R and which is always contained in the R-annihilator of M. In an earlier article, the second author generalised this notion by replacing R with a (not necessarily commutative) o-order Lambda in a finite dimensional separable algebra, where o is an integrally closed complete commutative noetherian local domain. To obtain annihilators, one has to multiply the Fitting invariant of a (left) Lambda-module M by a certain ideal H(Lambda) of the centr…
A (not necessarily commutative) Krull monoid---as introduced by Wauters---is defined as a completely integrally closed monoid satisfying the ascending chain condition on divisorial two-sided ideals. We study the structure of these Krull monoids, both with ideal theoretic and with divisor theoretic methods. Among others we characterize normalizing Krull monoids by divisor theories. Based on these results we give a criterion for a Krull monoid to be a bounded factorization monoid, and we provide arithmetical finiteness results in case of normalizing Krull monoids with finite Davenport constant.
Let $A$ be a commutative arithmetical ring. The ring $A$ has Krull dimension if and only if every factor ring of $A$ is finite-dimensional and does not have idempotent proper essential ideals. The study is supported by Russian Science Foundation (project no. 16-11-10013).
It is shown that a commutative Bézout ring $R$ with compact minimal prime spectrum is an elementary divisor ring if and only if so is $R/L$ for each minimal prime ideal $L$. This result is obtained by using the quotient space $\mathrm{pSpec} R$ of the prime spectrum of the ring $R$ modulo the equivalence generated by the inclusion. When every prime ideal contains only one minimal prime, for instance if $R$ is arithmetical, $\mathrm{pSpec} R$ is Hausdorff and there is a bijection between this quotient space and the minimal prime spectrum $\mathrm{Min} R$, which is a homeomorphism if and only if…
Let $H$ be a commutative semigroup with unit element such that every non-unit can be written as a finite product of irreducible elements (atoms). For every $k \in \mathbb N$, let $\mathscr U_k (H)$ denote the set of all $\ell \in \mathbb N$ with the property that there are atoms $u_1, \ldots, u_k, v_1, \ldots, v_{\ell}$ such that $u_1 \cdot \ldots \cdot u_k = v_1 \cdot \ldots \cdot v_{\ell}$ (thus, $\mathscr U_k (H)$ is the union of all sets of lengths containing $k$). The Structure Theorem for Unions states that, for all sufficiently large $k$, the sets $\mathscr U_k (H)$ are almost arithmeti…
A definition of quasi-flat left module is proposed and it is shown that any left module which is either quasi-projective or flat is quasi-flat. A characterization of local commutative rings for which each ideal is quasi-flat (resp. quasi-projective) is given. It is also proven that each commutative ring R whose finitely generated ideals are quasi-flat is of $λ$-dimension $\le$ 3, and this dimension $\le$ 2 if R is local. This extends a former result about the class of arithmetical rings. Moreover, if R has a unique minimal prime ideal then its finitely generated ideals are quasi-projective if …
This paper studies the multiplicative ideal structure of commutative rings in which every finitely generated ideal is quasi-projective. Section 2 provides some preliminaries on quasi-projective modules over commutative rings. Section 3 investigates the correlation with well-known Prufer conditions; namely, we prove that this class of rings stands strictly between the two classes of arithmetical rings and Gaussian rings. Thereby, we generalize Osofsky's theorem on the weak global dimension of arithmetical rings and partially resolve Bazzoni-Glaz's related conjecture on Gaussian rings. We also e…
Galois closures of commutative rank n ring extensions were introduced by Bhargava and the second author. In this paper, we generalize the construction to the case of non-commutative rings. We show that non-commutative Galois closures commute with base change and satisfy a product formula. As an application, we give a uniform construction of many of the representations arising in arithmetic invariant theory, including many Vinberg representations.
Let $R$ be a commutative integral unital domain and $L$ a free non-commutative Lie algebra over $R$. In this paper we show that the ring $R$ and its action on $L$ are 0-interpretable in $L$, viewed as a ring with the standard ring language $+, \cdot,0$. Furthermore, if $R$ has characteristic zero then we prove that the elementary theory $Th(L)$ of $L$ in the standard ring language is undecidable. To do so we show that the arithmetic ${\bf N} = \langle{\bf N}, +,\cdot,0 \rangle$ is 0-interpretable in $L$. This implies that the theory of $Th(L)$ has the independence property. These results answe…
We extend a few fundamental aspects of the classical theory of non-unique factorization, as presented in Geroldinger and Halter-Koch's 2006 monograph on the subject, to a non-commutative and non-cancellative setting, in the same spirit of Baeth and Smertnig's work on the factorization theory of non-commutative, but cancellative monoids [J. Algebra 441 (2015), 475-551]. Then, we bring in power monoids and, applying the abstract machinery developed in the first part, we undertake the study of their arithmetic. More in particular, let $H$ be a multiplicatively written monoid. The set $\mathcal P_…
We introduce in this work, the class of commutative rings whose lattice of ideals forms an MTL-algebra which is not necessary a BL-algebra. The so-called class of rings will be named MTL-rings. We prove that a local commutative ring with identity is an MTL-ring if and only if it is an arithmetical ring. It is shown that a noetherian commutative ring R with an identity is an MTL-ring if and only if ideals of the localization RM at a maximal ideal M are totally ordered by the set inclusion. Remarking that noetherian MTL-rings are again BL-rings, we work outside of the noetherian case by consider…
In this paper we briefly discuss \Rings --- an efficient lightweight library for commutative algebra. Polynomial arithmetic, GCDs, polynomial factorization and Gröbner bases are implemented with the use of modern asymptotically fast algorithms. \Rings can be easily interacted or embedded in applications in high-energy physics and other research areas via a simple API with fully typed hierarchy of algebraic structures and algorithms for commutative algebra. The use of the Scala language brings a quite novel powerful, strongly typed functional programming model allowing to write short, expressiv…