Does Gaussian elimination work on unitary commutative rings with zero divisors?
If so, what is the correct way to use it? Clearly, it is not possible to rely on division because zero divisors are not invertible. (And since we are talking about a general ring, not all elements are invertible anyways.) But is it OK to multiply a row by a zero divisor?