Witt's Cancellation Theorem
Let (V, q), (V1, q1), (V2, q2) be three quadratic spaces over a field k. Assume that
Then the quadratic spaces (V1, q1) and (V2, q2) are isometric:
In other words, the direct summand (V, q) appearing in both sides of an isomorphism between quadratic spaces may be "cancelled".
Read more about this topic: Witt's Theorem
Famous quotes containing the word theorem:
“To insure the adoration of a theorem for any length of time, faith is not enough, a police force is needed as well.”
—Albert Camus (19131960)