Related papers: Projective length, phantom extensions, and the str…
In a constructive setting, no concrete formulation of ordinal numbers can simultaneously have all the properties one might be interested in; for example, being able to calculate limits of sequences is constructively incompatible with…
Motivated by understanding the Nakayama conjecture which states that algebras of infinite dominant dimension should be self-injective, we study self-orthogonal modules with virtually Gorenstein endomorphism algebras and prove the following…
The MacWilliams Extension Theorem states that each linear Hamming isometry of a linear code extends to a monomial map. In this paper an analogue of the extension theorem for linear codes over a module alphabet is observed. A geometric…
Let $\Gamma = \Lambda[M]$ be the one-point extension of an algebra $\Lambda$ by a $\Lambda$-module $M$. We establish a method to lift projectively Wakamatsu tilting (PWT) modules from $\mathrm{mod}\,\Lambda$ to $\mathrm{mod}\,\Gamma$ by…
A partition of the set of unary pp formulas into four regions is presented, which has a bearing on various structural properties of modules. The machinery developed allows for applications to IF, weakly coherent, nonsingular, and reduced…
Let $X$ be a finitely generated left module over a left artinian ring $R$, and let $p(X)=\{l_i\}$ be the infinite sequence of nonnegative integers where $l_i$ is the length of the $i$-th term of the minimal projective resolution of $X$. We…
Let $R$ be a commutative Noetherian local ring and let $M$ and $N$ be nonzero finitely generated $R$-modules. In this paper, we investigate how the finiteness of the homological dimension of Ext modules between $M$ and $N$ affects that of…
We consider a subclass of tilings, the tilings obtained by cut and projection. Under somewhat standard assumptions, we show that the natural complexity function has polynomial growth. We compute its exponent \alpha in terms of the ranks of…
In this paper, for every $\epsilon\in \mathbb{Z}$, we introduce an extension of the 2-toroidal Lie algebra by certain derivations. Based on the $\phi_\epsilon$-coordinated modules theory for vertex algebras, we give an explicit realization…
In this expository paper, we present a construction of tree modules and combine it with (infinite dimensional) tilting theory and relative Mittag-Leffler conditions in order to explore limits of the approximation theory of modules. We also…
B. A. Barnes introduced so-called Fredholm elements in a semiprime ring whose definition is inspired by Atkinson's theorem. Here the socle of a semiprime ring generalizes the ideal of finite-rank operators on a Banach space. In this paper,…
Let $\gamma: I \to S^2$ be a $C^2$ curve with $\det(\gamma, \gamma', \gamma'')$ nonvanishing, and for each $\theta \in I$ let $\rho_{\theta}$ be orthogonal projection onto the span of $\gamma(\theta)$. It is shown that if $A \subseteq…
Let $R$ be a commutative Noetherian local ring. We prove a variety of new formulae for modules of finite quasi-projective or finite quasi-injective dimension. These include the Derived Depth Formula, itself an extension of Auslander famous…
A result of Kaufmann shows that if $L_\alpha$ is countable, admissible and satisfies $\Pi_n\textsf{-Collection}$, then $\langle L_\alpha, \in \rangle$ has a proper $\Sigma_{n+1}$-elementary end extension. This paper investigates to what…
We contribute to the refined understanding of the language-logic-algebra interplay in the context of first-order properties of countable words. We establish decidable algebraic characterizations of one variable fragment of FO as well as…
Let k be an algebraically closed field, let R be an associative k-algebra, and let F = {M_a: a in I} be a family of orthogonal points in R-Mod such that End_R(M_a) = k for all a in I. Then Mod(F), the minimal full sub-category of R-Mod…
In this paper we study the problem of approximation of the $L^2$-topological invariants by their finite dimensional analogues. We obtain generalizations of the theorem of L\"uck, dealing with towers of finitely sheeted normal coverings. We…
A torsion theory is called differential (higher differential) if a derivation (higher derivation) can be extended from any module to the module of quotients corresponding to the torsion theory. We study conditions equivalent to higher…
We introduce the notion of totally reflexive extension of rings. It unifies Gorenstein orders and Frobenius extensions. We prove that for a totally reflexive extension, a module over the extension ring is totally reflexive if and only if…
According to the math tea argument, there must be real numbers that we cannot describe or define, because there are uncountably many real numbers, but only countably many definitions. And yet, the existence of pointwise-definable models of…