AG-groups as parallelogram spaces

Abstract

It is known that an AG-group is paramedial and a paramedial is a parallelogram space. From which it follows that an AG-group is a parallelogram space. In this paper we give a direct proof of this fact and study it further. Our main result is that the parallelogram space of an AG-group is again an AG-group, which particularly implies that the parallelogram space for an Abelian group is also an Abelian group. We then generalise this result to medial quasigroups. Finally, we provide some quick methods of finding the other vertices of this parallelogram if at least one nontrivial vertex is known.