On the Additive Complexity of 2 x 2 Matrix Multiplication

Abstract Probert proved that 15 additive operations are necessary and sufficient to multiply two 2 × 2 matrices over the binary field by a bilinear algorithm using 7 non-scalar multiplications. We prove this result for an arbitrary field.