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

Let (X, t, S) be a triple, where S is a compact, connected surface without boundary, and t is a free cellular involution on a CW-complex X. The triple (X, t, S) is said to satisfy the Borsuk-Ulam property if for every continuous map…

A commutative ring $R$ is J-stable provided that for any $a\not\in J(R)$, $R/aR$ has stable range one. A ring $R$ is called an elementary divisor ring if every $m\times n$ matrix over $R$ admits diagonal reduction. We prove that a J-stabe…

An element in a ring $R$ is called clear if it is the sum of unit-regular element and unit. An associative ring is clear if every its element is clear. In this paper we defined clear rings and extended many results to wider class. Finally,…

Let $(A,\sigma)$ be an Azumaya algebra with orthogonal involution over a ring $R$ with $2\in R^\times$. We show that if $(A,\sigma)$ admits an improper isometry, i.e., an element $a\in A$ with $\sigma(a)a=1$ and $\mathrm{Nrd}_{A/R}(a)=-1$,…

The RSK correspondence is a bijection between permutations and pairs of standard Young tableaux with identical shape, where the tableaux are commonly denoted $P$ (insertion) and $Q$ (recording). It has been an open problem to demonstrate $$…

Let $R_s M$ denote the Singer construction on an unstable module $M$ over the Steenrod algebra $A$ at the prime two; $R_s M$ is canonically a subobject of $P_s\otimes M$, where $P_s$ is the polynomial algebra on s generators of degree one.…

Let T be a Hom-finite triangulated Krull-Schmidt category over a field k. Inspired by a definition of Koenig and Liu, we say that a family S of pairwise orthogonal objects in T with trivial endomorphism rings is a simple-minded system if…

In this work, free multivariate skew polynomial rings are considered, together with their quotients over ideals of skew polynomials that vanish at every point (which includes minimal multivariate skew polynomial rings). We provide a full…

This paper gives insight into intriguing connections between two apparently unrelated theories: the theory of skein modules of 3-manifolds and the theory of representations of groups into special linear groups of 2 by 2 matrices. Let R be a…

Consider an absolutely simple abelian variety X over a number field K. If the absolute endomorphism ring of X is commutative and satisfies certain parity conditions, then the reduction X_p is absolutely simple for almost all p. Conversely,…

Let $R$ be a local principal ideal ring of length two, for example, the ring $R=\Z/p^2\Z$ with $p$ prime. In this paper we develop a theory of normal forms for similarity classes in the matrix rings $M_n(R)$ by interpreting them in terms of…

We define a class of groups constructed from rings equipped with an involution. We show that under suitable conditions, these groups are either algebraic or arithmetic, including as special cases the orientation-preserving isometry group of…

A prime ring $R$ with extended centroid $C$ is said to be exceptional if both $\text{\rm char}\,R=2$ and $\dim_CRC=4$. Herstein characterized additive subgroups $A$ of a nonexceptional simple ring $R$ satisfying $\big[A, [R,…

We say that a subring $R_0$ of a ring $R$ is semi-invariant if $R_0$ is the ring of invariants in $R$ under some set of ring endomorphisms of some ring containing $R$. We show that $R_0$ is semi-invariant if and only if there is a ring…

Corsten and Frankl conjectured that a simplex is diameter-Ramsey if and only if its circumcenter lies in its convex hull. We disprove this conjecture in every dimension $d\ge 3$. The main tool is a sufficient criterion based on a…

We show that a ring $\,R\,$ has two idempotents $\,e,e'\,$ with an invertible commutator $\,ee'-e'e\,$ if and only if $\,R \cong {\mathbb M}_2(S)\,$ for a ring $\,S\,$ in which $\,1\,$ is a sum of two units. In this case, the…

The principal minors of the Toeplitz matrix $\left( x_{i-j+1}\right)_{1\le i,j,\le n}$, where $x_0=1, x_k=0$ if $k\le -1$, directly determine an involution of the polynomial ring $R[x_1, ... ,x_n]$ over any commutative ring $R$.

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 $R$ be a unital ring with involution.In this paper, several new necessary and sufficient conditions for the existence of the Moore-Penrose inverse of an element in a ring $R$ are given.In addition, the formulae of the Moore-Penrose…

In his work on the Bass series of syzygy modules of modules over a commutative noetherian local ring $R$, Lescot introduces a numerical invariant, denoted $\sigma(R)$, and asks whether it is finite for any $R$. He proves that this is so…