On the extension problem for gyrogroups (Q7022306)

A gyrogroup consists of one non-empty set, together with one binary operation, that satisfies some axioms similar to groups. In general, the operation of a generic gyrogroup is not associative. However, it satisfies a weaker form of associativity, the so-called gyroassociative law. In this paper, the author introduces two disjoint families of gyrogroups. One family consists of gyrogroups whose operations are farthest from being associative, which are called contra-associative gyrogroups. The other family consists of gyrogroups that are closest to groups, which are called \(g\)-extensive gyrogroups. \N\NThe author describes their structural properties, which eventually lead to studying the extension problem for gyrogroups in detail using the notion of associators. In particular, he refines the hierarchy of gyrogroup structure by showing that generic gyrogroups are extensions of contra-associative gyrogroups or gextensive gyrogroups. More precisely, he shows that a certain gyrogroup of order \(8\) can be constructed from the Klein \(4\)-group and the cyclic group of order \(2\) and that a certain gyrogroup of order \(15\) can be constructed from the cyclic groups of order \(3\) and order \(5\) as an application of the obtained results.