Groups of nilpotency class $3$ of order $p^4$ as additive groups of local nearrings
https://doi.org/10.15330/cmp.17.1.292-301
Keywords:
local nearring, $p$-group, nilpotency class $3$Abstract
A nearring is a generalization of the notion of a ring in the sense that the addition needs not to be commutative and only one distributive law is assumed. A nearing with identity is called local if the set of all non-invertible elements forms a subgroup of its additive group. However, it is not true that any finite group is an additive group of a nearring with identity. Therefore the determination of the non-abelian finite $p$-groups, which are an additive groups of local nearrings, is an open problem.
We consider groups of nilpotency class $3$ of order $p^4$, which are the additive groups of local nearrings. It is shown that for $p>3$ there exists a local nearring on one of four such groups. Using the well-known system of computer algebra GAP, we construct examples of local nearrings with the specified properties.