English edit

Etymology edit

gyro- +‎ addition

Noun edit

gyroaddition (plural gyroadditions)

  1. (mathematics) A gyrovector space addition.
    • 2016, Teerapong Suksumran, “Gyrogroup actions: A generalization of group actions”, in arXiv[1]:
      From this we prove the structure theorem that every transitive action of a gyrogroup can be realized as a gyrogroup action by left gyroaddition.