给定任意集合,关联的对广群是集合带着地图和、和乘法反之亦然。的左右标识元素是和,很容易检查。
任何等价关系都定义子群对群的,带有当且仅当.的轨道然后是等价类。
给定任意广群结束,地图是群胚的一个态射。
此条目由贡献詹姆斯蒙塔尔迪
更多需要尝试的事情:
詹姆斯·蒙塔尔迪。“配对Groupoid。”来自数学世界--Wolfram Web资源,创建人埃里克韦斯特因.https://mathworld.wolfram.com/PairGroupoid.html