Showing 1–5 of 5 results for author: O'Meara, K C

Regular Ring Properties Degraded Through Inverse Limits

Authors: Pere Ara, Ken Goodearl, Kevin C. O'Meara, Enrique Pardo, Francesc Perera

Abstract: We give a number of constructions where inverse limits seriously degrade properties of regular rings, such as unit-regularity, diagonalisation of matrices, and finite stable rank. This raises the possibility of using inverse limits to answer the long standing Separativity Problem (in the negative). We give a number of constructions where inverse limits seriously degrade properties of regular rings, such as unit-regularity, diagonalisation of matrices, and finite stable rank. This raises the possibility of using inverse limits to answer the long standing Separativity Problem (in the negative). △ Less

Submitted 10 May, 2024; originally announced May 2024.

MSC Class: Primary 16E50; Secondary 16E20; 18A30; 20M14

A computing strategy and programs to resolve the Gerstenhaber Problem for commuting triples of matrices

Authors: John Holbrook, Kevin C. O'Meara

Abstract: We describe a MATLAB program that could produce a negative answer to the Gerstenhaber Problem by the construction of three commuting $n \times n$ matrices $A,B,C$ over a field $F$ such that the subalgebra $F[A,B,C]$ they generate has dimension greater than $n$. This problem has remained open for nearly 60 years, following Gerstenhaber's surprising result (Annals Math.) that $\dim F[A,B] \le n$ for… ▽ More We describe a MATLAB program that could produce a negative answer to the Gerstenhaber Problem by the construction of three commuting $n \times n$ matrices $A,B,C$ over a field $F$ such that the subalgebra $F[A,B,C]$ they generate has dimension greater than $n$. This problem has remained open for nearly 60 years, following Gerstenhaber's surprising result (Annals Math.) that $\dim F[A,B] \le n$ for any two commuting matrices $A,B$. The property fails for four or more commuting matrices. We also make the MATLAB files freely available. △ Less

Submitted 15 June, 2020; originally announced June 2020.

MSC Class: 13E15; 15A27; 68-04; 13E10; 15A21

The nilpotent regular element problem

Authors: P. Ara, K. C. O'Meara

Abstract: We use George Bergman's recent normal form for universally adjoining an inner inverse to show that, for general rings, a nilpotent regular element $x$ need not be unit-regular. This contrasts sharply with the situation for nilpotent regular elements in exchange rings (a large class of rings), and for general rings when all powers of the nilpotent element $x$ are regular. We use George Bergman's recent normal form for universally adjoining an inner inverse to show that, for general rings, a nilpotent regular element $x$ need not be unit-regular. This contrasts sharply with the situation for nilpotent regular elements in exchange rings (a large class of rings), and for general rings when all powers of the nilpotent element $x$ are regular. △ Less

Submitted 9 January, 2017; v1 submitted 29 September, 2015; originally announced September 2015.

Comments: 13 pages

MSC Class: 16E50; 16U99 (Primary); 16S10; 16S15 (Secondary)

Journal ref: Canadian Mathematical Bulletin 59 (3), (2016), 461-471

$K_1$ of separative exchange rings and C*-algebras with real rank zero

Authors: P. Ara, K. R. Goodearl, K. C. O'Meara, R. Raphael

Abstract: For any (unital) exchange ring $R$ whose finitely generated projective modules satisfy the separative cancellation property ($A\oplus A\cong A\oplus B\cong B\oplus B$ implies $A\cong B$), it is shown that all invertible square matrices over $R$ can be diagonalized by elementary row and column operations. Consequently, the natural homomorphism $GL_1(R) \to K_1(R)$ is surjective. In combination wi… ▽ More For any (unital) exchange ring $R$ whose finitely generated projective modules satisfy the separative cancellation property ($A\oplus A\cong A\oplus B\cong B\oplus B$ implies $A\cong B$), it is shown that all invertible square matrices over $R$ can be diagonalized by elementary row and column operations. Consequently, the natural homomorphism $GL_1(R) \to K_1(R)$ is surjective. In combination with a result of Huaxin Lin, it follows that for any separative, unital C*-algebra $A$ with real rank zero, the topological $K_1(A)$ is naturally isomorphic to the unitary group $U(A)$ modulo the connected component of the identity. This verifies, in the separative case, a conjecture of Shuang Zhang. △ Less

Submitted 21 June, 1999; originally announced June 1999.

Comments: 12 pages; to appear in Pacific J. Math

Report number: UCSB Math P-4; see http://www.math.ucsb.edu/~mgscharl/preprints/UCSBpreprints.htm MSC Class: 15A33; 16E50; 19B14; 46L80

A new measure of growth for countable-dimensional algebras

Authors: John Hannah, K. C. O'Meara

Abstract: A new dimension function on countable-dimensional algebras (over a field) is described. Its dimension values for finitely generated algebras exactly fill the unit interval $[0,1]$. Since the free algebra on two generators turns out to have dimension 0 (although conceivably some Noetherian algebras might have positive dimension!), this dimension function promises to distinguish among algebras of… ▽ More A new dimension function on countable-dimensional algebras (over a field) is described. Its dimension values for finitely generated algebras exactly fill the unit interval $[0,1]$. Since the free algebra on two generators turns out to have dimension 0 (although conceivably some Noetherian algebras might have positive dimension!), this dimension function promises to distinguish among algebras of infinite GK-dimension. △ Less

Submitted 30 September, 1993; originally announced October 1993.

Comments: 5 pages

Report number: Bulletin migration 11/99

Journal ref: Bull. Amer. Math. Soc. (N.S.) 29 (1993) 223-227