Elementary matrix of the first kind

From Groupprops

Definition

Let be a unital ring and be a natural number. For with and , the elementary matrix of the first kind is defined as the matrix with on the diagonal, in the entry, and zeroes elsewhere.

An elementary matrix of the first kind is usually simply termed an elementary matrix, and is also termed a shear matrix.

Facts

Row and column operations

Multiplying a matrix on the left by a elementary matrix corresponds to the row operation . Such a row operation is termed an elementary row operation.

Multiplying a matrix on the right by a elementary matrix corresponds to the column operation . Such a column operation is termed an elementary column operation.

Invertibility and determinant

For and for , we have:

.

From this, we can deduce that the map:

given by:

lands inside the group of units of , and gives an injective homomorphism from the additive group of to .

Further, when is a commutative unital ring, the determinant of is , so .

In fact, we have: