For any ringπ there exists a group of unitsπ Γ or multiplicative group under ring multiplication, ring
containing all units.
This is clearly a group since it contains the multiplicative identity, is associative, and every element has an inverse.
Properties
For a division ringπ , the multiplicative group π Γ=π β{0} as a set