Soient deux matrices A, de format (m, n) et B, de format (p, q) :
A = [ai,j ] i = 1, .., m et B = [bk,l ] k = 1, .., p j = 1, .., n l = 1, .., q Le produit de Kronecker A ⊗ B est la matrice définie par : a11 B a12 B .. a1n B a21 B a22 B .. a2n B A⊗B = .. , de format (mp, nq) : : . : am1 B am2 B .. amn B • Le produit n’est pas commutatif, mais il est distributif par rapport à l’addition des matrices 0 ⊗ B = 0, A ⊗ 0 = 0 A ⊗ (B + C) = A ⊗ B + A ⊗ C (A + B) ⊗ C = A ⊗ C + B ⊗ C • pour tous réels a et b : (aA) ⊗ (bB) = ab (A ⊗ B) • Si les formats sont compatibles : (A ⊗ C) (B ⊗ D) = (AB ⊗ CD) • Le transposé : (A ⊗ B)0 = (A0 ⊗ B 0 ) • Si A et B sont carrées, A ⊗ B l’est aussi et sa trace est tr (A ⊗ B) = trA.trB • Si A et B sont inversibles, A ⊗ B l’est aussi : −1 ¡ ¢ (A ⊗ B) = A−1 ⊗ B −1 • Si A est de format (m, m) et B est de format (p, p), A ⊗ B est de format (mp, mp) et son déterminant est det (A ⊗ B) = (det A)p (det B)m