几类降序变换半群的研究-基础数学专业论文.docxVIP

I万方数据 I 万方数据 中 文 摘 要 ?设[?] = {1, 2, . . . , ?}并赋予自然序, P?, ?????是[?]上的部分变换半群和奇异变换 半群, O?, PO?是[?]上的保序变换半群和部分保序变换半群. 设? ∈ P?, 若对任意? ∈ dom(?), ?? ≤ ?, 则称?是降序的. 设PS?为P? 中的所有部分降序变换之集(不含[?]上的 ? 恒等变换), 则PS?是P?的子半群, 称PS? 为部分降序变换半群. 设S?为?????中的所有 ? ? ? 降序变换之集, 则S?是?????的子半群, 称S?为降序全变换半群. 记SPS? = PS??S?, 则 ? ? ? ? ? ?称SPS?为严格降序部分变换半群. 设C?是O?中的所有降序变换之集, 则C?是O? 子半群, ? 称C?为保序且降序变换半群. 设PC?是PO?中的所有降序部分变换之集, 则PC?是PO?子 半群, 称PC?保序且降序部分变换半群. 记SPC? = PC??C?, 则称SPC?为保序且降序严格 部分变换半群. 本文主要考虑了半群S?, SPS?, SPC?的结构和性质. ? ? 本文主要结果有: ?第二章主要研究半群SPS?的秩和极大子半群: ? ?2定理2.2.7 设? ≥ 5, 则SPS? = ????1 ∪ ?△?. ? 2 ?定理2.2.13 设? ≥ 5, 则rank(SPS?) = |???1 ∪ ?△| = ?(2? ? ? 3? + 7)/6. ?定理2.3.2 设? 是半群SPS?的极大子半群, 则? 有且只有如下形式: ? ??? = SPS??{?}, ?? ∈ ???1 ∪ ?△. ? ? 推论2.3.3 半群SPS?有?(2?2 ? 3? + 7)/6个极大子半群. 第三章主要研究半群SPC?的秩和极大子半群: 2定理3.2.6 设? ≥ 5, 则SPC? = ????1 ∪ ?⊥?. 2 定理3.2.11 设? ≥ 5, 则rank(SPC?) = |???1 ∪ ?⊥| = ? ? ? + 1. 定理3.3.7 设? 是半群SPC?的极大子半群, 则? 有且只有如下形式: ? = SPC??{?}, ?? ∈ ???1 ∪ ?⊥. 推论3.3.8 半群SPC?有?2 ? ? + 1个极大子半群. ?第四章主要研究半群S?的极大子半群: ? ?定理4.2.8 设? 是半群S?的极大子半群, 则? 有且只有如下形式: ? ? = S??{?}, ?? ∈ ?(? * ). ? ??1 ?推论4.2.9 半群S?有?(? ? 1)/2个极大子半群. 口 ? 关键词: 变换半群; 降序; 极大子半群; 秩; 中图分类号: O152.7 文献标识码: A II II 万方数据 ABSTRACT Let [?] = {1, 2, . . . , ?} ordered in the standard way and let P?(?????, O?, PO?) be the semigroup of partial(singular, order-preserving, partial order-preserving)transformations ?of [?]. We say that a transformation ? ∈ P? is order-decreasing, if for all ? ∈ dom(?) implies ?? ≤ ?. Let PS? be the set of all partial order-decreasing transformations in P?, ? ?then PS? is a subsemigroup of P?, we call it the partial order-decreasing transformation ? semigroups. Let S? be the set of all order-decreasing transformations in ?????, then S? ? ? is a subsemigroup of ?????, we call it the all order-decreasing transformation semigroups. We denote SPS? = PS??S?, then we call it the strictly order-decreasing partial trans- ? ? ? formation semigroups. Let C? be the set of all order-decreasing