On balanced systems of idempotents

D. N. Ivanov

Sbornik. Mathematics, Tome 192 (2001) no. 4, pp. 551-564

Résumé

By definition, a balanced basis of an associative semisimple finite-dimensional algebra over the field of complex numbers $\mathbb C$ is a system of idempotents $\{e_i\}$ such that it forms a linear basis and the $\operatorname{Tr}e_i$ and $\operatorname{Tr}e_ie_j$ are independent of $i$, $j$, $i\ne j$, where $\operatorname{Tr}$ is the trace of the regular representation of the algebra. In the present paper balanced bases are constructed in the matrix algebra $\mathrm M_{p^n}(\mathbb C)$, where $p$ is an odd prime. For matrix algebras such bases have so far been known only in the cases $\mathrm M_2(\mathbb C)$ and $\mathrm M_3(\mathbb C)$. It is proved that there are no balanced bases of certain ranks having a regular elementary Abelian 2-group of automorphisms in the algebras $\mathrm M_{2^n}(\mathbb C)$, $n>1$. In addition, the balanced 1-systems of $n+1$ idempotents of rank $r$ in the algebra $\mathrm M_{rn}(\mathbb C)$ are classified.

Bibliographie

[1] Ivanov D. N., “Ortogonalnye razlozheniya assotsiativnykh algebr i sbalansirovannye sistemy idempotentov”, Matem. sb., 189:12 (1998), 83–102 | MR | Zbl

[2] Ivanov D. N., “Sbalansirovannye sistemy iz primitivnykh idempotentov v algebrakh matrits”, Matem. sb., 191:4 (2000), 67–90 | MR | Zbl

[3] Kholl M., Kombinatorika, Mir, M., 1970 | MR

[4] Kostrikin A. I., Kostrikin I. A., Ufnarovskii V. A., “Ortogonalnye razlozheniya prostykh algebr Li (tip $A_n$)”, Tr. MIAN, 158, Nauka, M., 1981, 105–120 | MR | Zbl

[5] Conway J. H., Curtis R. T., Norton S. P., Parker R. A., Wilson R. A., Atlas of finite groups, Clarendon Press, Oxford, 1985 | MR | Zbl

[6] Suprunenko D. A., Gruppy matrits, Nauka, M., 1979 | MR

[7] Kostrikin A. I., Pham Huu Tiep, Orthogonal decompositions and integral lattices, Walter de Gruyter, Berlin, 1994 | MR

[8] Borevich Z. I., Shafarevich I. R., Teoriya chisel, Nauka, M., 1972 | MR