Related papers: Constructions cach\'ees en alg\`ebre abstraite. Di…
We present constructive versions of Krull's dimension theory for commutative rings and distributive lattices. The foundations of these constructive versions are due to Joyal, Espan\~ol and the authors. We show that this gives a constructive…
We present constructive versions of Krull's dimension theory for commutative rings and distributive lattices. The foundations of these constructive versions are due to Joyal, Espa\~nol and the authors. We show that the notion of Krull…
This book is an introductory course to basic commutative algebra with a particular emphasis on finitely generated projective modules, which constitutes the algebraic version of the vector bundles in differential geometry. We adopt the…
This paper is concerned with the study of the dimension theory of tensor products of algebras over a field $k$. We answer an open problem set in [6] and compute dim$(A\otimes_kB)$ when $A$ is a $k$-algebra arising from a specific pullback…
This book is an introductory course to basic commutative algebra with a particular emphasis on finitely generated projective modules. We adopt the constructive point of view, with which all existence theorems have an explicit algorithmic…
We prove constructively a Nullstellensatz giving an equivalence between the existence of a certain kind of algebraic identity on one hand, and the impossibility of finding an increasing sequence of irreducible varieties obeying certain…
We develop some algebraic structure notions such as composition series and convexity degree, along with some notions holding a geometric interpretation, like reducibility and hyperdimension, with the main objective being a tropical…
The aim of this survey is to present applications of covering techniques in the theory of Krull-Gabriel dimension. We start with recalling fundamental facts of the classical covering theory of quivers and locally bounded categories. Then we…
AF-rings are algebras over a field k which satisfy the Altitude Formula over k. This paper surveys a few works in the literature on the Krull and valuative dimensions of tensor products of AF-rings. The first section extends Wadsworth's…
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…
Assume that $K$ is an algebraically closed field and denote by $KG(R)$ the Krull-Gabriel dimension of $R$, where $R$ is a locally bounded $K$-category (or a bound quiver $K$-algebra). Assume that $C$ is a tilted $K$-algebra and…
We introduce a naive notion of a system of parameters for a homologically finite complex over a commutative noetherian local ring, and compare it to the system of parameters defined by Christensen. We show that these notions differ in…
We determine the Krull-Gabriel dimension of weighted surface algebras, a class of algebras which recently appeared in the context of classification of tame symmetric periodic algebras of non-polynomial growth. Moreover, we consider…
Given an ideal $\mathfrak{a}$ in $A[x_1, \ldots, x_n]$, where $A$ is a Noetherian integral domain, we propose an approach to compute the Krull dimension of $A[x_1,\ldots,x_n]/\mathfrak{a}$, when the residue class polynomial ring is a free…
This paper explores the dimension theory of non-Noetherian graded rings by introducing the class of Hilbert-Serre rings. We generalize Krull's dimension theorem and Smoke's dimension theorem by establishing the fundamental inequalities…
We compute the Krull-Gabriel dimension of the category of perfect complexes for finite dimensional algebras which are derived discrete.
This work demonstrates classical generation is preserved by the derived pushforward along the structure morphism of a noncommutative coherent algebra to its underlying scheme. Additionally, we establish that the Krull dimension of a variety…
A finite-dimensional unital and associative algebra over $\mathbb{R}$, or what we shall call simply "an algebra" in this paper for short, generalities the construction by which we derive the complex numbers by "adjoining an element $i$" to…
There are several classical characterisations of the valuative dimension of a commutative ring. Constructive versions of this dimension have been given and proven to be equivalent to the classical notion within classical mathematics, and…
We consider the functions that bound the dimensions of finite-dimensional associative or Lie algebras in terms of the dimensions of their commutative subalgebras. It is proved that these functions have quadratic growth. As a result, we also…