어떤 invertible square matrix A∈Matn(F)에 대하여 AB=I인 행렬 B가 존재한다. B의 column 1, column 2... 를 B(1),B(2),⋯로 두자.
A×[B(1)B(2)⋯B(n)]=⎡⎢
⎢
⎢
⎢
⎢
⎢
⎢⎣⎡⎢
⎢
⎢
⎢
⎢
⎢
⎢⎣10⋮00⎤⎥
⎥
⎥
⎥
⎥
⎥
⎥⎦⎡⎢
⎢
⎢
⎢
⎢
⎢
⎢⎣01⋮00⎤⎥
⎥
⎥
⎥
⎥
⎥
⎥⎦⋯⎡⎢
⎢
⎢
⎢
⎢
⎢
⎢⎣00⋮10⎤⎥
⎥
⎥
⎥
⎥
⎥
⎥⎦⎡⎢
⎢
⎢
⎢
⎢
⎢
⎢⎣00⋮01⎤⎥
⎥
⎥
⎥
⎥
⎥
⎥⎦⎤⎥
⎥
⎥
⎥
⎥
⎥
⎥⎦
[AB(1)AB(2)⋯AB(n)]=⎡⎢
⎢
⎢
⎢
⎢
⎢
⎢⎣⎡⎢
⎢
⎢
⎢
⎢
⎢
⎢⎣10⋮00⎤⎥
⎥
⎥
⎥
⎥
⎥
⎥⎦⎡⎢
⎢
⎢
⎢
⎢
⎢
⎢⎣01⋮00⎤⎥
⎥
⎥
⎥
⎥
⎥
⎥⎦⋯⎡⎢
⎢
⎢
⎢
⎢
⎢
⎢⎣00⋮10⎤⎥
⎥
⎥
⎥
⎥
⎥
⎥⎦⎡⎢
⎢
⎢
⎢
⎢
⎢
⎢⎣00⋮01⎤⎥
⎥
⎥
⎥
⎥
⎥
⎥⎦⎤⎥
⎥
⎥
⎥
⎥
⎥
⎥⎦
Cramer's Rule을 적용해보면 B의 모든 index를 일반적으로 구할 수 있다
예를 들면
AB(1)=⎡⎢
⎢⎣1⋮0⎤⎥
⎥⎦
b11=∣∣
∣
∣
∣
∣∣1a12⋯a1n0a22⋯a2n⋮⋮⋱⋮0an2⋯ann∣∣
∣
∣
∣
∣∣det(A)=1det(A)(−1)1+1det(˜a11)
b21=∣∣
∣
∣
∣
∣∣a111⋯a1na210⋯a2n⋮⋮⋱⋮an10⋯ann∣∣
∣
∣
∣
∣∣det(A)=1det(A)(−1)1+2det(˜a12)
이 과정을 모든 b11,⋯,bnn에 반복해주면 다음과 같은 B에 대한 일반적인 결과를 얻을 수 있다.
B=det(A)−1⎡⎢
⎢
⎢⎣(−1)1+1det(˜a11)⋯(−1)n+1det(˜an1)⋮⋱⋮(−1)1+ndet(˜a1n)⋯(−1)n+ndet(˜ann)⎤⎥
⎥
⎥⎦
이 때 |A|B에 해당하는 오른쪽 행렬을 A의 adjoint, adj(A)라고 부른다.