Infinite homogeneous algebras are anticommutative (Q4257646)

A nonassociative algebra \(A\) over a field \(k\) is homogeneous if its automorphism group acts transitively on the set of one-dimensional subspaces in \(A\). The study of these algebras is inspired by some problems in classification of finite \(p\)-groups. Finite dimensional homogeneous algebras were studied by the authors, F. Groves, A. I. Kostrikin and the reviewer. The classification of these algebras over a finite field was completed by \textit{D. Ivanov} [Mosc. Univ. Math. Bull. 37, No. 2, 89-92 (1982); translation from Vestn. Mosk. Univ., Ser. I 1982, No. 2, 69-72 (1982; Zbl 0494.17013)]. It is shown that if \(A^2\neq 0\), then \(k=\mathbb F_2\) and the algebra \(A\) as a vector space over \(\mathbb F_2\) can be identified with the field \(\mathbb F_{2^n}\) in such a way that the multiplication \(x\cdot y\) is given in terms of the multiplication in \(\mathbb F_{2^n}\), namely, \(x\cdot y=\mu(xy)^{2^{n-1}}\), where \(\mu\in \mathbb F_{2^n}^*\). The main result of the present paper states that if \(A\) is a finite dimensional homogeneous algebra over an infinite field \(k\) and \(A^2\neq 0\), then \(x^2=0\) for all \(x\in A\).