We extend well-known results in group theory to gyrogroups, especially the
isomorphism theorems. We prove that an arbitrary gyrogroup $G$ induces the
gyrogroup structure on the symmetric group of $G$ so that Cayley's Theorem is
obtained. Introducing the notion of L-subgyrogroups, we show that an
L-subgyrogroup partitions $G$ into left cosets. Consequently, if $H$ is an
L-subgyrogroup of a finite gyrogroup $G$, then the order of $H$ divides the
order of $G$
Using the Clifford algebra formalism, we show that the unit ball of a real inner product space equipped with Einstein addition forms a uniquely 2-divisible gyrocommutative gyrogroup or a B-loop in the loop literature. One notable result is a compact formula for Einstein addition in terms of Möbius addition. In the second part of this paper, we show that the symmetric group of a gyrogroup admits the gyrogroup structure, thus obtaining an analog of Cayley's theorem for gyrogroups. We examine subgyrogroups, gyrogroup homomorphisms, normal subgyrogroups, and quotient gyrogroups and prove the isomorphism theorems. We prove a version of Lagrange's theorem for gyrogroups and use this result to prove that gyrogroups of particular order have the Cauchy property.
This article explores the novel notion of gyrogroup actions, which is a natural generalization of the usual notion of group actions. As a first step toward the study of gyrogroup actions from the algebraic viewpoint, we prove three well-known theorems in group theory for gyrogroups: the orbit-stabilizer theorem, the orbit decomposition theorem, and the Burnside lemma (or the Cauchy-Frobenius lemma). We then prove that under a certain condition, a gyrogroup G acts transitively on the set G/H of left cosets of a subgyrogroup H in G in a natural way. From this we prove the structure theorem that every transitive action of a gyrogroup can be realized as a gyrogroup action by left gyroaddition. We also exhibit concrete examples of gyrogroup actions from the Möbius and Einstein gyrogroups.
In this article, we prove an orthogonal decomposition theorem for real inner product gyrogroups, which unify some well-known gyrogroups in the literature: Einstein, Möbius, Proper Velocity, and Chen’s gyrogroups. This leads to the study of left (right) coset partition of a real inner product gyrogroup induced from a subgyrogroup that is a finite dimensional subspace. As a result, we obtain gyroprojectors onto the subgyrogroup and its orthogonal complement. We construct also quotient spaces and prove an associated isomorphism theorem. The left (right) cosets are characterized using gyrolines (cogyrolines) together with automorphisms of the subgyrogroup. With the algebraic structure of the decompositions, we study fiber bundles and sections inherited by the gyroprojectors. Finally, the general theory is exemplified for the aforementioned gyrogroups.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.