RECORD
Characterization of matrix types of ultramatricial algebras
Group Theory · Submitted 15 Jun 2004
abstract compiled · 2026-09-23 · no language-model review
The authors' main claim This implies that for every equivalence relation on the positive integers for which n and m are equivalent if and only if nk and mk are equivalent, there is a ring over which the ring of n times n matrices and the ring of m times m matrices are equivalent if and only if n and m are equivalent.
The compiled record
The paper's own sentences, arranged. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
Open the compiled record
The abstract, sentence by sentence
A dimension group is a partially ordered countable group such that (1) every finite subset is contained in an ordered subgroup which is a finite direct power of Z and (2) the group has an order unit i.e. a positive element u such that every group element is smaller than a multiple of u. For every subgroup H of the multiplicatice groups of the positive rational numbers a dimension group is constructed whose order-preserving automorphism group is H and H acts on an order unit by multiplication as rational numbers. This implies that for every equivalence relation on the positive integers for which n and m are equivalent if and only if nk and mk are equivalent, there is a ring over which the ring of n times n matrices and the ring of m times m matrices are equivalent if and only if n and m are equivalent.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | A dimension group is a partially ordered countable group such that (1) every finite subset is contained in an ordered subgroup which is a finite direct power of Z and (2) the group has an order unit i.e. a positive element u such that every group element is smaller than a multiple of u. | background 1.00 | 0.06 | 0.03 | asserted 1.00 |
| s1 | For every subgroup H of the multiplicatice groups of the positive rational numbers a dimension group is constructed whose order-preserving automorphism group is H and H acts on an order unit by multiplication as rational numbers. | result 0.81 | 0.87 | 0.50 | asserted 1.00 |
| s2 | This implies that for every equivalence relation on the positive integers for which n and m are equivalent if and only if nk and mk are equivalent, there is a ring over which the ring of n times n matrices and the ring of m times m matrices are equivalent if and only if n and m are equivalent. | interpretation 0.91 | 0.80 | 0.58 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v3
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
The paper
Original abstract
A dimension group is a partially ordered countable group such that (1) every finite subset is contained in an ordered subgroup which is a finite direct power of Z and (2) the group has an order unit i.e. a positive element u such that every group element is smaller than a multiple of u. For every subgroup H of the multiplicatice groups of the positive rational numbers a dimension group is constructed whose order-preserving automorphism group is H and H acts on an order unit by multiplication as rational numbers. This implies that for every equivalence relation on the positive integers for which n and m are equivalent if and only if nk and mk are equivalent, there is a ring over which the ring of n times n matrices and the ring of m times m matrices are equivalent if and only if n and m are equivalent.
Human review
Discussion
Know something about this paper? Leave a comment, or highlight any passage above to comment on it.