Equivalence of Projections in Involutive Rings

Let be a ring with involution , that is, . An element is called a projection if it is self-adjoint () and idempotent (). The projections and are said to be equivalent, written , when exists such that and . Projections are algebraically equivalent if there exist and such that and .
Let be the involutive ring of matrices over , the field of three elements, with the matrix transpose as involution. The set of all projections in is where
, .
This Demonstration shows that and are algebraically equivalent, but not equivalent. In this case, the system of equations and has 10 solutions, but not one of them is of the form .


  • [Snapshot]
  • [Snapshot]
  • [Snapshot]


This example and definitions were taken from [1, pp. 3–10].
[1] S. K. Berberian, Baer *-Rings, New York: Springer-Verlag 1972.
[2] I. Kaplansky, Rings of Operators, New York: W. A. Benjamin, 1968.
    • Share:

Embed Interactive Demonstration New!

Just copy and paste this snippet of JavaScript code into your website or blog to put the live Demonstration on your site. More details »

Files require Wolfram CDF Player or Mathematica.