有限变换的指数和周期的图示求法.pdfVIP

第2O卷 第4期 青 岛大学学报 (自然科学版 ) VO1．2o NO．4 2 0 0 7年 1 2月 JOURNAL OF QINGDAO UNIVERSITY(Natural Science Edition) Dec．2 0 0 7 文章编号：1006—1037(2007)04—0036—05 有限变换的指数和周期的图示求法 任 燕 (青海师范大学数学与信息科学系，青海西宁810008) 摘要：对X一{1，2，3，…， }上任一有限变换a，首先叙述并证明了a的指数和周期与其 分解式中最简变换的指数和周期的关系。然后，证明了a的有向图I1(a)可能是非连通的， I1(a)的连通分支 是一个等价类， 有非空核K( )，且K( )是 的唯一循环圈的顶点 构成的集合。最后，证明了连通分支和最简变换是一一对应的，实现了利用I1(a)计算a的 指数和周期的目标。 关键词：有限变换；指数；周期；有向图 中图分类号：O152．7 文献标识码：A 在半群理论中，计算有限变换的指数和周期是非常基础的工作。当集合X一{1，2，3，…， }的 很大 时，X上的变换(X到自身的映射)的指数和周期也很大并且难以求出，但是X上有限变换的有向图形象、直 观，而且可以利用有向图简化指数和周期的计算。本文就是利用有限变换的有向图来求其指数和周期。 1 预备知识 定义1 设X，y是两个集合，如果有一个法则 ，它对于X中的每个元素z，在y中都有一个唯一确定 的元素 与它对应，则称 为集合X到集合y的一个映射，这种关系常表示为 ：z—Y或Y一 。 定义2 集合X到自身的映射，叫做集合X的一个变换。集合X若为有限集，那么其上的变换称为有限 变换。若X一{1，2，3，…， }，那么X上的变换a可记为 “)，其中 ∈{1，2，3，…， }， i一1，2，3，…， 。若ta一￡且￡硭 ( 是变换a的值域)，则 “l可记为 ( === 二 j ===三)，如此继续下去，直到得到最简记法a—l il Z 2 === j， 记doma一 {i1，i2，…，i }。 定义3 设X是一个集合，用T(X)表示X上全体变换的集合，任取 ，r∈T(X)，则对X中任意元素 z，规定．TnYr=(xa)r，显然 也是X的一个变换，记 ∈T(X)。 定义4 非空集合S上若有二元运算 (是指映射 ：S×S—S即(z， )一(z， ) )，则称S为群胚。 定义5 若群胚S上的二元运算 满足结合律((z， ) ， ) 一(z，( ， ) ) (Vz，Y， ∈S)，则称(S， )是一个半群。 定义6 设(S， )是半群，T S，T≠ ，若(T， )是半群，则称T是S的子半群。 定义7 设S是一个半群，A S，A≠ ，所有包含A的S的子半群的交非空(S本身就是包含A的子 半群)。这个子半群是包含A的最小子半群，记为A，称为A生成的子半群。 收稿日期：2007—03—28 作者简介：任燕(1983一)，女，硕士研究生，主要从事半群理论研究。 第4期 任燕：有限变换的指数和周期的图示求法 37 定义8 若A一{a}，则记A一口一{a，a ，a。，…}，称之为a生成的S的单演子半群。 定义9 如果在a生成的S的单演子半群a一{a，a ，a。，…}的a，a ，a。，…中有重复元素，即 {z∈N：(] ∈N)a 一a ，z≠ }≠ 且这个集合里有最小元 ，叫这个 为元素a的指数。则 {z∈N：n 一a }≠ 这个集合的最小元r叫做a的周期。 定义10 如果变换a不能再进行分解，则称a为最简变换，所谓分解是指变换a可以写成若干个互不相 交的变换al，a2，…，∞的乘积，其中变换a 和a，互不相交是指a 和a，的doma 和doma，满足dom