Related papers: Ring coproducts embedded in power-series rings
Any finite set of linear operators on an algebra $A$ yields an operator algebra $B$ and a module structure on A, whose endomorphism ring is isomorphic to a subring $A^B$ of certain invariant elements of $A$. We show that if $A$ is a…
We establish necessary and sufficient conditions for a quadratic polynomial to be irreducible in the ring $Z[[x]]$ of formal power series with integer coefficients. For $n,m\ge 1$ and $p$ prime, we show that $p^n+p^m\beta x+\alpha x^2$ is…
In this paper we prove that if R is a left Noetherian and left regular ring such that all finitely generated projective left R-modules are stably free, then the same is true for the completion R[[x;\sigma,\delta]] of any Ore extension…
Let $\sigma$ be an endomorphism and $\delta$ an $\sigma$-derivation of a ring $R$. In this paper, we show that if $R$ is $(\sigma,\delta)$-skew Armendariz and $a\sigma(b)=0$ implies $ab=0$ for $a,b\in R$. Then $R$ is symmetric…
$R$ is a unital ring with involution. We investigate the characterizations and representations of weighted core inverse of an element in $R$ by idempotents and units. For example, let $a\in R$ and $e\in R$ be an invertible Hermitian…
An involution $#$ on an associative ring $R$ is \textit{formally real} if a sum of nonzero elements of the form $r^# r$ where $r \in R$ is nonzero. Suppose that $R$ is a central simple algebra (i.e. $R=M_n(D)$ for some integer $n$ and…
Given a small abelian category $\mathcal{A}$, the Freyd-Mitchell embedding theorem states the existence of a ring $R$ and an exact full embedding $\mathcal{A} \rightarrow R$-Mod. This theorem is useful as it allows one to prove general…
The aim of this paper is to introduce and study Lie algebras and Lie groups over noncommutative rings. For any Lie algebra $\gg$ sitting inside an associative algebra $A$ and any associative algebra $\FF$ we introduce and study the algebra…
Let G be the wreath product of Z and Z/2, the so called lamplighter group and k a commutative ring. We show that kG does not have a classical ring of quotients (i.e. does not satisfy the Ore condition). This answers a Kourovka notebook…
In this paper, we investigate equivalent characterizations of the condition that every acyclic complex of projective, injective, or flat modules is totally acyclic over a general ring R. We provide examples to illustrate relationships among…
In this paper all rings are commutative. We prove some new results on flat epimorphisms of rings and pointwise localizations. Especially among them, it is proved that a ring $R$ is an absolutely flat (von-Neumann regular) ring if and only…
Let $R$ be a prime ring with center $Z(R)$ and with involution $*$. Given an additive subgroup $A$ of $R$, let $T(A):=\{x+x^*\mid x\in A\}$ and $K_0(A):=\{x-x^*\mid x\in A\}$. Let $L$ be a non-abelian Lie ideal of $R$. It is proved that if…
A ring $R$ with center $C$ is said to be\textit{centrally essential} if the module $R_C$ is an essential extension of the module $C_C$. We describe centrally essential exterior algebras of finitely generated free modules over not necessary…
Recognizing when a ring is a complete matrix ring is of significant importance in algebra. It is well-known folklore that a ring $R$ is a complete $n\times n$ matrix ring, so $R\cong M_{n}(S)$ for some ring $S$, if and only if it contains a…
Let $f: A\rightarrow B$ and $g: A\rightarrow C$ be two commutative ring homomorphisms and let $J$ and $J'$ be two ideals of $B$ and $C$, respectively, such that $f^{-1}(J)=g^{-1}(J')$. The \emph{bi-amalgamation} of $A$ with $(B, C)$ along…
Baer's Criterion of injectivity implies that injectivity of a module is a factorization property w.r.t. a single monomorphism. Using the notion of a cotorsion pair, we study generalizations and dualizations of factorization properties in…
Recently, in a series of papers "simple" versions of direct-injective and direct-projective modules have been investigated. These modules are termed as "simple-direct-injective" and "simple-direct-projective", respectively. In this paper,…
We generalize signature Gr\"obner bases, previously studied in the free algebra over a field or polynomial rings over a ring, to ideals in the mixed algebra $R[x_1,...,x_k]\langle y_1,\dots,y_n \rangle$ where $R$ is a principal ideal…
Suppose $A$ is an Azumaya algebra over a ring $R$ and $\sigma$ is an involution of $A$ extending an order-$2$ automorphism $\lambda:R\to R$. We say $\sigma$ is extraordinary if there does not exist a Brauer-trivial Azumaya algebra…
Let $G$ be a compact connected semisimple Lie group with Lie algebra $\mathfrak{g}$. Let $\mathcal{O}\subset\mathfrak{g}^*$ be a coadjoint orbit. The action of $G$ on $\mathcal{O}$ induces a morphism $\rho:G\to \mathrm{Homeo}(\mathcal{O})$.…