Related papers: The theory of ordinal length

In this paper, we introduce initially Cohen-Macaulay modules over a commutative Noetherian local ring $R$, a new class of $R$-modules that generalizes both Cohen-Macaulay and sequentially Cohen-Macaulay modules. A finitely generated…

Let $(A,\mathfrak{m})$ be a local Gorenstein local ring and let $M$ be an $A$ module of finite length and finite projective dimension. We prove that the Lowey length of $M$ is greater than or equal to order of $A$. This generalizes a result…

In this paper, first we obtain some new and interesting results on projective modules and on the upper topology of an ordinal number. Then it is shown that the rank map of a locally of finite type projective module is continuous with…

Inspired by prior work of Bruinier and Ono and Mertens and Rolen, we study class polynomials for non-holomorphic modular functions arising from modular forms of negative weight. In particular, we give general conditions for the…

We consider countable linear orders and study the quasi-order of convex embeddability and its induced equivalence relation. We obtain both combinatorial and descriptive set-theoretic results, and further extend our research to the case of…

The quantum modular invariant of a real number is defined as a discontinuous, PGL(2,Z)-invariant multi-valued map using the distance-to-the-nearest-integer function. On the rationals, the quantum modular invariant is shown to be infinity…

Let M be a filtered module. Some properties of elements of M are "generic" in the following sense: (being open/stable) if an element z of M has a property P then any approximation of z has P; (being dense) any element of M is approximated…

We study homological properties of test modules that are, in principle, modules that detect finite homological dimensions. The main outcome of our results is a generalization of a classical theorem of Auslander and Bridger: we prove that,…

Guided by the $Q$-shaped derived category framework introduced by Holm and Jorgensen, we provide a differential module analogue of a classical result that characterises when a finitely generated module over a local commutative noetherian…

We develop a technique to construct finitely injective modules which are non trivial, in the sense that they are not direct sums of injective modules. As a consequence, we prove that a ring $R$ is left noetherian if and only if each…

In this paper, the first in a projected two-part series, we describe an organizing framework for the study of infinitary combinatorics. This framework is \v{C}ech cohomology. We show in particular that the \v{C}ech cohomology groups of the…

A self-contained introduction to infinite dimensional representations over a tame hereditary algebra is provided, assuming a basic knowledge of the category of finite dimensional representations. This includes a complete description of all…

We discuss the problems of incompleteness and inexpressibility. We introduce almost self-referential formulas, use them to extend set theory, and relate their expressive power to that of infinitary logic. We discuss the nature of proper…

Let $R$ be a Noetherian ring and let $C$ be a semidualizing $R$-module. In this paper, by using the semidualizing modules, we define and study new classes of modules and homological dimensions and investigate the relations between them. In…

We present a homological characterisation of those chain complexes of modules over a Laurent polynomial ring in several indeterminates which are finitely dominated over the ground ring (that is, are a retract up to homotopy of a bounded…

Let $(R,\m)$ be a Noetherian local ring. Consider the notion of homological dimension of a module, denoted H-dim, for H= Reg, CI, CI$_*$, G, G$^*$ or CM. We prove that, if for a finite $R$-module $M$ of positive depth, $\Hd_R({\m}^iM)$ is…

Let T be Goedel's system of primitive recursive functionals of finite type in the lambda formulation. We define by constructive means using recursion on nested multisets a multivalued function I from the set of terms of T into the set of…

We define the notion of an invariant function on a cluster ensemble with respect to an action of the cluster modular group on its associated function fields. We realize many examples of previously studied functions as elements of this type…

A general expression for a relative invariant of a linear ordinary differential equations is given in terms of the fundamental semi-invariant and an absolute invariant. This result is used to established a number of properties of relative…

An infinite structure has the finite length property (over a given field) if, for each of its finite powers, chains of equivariant subspaces in the corresponding free vector space are bounded in length. Prior work showed that the countable…