Finitely generated commutative division semirings
In Kepka T., Kinyon M.K., Phillips J.D., The structure of F-quasigroups, J. Algebra 317 (2007), 435–461, we showed that every F-quasigroup is linear over a special kind of Moufang loop called an NK-loop. Here we extend this relationship by showing an equivalence between the class of (pointed) F-quasigroups and the class corresponding to a certain notion of generalized module (with noncommutative, nonassociative addition) for an associative ring.
In Kepka T., Kinyon M.K., Phillips J.D., The structure of F-quasigroups, math.GR/0510298, we showed that every loop isotopic to an F-quasigroup is a Moufang loop. Here we characterize, via two simple identities, the class of F-quasigroups which are isotopic to groups. We call these quasigroups FG-quasigroups. We show that FG-quasigroups are linear over groups. We then use this fact to describe their structure. This gives us, for instance, a complete description of the simple FG-quasigroups. Finally,...
We prove that the set of all n-ary endomorphisms of an abelian m-ary group forms an (m,n)-ring.
The idempotent semirings for which Green’s -relation on the multiplicative reduct is a congruence relation form a subvariety of the variety of all idempotent semirings. This variety contains the variety consisting of all the idempotent semirings which do not contain a two-element monobisemilattice as a subsemiring. Various characterizations will be given for the idempotent semirings for which the -relation on the multiplicative reduct is the least lattice congruence.