Related papers: A Note on Graded Rings and Modules

Let $R$ be a ring and let $A$ be a finite projective $R$-algebra of rank $n$. Manjul Bhargava and Matthew Satriano have recently constructed an $R$-algebra $G(A/R)$, the Galois closure of $A/R$. Many natural questions were asked at the end…

We give an alternative proof to the fact that if the square of the infinite radical of the module category of an Artin algebra is equal to zero then the algebra is of finite type by making use of the theory of postprojective and…

Realizing the possibility suggested by Hardouin [6], we show that her own Picard-Vessiot Theory for iterative $q$-difference rings is covered by the (consequently, more general) framework, settled by Amano and Masuoka [2], of artinian…

In this paper we lay the basis of the theory of rational modules of corings extending results on rational modules for coalgebras to the case of arbitrary ground rings. We apply these results mainly to categories of entwined modules (e.g.…

We prove the Tits-Weiss conjecture for Albert division algebras over fields of arbitrary characteristics in the affirmative. The conjecture predicts that every norm similarity of an Albert division algebra is a product of a scalar homothety…

Let R be a commutative ring with identity, S be a multiplicatively closed subset of R, and let M be an R-module. The aim of this paper is to introduce the notion of S-secondary submodules of M as a generalization of secondary submodules of…

Let $G$ be an abelian group of order $n$ and let $R$ be a commutative ring which admits a homomorphism ${\Bbb Z}[\zeta_{n}]\ra R$, where $\zeta_{n}$ is a (complex) primitive $n$-th root of unity. Given a finite $R[G\e]$-module $M$, we…

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$…

The main goal of this article is to introduce the concept of $EM-G-$graded rings. This concept is an extension of the notion of $EM-$rings. Let $G$ be a group and $R$ be a $G-$graded commutative ring. The $G-$gradation of $R$ can be…

Researchers introduced the notion of j-Artinian rings in [3] and obtained significant results concerning this new class of rings. Motivated by their definition and findings, we extend the study to modules by introducing the concept of…

Parametric Gr\"obner bases have been studied for more than 15 years and are now a further developed subject. Here we propose a general study of parametric standard bases, that is with local orders. We mainly focus on the commutative case…

In this paper, we present a noncommutative scheme theory for the semi-graded rings generated in degree one defined by Lezama and Latorre \cite{LezamaLatorre2017} following the ideas about schematicness introduced by Van Oystaeyen and…

In the cluster algebra literature, the notion of a graded cluster algebra has been implicit since the origin of the subject. In this work, we wish to bring this aspect of cluster algebra theory to the foreground and promote its study. We…

A celebrated conjecture of Auslander and Reiten claims that a finitely generated module $M$ that has no extensions with $M\oplus \Lambda$ over an Artin algebra $\Lambda$ must be projective. This conjecture is widely open in general, even…

We introduce a new concept of a semiprime submodule. We show that a submodule of a finitely generated module over a commutative ring is semiprime if and only if it is radical, that is, an intersection of prime submodules. Using our notion,…

In (Borceux-Janelidze 2001) they prove a Categorical Galois Theorem for ordinary categories, and establish the main result of (Joyal-Tierney 1984), along with the classical Galois theory of Rings, as instances of this more general result.…

A notion of stratification is introduced for any compactly generated triangulated category T endowed with an action of a graded commutative noetherian ring R. The utility of this notion is demonstrated by establishing diverse consequences…

We relate two different proposals to extend the \'etale topology into homotopy theory, namely via the notion of finite cover introduced by Mathew and via the notion of separable commutative algebra introduced by Balmer. We show that finite…

The idea of generating integrals analogous to generating functions is first introduced in this paper. A new proof of the well-known Finite Harmonic Series Theorem in Analysis and Analytical Number Theory is then obtained by the method of…

Let $(A,\m)$ be a Noetherian local ring, let $M$ be a finitely generated \CM $A$-module of dimension $r \geq 2$ and let $I$ be an ideal of definition for $M$. Set $L^I(M) = \bigoplus_{n\geq 0}M/I^{n+1}M$. In part one of this paper we showed…