Rank ring
In mathematics, a rank ring is a ring with a real-valued rank function behaving like the rank of an endomorphism. John von Neumann (1998) introduced rank rings in his work on continuous geometry, and showed that the ring associated to a continuous geometry is a rank ring.
01Definition
John von Neumann (1998, p.231) defined a ring to be a rank ring if it is regular and has a real-valued rank function R with the following properties:
- 0 ≤ R(a) ≤ 1 for all a
- R(a) = 0 if and only if a = 0
- R(1) = 1
- R(ab) ≤ R(a), R(ab) ≤ R(b)
- If e2 = e, f 2 = f, ef = fe = 0 then R(e + f ) = R(e) + R(f ).
Sources and credits
This article is adapted from the Wikipedia article “Rank ring”, written by its contributors and licensed under CC BY-SA 4.0. Fathomly has changed the layout, removed citation markers, navigation and maintenance notices, and adjusted punctuation. This adapted version is shared under the same license. For references, see the original article.
Fathomly is not affiliated with or endorsed by the Wikimedia Foundation. Spotted a problem? Tell us.