Definition:Matrix Congruence

From ProofWiki
Jump to navigation Jump to search

This page is about Matrix Congruence. For other uses, see Congruence.

Definition

Let $R$ be a commutative ring with unity.

Let $n$ be a positive integer.

Let $\mathbf A$ and $\mathbf B$ be square matrices of order $n$ over $R$.


Then:

$\mathbf A$ and $\mathbf B$ are congruent

if and only if:

there exists an invertible matrix $\mathbf P \in R^{n \times n}$ such that $\mathbf B = \mathbf P^\intercal \mathbf A \mathbf P$

where $\mathbf P^\intercal$ denotes the transpose of $\mathbf P$.


Also see

  • Results about matrix congruence can be found here.


Sources