Idempotent_element_(ring_theory) loading ...