Related papers: Idealisers in Skew Group Rings

A ring R shall be called F-noetherian if every finite subset of R is contained in a (left and right) noetherian subring of R . For example, every commutative ring is tightly F-noetherian in the sense that every finite subset of R generates…

Let $R$ be a commutative ring. When is a subgroup of $(R, +)$ an ideal of $R$? We investigate this problem for the rings $\mathbb{Z}^{d}$ and $\prod_{i=1}^{d} \mathbb{Z}_{n_{i}}$. For various subgroups of these rings we obtain necessary and…

Given a unital associative ring S and a subring R, we say that S is an ideal (or Dorroh) extension of R if for some ideal I of S, S = R + I, where the sum is direct. In this note we investigate the ideal structure of an arbitrary ideal…

We study the ring extensions R \subseteq T having the same set of prime ideals provided Nil(R) is a divided prime ideal. Some conditions are given under which no such T exist properly containing R. Using idealization theory, the examples…

In commutative ring theory, there is a theorem of Cohen which states that if in a commutative ring all prime ideals are finitely generated then every ideal is finitely generated. However, it is known that having only maximal ideals finitely…

Let $R$ be a commutative local uniserial ring of length $n$, $p$ a generator of the maximal ideal, and $k$ the radical factor field. The pairs $(B,A)$ where $B$ is a finitely generated $R$-module and $A\subset B$ a submodule of $B$ such…

$(1)$ Let $M\subset N$ be a commutative cancellative torsion-free and subintegral extension of monoids. Then we prove that in the case of ring extension $A[M]\subset A[N]$, the two notions, subintegral and weakly subintegral coincide…

Let $G$ be a group with identity element $e$, and suppose that $S$ is an associative $G$-graded ring that is not necessarily unital. In the case where $G$ is an ordered group, we show that a graded ideal is prime if and only if it is graded…

It is proved that given any prime ideal $\mathfrak{p}$ of height at least 2 in a countable commutative noetherian ring $A$, there are uncountably many more dualizable objects in the $\mathfrak{p}$-local $\mathfrak{p}$-torsion stratum of the…

Let R be a commutative noetherian ring. Lindo and Pande have recently posed the question asking when every ideal of R is isomorphic to some trace ideal of R. This paper studies this question and gives several answers. In particular, a…

A \textit{symmetric ideal} $I \subseteq R = K[x_1,x_2,...]$ is an ideal that is invariant under the natural action of the infinite symmetric group. We give an explicit algorithm to find Gr\"obner bases for symmetric ideals in the infinite…

Let A be a semprime, right noetherian ring equipped with an automorphism alpha, and let B := A[[y; alpha]] denote the corresponding skew power series ring (which is also semiprime and right noetherian). We prove that the Goldie ranks of A…

We classify, in terms of the structure of the finite group G, all group algebras KG for which all right ideals are right annihilators of principal left ideals. This means in the language of coding theory that we classify code-checkable…

Ideals are one of the main topics of interest to the study of the order structure of an algebra. Due to their nice properties, ideals have an important role both in lattice theory and semigroup theory. Two natural concepts of ideal can be…

Let $A$ be a commutative Noetherian ring, and let $R = A[X]$ be the polynomial ring in an infinite collection $X$ of indeterminates over $A$. Let ${\mathfrak S}_{X}$ be the group of permutations of $X$. The group ${\mathfrak S}_{X}$ acts on…

An ideal I of a commutative ring R is said to be irreducible if it cannot be written as the intersection of two larger ideals. A proper ideal I of a ring R is said to be strongly irreducible if for each ideals J, K of R, J\cap K\subseteq I…

Using the theory of Dixmier ideals developed in previous work, we show that every semiprime Lie ideal in a C*-algebra arises as the full normalizer subspace of a semiprime two-sided ideal. This leads to a concise description of all…

We study Noether's normalization lemma for finitely generated algebras over a division algebra. In its classical form, the lemma states that if $I$ is a proper ideal of the ring $R=F[t_1,\ldots,t_n]$ of polynomials over a field $F$, then…

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…

Let $B$ be a Noetherian normal local ring, and $G\subset\Aut(B)$ a cyclic group of local automorphisms of prime order. Let $A$ be the ring of $G$-invariants of $B$, assume that $A$ is Noetherian. We study the invariant morphism; in…