Related papers: A short proof of Grinshpon's theorem

We give a constructive counterpart of the theorem of Andrunakievi\v{c} and Rjabuhin, which states that every reduced ring is a subdirect product of domains. As an application, we extract a constructive proof of the fact that every ring $A$…

We revisit a theorem of Grosshans and show that it holds over arbitrary commutative base ring $k$. One considers a split reductive group scheme $G$ acting on a $k$-algebra $A$ and leaving invariant a subalgebra $R$. If $R^U=A^U$ then the…

Given rings $R \subseteq S$, consider the division closure $DC(R,S)$ and the rational closure $RC(R,S)$ of R in S. If S is commutative, then $DC(R,S)=RC(R,S)=RT^{-1}$, where $T = \{t\in R : t^{-1} \in S\}$. We show that this is also true if…

A well-known theorem of Wedderburn asserts that a finite division ring is commutative. In a division ring the group of invertible elements is as large as possible. Here we will be particularly interested in the case where this group is as…

The main result of this paper is a generalization of the theorem of Chevalley-Shephard-Todd to the rings of invariants of pseudo-reflection groups over regular domains. More precisely, let $A$ be a regular domain and let $K$ be its field of…

Let $A\subset B$ be an extension of commutative reduced rings and $M\subset N$ an extension of positive commutative cancellative torsion-free monoids. We prove that $A$ is subintegrally closed in $B$ and $M$ is subintegrally closed in $N$…

The purpose of this article is to prove that Gersten's conjecture for a commutative discrete valuation ring is true. Combining with the result of \cite{GL87}, we learn that Gersten's conjecture is true if the ring is a commutative regular…

Jacobson's commutativity theorem says that a ring is commutative if, for each $x$, $x^n = x$ for some $n > 1$. Herstein's generalization says that the condition can be weakened to $x^n-x$ being central. In both theorems, $n$ may depend on…

Let $G$ be a group acting via ring automorphisms on an integral domain $R.$ A ring-theoretic property of $R$ is said to be $G$-invariant, if $R^G$ also has the property, where $R^G=\{r\in R \ | \ \sigma(r)=r \ \text{for all} \ \sigma\in…

We prove that an analogue of Rogers' theorem on sieving holds for an order if and only if the order is a Dedekind domain. We also prove that it holds for a finite commutative ring if and only if the ring is a direct product of local rings…

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…

We give an elementary proof of a generalization of Bourgain and Tzafriri's Restricted Invertibility Theorem, which says roughly that any matrix with columns of unit length and bounded operator norm has a large coordinate subspace on which…

Greenberg proved that every countable group $A$ is isomorphic to the automorphism group of a Riemann surface, which can be taken to be compact if $A$ is finite. We give a short and explicit algebraic proof of this for finitely generated…

$ \newcommand{\R}{\mathbb{R}} \newcommand{\lat}{\mathcal{L}} $We prove a conjecture due to Dadush, showing that if $\lat \subset \R^n$ is a lattice such that $\det(\lat') \ge 1$ for all sublattices $\lat' \subseteq \lat$, then \[ \sum_{\vec…

In this paper, we give a further study in-depth of the pseudo $n$-strong Drazin inverses in an associative unital ring $R$. The characterizations of elements $a,b\in R$ for which $aa^{\tiny{\textcircled{\qihao…

Suppose that R is an ordered ring, G_n(R) is a subsemigroup of $GL_n(R)$, consisting of all matrices with nonnegative elements. A.V. Mikhalev and M.A. Shatalova described all automorphisms of G_n(R), where R is a linearly ordered skewfield…

Given a second-countable, Hausdorff, \'etale, amenable groupoid G with compact unit space, we show that an element a in C*(G) is invertible if and only if \lambda_x(a) is invertible for every x in the unit space of G, where \lambda_x refers…

We prove a normality theorem for the "true" elementary subgroups of $SL_n(A)$ defined by the ideals of a commutative unital ring $A$. Our result is an analogue of a normality theorem, due to Suslin, for the standard elementary subgroups,…

Let $R$ be a commutative Noetherian ring and $E$ the minimal injective cogenerator of the category of $R$-modules. An $R$-module $M$ is (Matlis) reflexive if the natural evaluation map $M \to…

Let $S\subseteq R$ be a multiplicatively closed subset of a ring $R$. We extend several results on integral domains to their $S$-versions and establish the $S$-version of Krull intersection theorem. We also show that if $R$ is an $S$-field,…