In abstract algebra, Kaplansky's theorem on projective modules, first proven by Irving Kaplansky, states that a projective module over a local ring is free; where a not-necessary-commutative ring is called "local" if for each element "x", either "x" or 1 − "x" is a unit element.