×

关于一类特殊的拟群。 (英语) Zbl 0854.05015号

本文证明了块大小为5的任何Steiner系统(S(2,5,v))(即任何一对\(v)点正好位于一个公共块中,并且每个块有五个点的块设计)等价于某种类型的幂等拟群,作者称之为5-SQG\((v)\)。这里SQG代表Stein拟群,这意味着一个满足恒等式\(x(xy)=yx \)的拟群(特别是Stein拟组是幂等的),5表示进一步的限制,即任何一对不同的元素生成一个由五个元素组成的子拟群。作者提出了五个恒等式,并证明了满足这五个恒等式的任何二元运算(群胚)都必然是5-SQG((v))。(特别是恒等式意味着二元运算形成一个拟群,即其运算表的每一行精确地包含每个元素一次。)然后证明了这种拟群与Steiner系统(S(2,5,v))之间的等价性。作者讨论了将Steiner系统的已知性质转换为相应拟群的性质,并给出了一个例子。本文最后指出了如何使用类似的方法将与Steiner系统相对应的拟群公理化,该系统具有除5以外的其他块大小。

MSC公司:

05年05月 方块设计的组合方面
20号05 环,拟群

软件:

SQG公司
PDF格式BibTeX公司 XML格式引用