Modular loop algebras of R. A. loops (Q1897807)

This paper deals with the so-called isomorphism problem: Given a ring \(R\) and two R. A. loops \(L_1\) and \(L_2\) when will the isomorphism \(RL_1\cong RL_2\) imply that \(L_1\cong L_2\)? This problem was studied by E. G. Goodaire, C. Polcino Milies, G. Leal and L. G. X. de Barros when \(R=\mathbb{Z}\), \(R=\mathbb{Q}\) and when \(R\) is a field whose characteristic does not divide the order of \(L\). Now, the authors consider the same problem for modular loop algebras. The main result is the following: Let \(F\) be a field with \(\text{char}(F)=p\neq 2\), \(L_1=M_1\times A_p\times A_{p'}\), \(L_2=M_2\times B_p\times B_{p'}\) be two R. A. loops, where \(M_1\), \(M_2\) are 2-loops; \(A_p\), \(B_p\) are abelian \(p\)-groups; \(A_{p'}\), \(B_{p'}\) are abelian groups of odd order not divisible by \(p\) and let \(FL_1\cong FL_2\). Then \(FM_1\cong FM_2\), \(FA_{p'}\cong FB_{p'}\) and \(A_p\cong B_p\).