Related papers: Hidden constructions in abstract algebra. Krull 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…
Nous rappelons des versions constructives de la th\'eorie de la dimension de Krull dans les anneaux commutatifs et dans les treillis distributifs, dont les bases ont \'et\'e pos\'ees par Joyal, Espan\~ol et les deux auteurs. Nous montrons…
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…
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…
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…
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…
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…
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…
This paper introduces the category of marked curved Lie algebras with curved morphisms, equipping it with a closed model category structure. This model structure is---when working over an algebraically closed field of characteristic…
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…
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 introduce the notion of Krull super-dimension of a super-commutative super-ring. This notion is used to describe regular super-rings and calculate Krull super-dimensions of completions of super-rings. Moreover, we use this notion to…
The first part of the present article consists in a survey about the dynamical constructive method designed using dynamical theories and dynamical algebraic structures. Dynamical methods uncovers a hidden computational content for numerous…
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…
Divisible residuated lattices are algebraic structures corresponding to a more comprehensive logic than Hajek's basic logic with an important significance in the study of fuzzy logic. The purpose of this paper is to investigate commutative…
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…
We construct a triangle equivalence between the singularity categories of two isolated cyclic quotient singularities of Krull dimensions two and three, respectively. This is the first example of a singular equivalence involving connected…
We aim at studying collections of algebraic structures defined over a commutative ring and investigating the complexity of significant constructions carried out on these objects. The assignment of measures of size, via a multiplicity…
In this paper, we introduce and study the $q$-Krull dimension of a commutative ring via its $q$-operation. A new characterization of $\tau_q$-von Neumann regular rings is obtained, and some properties of rings $q$-Krull dimension 0 are…
The classical Gelfand-Kirillov dimension for algebras over fields has been extended recently by J. Bell and J.J Zhang to algebras over commutative domains. However, the behavior of this new notion has not been enough investigated for the…