Assertion: matrix's entry | /r/PartOf | a commutative ring
Facets:
Source sentences:
text: In the common case where the entries belong to a commutative ring r, a matrix has an inverse if and only if its determinant has a multiplicative inverse in r.