Related papers: Rings on quotient divisible abelian groups

Suppose we are given black-box access to a finite ring R, and a list of generators for an ideal I in R. We show how to find an additive basis representation for I in poly(log |R|) time. This generalizes a quantum algorithm of Arvind et al.…

This paper consists of three parts: (I) To develop general theory of a (large) class of central simple finite dimensional algebras and answering some natural questions about them (that in general situation it is not even clear how to…

A notion of one-dimensional formal ring is presented. It consists of a triple $(A,\Phi,\Psi)$ where $A$ is a unital ring and $\Phi$ and $\Psi$ are two formal power series in $2$ variables ${\Phi(x,y),\Psi(x,y)\in A\llbracket…

For a group $G$, N-series $\cal G$ of $G$ and commutative ring $R$ let $I^n_{R,\cal G}(G)$, $n\ge 0$, denote the filtration of the group algebra $R(G)$ induced by $\cal G$, and $I_R(G)$ its augmentation ideal. For subgroups $H$ of $G$, left…

A classical result of Schreier states that nontrivial finitely generated normal subgroups of free groups are of finite index, that is, free groups can only quotient to finite groups with finitely generated kernel. In this note we extend…

Let $G$ be a group and $S$ an inverse closed subset of $G\setminus \{1\}$. By a Cayley graph $Cay(G,S)$ we mean the graph whose vertex set is the set of elements of $G$ and two vertices $x$ and $y$ are adjacent if $x^{-1}y\in S$. A group…

We develop the theory of groupoid graded semisimple rings. Our rings are neither unital nor one-sided artinian. Instead, they exhibit a strong version of having local units and being locally artinian, and we call them $\Gamma_0$-artinian.…

Let (T,M) be a complete local domain containing the integers. Let p1 \subseteq p2 \subseteq ... \subseteq pn be a chain of nonmaximal prime ideals T such that T_pn is a regular local ring. We construct a chain of excellent local domains An…

Let R be a ring (not necessarily with 1) and G be a finite group of automorphisms of R. The set B(R, G) of primes p such that p | |G| and R is not p-torsion free, is called the set of bad primes. When the ring is |G|-torsion free, i.e.,…

In this paper, we introduce $\phi$-1-absorbing prime ideals in commutative rings. Let $R$ be a commutative ring with a nonzero identity $1\neq0$ and $\phi:\mathcal{I}(R)\rightarrow\mathcal{I}(R)\cup\{\emptyset\}$ be a function where…

A ring $R$ is said to be clean if each element of $R$ can be written as the sum of a unit and an idempotent. In a recent article (J. Algebra, 405 (2014), 168-178), Immormino and McGoven characterized when the group ring $\mathbb…

The algebra in the title has been introduced by P. Aluffi. Let $J\subset I$ be ideals in the commutative ring $R$. The (embedded) Aluffi algebra of $I$ on $R/J$ is an intermediate graded algebra between the symmetric algebra and Rees…

Among all affine, flat, finitely presented group schemes, we focus on those that are pure, this includes all groups which are extensions of a finite locally free group by a group with connected fibres. We prove that over an arbitrary base…

In this note, we introduce a new concept of a {\it generalized algebraic rational identity} to investigate the structure of division rings. The main theorem asserts that if a non-central subnormal subgroup $N$ of the multiplicative group…

A ring $R$ is said to be centrally essential if for every its non-zero element $a$, there exist non-zero central elements $x$ and $y$ with $ax = y$. A ring $R$ is said to be completely centrally essential if all its factor rings are…

Let $R$ be a commutative ring with $1\neq 0$ and $n$ be a fixed positive integer. A proper ideal $I$ of $R$ is said to be an \textit{$n$-OA ideal} if whenever $a_1a_2\cdots a_{n+1}\in I$ for some nonunits $a_1,a_2,\ldots,a_{n+1}\in R$, then…

If $R$ is a regular and semiartinian ring, it is proved that the following conditions are equivalent: (1) $R$ is unit-regular, (2) every factor ring of $R$ is directly finite, (3) the abelian group $K_0(R)$ is free and admits a basis which…

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…

In this note we introduce the notion of a transcendental group, that is, a subgroup $G$ of the topological group $\mathbb{C}$ of all complex numbers such that every element of $G$ except $ 0$ is a transcendental number. All such topological…

Let $F$ be a number field with ring of integers $\Oc_F$ and $\Dc$ a division $F$-algebra with a maximal cyclic subfield $K$. We study rings occurring as quotients of a natural $\Oc_F$-order $\Lambda$ in $\Dc$ by two-sided ideals. We reduce…