Related papers: Representability of Noetherian PI-algebras

Let n be a positive integer, and let R be a finitely presented (but not necessarily finite dimensional) associative algebra over a computable field. We examine algorithmic tests for deciding (1) if every n-dimensional representation of R is…

We give a survey on the theory of representation-finite and certain minimal representation-infinite algebras.The main goals are the existence of multiplicative bases and of coverings with good properties. Both are attained via…

We study the rings of invariants for the indecomposable modular representations of the Klein four group. For each such representation we compute the Noether number and give minimal generating sets for the Hilbert ideal and the field of…

Local cohomology modules, even over a Noetherian ring $R$, are typically unwieldly. As such, it is of interest whether or not they have finitely many associated primes. We prove the affirmative in the case where $R$ is a Stanley-Reisner…

Let $\mathcal{P}$ be the class of rings for which every indecomposable right module is pure-projective or pure-injective. When $R$ is a Noetherian local commutative ring of maximal ideal $P$, it is proven that $R\in\mathcal{P}$ if and only…

We formalize in Lean the following foundational result in commutative algebra: Let $R \to S$ be a faithfully flat map of (not necessarily noetherian) commutative rings, and let $P$ be an arbitrary $R$-module. Then $P$ is projective over $R$…

Let $A$ be a symbolic (or an extended symbolic) Rees algebra (need not be Noetherian) of dimension $d$. Let $P$ be a finitely generated projective $A$-module of rank $\geq$ $d$. Then P has a unimodular element. This improves the classical…

By [R. Bautista, P. Gabriel, A.V Roiter., L. Salmeron, Representation-finite algebras and multiplicative basis. Invent. Math. 81 (1985) 217-285.], a finite-dimensional algebra having finitely many isoclasses of indecomposable…

The coprimary filtration is a basic construction in commutative algebra. In this article, we prove the existence and uniqueness of coprimary filtration of modules (not necessarily finitely generated) over a Noetherian ring. Moreover, we…

We study finiteness conditions on large tilting modules over arbitrary rings. We then turn to a hereditary artin algebra R and apply our results to the (infinite dimensional) tilting module L that generates all modules without preprojective…

Given an infinite set $\Omega$ and a ring $R$ as well as a group $G$ acting on them, we show that $G$ and a subgroup $H$ share the same canonical relational structure on $\Omega$ if and only if the restriction functor gives an equivalence…

We describe the complete set of pairwise non-isomorphic irreducible modules S(a) over the algebra R given by the defining relation xy-yx=yy, and the rule how they could be glued to indecomposables. Namely, we show that Ext_k^1(S(a),S(b))=0,…

For a finite ring $R$, not necessarily commutative, we prove that the category of $\text{VIC}(R)$-modules over a left Noetherian ring $\mathbf{k}$ is locally Noetherian, generalizing a theorem of the authors that dealt with commutative $R$.…

We show that the irreducible components of any moduli space of semistable representations of a special biserial algebra are always isomorphic to products of projective spaces of various dimensions. This is done by showing that irreducible…

We formulate a version of Hopkins' chromatic splitting conjecture for an arbitrary structured ring spectrum $R$, and prove it whenever $\pi_*R$ is Noetherian. As an application, these results provide a new local-to-global principle in the…

Let R be a commutative ring with identity and M be an R- module. The aim of this paper is to introduce and investigate the notions of nil-M-Noetherian and nil-M-Artinian modules as generalizations of Noetherian and Artinian modules. Also,…

Let R be a quotient ring of a commutative coherent regular ring by a finitely generated ideal. Hovey gave a bijection between the set of coherent subcategories of the category of finitely presented R-modules and the set of thick…

Let $R$ be an algebra over a ring $\Bbbk$, $T$ an $R$-algebra, $M$ a finitely generated projective $R$-module, and $N$ a $T$-module. Let $G$ be a linearly reductive group scheme over $\Bbbk$ equipped with a representation…

We prove the following result of V. Voevodsky. If $S$ is a finite dimensional noetherian scheme such that $S=\cup_\alpha\Spec(R_\alpha)$ for {\em countable} rings $R_\alpha$, then the stable motivic homotopy category over $S$ satisfies…

The present paper mainly considers the representation type of the enveloping algebra of monomial algebra. Let $A$ be a monomial algebra and $A^e= A\otimes_{\mathrm{l}\!\mathrm{k}} A^{\mathrm{op}}$ its enveloping algebra. It is shown that…