Related papers: Herstein's question about simple rings with involu…

Let $R$ be a ring with involution $*$ and $Z^*(R)$ denotes the set of all non-zero zero-divisors of $R$. We associate a simple (undirected) graph $\Gamma'(R)$ with vertex set $Z^*(R)$ and two distinct vertices $x$ and $y$ are adjacent in…

Let W be a finite dimensional representation of a linearly reductive group G over a field k. Motivated by their work on classical rings of invariants, Levasseur and Stafford asked whether the ring of invariants under G of the symmetric…

Let S be a subring of the ring R. We investigate the question of whether S intersected by U(R) is equal to U(S) holds for the units. In many situations our answer is positive. There is a special emphasis on the case when R is a full matrix…

In this paper we prove that if $R$ is a commutative refinement ring and $M$, $N$ are two $R$-modules then, $M\cong N$ if and only if for every maximal ideal $m$ of $R$, $M_m\cong N_m$. We prove if $R$ is a refinement ring, then every…

We exhibit a Cayley-Hamilton trace identity for $2\times2$ matrices with entries in a ring $R$ satisfying $[[x,y],[x,z]]=0$ and 1/2 \in R$.

In this paper a simple right R-module S over a ring R is called hypersimple if its injective hull E(S) is cyclic, and a ring R is called right hypersimple if every simple right R-module is hypersimple. We initiate a study of these new…

A ring $R$ is called right SSP (SIP) if the sum (intersection) of any two direct summands of $R_{R}$ is also a direct summand. Left sides can be defined similarly. The following are equivalent: (1) $R$ is right SSP. (2) $R$ is right C3 and…

In this note, we show that a ring $R$ is $S$-coherent if and only if every finitely presented $R$-module is $S$-coherent, providing a positive answer to a question proposed in [D. Bennis, M. El Hajoui, {\it On $S$-coherence}, J. Korean…

We call a ring R pointwise semicommutative if for any element a in R either l(a) or r(a) is an ideal of R. A class of pointwise semicommutative rings is a strict generalization of semicommutative rings. Since reduced rings are pointwise…

Let $R$ be a ring with $char(R)\neq2$ whose unit group are denoted by $\mathcal{U}(R)$, $G$ a group with involution $*$, and $\sigma:G\rightarrow\mathcal{U}(R)$ a nontrivial group homomorphism, with $ker\ \sigma=N$, satisfying $xx^*\in N$…

Let $s$ be an $n$-dimensional symplectic form over an arbitrary field with characteristic not $2$, with $n>2$. The simplicity of the group $\mathrm{Sp}(s)/\{\pm \mathrm{id}\}$ and the existence of a non-trivial involution in…

Let $R$ be a Noetherian ring. We prove that $R$ has global dimension at most two if, and only if, every prime ideal of $R$ is of linear type. Similarly, we show that $R$ has global dimension at most three if, and only if, every prime ideal…

Let $R$ be a Noetherian local ring. We prove that $R$ is regular of dimension at most four if, and only if, every prime ideal, defining a Gorenstein quotient ring, is syzygetic. We deduce a characterization of these rings in terms of the…

We consider the following problem: Under what assumptions do one or more of the following are equivalent for a ring $R$: (A) $R$ is Morita equivalent to a ring with involution, (B) $R$ is Morita equivalent to a ring with an…

We prove that a local domain $R$, essentially of finite type over a field, is regular if and only if for every regular alteration $\pi : X \to Spec R$, we have that $R \pi_* \mathcal{O}_X$ has finite (equivalently zero in characteristic…

The Robinson-Schensted correspondence can be viewed as a map from permutations to partitions. In this work, we study the number of inversions of permutations corresponding to a fixed partition $\lambda$ under this map. Hohlweg characterized…

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…

Let B be a ring and $A=B[X,Y]/(aX^2+bXY+cY^2-1)$ where $a,b,c\in B$. We study the smoothness of A over B, and the regularity of B when B is a ring of algebraic integers.

We explore elementary matrix reduction over certain rings characterized by their localizations. Let $R$ be a locally stable ring, we prove that $R$ is an elementary divisor ring if and only if $R$ is a Bezout ring. Elementary matrix…

The Schr\"{o}der-Bernstein Theorem for sets is well known. The question of whether two subisomorphic algebraic structures are isomorphic to each other, is of interest. An $R$-module $M$ is said to satisfy the Schr\"{o}der-Bernstein (or SB)…