A characterization of binary invertible algebras linear over a group. (Q2888136)

A quasigroup \((Q,\cdot)\) is called `linear' (`alinear') if the operation \(\cdot\) is defined by \(x\cdot y=\varphi x+\psi y+a\), where \((Q,+)\) is a group, \(a\in Q\), and \(\varphi\) and \(\psi\) are automorphisms (antiautomorphisms) of \((Q,+)\). If the group is Abelian, the quasigroup is called a \(T\)-quasigroup. A binary algebra \((Q,\Sigma)\) is called `invertible', if under each of the operations of \(\Sigma\), it is a quasigroup. It is `linear' (`alinear'), if each of these quasigroups is linear (alinear) and it is a `\(T\)-algebra', if each of these quasigroups is a \(T\)-quasigroup.NEWLINENEWLINE The author characterizes the class of invertible linear (alinear) algebras and the class of invertible \(T\)-algebras by certain second-order formulae, namely by so-called \(\forall\exists(\forall)\)-identities.