Gyrogroups were discovered by Ungar in modelling the Einstein velocity addition rule in relativity. Have they been shown to be useful elsewhere in mathematics (or mathematical physics)?

$\begingroup$ The link with definition of gyrogroup is quite poor: axiom 1 says "there exists at least one element 0 such that...", and axiom 2 refers to 0. Either 0 is part of the data — i.e., is a constant, aka 0ary law— (and it should be said), or it's not, and it should be corrected as well. $\endgroup$– YCorMay 10 at 14:51
Gyrogroups have been used in the theory of signal processing:
M. Ferreira, Spherical continuous wavelet transforms arising from sections of the Lorentz group. [publishers version]

$\begingroup$ I understand the distaste for Elsevier, but I think that the "paywall version" is not literally paywalled—it seems that I can access it freely, from offcampus. $\endgroup$– LSpiceMay 10 at 14:21

1$\begingroup$ you are right, I will remove that notice, thanks. $\endgroup$ May 10 at 14:42
Gyrocommutative gyrogroups were independently introduced by Bruck, and are now called Bruck loops or Kloops in the quasigroup literature. He presumably invented them for some reason, but I couldn't find out a quick answer why.
Bruck loops do arise naturally in the study of sharply 3transitive groups. You can associate a generalized ring, known as a neardomain, to every sharply 3transitive group. The addition operation is then a Bruck loop. Kiechle has some slides, Is every Neardomain a Nearfield?, that mention the connection. In the finite case, the additive loop of a neardomain is forced to be an abelian group operation, but recently Rips, Segev, and Tent have shown that there are infinitely many infinite examples. See Tent  Infinite sharply multiply transitive groups for more.

$\begingroup$ I guess Bruck introduced the eponymous loops in Contributions to the theory of loops? $\endgroup$– LSpiceMay 10 at 14:25

$\begingroup$ @LSpice I didn't see it there, though the paper is very long (110 pages) so I might have missed it. The closest I came to seeing it is in II.2, but that's about Moufang loops. $\endgroup$– arsmathMay 10 at 19:14

$\begingroup$ Not based on my knowledge of Bruck loops; I did a MathSciNet search for "Bruck loop" and followed what I thought (missed the 2nd page) was the oldest result, which says to see Robinson  Bol loops. I thought that the paper I linked was the only Bruck reference there, but once again I seem to have missed more. Anyway, it was a longwinded way of doing my part before asking you for the ref. 😁 $\endgroup$– LSpiceMay 10 at 20:11

1$\begingroup$ @LSpice I looked at the Robinson paper, and he gives an example of a Bruck loop (example 2.2), and refers to his Ph.D. thesis for more examples (right after Theorem 2.8). He doesn't name them, though. Maybe someone later named them in honor of Bruck, without a supertight connection? $\endgroup$– arsmathMay 11 at 7:56