Exchange rings, units and idempotents | Synapse