中文

局部小范畴中的夹心半群 II:变换

群论 2018-01-11 v3 范畴论 环与代数

摘要

固定集合 XXYY,并记 PTXY\mathcal{PT}_{XY} 为所有部分函数 XYX\to Y 的集合。固定一个部分函数 a:YXa:Y\to X,并在 PTXY\mathcal{PT}_{XY} 上通过 fag=fagf\star_a g=fag(对 f,gPTXYf,g\in\mathcal{PT}_{XY})定义运算 a\star_a。夹心半群 (PTXY,a)(\mathcal{PT}_{XY},\star_a) 记为 PTXYa\mathcal{PT}_{XY}^a。我们应用第一部分的一般结果来彻底描述 PTXYa\mathcal{PT}_{XY}^a 的结构和组合性质,以及其正则和幂等元生成子半群 Reg(PTXYa)(\mathcal{PT}_{XY}^a)E(PTXYa)\mathbb E(\mathcal{PT}_{XY}^a)。在描述了正则性、稳定性和 Green 关系及预序之后,我们将 Reg(PTXYa)(\mathcal{PT}_{XY}^a) 展示为(非夹心)部分变换半群 PTX\mathcal{PT}_XPTY\mathcal{PT}_Y 的某些正则子半群的拉回积,并作为一种 PTA\mathcal{PT}_A 的“膨胀”,其中 AA 是夹心元 aa 的像。我们还计算了 PTXYa\mathcal{PT}_{XY}^a、Reg(PTXYa)(\mathcal{PT}_{XY}^a)E(PTXYa)\mathbb E(\mathcal{PT}_{XY}^a) 的秩(生成集的最小规模),并在适当情况下计算了幂等元秩(幂等元生成集的最小规模)。同样的程序也对全定义函数和单射部分函数的夹心半群进行了。对于具有受限像、域和/或核的各种(非夹心)(部分)变换半群,得到了若干推论。

关键词

引用

@article{arxiv.1710.01891,
  title  = {Sandwich semigroups in locally small categories II: Transformations},
  author = {Igor Dolinka and Ivana Ðurđev and James East and Preeyanuch Honyam and Kritsada Sangkhanan and Jintana Sanwong and Worachead Sommanee},
  journal= {arXiv preprint arXiv:1710.01891},
  year   = {2018}
}

备注

35 pages, 11 figures, 1 table. V2: updated according to referee report, expanded abstract, to appear in Algebra Universalis