Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

The separativity problem in terms of varieties and diagonal reduction

Pere Ara, Ken Goodearl, Pace P. Nielsen, Enrique Pardo, Francesc Perera

Abstract

We provide two new formulations of the separativity problem. First, it is known that separativity (and strong separativity) in von Neumann regular (and exchange) rings is tightly connected to unit-regularity of certain kinds of elements. By refining this information, we characterize separative regular rings in terms of a special type of inner inverse operation, which is defined via a single identity. This shows that the separative regular rings form a subvariety of the regular rings. The separativity problem reduces to the question of whether every element of the form $(1-aa')bac(1-a'a)$ in a regular ring is unit-regular, where $a'$ is an inner inverse for $a$. Second, it is known that separativity in exchange rings is equivalent to regular matrices over corner rings being reducible to diagonal matrices via elementary row and column operations. We show that for $2\times 2$ invertible matrices, four elementary operations are sufficient, and in general also necessary. Dropping the invertibility hypothesis, but specializing to separative regular rings, we show that three elementary row operations together with three elementary column operations are sufficient, and again in general also necessary. The separativity problem can subsequently be reframed in terms of the explicit number of operations needed to diagonally reduce.

The separativity problem in terms of varieties and diagonal reduction

Abstract

We provide two new formulations of the separativity problem. First, it is known that separativity (and strong separativity) in von Neumann regular (and exchange) rings is tightly connected to unit-regularity of certain kinds of elements. By refining this information, we characterize separative regular rings in terms of a special type of inner inverse operation, which is defined via a single identity. This shows that the separative regular rings form a subvariety of the regular rings. The separativity problem reduces to the question of whether every element of the form in a regular ring is unit-regular, where is an inner inverse for . Second, it is known that separativity in exchange rings is equivalent to regular matrices over corner rings being reducible to diagonal matrices via elementary row and column operations. We show that for invertible matrices, four elementary operations are sufficient, and in general also necessary. Dropping the invertibility hypothesis, but specializing to separative regular rings, we show that three elementary row operations together with three elementary column operations are sufficient, and again in general also necessary. The separativity problem can subsequently be reframed in terms of the explicit number of operations needed to diagonally reduce.
Paper Structure (7 sections, 33 theorems, 94 equations)

This paper contains 7 sections, 33 theorems, 94 equations.

Table of Contents

  1. Introduction
  2. Inner inverses
  3. Defining separativity in a new way
  4. Viewing algebras as varieties
  5. Varieties of exchange rings
  6. Minimizing the number of elementary operations
  7. Diagonal reduction of more matrices

Key Result

Lemma 2.1

Let $(R,\ ')$ be a regular ring. Then $'$ is both a reflexive inverse operation and a unit inner inverse operation if and only if $R=0$.

Theorems & Definitions (63)

  • Lemma 2.1
  • proof
  • Definition 3.1
  • Example 3.2
  • proof
  • Lemma 3.3
  • proof
  • Proposition 3.4
  • Proposition 3.5
  • proof
  • ...and 53 more