크로네커 곱

환 ${\displaystyle R}$ 위의 ${\displaystyle m\times n}$ 행렬 ${\displaystyle M}$ 과 ${\displaystyle p\times q}$ 행렬 ${\displaystyle N}$ 이 주어졌다고 하자.

${\displaystyle M={\begin{pmatrix}M_{11}&\dotsm &M_{1n}\\\vdots &&\vdots \\M_{m1}&\dotsm &M_{mn}\end{pmatrix}}\in \operatorname {Mat} (m,n;R)}$

${\displaystyle N={\begin{pmatrix}N_{11}&\dotsm &N_{1q}\\\vdots &&\vdots \\N_{p1}&\dotsm &N_{pq}\end{pmatrix}}\in \operatorname {Mat} (p,q;R)}$

그렇다면, ${\displaystyle M}$ 과 ${\displaystyle N}$ 의 크로네커 곱

${\displaystyle M\otimes N\in \operatorname {Mat} (mp,nq;R)}$

은 다음과 같은 성분을 갖는 ${\displaystyle mp\times nq}$ 행렬이다.

${\displaystyle M\otimes N={\begin{pmatrix}M_{11}N&\dotsm &M_{1n}N\\\vdots &&\vdots \\M_{m1}N&\dotsm &M_{mn}N\end{pmatrix}}}$

즉,

${\displaystyle (M\otimes N)_{(a-1)p+i,(b-1)q+j}=M_{ab}N_{ij}}$

이다.

임의의 환 ${\displaystyle R}$ 계수의 행렬들의 크로네커 곱은 다음을 만족시킨다.

${\displaystyle 1_{1\times 1}\otimes A=A\otimes 1_{1\times 1}=A}$

${\displaystyle A\otimes (B+C)=A\otimes B+A\otimes C}$

${\displaystyle (A+B)\otimes C=A\otimes C+B\otimes C}$

${\displaystyle (A\otimes B)\otimes C=A\otimes (B\otimes C)}$

${\displaystyle (A\otimes B)^{\top }=A^{\top }\otimes B^{\top }}$

만약 ${\displaystyle R}$ 가 추가로 가환환일 때, 행렬식을 정의할 수 있으며, 다음이 성립한다.

${\displaystyle \det(A\otimes B)=(\det A)^{n}(\det B)^{m}\qquad (A\in \operatorname {Mat} (m,m;R),\;B\in \operatorname {Mat} (n,n;R)}$

${\displaystyle (A\otimes B)(C\otimes D)=(AC)\otimes (BD)\qquad (A\in \operatorname {Mat} (m,n;R),\;B\in \operatorname {Mat} (m',n';R),\;C\in \operatorname {Mat} (n,p;R),\;D\in \operatorname {Mat} (n',p';R))}$

레오폴트 크로네커(1823~1891)의 이름을 땄다. 그러나 이름과 달리 요한 게오르크 체푸스(독일어: Johann Georg Zehfuss, 1832~1901)가 1858년에 최초로 사용하였다.^[1][2]

• 아다마르 곱

• “Tensor product”. 《Encyclopedia of Mathematics》 (영어). Springer-Verlag. 2001. ISBN 978-1-55608-010-4. 
• Weisstein, Eric Wolfgang. “Kronecker product”. 《Wolfram MathWorld》 (영어). Wolfram Research.