Two theorems on direct products of gyrogroups

Abstract

<abstract><p>We extend two standard theorems on groups to gyrogroups: the direct product theorem and the cancellation theorem for direct products. Firstly, we prove that under a certain condition a gyrogroup $ G $ can be decomposed as the direct product of two subgyrogroups. Secondly, we prove that finite gyrogroups can be cancelled in direct products: if $ A\cong B $, then $ A\times H\cong B\times K $ or $ H\times A\cong K\times B $ implies $ H\cong K $, where $ A, B, H, $ and $ K $ are finite gyrogroups.</p></abstract>