No label defined (Q4037261)

If \(A\) is a \(K\)-algebra with unity, satisfying property PIG (i.e.: if \(L_a\) is invertible, then there exists \(b\) in \(A\) such that \(L_a^{-1}=L_b\)), then \(A\) is a left Moufang algebra (i.e.: \(L_x^2=L_{x^2}\) and \(L_x L_y L_x=L_{x(yx)}\) for all \(x\) in \(A\)) in each of the following cases: 1) \(A\) is of finite dimension, 2) \(A\) has a complete norm with \(K=\mathbb{R}\) or \(\mathbb{C}\). If \(A\) has property PI (i.e.: if \(L_a\) and \(R_a\) are invertible, then there exists \(b\) in \(A\) such that \(L_a^{-1}=L_b\) and \(R_a^{-1}=R_b\)), then \(A\) is alternative in each of the two cases, described in the preceding theorem. Finally, if \(A\) is commutative and has property PIQ (i.e.: if \(U_a=2R_a^2 - R_{a^2}\) is invertible, then there exists \(b\) in \(A\) such that \(U_a^{-1}=U_b\) and \(R_b=U_a^{-1} R_a\)), then \(A\) is a Jordan algebra in each of the following cases: 1) \(A\) is of finite dimension and \(K\) has characteristic \(\neq 2,3\) and 2) \(A\) has a complete norm and \(K=\mathbb{R}\) or \(\mathbb{C}\). [For the entire collection see Zbl 0755.00013.]