Unital locally matrix algebras and Steinitz numbers

Bogdana Oliynyk; Oksana Bezushchak

arxiv: 1907.11506 · v1 · pith:5YTVOMSSnew · submitted 2019-07-26 · 🧮 math.RA

Unital locally matrix algebras and Steinitz numbers

Oksana Bezushchak , Bogdana Oliynyk This is my paper

Pith reviewed 2026-05-24 15:22 UTC · model grok-4.3

classification 🧮 math.RA

keywords locally matrix algebraSteinitz numberunital algebramatrix algebra over a fieldalgebraic invariant

0 comments

The pith

Every unital locally matrix algebra over a field receives a Steinitz number that records the sizes of its matrix subalgebras.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper defines a unital locally matrix algebra over a field F as an algebra in which any finite collection of elements sits inside a subalgebra isomorphic to a matrix algebra M_n(F) for some n. It constructs an assignment that produces a Steinitz number n(A) for each such algebra A. The work then examines the direct relationship between this number and the algebra A itself. A sympathetic reader would care because the construction turns an abstract algebraic condition into a concrete numerical invariant that organizes these algebras.

Core claim

To an arbitrary unital locally matrix algebra A we assign a Steinitz number n(A) and study a relationship between n(A) and A.

What carries the argument

The Steinitz number n(A), obtained by collecting the possible matrix degrees n that appear in finite-dimensional subalgebras containing given finite sets of elements from A.

If this is right

The Steinitz number n(A) is an invariant of A that remains unchanged under isomorphism.
The possible finite-dimensional matrix subalgebras of A are constrained by the prime factorization appearing in n(A).
Homomorphisms between such algebras must respect the numerical data encoded in their Steinitz numbers.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

If n(A) turns out to determine A up to isomorphism, the assignment would supply a classification of all unital locally matrix algebras by Steinitz numbers.
The construction may extend to non-unital or infinite-dimensional cases by relaxing the unit requirement while keeping the local matrix condition.
One could test whether the Steinitz number behaves additively or multiplicatively under tensor products or direct limits of these algebras.

Load-bearing premise

A single well-defined Steinitz number can be extracted from the collection of all finite matrix subalgebras of any given unital locally matrix algebra.

What would settle it

A unital locally matrix algebra whose finite subalgebras realize incompatible sets of matrix sizes that cannot be encoded by one Steinitz number, or two non-isomorphic algebras forced to receive the same number under any consistent assignment rule.

read the original abstract

An $F$-algebra $A$ with unit $1$ is said to be a locally matrix algebra if an arbitrary finite collection of elements $a_1,$ $\ldots,$ $a_s $ from $ A$ lies in a subalgebra $B$ with $1$ of the algebra $A$, that is isomorphic to a matrix algebra $M_n(F),$ $n\geq 1.$ To an arbitrary unital locally matrix algebra $A$ we assign a Steinitz number $\mathbf{n}(A)$ and study a relationship between $\mathbf{n}(A)$ and $A$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper defines a Steinitz number invariant for unital locally matrix algebras and examines its basic relationship to the algebra structure.

read the letter

The core move is straightforward: take the usual definition of a unital locally matrix algebra over a field, then attach the Steinitz number that records the possible matrix sizes appearing in its finite subalgebras. That construction is natural and well-defined from the description given. They then look at how this number constrains or determines properties of A, which is the actual content beyond the definition itself. The work is careful on the setup and stays inside the existing literature on these algebras without obvious gaps in the basic claims. The limitation is that the relationship studied appears to be mostly descriptive rather than solving a classification problem or producing new examples that change how people think about the class. No load-bearing circularity or undefined steps show up in the abstract or the stress-test note. This is narrow ring-theory material aimed at people already working on locally finite or matrix-like algebras. A reader in that subfield can extract the invariant and check whether it helps with concrete questions they already have. It is solid enough on its own terms to go to a referee who knows the area; the idea is clean and the execution looks competent even if the payoff stays modest.

Referee Report

0 major / 1 minor

Summary. The paper defines a unital F-algebra A to be locally matrix if every finite set of elements from A is contained in a unital subalgebra isomorphic to M_n(F) for some n ≥ 1. It assigns to each such algebra a Steinitz number n(A) and studies the relationship between this number and the algebra A.

Significance. If the Steinitz number n(A) is shown to be a well-defined invariant that distinguishes non-isomorphic algebras or encodes their possible matrix sizes in a useful way, the construction could provide a new tool for classifying locally matrix algebras, extending classical results on matrix rings. The approach appears to be a natural extension of standard invariants in ring theory.

minor comments (1)

[Abstract] The abstract states the intent to study a relationship between n(A) and A but does not indicate what that relationship is or state any theorems, making the main contribution difficult to assess without the full text.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for reviewing our manuscript. The provided summary accurately describes the definition of unital locally matrix algebras and the assignment of the Steinitz number n(A). We appreciate the referee's recognition that this invariant could extend classical results on matrix rings and serve as a classification tool. No specific major comments appear in the report.

Circularity Check

0 steps flagged

No circularity; definition of invariant is self-contained

full rationale

The paper defines unital locally matrix algebras in the standard way and assigns a Steinitz number n(A) as an invariant encoding the matrix sizes appearing in finite unital subalgebras. This assignment is a direct construction from the definition of the algebra class and does not reduce any claimed prediction or theorem to a fitted parameter or self-citation by construction. No load-bearing step in the abstract or described claim relies on renaming, self-definition, or imported uniqueness from the authors' prior work. The central activity is studying the relationship between the algebra and its invariant, which is independent of the definition itself.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no information on free parameters, axioms, or invented entities.

pith-pipeline@v0.9.0 · 5623 in / 1000 out tokens · 20359 ms · 2026-05-24T15:22:39.290182+00:00 · methodology

Unital locally matrix algebras and Steinitz numbers

Core claim

What carries the argument

If this is right

Where Pith is reading between the lines

Load-bearing premise

What would settle it

discussion (0)