Related papers: Bimodules in group graded rings

Let $R$ be a strongly $\mathbb{Z}^2$-graded ring, and let $C$ be a bounded chain complex of finitely generated free $R$-modules. The complex $C$ is $R_{(0,0)}$-finitely dominated, or of type FP over $R_{(0,0)}$, if it is chain homotopy…

We study codes with a single check element derived from group rings, namely, checkable codes. The notion of a code-checkable group ring is introduced. Necessary and sufficient conditions for a group ring to be code-checkable are given in…

Let $R$ be a $G$ graded commutative ring and $M$ be a $G$-graded $R$-module. The set of all graded second submodules of $M$ is denoted by $Spec_G^s(M)$ and it is called the graded second spectrum of $M$. In this paper, we discuss graded…

Given a finite group $G$ and an extension of finite chain rings $S|R$, one can consider the group rings $\mathscr{S} = S[G]$ and $\mathscr{R} = R[G]$. The group ring $\mathscr{S}$ can be viewed as an $R$-bimodule, and any of its…

For an Azumaya algebra $A$ which is free over its centre $R$, we prove that the $K$-theory of $A$ is isomorphic to $K$-theory of $R$ up to its rank torsion. We observe that a graded central simple algebra, graded by an abelian group, is a…

We first show that every group-theoretical category is graded by a certain double coset ring. As a consequence, we obtain a necessary and sufficient condition for a group-theoretical category to be nilpotent. We then give an explicit…

A Schur ring (S-ring) over a group $G$ is called separable if every of its similaritities is induced by isomorphism. We establish a criterion for an S-ring to be separable in the case when the group $G$ is cyclic. Using this criterion, we…

We obtain criteria for when a ring with enough idempotents is left/right artinian or noetherian in terms of local criteria defined by the associated complete set of idempotents for the ring. We apply these criteria to object unital category…

Given a graded ample Hausdorff groupoid, we realise its graded Steinberg algebra as a partial skew inverse semigroup ring. We use this to show that for a partial action of a discrete group on a locally compact Hausdorff topological space,…

Let A be an associative algebra over an algebraically closed field F of characteristic zero and let G be a finite abelian group. Regev and Seeman introduced the notion of a regular G-grading on A, namely a grading A= {\Sigma}_{g in G} A_g…

We discuss controllability of systems that are initially given by boundary coupled p.d.e. of second order. Those systems may be described by modules over a certain subring R of the ring of Mikusinski operators with compact support. We show…

A classical result due to Morita and Azumaya establishes that given two arbitrary rings, any duality between their finitely generated modules is representable by a faithfully balanced bimodule which is a finitely generated injective…

Let R be a commutative ring with identity and S be a multiplicatively closed subset of R. The aim of this paper is to introduce the notion of fully S-idempotent modules as a generalization of fully idempotent modules and investigate some…

Let $\Gamma$ be a group, $\Re$ be a $\Gamma$-graded commutative ring with unity $1$ and $\Im$ a graded $\Re$-module. In this paper, we introduce the concept of graded weakly $J_{gr}$-semiprime submodules as a generalization of graded weakly…

In this paper, we prove two structure theorems for twisted Chevalley groups $G_\sigma (R)$ over a commutative ring $R$ with unity. The first theorem concerns the normality of $E'_\sigma (R,J)$, the elementary congruence subgroups at level…

In this article, we introduce a generalization of the concept of graded $r$-ideals in graded commutative rings with nonzero unity. Let $G$ be a group, $R$ be a $G$-graded commutative ring with nonzero unity and $GI(R)$ be the set of all…

An $S$-ring (Schur ring) is called separable with respect to a class of $S$-rings $\mathcal{K}$ if it is determined up to isomorphism in $\mathcal{K}$ only by the tensor of its structure constants. An abelian group is said to be separable…

The idea that the cohomology of finite groups might be fruitfully approached via the cohomology of ambient semisimple algebraic groups was first shown to be viable in the papers [CPS75] and [CPSvdK77]. The second paper introduced, through a…

A group $G$ is said to be a $C$-group if every subgroup $H$ has a permutable complement, i.e. if there exists a subgroup $K$ of $G$ such that $G=HK$ and $H \cap K=1$. In this paper, we study the profinite counterpart of this concept. We say…

The notion of a bimodule herd is introduced and studied. A bimodule herd consists of a $B$-$A$ bimodule, its formal dual, called a pen, and a map, called a shepherd, which satisfies untiality and coassociativity conditions. It is shown that…