话题
搜索

配对Groupoid


给定任意集合B类,关联的对广群是集合B×B带着地图α(a,b)=aβ(a,b)=b、和乘法(a,b)·(b,c)=(a,c)反之亦然(a,b)^(-1)=(b,a)。的左右标识元素(a,b)在G中λ_((a,b))=(a,a)ρ((a,b))=(b,b),很容易检查。

任何等价关系都定义子群E类对广群的B×B,使用(a,b)在E中当且仅当a~b.的轨道E类然后是等价类。

给定任意广群G公司结束B类,地图α×β:G->B×B是群胚的一个态射。


另请参见

团块,一对

此条目由贡献詹姆斯蒙塔尔迪

与Wolfram一起探索| Alpha

新型网络搜索引擎

更多需要尝试的事情:

工具书类

群胚:统一内外对称不是。阿默尔。数学。Soc公司。 43, 744-752, 1996.

引用的关于Wolfram | Alpha

配对Groupoid

引用如下:

詹姆斯·蒙塔尔迪。“配对Groupoid。”来自数学世界--Wolfram Web资源,创建人埃里克韦斯特因.https://mathworld.wolfram.com/PairGroupoid.html

主题分类