On the embedding of analytic Moufang loops in alternative algebras (Q5951110)

\textit{A. I. Mal'cev} [Mat. Sb., N. Ser. 36(78), 569-576 (1955; Zbl 0065.00702)] and \textit{E. N. Kuz'min} [Algebra Logika 10, 3-22 (1971; Zbl 0244.17019)] established a relationship between local analytic Moufang loops and the finite-dimensional Mal'tsev algebras over the field of real numbers; this relationship is similar to the classical correspondence between local Lie groups and Lie algebras. \textit{F. S. Kerdman} [Algebra Logic 18, 325-347 (1980); translation from Algebra Logika 18, 523-555 (1979; Zbl 0457.22002)] showed that these results can be extended to analytic Moufang loops. In the paper under review, the author establishes a relationship between analytic Moufang loops and the loops of invertible elements of an alternative algebra over the field of real numbers. Namely, he proves that a Moufang loop \(G\) can be embedded into a loop of invertible elements of an alternative algebra if and only if it has a faithful representation.