MathDB
How big do the matrices have to be to satisfy the properties

Source: IMC 2007 Day 2 Problem 5

August 7, 2007
inequalitiesinductionvectorabstract algebrainvariantalgebrapolynomial

Problem Statement

For each positive integer k k, find the smallest number nk n_{k} for which there exist real nk×nk n_{k}\times n_{k} matrices A1,A2,,Ak A_{1}, A_{2}, \ldots, A_{k} such that all of the following conditions hold: (1) A12=A22==Ak2=0 A_{1}^{2}= A_{2}^{2}= \ldots = A_{k}^{2}= 0, (2) AiAj=AjAi A_{i}A_{j}= A_{j}A_{i} for all 1i,jk 1 \le i, j \le k, and (3) A1A2Ak0 A_{1}A_{2}\ldots A_{k}\ne 0.