Polygroups derived from cogroups (Q795934)

Among the different generalizations of a group obtained by replacing the ordinary binary operation by a multivalued one, the author considers the notions of polygroup and cogroup. If G is an (ordinary) group and H a subgroup of G, the canonical example of a cogroup is the set \(G/H=<\{Hg:\quad g\in G\},.,^{-1},H>\) of all right cosets of G modulo H, where \((Hg)\cdot(Hk)=\{Hghk:\quad h\in H\}\) and \((Hg)^{-1}=\{Hg^{- 1}h:\quad h\in H\}.\) The canonical example of a polygroup is the set \(G//H=<\{HgH:\quad g\in G\},.,H,^{-1}>\) of all double cosets of G modulo H, where \((HgH)\cdot(Hg'H)=<Hghg'H:\quad h\in H>\) and \((HgH)^{- 1}=Hg^{-1}H.\) The author then looks for ways to construct polygroups from arbitrary cogroups.