1
$\begingroup$

In this article Wikipedia defines invertibility for square matrices over commutative rings as follows:

...in the case of the ring being commutative, the condition for a square matrix to be invertible is that its determinant is invertible in the ring

But for non-commutative rings, it does not offer a definition:

For a noncommutative ring, the usual determinant is not defined. The conditions for existence of left-inverse or right-inverse are more complicated, since a notion of rank does not exist over rings.

I was wondering what that definition is. Can anyone help me find it?

$\endgroup$
1
  • 3
    $\begingroup$ For commutative rings, there is an easy criterion between invertibility and the determinant. For noncommutative rings the same criterion is not available. It does not mean the definition of invertible is different. $\endgroup$
    – rschwieb
    Nov 18, 2022 at 13:25

1 Answer 1

2
$\begingroup$

It seems like they (justly) don't define invertible matrices by the determinant, but instead by the relation $AB = BA = I$, which is the good notion of invertibility when looking at matrices as a ring.
That is, the condition with the determinant shouldn't be seen as a definition but as a theorem/proposition.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .