How to check for a projective space?

75 Views Asked by At

From a notes of Harvard (Foundations of Projective Geometry)

When I have a division ring commutative its pretty straight forward! But when its not commutative then I'm stuck, it's possible that in this case its not a projective plane?

Can someone give a counterexample?

This are the axioms