Let T_(n) and S_(n) be the full transformation semigroup and the symmetric group on X_(n)={1,2,...,n},respectively.Let G be a transitiveimprimitive subgroupof S_(n) with nontrivial blocksΔand letαbe a transformation...Let T_(n) and S_(n) be the full transformation semigroup and the symmetric group on X_(n)={1,2,...,n},respectively.Let G be a transitiveimprimitive subgroupof S_(n) with nontrivial blocksΔand letαbe a transformation in T_(n)\S_(n).The kernel ofαis the partition of X_(n) induced by the equivalence relation{(x,y)|xα=yα};the kernel type ofαis the partition of n given by the sizes of the parts of the kernel.A transformation semigroup is called synchronizing if it contains a constant map.Then a group G synchronizes a transformationαif the semigroup(G,α)contains a constant map.In this paper,we study a transitive imprimitive permutation group G together with a non-invertible transformationαthat generate a synchronizing semigroup.We mainly discuss 7 cases where G synchronizes a special transformationαwith each kernel class A_(i)(A_(1)j)satisfying|A_(i)∩Δ|=1(|A_(1)j∩Δ|=1)for all blocksΔofG,that is,the kernel type ofαis(|A_(1)|,1,...,1),(|A_(1)1|,...,|A_(1m)|,|A_(2)|,...,|Ar|),or(|A_(1)|,...,|A_(t)|,1,...,1),or the rank is 2,3,4,or n-2.展开更多
基金Supported by NSFC (No.12401024)the Scientific Research Innovation Project of Lingnan Normal University (Nos.LT2401,LT2410)。
文摘Let T_(n) and S_(n) be the full transformation semigroup and the symmetric group on X_(n)={1,2,...,n},respectively.Let G be a transitiveimprimitive subgroupof S_(n) with nontrivial blocksΔand letαbe a transformation in T_(n)\S_(n).The kernel ofαis the partition of X_(n) induced by the equivalence relation{(x,y)|xα=yα};the kernel type ofαis the partition of n given by the sizes of the parts of the kernel.A transformation semigroup is called synchronizing if it contains a constant map.Then a group G synchronizes a transformationαif the semigroup(G,α)contains a constant map.In this paper,we study a transitive imprimitive permutation group G together with a non-invertible transformationαthat generate a synchronizing semigroup.We mainly discuss 7 cases where G synchronizes a special transformationαwith each kernel class A_(i)(A_(1)j)satisfying|A_(i)∩Δ|=1(|A_(1)j∩Δ|=1)for all blocksΔofG,that is,the kernel type ofαis(|A_(1)|,1,...,1),(|A_(1)1|,...,|A_(1m)|,|A_(2)|,...,|Ar|),or(|A_(1)|,...,|A_(t)|,1,...,1),or the rank is 2,3,4,or n-2.
