idempotent element in a ring