On polynomials in two projections

Abstract

Conditions are established on a polynomial f in two variables under which the
equality f(P₁, P₂) = 0 for two orthogonal projections P₁, P₂ is possible only if P₁ and P₂ commute.