Matrix invertible extensions over commutative rings. Part I: general theory | Synapse