## AUTOMORPHISM GROUPS OF SUPEREXTENSIONS OF FINITE MONOGENIC SEMIGROUPS

TARAS BANAKH AND VOLODYMYR GAVRYLKIV

/negationslash

Abstract. A family L of subsets of a set X is called linked if A ∩ B = ∅ for any A,B ∈ L . A linked family M of subsets of X is maximal linked if M coincides with each linked family L on X that contains M . The superextension λ X ( ) of X consists of all maximal linked families on X . Any associative binary operation ∗ : X × X → X can be extended to an associative binary operation ∗ : λ X ( ) × λ X ( ) → λ X ( ). In the paper we study automorphisms of the superextensions of finite monogenic semigroups and characteristic ideals in such semigroups. In particular, we describe the automorphism groups of the superextensions of finite monogenic semigroups of cardinality ≤ 5.

## 1. Introduction

In this paper we investigate the automorphism group of the superextension λ S ( ) of a finite monogenic semigroup S . The thorough study of various extensions of semigroups was started in [14] and continued in [1]-[10] and [15][18]. The largest among these extensions is the semigroup υ S ( ) of all upfamilies on S . A family A of non-empty subsets of a set X is called an upfamily if for each set A ∈ A any subset B ⊃ A of X belongs to A . Each family B of non-empty subsets of X generates the upfamily 〈 B ⊂ X : B ∈ B〉 = { A ⊂ X : ∃ B ∈ B ( B ⊂ A ) } . An upfamily F that is closed under taking finite intersections is called a filter . A filter U is called an ultrafilter if U = F for any filter F containing U . The family β X ( ) of all ultrafilters on a set X is called the Stone- ˇ ech extension of C X , see [20]. An ultrafilter, generated by a singleton { x } , x ∈ X , is called principal . Each point x ∈ X is identified with the principal ultrafilter 〈{ x }〉 generated by the singleton { x } , and hence we can consider X ⊂ β X ( ) ⊂ υ X ( ). It was shown in [14] that any associative binary operation ∗ : S × S → S can be extended to an associative binary operation ∗ : υ S ( ) × υ S ( ) → υ S ( ) by the formula

$$\mathcal { A } * \mathcal { B } = \left \langle \, \bigcup _ { a \in A } a * B _ { a } \, \colon A \in \mathcal { A }, \ \{ B _ { a } \} _ { a \in A } \subset \mathcal { B } \right \rangle$$

for upfamilies A B ∈ , υ S ( ). In this case the Stone- ˇ ech compactification C β S ( ) is a subsemigroup of the semigroup υ S ( ).

/negationslash

The semigroup υ S ( ) contains as subsemigroups many other important extensions of S . In particular, it contains the semigroup λ S ( ) of maximal linked upfamilies, see [13], [14]. An upfamily L of subsets of S is said to be linked if A ∩ B = ∅ for all A,B ∈ L . A linked upfamily M of subsets of S is maximal linked if M coincides with each linked upfamily L on S that contains M . It follows that β S ( ) is a subsemigroup of λ S ( ). The space λ S ( ) is well-known in General and Categorial Topology as the superextension of S , see [22]-[24].

For a finite set X , the cardinality of the set λ X ( ) grows very quickly as | X | tends to infinity. The calculation of the cardinality of λ X ( ) seems to be a difficult combinatorial problem, which can be reformulated as the problem of counting the number λ n ( ) of self-dual monotone Boolean functions of n variables, which is well-known in Discrete Mathematics. According to Proposition 1.1 in [11],

$$\log _ { 2 } \lambda ( n ) = \frac { 2 ^ { n } } { \sqrt { 2 \pi n } } + o ( 1 ),$$

which means that the sequence ( λ n ( )) ∞ n =1 has double exponential growth. The sequence of numbers λ n ( ) (known in Discrete Mathematics as Ho¸ sten-Morris numbers) is included in the On-line Encyclopedia of Integer Sequences as the sequence A001206. All known precise values of this sequence (taken from [11]) are presented the following table.

| | X |   |   1 | 2 3   |   4 |   5 |    6 |       7 |            8 |                     9 |
|---------|-----|-------|-----|-----|------|---------|--------------|-----------------------|
| λ ( X ) |   1 | 2 4   |  12 |  81 | 2646 | 1422564 | 229809982112 | 423295099074735261880 |

|

|

1991 Mathematics Subject Classification. 20D45, 20M15, 20B25.

Key words and phrases. monogenic semigroup, maximal linked upfamily, superextension, automorphism group.

Each map f : X → Y induces the map

$$\lambda f \colon \lambda ( X ) \to \lambda ( Y ), \quad \lambda f \colon \mathcal { L } \mapsto \left \langle f ( L ) \subset Y \colon L \in \mathcal { L } \right \rangle, \ \text{ see } [ 1 3 ]. \\ \intertext { i c o n o m o m h i m o f c o m o n o t h o n }$$

/negationslash

An element z of a semigroup S is called a zero (resp. a left zero , a right zero ) in S if az = za = z (resp. za = z , az = z ) for any a ∈ S . An element e of a semigroup S is called an idempotent if ee = . By e E S ( ) we denote the set of all idempotents of a semigroup S .

If ϕ : S → S ′ is a homomorphism of semigroups, then λϕ : λ S ( ) → λ S ( ′ ) is a homomorphism as well, see [15]. A non-empty subset I of a semigroup S is called an ideal if IS ∪ SI ⊂ I . An ideal I of a semigroup S is called proper if I = S . A proper ideal M of S is maximal if M coincides with each proper ideal I of S that contains M . It is easy to see that for every n ∈ N the subset S · n = { x 1 · . . . · x n : x , . . . , x 1 n ∈ S } is an ideal in S .

Recall that an isomorphism between S and S ′ is a bijective function ψ : S → S ′ such that ψ xy ( ) = ψ x ψ y ( ) ( ) for all x, y ∈ S . If there exists an isomorphism between S and S ′ , then S and S ′ are said to be isomorphic , denoted S ∼ = S ′ . An isomorphism ψ : S → S is called an automorphism of a semigroup S . By Aut( S ) we denote the automorphism group of a semigroup S .

For an automorphism ψ of a semigroup S , a subset A ⊂ S is called ψ -invariant if ψ A ( ) = A . A subset A ⊂ S is called characteristic if ψ A ( ) = A for any automorphism ψ of S . It is easy to see that the set E S ( ) is characteristic in S and so are the ideals S · n for all n ∈ N .

For a set X by S X we denote the group of all bijections of X . For two sets X ⊂ Y we shall identify S X with the subgroup { ϕ ∈ S Y : ϕ Y | \ X = id } of the permutation group S Y . By C n we denote a cyclic group of order n ∈ N . In this paper we study automorphisms of superextensions of finite monogenic semigroups. The thorough study of automorphism groups of superextensions of semigroups was started in [19] and continued in [9]. In [19] it was shown that each automorphism of a semigroup S can be extended to an automorphism of its superextension λ S ( ) and the automorphism group Aut( λ S ( )) of the superextension of a semigroup S contains a subgroup, isomorphic to the automorphism group Aut( S ) of S . Also the automorphism groups of superextensions of null semigroups, almost null semigroups, right zero semigroups, left zero semigroups and all three-element semigroups were described. In [9] we studied the automorphism groups of superextensions of groups and described the automorphism groups Aut( λ G ( )) of the superextensions of all groups G of cardinality | G | ≤ 5. The obtained results are presented in Table 1.

Table 1. The automorphism groups of superextensions of groups of cardinality ≤ 5.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00791v1-figure-375a4a28-905d-4055-aeb4-979a6fe5db76.jpg)

| G ∼ =             | C 1 C 2 C 3 C 4   |     | C 2 × C 2   | C 5   |
|-------------------|-------------------|-----|-------------|-------|
| Aut( G ) ∼ =      | C 1 C 1 C 2       | C 2 | S 3         | C 4   |
| Aut( λ ( G )) ∼ = | C 1 C 1 C 2 C 2   | C 2 | S 4         | C 4   |

×

In Section 3 we establish some general results on the structure of superextensions of finite monogenic groups, using the notion of a good shift introduced in Section 2. In particular, in Theorem 3.2 we prove that two monogenic groups are isomorphic if and only if their superextensions are isomorphic. In Section 4 we use the results of Section 3 to classify the authomorphism groups of the superextensions of monogenic semigroups of order ≤ 5. The obtained results are summed up in the table in Section 5.

## 2. Semigroups possessing a good shift

In this section we develop a tool for recognizing the automorphism group of a semigroup possessing a good shift.

Definition 2.1. Let X be a semigroup. A function σ : X → X is called a good shift of X if X X · ⊂ σ X ( ) and for

A good shift σ : S → S is called an auto-shift if σ ◦ ψ = ψ ◦ σ for any automorphism ψ ∈ Aut( S ).

any elements x, y ∈ X with σ x ( ) = σ y ( ) the equalities xz = yz and zx = zy hold for all z ∈ X .

Proposition 2.2. If σ : X → X is a good shift of a semigroup X , then the automorphism group Aut( X ) of X contains the subgroup K consisting of all bijections ψ : X → X of X such that σ ◦ ψ = σ and ψ XX | = id . This subgroup is isomorphic to ∏ x ∈ σ X ( ) S σ -1 ( x ) \ XX .

Proof. It is clear that the group K is isomorphic to the product of permutation groups ∏ x ∈ σ X ( ) S σ -1 ( x ) \ XX .

$$\psi ( x ) \cdot \psi ( y ) = x \cdot \psi ( y ) = x y = \psi ( x y ),$$

To see that K ⊂ Aut( X ), it is necessary to check that each bijection ψ ∈ K is an automorphism of the semigroup X . Given two elements x, y ∈ X , we shall show that ψ xy ( ) = ψ x ( ) · ψ y ( ). It follows that xy ∈ XX and hence ψ xy ( ) = xy . Since σ ◦ ψ = σ , we obtain that σ ψ x ( ( )) = σ x ( ) and σ ψ y ( ( )) = σ y ( ). Now Definition 2.1 ensures that

A homomorphism ρ : S → S of a semigroup S is called a homomorphic retraction if ρ ◦ ρ = ρ . The functoriality of the superextension in the category of semigroups [15] ensures that for any homomorphic retraction ρ : S → S the map λρ : λ S ( ) → λ S ( ) is a homomorphic retraction, too.

For a semigroup X by Ξ X denote the family of all characteristic subsets of X .

Theorem 2.3. If σ : X → X is an auto-shift of a semigroup X , then σ X ( ) is a characteristic ideal of X , and for the restriction operator

$$R \colon & \text{Aut} \left ( X \right ) \rightarrow \text{Aut} \left ( \sigma ( X ) \right ), \ R \colon \psi \mapsto \psi | \sigma ( X ), \\ \Pi & \quad \mathfrak { c } \ \dots \ \dots \ \alpha \, \Delta \, D / \Lambda \, \mathbb { m } + V \, \mathbb { m } \, \mathcal { m } \, \mathcal { m } \, \mathcal { m } }$$

↦

the kernel of R is equal to ∏ x ∈ σ X ( ) S σ -1 ( x ) \ σ X ( ) and R (Aut( X )) ⊂ H ⊂ G where

G = { ϕ ∈ Aut( σ X ( )) : ∀ x ∈ σ X ( ) ϕ σ ( -1 ( x ) ∩ σ X ( )) = σ -1 ( ϕ x ( )) ∩ σ X ( ) and | σ -1 ( x ) \ σ X ( ) | = | σ -1 ( ϕ x ( )) \ σ X ( ) | } and

$$H \coloneqq \left \{ \varphi \in G \, \colon \forall C \in \Xi _ { X } \, \forall x \in \sigma ( X ) \ | \sigma ^ { - 1 } ( x ) \cap C | = | \sigma ^ { - 1 } ( \varphi ( x ) ) \cap C | \right \}. \\ \intertext { a h i f t \, \sigma \, i e n o m o r n h i c r e t r o c t i o n \, \ t h e n \, R ( \Delta \, \mathbf n t \, ( Y ) \, \mathbf v ) - H - C }$$

If the auto-shift σ is a homomorphic retraction, then R (Aut( X )) = H = G .

Proof. Definition 2.1 ensures that XX ⊂ σ X ( ), so σ X ( ) is an ideal in X . Since σ is an auto-shift, for any automorphism ψ ∈ Aut( X ) we have ψ ◦ σ = σ ◦ ψ and hence

$$\psi ( \sigma ( X ) ) = \psi \circ \sigma ( X ) = \sigma \circ \psi ( X ) = \sigma ( X ), \\ \neq \nu \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \nu$$

which means that the ideal σ X ( ) is characteristic in X .

Now consider the group K of all bijections ψ : X → X such that σ ◦ ψ = σ and ψ σ X | ( ) is the identity map of σ X ( ). It is clear that the group K is isomorphic to the product of permutation groups ∏ x ∈ σ x ( ) S σ -1 ( x ) \ σ X ( ) . By Proposition 2.2, K ⊂ Aut( X ).

Observe that for any automorphism ψ of X the equality ψ -1 ◦ σ = σ ◦ ψ -1 implies that σ -1 ( y ) = σ -1 ( ψ y ( )) for any y ∈ σ X ( ). Moreover, for any characteristic set C ∈ Ξ X we get ψ C ( ) = C and hence

It is clear that K is contained in the kernel Ker( R ) of the restriction operator R : Aut( X ) → Aut( σ X ( )). On the other hand, for any automorphism ψ ∈ Ker( R ) we get σ ◦ ψ = ψ ◦ σ = σ , so ψ ∈ K .

$$\psi ( \sigma ^ { - 1 } ( x ) \cap C ) = \psi ( \sigma ^ { - 1 } ( x ) ) \cap \psi ( C ) = \sigma ^ { - 1 } ( \psi ( x ) ) \cap C \\ \cdots \epsilon _ { 1 } + 1 - 1 + 1 + 1 \cdots \wedge \wedge \wedge \epsilon _ { 1 } + \alpha \cdots + \gamma _ { 2 } \cdots - \epsilon _ { 2 } + \alpha \cdots + \alpha \cdots$$

The inclusion H ⊂ G follows from X \ σ X ( ) ∈ Ξ X .

and hence | σ -1 ( x ) ∩ C | = | σ -1 ( ψ x ( )) ∩ C | . Since σ X ( ) ∈ Ξ X , for the restriction ϕ := ψ σ X | ( ) of ψ we get ϕ σ ( -1 ( x ) ∩ σ X ( )) = σ -1 ( x ) ∩ σ X ( ) for every x ∈ σ X ( ), which means that ϕ = R ψ ( ) ∈ H and hence R (Aut( X )) ⊂ H .

Assuming that σ is a homomorphic retraction, we shall prove that R (Aut( X )) = H = G . It suffices to check that each automorphism ϕ ∈ G extends to an automorphism of the semigroup X . By the definition of G , we can extend the automorphism ϕ of σ X ( ) to a bijection ¯ of ϕ X such that ¯( ϕ σ -1 ( x ) \ σ X ( )) = σ -1 ( ϕ x ( )) \ σ X ( ) for all x ∈ σ X ( ). By ϕ ∈ G , we also get ϕ σ ( -1 ( x )) ∩ σ X ( ) = σ -1 ( ϕ x ( )) ∩ σ X ( ). So, ¯( ϕ σ -1 ( x )) = σ -1 ( ϕ x ( )) for any x ∈ σ X ( ). This equality implies the equality σ ◦ ¯ = ϕ ϕ ◦ σ . Indeed, for any z ∈ X and x = σ z ( ) we get ¯( ϕ z ) ∈ ¯( ϕ σ -1 ( x )) = σ -1 ( ϕ x ( )). Applying to this equality the map σ , we obtain σ ◦ ¯( ϕ z ) ∈ { ϕ x ( ) } and hence σ ◦ ¯( ϕ z ) = ϕ x ( ) = ϕ ◦ σ z ( ).

Let us show that the bijection ¯ is an automorphism of ϕ X . Given any elements x, y ∈ X , it suffices to check that ¯( ϕ xy ) = ¯( ϕ x ) · ¯( ϕ y ). Taking into account that xy ∈ XX ⊂ σ X ( ) and σ : X → σ X ( ) is a homomorphic retraction, we conclude that xy = σ xy ( ) = σ x ( ) · σ y ( ) and thus

$$\bar { \varphi } ( x y ) = \varphi ( x y ) = \varphi ( \sigma ( x y ) ) = \varphi ( \sigma ( x ) \cdot \sigma ( y ) ) = \varphi ( \sigma ( x ) ) \cdot \varphi ( \sigma ( y ) ) = \sigma ( \bar { \varphi } ( x ) ) \cdot \sigma ( \bar { \varphi } ( y ) ) = \sigma ( \bar { \varphi } ( x ) \cdot \bar { \varphi } ( y ) ) = \bar { \varphi } ( x ) \cdot \bar { \varphi } ( y ).$$

## 3. Automorphisms and characteristic ideals of superextensions of finite monogenic semigroups

A semigroup S is called monogenic if it is generated by some element a ∈ S in the sense that S = { a n } n ∈ N . If a monogenic semigroup is infinite, then it is isomorphic to the additive semigroup N of positive integer numbers. A finite monogenic semigroup S = 〈 a 〉 also has simple structure, see [21]. There are positive integer numbers r and m called the index and the period of S such that

- · S = { a, a 2 , . . . , a r + m -1 } and r + m -1 = | S | ;
- · C m := { a , a r r +1 , . . . , a r + m -1 } is a cyclic and maximal subgroup of S with the neutral element e = a n ∈ C m and generator a n +1 , where n ∈ ( m · N ) ∩{ r, . . . , r + m - } 1 .
- · a r + m = a r ;

From now on, we denote by M r,m a finite monogenic semigroup of index r and period m . Consider the shift

$$\sigma \colon & M _ { r, m } \to a M _ { r, m }, \ \sigma \colon x \mapsto a x, \\ \quad \_ \sim \colon \colon \colon \colon \colon _ { k } \colon \colon \colon _ { k } \colon _ { k } \colon _ { k } \colon _ { k } \colon _ { k } \colon _ { k } \colon _ { k } \colon _ { k } \colon _ { k } \colon _ { k } \colon _ { k } \colon _ { k } \colon _ { k } \colon _ { k } \colon _ { k } \colon _ { k } \colon _ { k } \colon _ { k } \colon _ { k } \colon _ { k } \colon _ { k } \colon _ { k } \colon _ { k } \colon _ { k } \colon _ { k } \colon _ { k } \colon _ { k } \colon _ { k } \colon _ { k } \colon ^ { 2 }$$

↦

↦

Observe also that the subset a k M r,m = σ k (M r,m ) coincides with the characteristic ideal M · ( k +1) r,m of M r,m . For k ≥ r the characteristic ideal M · k r,m = a k -1 M r,m coincides with the minimal ideal of M r,m and with a maximal subgroup C m of M r,m .

and observe that for every k ∈ N the shift σ k : M r,m → a k M r,m , σ k : x → a x k , coincides with the k th iteration of σ .

For the idempotent e = a n of the group C m the shift σ n : M r,m → a n M r,m = C m is a homomorphic retraction of M r,m onto its maximal subgroup C m . This retraction will be denoted by ρ .

The following lemma distinguishes some characteristic ideals in the semigroup λ (M r,m ).

Lemma 3.1. For every k ≥ 2 the subsemigroup λ (M · k r,m ) of λ (M r,m ) coincides with the characteristic ideal λ (M r,m ) · k of the semigroup λ (M r,m ) .

Proof. By the functoriality of the superextension, the surjective map

$$\sigma ^ { k - 1 } \colon & M _ { r, m } \to a ^ { k - 1 } M _ { r, m } = M _ { r, m } ^ { \cdot k }, \ \sigma ^ { k - 1 } \colon x \mapsto a ^ { k - 1 } x, \\ \cdots & \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \colots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots.$$

↦

On the other hand, the definition of the semigroup operation on λ (M r,m ) implies that λ (M r,m ) · k ⊂ λ (M · k r,m ) = λ a ( k -1 M r,m ). So, λ (M · k r,m ) = λ (M r,m ) · k is a characteristic ideal in λ (M r,m ). /square induces the surjective map λσ k -1 : λ (M r,m ) → λ (M · k r,m ), λσ k -1 : A ↦→ a k -1 ∗ A . Then for every maximal linked upfamily B ∈ λ a ( k -1 M r,m ) we can find a maximal linked upfamily A ∈ λ (M k,m ) with B = a k -1 ∗ A and conclude that B = a k -1 ∗ A ∈ λ (M k,m ) · k .

Theorem 3.2. Two finite monogenic semigroups are isomorphic if and only if their superextensions are isomorphic.

Proof. If two semigroups are isomorphic, then their superextensions are isomorphic by the functoriality of the superextension in the category of semigroups [15]. Now assume that two monogenic semigroups M i,m and M j,n have isomorphic superextensions. Let ψ : λ (M i,m ) → λ (M j,n ) be an isomorphism.

Let C m be the maximal subgroup of M i,m . By Lemma 3.1, the superextension λ C ( m ) is a characteristic subsemigroup of λ (M i,m ), equal to the intersection ⋂ k ∈ N λ (M i,m ) · k of the characteristic ideals λ (M i,m ) · k . Then

$$\psi ( \lambda ( C _ { m } ) ) = \psi ( \bigcap _ { k \in \mathbb { N } } \lambda ( \mathbf M _ { i, m } ) ^ { * k } ) = \bigcap _ { k \in \mathbb { N } } \psi ( \lambda ( \mathbf M _ { i, m } ) ^ { * k } ) = \bigcap _ { k \in \mathbb { N } } \left ( \psi ( \lambda ( \mathbf M _ { i, m } ) ) \right ) ^ { * k } = \bigcap _ { k \in \mathbb { N } } \lambda ( \mathbf M _ { j, n } ) ^ { * k } = \lambda ( C _ { n } )$$

and hence | λ C ( m ) | = | λ C ( n ) . |

/negationslash

Observe that two finite sets X,Y have the same cardinality if | λ X ( ) | = | λ Y ( ) . | Indeed, assuming that | X &lt; Y | | | we can choose an injective map f : X → Y with f ( X ) = Y and obtain an injective map λf : λ X ( ) → λ Y ( ) with λf λ X ( ( )) = λ Y ( ), which implies that | λ X ( ) | &lt; λ Y | ( ) . | Now we see that the equality | λ C ( m ) | = | λ C ( n ) | implies n = m .

/negationslash

On the other hand, the equality | λ (M i,m ) | = | λ (M j,n ) | implies i + m -1 = | M i,m | = M | j,n | = j + n -1. Since m = n , we obtain that i = j and hence M i,n = M j,m . /square

Proposition 3.3. If r ≥ 3 , then any automorphism ψ of the semigroup λ (M r,m ) has ψ x ( ) = x for all x ∈ M r,m .

$$\psi ( a ) * \lambda ( M _ { r, m } ) = \psi ( a ) * \psi ( \lambda ( M _ { r, m } ) ) = \psi ( a * \lambda ( M _ { r, m } ) ) = a * \lambda ( M _ { r, m } ) \ni a ^ { 2 } \\ \dots \cdots 2 \quad \text{$\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\string\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\[\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\cont(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\[(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\int(\end))})}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}
$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$;}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$;$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$)}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}</}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$,}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}&$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$>}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}\$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$"$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$</}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$}$$$

Proof. Let a be the (unique) generator of the monogenic semigroup M r,m . By Lemma 3.1, a ∗ λ (M r,m ) = λ (M r,m ) · 2 is a characteristic ideal in λ (M r,m ). Then for any automorphism ψ ∈ Aut( λ (M r,m )) we get and hence a 2 = ψ a ( ) ∗ A for some A ∈ λ (M r,m ). Taking into account that for r ≥ 3, the equality a 2 = x ∗ y has a unique solution x = y = a in λ (M r,m ), we conclude that ψ a ( ) = a and hence ψ x ( ) = x for all x ∈ M r,m . /square

↦

In the following proposition by e we denote the unique idempotent of the group C m ⊂ M r,m and by ρ : M r,m → C m , ρ : x → ex , the homomorphic retraction of M r,m onto C m . The homomorphic retraction ρ induces a homomorphic retraction ¯ : ρ λ (M r,m ) → λ C ( m ), ¯ : ρ A ↦→ e ∗ A .

Theorem 3.4. For r = 2 the homomorphic retraction ¯ : ρ λ (M r,m ) → λ C ( m ) ⊂ λ (M r,m ) has the following properties:

- (1) A∗B = ¯( ρ A ∗ B ) = A∗ ¯( ρ B ) = ¯( ρ A ∗ ) ¯( ρ B ) for any A B ∈ , λ (M r,m ) ;
- (2) ψ x ( ) = x for any x ∈ C m and any ψ ∈ Aut( λ (M r,m )) ;

- (3) the homomorphic retraction ¯ ρ is an auto-good shift of λ (M r,m ) ;
- (4) the operator R : Aut( λ (M r,m )) → Aut( λ C ( m )) has kernel isomorphic to ∏ L∈ λ C ( m ) S ¯ ρ -1 ( L \{L} ) and the range R (Aut(M r,m )) = { ϕ ∈ Aut( λ C ( m )) : ∀L ∈ λ C ( m ) | ¯ ρ -1 ( ϕ ( L )) | = ¯ | ρ -1 ( L |} ) .

Proof. 1. The first statement follows from the definition of the semigroup operation on λ (M r,m ) and the equality xy = ρ x ( ) · y = x · ρ y ( ) = ρ x ( · y ) holding for any elements x, y ∈ M r,m = M 2 ,m .

- 2. Fix any automorphism ψ of the semigroup λ (M r,m ). By Lemma 3.1, λ C ( m ) is a characteristic ideal of λ (M r,m ), so the restriction ψ λ C | ( m ) is an automorphism of the semigroup λ C ( m ). In [9] it was proved that ψ C ( m ) = C m . Taking into account that e is a unique idempotent of C m , we conclude that ψ e ( ) = e .

Since ψ is an automorphism of λ (M r,m ), for every A ∈ λ (M r,m ) we have which implies that ψ ρ (¯ -1 ( B )) = ¯ ρ -1 ( ψ ( B )) and hence | ¯ ρ -1 ( B | ) = ¯ | ρ -1 ( ψ ( B )) | for all B ∈ λ C ( m ). In particular, for the generator a of the semigroup M r,m we get | ¯ ρ -1 ( ae ) | = ¯ | ρ -1 ( ψ ae ( )) . | Now observe that ¯ ρ -1 ( ae ) ⊃ ρ -1 ( ae ) = { ae, a } and ¯ ρ -1 ( x ) = ρ -1 ( x ) = { x } for any x ∈ C m \ { ae } . This implies that ψ ae ( ) = ae and hence ψ x ( ) = x for all x ∈ C m (as ae is a generator of the group C m ).

$$\psi ( \bar { \rho } ( \mathcal { A } ) ) = \psi ( e * \mathcal { A } ) = \psi ( e ) * \psi ( \mathcal { A } ) = e * \psi ( \mathcal { A } ) = \bar { \rho } ( \psi ( \mathcal { A } ) ), \\ \tau ( \tau - 1 / \tau \bigvee \cdots \quad - 1 / \tau / \tau \bigvee \cdots \quad \tau \cdots \quad \tau - 1 / \tau \bigvee \cdots \quad \tau - 1 / \tau / \tau \bigvee \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tnu \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tuple \quad \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \taut \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tut \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdot \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdocks \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdclots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \vdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \ddots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \dots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \udots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \clots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau\cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau\vdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau\dots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau\ddots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau\dotts \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cdots \quad \tau \cd:[ \tau \cdots$$

- 3. The third statement follows from the preceding two statements.
- 4. The fourth statement follows from the preceding statement and Theorem 2.3.

/square

Lemma 3.5. If r ≥ 2 , then the map

$$\bar { \sigma } \colon \lambda ( M _ { r, m } ) \to \lambda ( M _ { r, m } ^ { \cdot 2 } ), \ \bar { \sigma } \colon \mathcal { A } \mapsto a * \mathcal { A }$$

is an auto-shift of the semigroup λ (M r,m ) .

Proof. It is clear that ¯( σ λ (M r,m )) = a ∗ λ (M r,m ) = λ (M r,m ) · 2 . Next, we show that ¯ σ ◦ ψ = ψ ◦ ¯ σ for every automorphism ψ of λ (M r,m ).

If r ≥ 3, then ψ a ( ) = a by Proposition 3.3 and hence for any A ∈ λ (M r,m ).

$$\psi \circ \bar { \sigma } ( \mathcal { A } ) = \psi ( a * \mathcal { A } ) = \psi ( a ) * \psi ( \mathcal { A } ) = a * \psi ( \mathcal { A } ) = \bar { \sigma } \circ \psi ( \mathcal { A } )$$

If r = 2, then ax = aex for any x ∈ M r,m . By Theorem 3.4, ψ ae ( ) = ae and then for any A ∈ λ (M r,m ).

$$\psi \circ \bar { \sigma } ( \mathcal { A } ) = \psi ( a * \mathcal { A } ) = \psi ( a e * \mathcal { A } ) = \psi ( a e ) * \psi ( \mathcal { A } ) = a e * \psi ( \mathcal { A } ) = \bar { \sigma } \circ \psi ( \mathcal { A } ) \\ \intertext { r } \Psi - \Psi \vee \Psi \quad \, \dots$$

It remains to prove that for any A A , ′ ∈ λ (M r,m ) with ¯( σ A ) = ¯( σ A ′ ) the equalities A ∗ B = A ∗ B ′ and B ∗ A = B ∗ A ′ hold for all B ∈ λ (M r,m ).

$$\mathcal { B } * \mathcal { A } ^ { \prime } \ni \bigcup _ { b \in B } b A _ { b } ^ { \prime } \subset \bigcup _ { b \in B } b A _ { b } \subset C$$

It follows from a ∗ A = ¯( σ A ) = ¯( σ A ′ ) = a ∗ A ′ that a n ∗ A = a n ∗ A ′ for all n ∈ N and hence x ∗ A = x ∗ A ′ for all x ∈ M r,m . To see that B ∗ A = B ∗ A ′ , take any set C ∈ B ∗ A and find a set B ∈ B and a family ( A b ) b ∈ B ∈ A B such that ⋃ b ∈ B bA b ⊂ C . For every b ∈ B , we can use the equality bA b ∈ b ∗ A = b ∗ A ′ to find a set A ′ b ∈ A ′ such that bA ′ b ⊂ bA b . Then and hence C ∈ B ∗ A ′ . By analogy we can prove that B ∗ A ′ ⊂ B ∗ A .

Next, we prove that A∗B = A ∗ B ′ . Given any element C ∈ A ∗ B , find a set A ∈ A and a family { B x } x ∈ A ⊂ B such that ⋃ x ∈ A xB x ⊂ C . Since aA ∈ a ∗ A = a ∗ A ′ , there exists a set A ′ ∈ A ′ such that aA ′ ⊂ aA . For any y ∈ A ′ find x ∈ A with ay = ax and put B y := B x . We claim that ⋃ y ∈ A ′ yB y ⊂ C . Indeed, for any z ∈ ⋃ y ∈ A ′ yB y we can find y ∈ A ′ and b ∈ B y such that z = yb ∈ yB y . For the element y there exists an element x ∈ A such that ax = ay and B y = B x . The equality ax = ay implies a x k = a y k for all k ∈ N . In particular, bx = by . Then z = yb = by = bx = xb ∈ xB x ⊂ C and hence A ∗B /owner ′ ⋃ y ∈ A ′ B y ⊂ C , which implies C ∈ A ∗B ′ and A∗B ⊂ A ∗B ′ . By analogy we can prove that A ∗ B ⊂ A ∗ B ′ and thus A ∗ B ′ = A∗B . /square

Corollary 3.6. If r ≥ 2 , then for any k ∈ N the map

$$\bar { \sigma } _ { k } \colon \lambda ( \mathsf M _ { r, m } ^ { \cdot k } ) \to \lambda ( \mathsf M _ { r, m } ^ { \cdot ( k + 1 ) } ), \ \bar { \sigma } _ { k } \colon \mathcal { A } \mapsto a * \mathcal { A }, \\. \ \dots \. \.$$

is a good shift of the semigroup λ (M · k r,m ) .

Lemma 3.5 and Theorem 2.3 have the following:

Corollary 3.7. Assume that r ≥ 2 . The operator R : Aut( λ (M r,m )) → Aut( λ (M · 2 r,m )) has kernel isomorphic to ∏ L∈ λ (M · 2 r,m ) S ¯ σ -1 ( L \ ) λ (M · 2 r,m ) and range R (Aut(M r,m )) ⊂ H where

$$H = \{ \varphi \in \text{Aut} \left ( \lambda ( M _ { r, m } ^ { 2 } ) \right ) \colon \forall \mathcal { L } \in \lambda ( M _ { r, m } ^ { \cdot } ) \ \varphi ( \bar { \sigma } ^ { - 1 } ( \mathcal { L } ) \cap \lambda ( M _ { r, m } ^ { \cdot } ) ) = \bar { \sigma } ^ { - 1 } ( \mathcal { L } ) \cap \lambda ( M _ { r, m } ^ { 2 } ) \ a n d \\ \forall C \in \Xi _ { \lambda ( M _ { r, m } ) } \ | \bar { \sigma } ^ { - 1 } ( \varphi ( \mathcal { L } ) ) \cap C | = | \bar { \sigma } ^ { - 1 } ( \mathcal { L } ) \cap C | \}.$$

- 4. Automorphism groups of superextensions of monogenic semigroups of cardinality ≤ 5

In this section we shall describe the structure of the automorphism groups of superextensions of all monogenic semigroups M r,m of cardinality | M r,m | ≤ 5.

- 4.1. The semigroups λ (M 1 1 , ) , λ (M 1 2 , ) and λ (M 2 1 , ) . For any r, m ∈ N with r + m ≤ 3, the monogenic semigroup M r,m has cardinality | M r,m | ≤ 2. Consequently, λ (M r,m ) = M r,m and Aut( λ (M r,m )) = Aut(M r,m ) = ∼ C 1 .
- 4.2. The semigroups λ (M 1 3 , ) , λ (M 2 2 , ) and λ (M 3 1 , ) . For a monogenic semigroup M r,m with m + r = 4 and generator a , the superextension λ (M r,m ) consists of three principal ultrafilters a, a 2 , a 3 and the maximal linked family /triangle = 〈{ a, a 2 } { , a, a 3 } { , a , a 2 3 }〉 .

By Proposition 3.3, for any i ∈ { 1 2 3 , , } and ψ ∈ Aut( λ (M 3 1 , )) we have ψ a ( i ) = a i . Then ψ ( /triangle ) = /triangle and hence Aut( λ (M 3 1 , )) = ∼ C 1 .

Taking into account that M 1 3 , is isomorphic to C 3 and Aut( λ C ( 3 )) ∼ = C 2 (see Table 1), we conclude that Aut( λ (M 1 3 , )) = Aut( ∼ λ C ( 3 )) = ∼ C 2 .

To recognize the automorphism group of λ (M 2 2 , ), consider the homomorphic retraction

$$\bar { \rho } \colon \lambda ( M _ { 2, 2 } ) \to \lambda ( M _ { 2, 2 } ^ { \cdot 2 } ) = \{ a ^ { 2 }, a ^ { 3 } \}, \ \bar { \rho } \colon \mathcal { A } \mapsto a ^ { 2 } \mathcal { A } \\ \sim \quad \ \ = - 1 / 2 \circ \cdots \quad \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \..$$

and observe that it has fibers: ¯ ρ -1 ( a 2 ) = { a 2 } and ¯ ρ -1 ( a 3 ) = { a, a 3 , /triangle} . Since the automorphism group Aut( λ (M · 2 2 2 , )) ∼ = Aut( λ C ( 2 )) is trivial, we can apply Theorem 3.4 and conclude that the automorphism group Aut( λ (M 2 2 , )) is isomorphic to S ¯ ρ -1 ( a 3 ) \{ a 3 } = S { a, /triangle} ∼ = C 2 .

- 4.3. The semigroup λ (M 1 4 , ) . The semigroup M 1 4 , is isomorphic to the cyclic group C 4 . Therefore,

$$\text{Aut} \left ( \lambda ( M _ { 1, 4 } ) \right ) \cong \text{Aut} \left ( \lambda ( C _ { 4 } ) \right ) \cong C _ { 2 } \times C _ { 2 },$$

according to [9] (see also Table 1).

- 4.4. The semigroup λ (M 2 3 , ) . Consider the semigroup M 2 3 , = { a, a 2 , a 3 , a 4 | a 5 = a 2 } generated by the element a . Its superextension λ (M 2 3 , ) contains 12 elements of the form:

$$a ^ { i }, \ \triangle _ { i } = \langle A \, \colon A \subset M _ { 2, 3 } \, \langle \, \{ a ^ { i } \}, \, | A | = 2 \rangle, \text{ and } \ \square _ { i } = \langle M _ { 2, 3 } \, \langle \, \{ a ^ { i } \}, \, \{ a ^ { i }, x \} \, \colon x \in M _ { 2, 3 } \, \langle \, \{ a ^ { i } \} \rangle \\, \quad \cdot \, - \, \cdot \, \cdot \, \cdot \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \beta \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \colon x \in M _ { 2, 3 } \, \langle \, \{ a ^ { i } \} \rangle$$

↦

where i ∈ { 1 2 3 4 , , , } .

- · ¯ ρ -1 ( a 2 ) = { a 2 } ;

Let e = a 3 be the idempotent of the subgroup C 3 and ρ : M 2 3 , → C 3 , ρ : x → ex , be the homomorphic retraction of M 2 3 , onto C 3 . The map ρ induces a homomorphic retraction ¯ : ρ λ (M 2 3 , ) → λ C ( 3 ) = { a , a 2 3 , a 4 , /triangle 1 } , defined by ¯( ρ A ) = a 3 ∗ A for A ∈ λ (M 2 3 , ). By routine calculations we can show that the map ¯ has fibers: ρ

- · ¯ ρ -1 ( a 3 ) = { a 3 } ;
- · ¯ ρ -1 ( /triangle 1 ) = {/triangle 1 , /triangle 4 , /square 2 , /square 3 } .
- · ¯ ρ -1 ( a 4 ) = { a, a , 4 /triangle 2 , /triangle 3 , /square 1 , /square 4 } ;

Applying Theorem 3.4, we can show that the automorphism group Aut( λ (M 2 3 , )) of λ (M 2 3 , ) is isomorphic to

$$S _ { ( \tilde { \rho } ) ^ { - 1 } ( \triangle _ { 1 } ) } \langle \{ \triangle _ { 1 } \} \times S _ { ( \tilde { \rho } ) ^ { - 1 } ( a ^ { 4 } ) } \langle \{ a ^ { 4 } \} \cong S _ { 3 } \times S _ { 5 }.$$

- 4.5. The semigroup λ (M 3 2 , ) . In this section we consider the monogenic semigroup M 3 2 , = { a, a 2 , a 3 , a 4 } generated by an element a such that a 5 = a 3 . The semigroup M 3 2 , contains the characteristic ideals M · 2 3 2 , = { a , a 2 3 , a 4 } and M · 3 3 2 , = { a , a 3 4 } = C 2 .

Using the notations from the preceding subsection, we can see that the superextensions of the semigroups M · k 3 2 , contain the following elements:

- · λ (M 3 2 , ) = { a , i /triangle i , /square i : 1 ≤ i ≤ } 4 ;
- · λ (M · 3 3 2 , ) = λ C ( 2 ) = C 2 = { a , a 3 4 } .
- · λ (M · 2 3 2 , ) = { a , a 2 3 , a 4 , /triangle 1 } ;

By Lemma 3.5, the map ¯ : σ λ (M 3 2 , ) → λ (M · 2 3 2 , ), ¯ : σ A ↦→ a ∗ A , is an auto-shift of the semigroup λ (M 3 2 , ). By routine calculations it can be shown that the map ¯ has the following fibers: σ

- · ¯ σ -1 ( a 2 ) = { a } ;
- · ¯ σ -1 ( a 4 ) = { a 3 } ;
- · ¯ σ -1 ( a 3 ) = { a , a 2 4 , /triangle 1 , /triangle 3 , /square 2 , /square 4 } ;
- · ¯ σ -1 ( /triangle 1 ) = {/triangle 2 , /triangle 4 , /square 1 , /square 3 } .

By Corollary 3.7, the restriction operator R : Aut( λ (M 3 2 , )) → Aut( λ (M · 2 3 2 , )) = ∼ C 2 has kernel isomorphic to

By Corollary 3.6, the restriction ¯ σ 2 = ¯ σ λ | (M · 2 3 2 , ) is a good shift of the semigroup λ (M · 2 3 2 , ). This shift has a unique fiber ¯ σ -1 2 ( a 3 ) = { a , a 4 2 , /triangle 1 } containing more than one point. By Proposition 2.2, the automorphism group Aut( λ (M · 2 3 2 , )) contains the permutation group S { a , 2 /triangle 1 } ∼ = C 2 . Taking into account that C 2 is a characteristic subgroup of λ (M · 2 3 2 , ) with trivial automorphism group, we conclude that Aut( λ (M · 2 3 2 , )) = S { a , 2 /triangle 1 } ∼ = C 2 .

$$S _ { \bar { \sigma } ^ { - 1 } ( a ^ { 3 } ) } \langle \lambda ( M _ { 3, 2 } ^ { 2 } ) \times S _ { \bar { \sigma } ^ { - 1 } ( \triangle _ { 1 } ) } \langle \lambda ( M _ { 3, 2 } ^ { 2 } ) } \cong S _ { 3 } \times S _ { 4 }.$$

We claim that the subgroup R (Aut( λ (M 3 2 , ))) of Aut( λ (M · 2 3 2 , )) = S { a , 2 /triangle 1 } is trivial. Indeed, each automorphism ϕ ∈ R (Aut( λ (M 3 2 , ))) is trivial on the subgroup C 2 = { a , a 3 4 } , so ϕ a ( 2 ) ∈ { a , 2 /triangle 1 } . By Corollary 3.7, which implies that ϕ a ( 2 ) = a 2 and ϕ is the identity automorphism of Aut( λ (M · 2 3 2 , )). Consequently, the range of the restriction operator R is trivial and the group Aut( λ (M 3 2 , )) coincides with the kernel of R and hence is isomorphic to S 3 × S 4 .

$$\begin{array} {$$

- 4.6. The semigroup λ (M 4 1 , ) . In this subsection we consider the monogenic semigroup M 4 1 , = { a, a 2 , a 3 , a 4 } generated by an element a such that a 5 = a 4 . The semigroup M 4 1 , contains the characteristic ideals M · 2 4 1 , = { a , a 2 3 , a 4 } , M · 3 4 1 , = { a , a 3 4 } , and M · 4 4 1 , = { a 4 } .

Using the notations from the preceding subsection, we can see that the superextensions of the semigroups M · k 4 1 , contain the following elements:

- · λ (M 4 1 , ) = { a , i /triangle i , /square i : 1 ≤ i ≤ } 4 ;
- · λ (M · 3 4 1 , ) = M · 3 4 1 , = { a , a 3 4 } ;
- · λ (M · 2 4 1 , ) = { a , a 2 3 , a 4 , /triangle 1 } ;
- · λ (M · 4 4 1 , ) = M · 4 4 1 , = { a 4 } .

It is clear that the semigroups λ (M · 4 4 1 , ) and λ (M · 3 4 1 , ) have trivial automorphism groups.

Taking into account that xy = a 4 for any x, y ∈ λ (M · 2 4 1 , ) = { a , a 2 3 , a 4 , /triangle 1 } , we conclude that the automorphism group Aut(M · 2 4 1 , ) of the semigroup M · 2 4 1 , is isomorphic to the symmetric group S 3 .

By Lemma 3.5, the map

$$\bar { \sigma } \colon \lambda ( M _ { 4, 1 } ) \$$

is an auto-shift of the semigroup λ (M 4 1 , ). By routine calculations it can be shown that the map ¯ has the following σ fibers:

- · ¯ σ -1 ( a 2 ) = { a } ;
- · ¯ σ -1 ( a 4 ) = { a , a 3 4 , /triangle 1 , /triangle 2 , /square 3 , /square 4 } ;
- · ¯ σ -1 ( a 3 ) = { a 2 } ;
- · ¯ σ -1 ( /triangle 1 ) = {/triangle 3 , /triangle 4 , /square 1 , /square 2 } .

$$S _ { \bar { \sigma } ^ { - 1 } ( a ^ { 4 } )$$

By Corollary 3.7, the restriction operator R : Aut( λ (M 4 1 , )) → Aut( λ (M · 2 4 1 , )) has kernel isomorphic to

By Proposition 3.3, for any automorphism ψ of λ (M 4 1 , ), we get ψ a ( k ) = a k for any k ∈ N . Taking into account that λ (M · 2 4 1 , ) = { a , a 2 3 , a 4 , /triangle 1 } is a characteristic ideal in λ (M 4 1 , ), we conclude that ψ ( /triangle 1 ) = /triangle 1 . Consequently, the range of the restriction operator R is trivial and the group Aut( λ (M 4 1 , )) coincides with the kernel of R and hence is isomorphic to S 3 × S 4 .

4.7. The semigroup λ (M 1 5 , ) . The monogenic semigroup M 1 5 , is isomorphic to the cyclic group C 5 . It was proved in [9] that the automorphism group Aut( λ (M 1 5 , )) = Aut( ∼ λ C ( 5 )) is isomorphic to C 4 .

4.8. The semigroup λ (M 2 4 , ) . To describe the structure of the automorphism group Aut( λ (M 2 4 , )), we shall apply Theorem 3.4.

Consider the homomorphic retraction

$$\bar { \rho } \colon \lambda ( M _ { 2, 4 } ) \$$

To describe the fibers of the retraction ¯ we first ρ introduce a convenient notation for all 81 elements of the superextension λ (M 2 4 , ). We recall that M 2 4 , = { a, a 2 , a 3 , a 4 , a 5 } and C 4 = { a , a 2 3 , a 4 , a 5 } where a 6 = a 2 .

where e = a 4 ∈ C 4 ⊂ M 2 4 , is the unique idempotent of the semigroup M 2 4 , .

The 81 elements of the semigroup λ (M 2 4 , ) will be denoted as follows:

- · a i for i ∈ { 1 2 3 4 5 , , , , } ;
- · Θ ij := 〈{ a , a i j } , A : A ⊂ M 2 4 , , | A | = 3 , | A ∩ { a , a i j }| = 1 }〉 for 1 ≤ i &lt; j ≤ 5;
- · © := { A ⊂ M 2 4 , : | A | ≥ 3 } ;
- · /triangle ijk := 〈{ a , a i j } { , a , a i k } { , a , a j k }〉 for numbers 1 ≤ i &lt; j &lt; k ≤ 5;
- · ♦ n ijk := 〈{ a n , a i } { , a n , a j } { , a n , a k } { , a , a i j , a k }〉 for numbers 1 ≤ i &lt; j &lt; k ≤ 5 and n ∈ { 1 2 3 4 5 , , , , } \ { i, j, k } ;
- · Λ := i 〈 M 2 4 , \ { a i } { , a , x i } : x ∈ M 2 4 , \ { a i }〉 for i ∈ { 1 2 3 4 5 , , , , } ;
- · Λ i jk := 〈 { a , a i j } { , a , a i k } , A : A ⊂ M 2 4 , , | A | = 3 , A ∩ { a , a i j , a k } ∈ { { a i } { , a , a j k } }〉 for 1 ≤ j &lt; k ≤ 5 and i ∈ { 1 2 3 4 5 , , , , } \ { j, k } .

λ C ( 4 ) = C 4 ∪{/triangle 234 , /triangle 235 , /triangle 245 , /triangle 345 , ♦ 2 345 , ♦ 3 245 , ♦ 4 235 , ♦ 5 234 } .

Observe that for the subgroup C 4 = { a , a 2 3 , a 4 , a 5 } ⊂ M 2 4 , we have

By routine calculations it can be shown that the map ¯ : ρ λ (M 2 4 , ) → λ C ( 4 ) has the following fibers:

- · (¯) ρ -1 ( a 5 ) = { a , 5 a, /triangle 125 , /triangle 135 , /triangle 145 , ♦ 1 235 , ♦ 1 245 , ♦ 1 345 , ♦ 5 123 , ♦ 5 124 , ♦ 5 134 , Λ 1 , Λ 5 , Θ 15 , Λ 1 25 , Λ 1 35 , Λ 1 45 , Λ 5 12 , Λ 5 13 , Λ 5 14 } ;
- · (¯) ρ -1 ( x ) = { x } for x ∈ { a , a 2 3 , a 4 , /triangle 234 } ;
- · (¯) ρ -1 ( /triangle 235 ) = {/triangle 235 , /triangle 123 , ♦ 2 135 , ♦ 3 125 , Θ 23 , Λ 2 13 , Λ 2 35 , Λ 3 12 , Λ 3 25 } ;
- · (¯) ρ -1 ( /triangle 345 ) = {/triangle 345 , /triangle 134 , ♦ 3 145 , ♦ 4 135 , Θ 34 , Λ 3 14 , Λ 3 45 , Λ 4 13 , Λ 4 35 } ;
- · (¯) ρ -1 ( /triangle 245 ) = {/triangle 245 , /triangle 124 , ♦ 2 145 , ♦ 4 125 , Θ 24 , Λ 2 14 , Λ 2 45 , Λ 4 12 , Λ 4 25 } ;
- · (¯) ρ -1 ( ♦ 2 345 ) = {♦ 2 345 , ♦ 2 134 , Λ 2 , Λ 2 34 } ;
- · (¯) ρ -1 ( ♦ 4 235 ) = {♦ 4 235 , ♦ 4 123 , Λ 4 , Λ 4 23 } ;
- · (¯) ρ -1 ( ♦ 3 245 ) = {♦ 3 245 , ♦ 3 124 , Λ 3 , Λ 3 24 } ;
- · (¯) ρ -1 ( ♦ 5 234 ) = {♦ 5 234 , ♦ 1 234 , Λ 1 23 , Λ 1 24 , Λ 1 34 , Λ 2 15 , Λ 3 15 , Λ 4 15 , Λ 5 23 , Λ 5 24 , Λ 5 34 , Θ 12 , Θ 13 , Θ 14 , Θ 25 , Θ 35 , Θ 45 , ©} .

By Theorem 3.4, for any automorphism ψ of λ M ( 2 4 , ) the restriction ψ λ C | ( 4 ) is an automorphism of λ C ( 4 ) such that ψ x ( ) = x for all x ∈ C 4 . The description of the automorphism group of λ C ( 4 ) given in [9] ensures that ψ ( ♦ n ijk ) = ♦ n ijk for any ♦ n ijk ∈ λ C ( 4 ). Taking into account that | (¯) ρ -1 ( /triangle 234 ) | = 1 &lt; | (¯) ρ -1 ( /triangle ijk ) | for any /triangle ijk ∈ λ C ( 4 ) \ {/triangle 234 } , we conclude that ψ ( /triangle 234 ) = ψ ( /triangle 234 ) and hence ψ x ( /triangle 234 ) = x /triangle 234 for any x ∈ C 4 . Since { x /triangle 234 : x ∈ C 4 } = {/triangle ijk : 2 ≤ i &lt; j &lt; k ≤ 5 } , we conclude that ψ λ C | ( 4 ) is the identity automorphism of the semigroup λ C ( 4 ).

By Theorem 3.4, the automorphism group Aut( λ M ( 2 4 , )) is isomorphic to

$$\prod _ { \mathcal { L } \in \lambda ( \mathcal { C }$$

4.9. The semigroup λ (M 3 3 , ) . In this section we recognize the automorphism group of the superextension of the semigroup M 3 3 , = { a, a 2 , a 3 , a 4 , a 5 } . This semigroup is generated by an element a such that a 6 = a 3 . Observe that the ideal M · 2 3 3 , = { a , a 2 3 , a 4 , a 5 } is isomorphic to the monogenic semigroup M 2 3 , = { b, b 2 , b 3 , b 4 } as for the element b = a 2 we get { b, b 2 , b 3 , b 4 } = { a , a 2 4 , a 3 , a 5 } .

As shown in Subsection 4.4, the automorphism group Aut( λ (M 2 3 , )) consists of all bijections ψ of λ (M 2 3 , ) such that

- · ψ x ( ) = x for any x / ∈ {/triangle 4 , /square 2 , /square 3 } ∪ { b, /triangle 2 , /triangle 3 , /square 1 , /square 4 } ;

Taking into account the isomorphism { b, b 2 , b 3 , b 4 } → { a , a 2 4 , a 3 , a 5 } between the semigroups M 2 3 , and M · 2 3 3 , , we obtain the following fact.

- · the sets {/triangle 4 , /square 2 , /square 3 } and { b, /triangle 2 , /triangle 3 , /square 1 , /square 4 } are ψ -invariant.

Claim 4.1. The automorphism group of the semigroup λ (M · 2 3 3 , ) consists of bijections ψ of λ (M · 2 3 3 , ) such that

- · ψ x ( ) = x for any x ∈ {/triangle 234 , ♦ 4 235 , ♦ 3 245 } ∪ { a , 2 /triangle 235 , /triangle 245 , ♦ 2 345 , ♦ 5 234 } ;

/negationslash

- · the sets {/triangle 234 , ♦ 4 235 , ♦ 3 245 } and { a , 2 /triangle 235 , /triangle 245 , ♦ 2 345 , ♦ 5 234 } are ψ -invariant.

By Lemma 3.5, the map ¯ : σ λ (M 3 3 , ) → λ (M · 2 3 3 , ), ¯ : σ A ↦→ a ∗ A , is an auto-shift of the semigroup λ (M 3 3 , ). By routine calculations, it can be shown that the map ¯ has the following fibers: σ

- · ¯ σ -1 ( a 2 ) = { a } , ¯ σ -1 ( a 4 ) = { a 3 } , ¯ σ -1 ( a 5 ) = { a 4 } ;
- · ¯ σ -1 ( /triangle 245 ) = {/triangle 134 } ;
- · ¯ σ -1 ( a 3 ) = { a , a 2 5 , /triangle 125 , /triangle 235 , /triangle 245 , Λ 2 15 , Λ 2 35 , Λ 2 45 , Λ 5 12 , Λ 5 23 , Λ 5 24 , ♦ 2 135 , ♦ 2 145 , ♦ 2 345 , ♦ 5 123 , ♦ 5 124 , ♦ 5 234 , Θ 25 , Λ 2 , Λ 5 } ;
- · ¯ σ -1 ( /triangle 234 ) = {/triangle 123 , /triangle 135 , Λ 1 23 , Λ 1 35 , Λ 3 12 , Λ 3 15 , ♦ 1 235 , ♦ 3 125 , Θ 13 } ;
- · ¯ σ -1 ( /triangle 345 ) = {/triangle 234 , /triangle 345 , Λ 3 24 , Λ 3 45 , Λ 4 23 , Λ 4 35 , ♦ 3 245 , ♦ 4 235 , Θ 34 } ;
- · ¯ σ -1 ( /triangle 235 ) = {/triangle 124 , /triangle 145 , Λ 1 24 , Λ 1 45 , Λ 4 12 , Λ 4 15 , ♦ 1 245 , ♦ 4 125 , Θ 14 } ;
- · ¯ σ -1 ( ♦ 2 345 ) = { Λ 1 34 , ♦ 1 234 , ♦ 1 345 , Λ 1 } ;
- · ¯ σ -1 ( ♦ 5 234 ) = { Λ 4 13 , ♦ 4 123 , ♦ 4 135 , Λ 4 } ;
- · ¯ σ -1 ( ♦ 4 235 ) = { Λ 3 14 , ♦ 3 124 , ♦ 3 145 , Λ 3 } ;
- · ¯ σ -1 ( ♦ 3 245 ) = { Λ 1 25 , Λ 2 13 , Λ 2 14 , Λ 2 34 , Λ 3 25 , Λ 4 25 , Λ 5 13 , Λ 5 14 , Λ 5 34 , ♦ 5 134 , ♦ 2 134 , Θ 12 , Θ 15 , Θ 23 , Θ 24 , Θ 35 , Θ 45 , ©} .

## Then

- · ¯ σ -1 ( x ) \ λ (M · 2 3 3 , ) = ∅ for x ∈ { a , a 2 4 , a 5 } ;
- · ¯ σ -1 ( /triangle 245 ) \ λ (M · 2 3 3 , ) = {/triangle 134 } ;
- · ¯ σ -1 ( a 3 ) \ λ (M · 2 3 3 , ) = {/triangle 125 , Λ 2 15 , Λ 2 35 , Λ 2 45 , Λ 5 12 , Λ 5 23 , Λ 5 24 , ♦ 2 135 , ♦ 2 145 , ♦ 5 123 , ♦ 5 124 , Θ 25 , Λ 2 , Λ 5 } ;
- · ¯ σ -1 ( /triangle 234 ) \ λ (M · 2 3 3 , ) = {/triangle 123 , /triangle 135 , Λ 1 23 , Λ 1 35 , Λ 3 12 , Λ 3 15 , ♦ 1 235 , ♦ 3 125 , Θ 13 } ;
- · ¯ σ -1 ( /triangle 345 ) \ λ (M · 2 3 3 , ) = { Λ 3 24 , Λ 3 45 , Λ 4 23 , Λ 4 35 , Θ 34 } ;
- · ¯ σ -1 ( /triangle 235 ) \ λ (M · 2 3 3 , ) = {/triangle 124 , /triangle 145 , Λ 1 24 , Λ 1 45 , Λ 4 12 , Λ 4 15 , ♦ 1 245 , ♦ 4 125 , Θ 14 } ;
- · ¯ σ -1 ( ♦ 2 345 ) \ λ (M · 2 3 3 , ) = { Λ 1 34 , ♦ 1 234 , ♦ 1 345 , Λ 1 } ;
- · ¯ σ -1 ( ♦ 5 234 ) \ λ (M · 2 3 3 , ) = { Λ 4 13 , ♦ 4 123 , ♦ 4 135 , Λ 4 } ;
- · ¯ σ -1 ( ♦ 4 235 ) \ λ (M · 2 3 3 , ) = { Λ 3 14 , ♦ 3 124 , ♦ 3 145 , Λ 3 } ;
- · ¯ σ -1 ( ♦ 3 245 ) \ λ (M · 2 3 3 , ) = { Λ 1 25 , Λ 2 13 , Λ 2 14 , Λ 2 34 , Λ 3 25 , Λ 4 25 , Λ 5 13 , Λ 5 14 , Λ 5 34 , ♦ 5 134 , ♦ 2 134 , Θ 12 , Θ 15 , Θ 23 , Θ 24 , Θ 35 , Θ 45 , ©} .

To see that ψ λ | (M · 2 3 3 , ) is trivial, it is sufficient to show that the assumption ψ ( ♦ 2 345 ) = ♦ 5 234 leads to a contradiction. In this case ψ (Λ ) 1 ∈ { Λ 4 13 , ♦ 4 123 , ♦ 4 135 , Λ 4 } . Replacing ψ by the composition of ψ with a suitable permutation in the kernel of the restriction operator R : Aut( λ (M 3 3 , )) → Aut( λ (M · 2 3 3 , )), we can assume that ψ (Λ ) = Λ 1 4 and ψ ( /triangle 123 ) = /triangle 123 .

By Corollary 3.7, for any automorphism ψ of λ (M 3 3 , ) we get | ¯ σ -1 ( ψ x ( )) | = ¯ | σ -1 ( x ) | for all x ∈ λ (M · 2 3 3 , ). Taking into account Corollary 3.7, Claim 4.1 and comparing the cardinalities of the fibers of ¯, we conclude that σ ψ is the identity on the set λ (M · 2 3 3 , ) \ {♦ 2 345 , ♦ 5 234 } .

Now observe that /triangle 123 ∗ Λ 1 = /triangle 234 = /triangle 345 = /triangle 123 ∗ Λ 4 . On the other hand,

/negationslash which is a desired contradiction showing that the restriction ψ λ | (M · 2 3 3 , ) is trivial.

$$\triangle _ { 2 3 4 } = \psi ( \triangle _ { 2 3 4 } ) = \psi ( \triangle _ { 1 2 3 } * \Lambda ^ { 1 } ) = \psi ( \triangle _ { 1 2 3 } ) * \psi ( \Lambda ^ { 1 } ) = \triangle _ { 1 2 3 } * \Lambda ^ { 4 } = \triangle _ { 3 4 5 }, \\ \dots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots. \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \collections \nolimits ( \alpha + 2 \ \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \end{cases}$$

Therefore, the restriction operator R has trivial range and the automorphism group Aut( λ (M 3 3 , )) coincides with the kernel of R , which is isomorphic to

$$\prod _ { \mathcal { L } \in \lambda ( M _ { 3, 3 } ^ { - 1 } ) } S _ { \bar { \sigma } ^ { - 1 } ( \mathcal { L } ) \langle \lambda ( M _ { 3, 3 } ^ { - 2 } ) } \cong S _ { 4 } ^ { 3 } \times S _ { 5 } \times S _ { 9 } ^ { 2 } \times S _ { 1 4 } \times S _ { 1 8 }.$$

4.10. The semigroup λ (M 4 2 , ) . In this section we recognize the structure of the automorphism group of the superextension of the semigroup M 4 2 , and its characteristic ideals M · k 4 2 , for k ∈ { 2 3 4 , , } . The monogenic semigroup M 4 2 , = { a, a 2 , a 3 , a 4 , a 5 } is generated by an element a such that a 6 = a 4 . The characteristic ideal M · 4 4 2 , = { a , a 4 5 } is a group with neutral element a 4 .

Observe that λ (M · 4 4 2 , ) = M · 4 4 2 , ∼ = C 2 and hence Aut( λ (M · 4 4 2 , )) = Aut( ∼ C 2 ) = ∼ C 1 .

↦

To recognize the structure of the automorphism groups of the superextensions of the semigroups M · 3 4 2 , = { a , a 3 4 , a 5 } and M · 2 4 2 , = { a , a 2 3 , a 4 , a 5 } , observe that the map ρ : M · 2 4 2 , → M · 4 4 2 , , ρ : x → a x 4 = a x 2 , is a homomorphic retraction of M · 2 4 2 , onto the group M · 4 4 2 , such that xy = ρ x ( ) · ρ y ( ) for all x, y ∈ M · 2 4 2 , . This homomorphic retraction induces a homomorphic retraction

$$\bar { \rho } \colon \lambda ( \mathbf M _ { 4, 2 } ^ { \cdot 2 } ) \to \lambda ( \mathbf M _ { 4, 2 } ^ { \cdot 4 } ), \ \bar { \rho } \colon \mathcal { A } \mapsto a ^ { 4 } \ast \mathcal { A }, \\ \hat { \nu } \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots$$

such that A∗B = ¯( ρ A ∗ ) ¯( ρ B ) for any A B ∈ , λ (M · 2 4 2 , ).

Using the notations for the elements of the superextension λ (M 4 2 , ) from Subsection 4.8, observe that

$$\lambda ( M _ { 4, 2 } ^ { \cdot 2 } ) & = \{ a ^ { i } \, \colon 2 \leq i \leq 5 \} \cup \{ \triangle _ { i j k } \, \colon 2 \leq i \, < j \, < k \leq 5 \} \cup \{ \Diamond _ { i j k } ^ { n } \colon 2 \leq i \, < j \, < k \leq 5, \ n \in \{ 2, 3, 4, 5 \} \, \subset \{ i, j, k \} \}. \\ - \quad. \, \cdots \, \cdots \, \cdots \,. \quad. \quad. \quad. \quad. \quad. \quad. \quad... 5 \,. \quad........................................................................................................................................................................................................$$

- · ¯ ρ -1 ( a 4 ) = { a , a 2 4 , /triangle 234 , /triangle 245 , ♦ 2 345 , ♦ 4 235 } ;

By routine calculations it can be shown that the map ¯ : ρ λ (M · 2 4 2 , ) → λ (M · 4 4 2 , ) = { a , a 4 5 } has the following fibers:

- · ¯ ρ -1 ( a 5 ) = { a , a 3 5 , /triangle 235 , /triangle 345 , ♦ 3 245 , ♦ 5 234 } .

Now we see that Aut( λ (M · 3 4 2 , )) is isomorphic to

$$\prod _ { i \in \{ 4, 5 \} } S _ { \tilde { \rho } ^ { - 1 } ( a ^ { i } ) \cap \lambda ( M _ { 4, 2 } ^ { 3 } ) \langle M _ { 4, 2 } ^ { 4 } } = S _ { \{ a ^ { 3 }, \triangle _ { 3 4 5 } \} } \cong C _ { 2 }$$

and Aut( λ (M · 2 4 2 , )) is isomorphic to

$$\prod _ { i \in \{ 4, 5 \} } S _ { \bar { \rho } ^ { - 1 } ( a ^ { i } ) \mathbb { M } _ { 4, 2 } ^ { \cdot 4 } } \cong S _ { 5 } \times S _ { 5 }.$$

To detect the algebraic structure of the automorphism group of λ (M 4 2 , ), consider the map σ : M 4 2 , → M · 2 4 2 , , σ : x → ax , which induces the map

↦

$$\bar { \sigma } \colon \lambda ( M _ { 4, 2 } ) \to \lambda ( M _ { 4, 2 } ^ { \cdot 2 } ), \ \bar { \sigma } \colon \mathcal { A } \mapsto a * \mathcal { A }.$$

By Lemma 3.5, ¯ is an auto-shift of σ λ (M 4 2 , ).

By routine calculations we can show that the map ¯ has the following fibers: σ

- · ¯ σ -1 ( a 2 ) = { a } , ¯ σ -1 ( a 3 ) = { a 2 } , ¯ σ -1 ( a 5 ) = { a 4 } ;
- · ¯ σ -1 ( /triangle 235 ) = {/triangle 124 } ;
- · ¯ σ -1 ( a 4 ) = { a , a 3 5 , /triangle 135 , /triangle 235 , /triangle 345 , Λ 3 15 , Λ 3 25 , Λ 3 45 , Λ 5 13 , Λ 5 23 , Λ 5 34 , ♦ 3 125 , ♦ 3 145 , ♦ 3 245 , ♦ 5 123 , ♦ 5 134 , ♦ 5 234 , Λ 3 , Λ 5 , Θ 35 } ;
- · ¯ σ -1 ( /triangle 234 ) = {/triangle 123 , /triangle 125 , Λ 1 23 , Λ 1 25 , Λ 2 13 , Λ 2 15 , ♦ 1 235 , ♦ 2 135 , Θ 12 } ;
- · ¯ σ -1 ( /triangle 345 ) = {/triangle 234 , /triangle 245 , Λ 2 34 , Λ 2 45 , Λ 4 23 , Λ 4 25 , ♦ 2 345 , ♦ 4 235 , Θ 24 } ;
- · ¯ σ -1 ( /triangle 245 ) = {/triangle 134 , /triangle 145 , Λ 1 34 , Λ 1 45 , Λ 4 13 , Λ 4 15 , ♦ 1 345 , ♦ 4 135 , Θ 14 } ;
- · ¯ σ -1 ( ♦ 2 345 ) = {♦ 1 234 , ♦ 1 245 , Λ 1 , Λ 1 24 } ;
- · ¯ σ -1 ( ♦ 5 234 ) = {♦ 4 123 , ♦ 4 125 , Λ 4 , Λ 4 12 } ;
- · ¯ σ -1 ( ♦ 3 245 ) = {♦ 2 134 , ♦ 2 145 , Λ 2 , Λ 2 14 } ;
- · ¯ σ -1 ( ♦ 4 235 ) = { Λ 1 35 , Λ 2 35 , Λ 3 12 , Λ 3 14 , Λ 3 24 , Λ 4 35 , Λ 5 12 , Λ 5 14 , Λ 5 24 , ♦ 3 124 , ♦ 5 124 , Θ 13 , Θ 15 , Θ 23 , Θ 25 , Θ 34 , Θ 45 , ©} .

Now consider the restriction operator

$$R \colon \text{Aut} ( \lambda ( M _ { 4, 2 } ) ) \to \text{Aut} ( \lambda ( M _ { 4, 2 } ^ { 2 } ) ), \ R \colon \psi \mapsto \psi | \lambda ( M _ { 4, 2 } ^ { 2 } ).$$

↦

We claim that this operator has trivial range.

Fix any automorphism ψ ∈ Aut( λ (M 4 2 , )). Proposition 3.3 ensures that ψ a ( i ) = a i for all i ∈ { 1 2 3 4 5 , , , , } .

It follows from ψ ◦ ¯ = ¯ σ σ ◦ ψ that

The description of the automorphism group Aut( λ (M · 2 4 2 , )) ensures that the sets { a , a 2 4 , /triangle 234 , /triangle 245 , ♦ 2 345 , ♦ 4 235 } and { a , a 3 5 , /triangle 235 , /triangle 345 , ♦ 3 245 , ♦ 5 234 } are ψ -invariant. Then the sets F 4 = {/triangle 234 , /triangle 245 , ♦ 2 345 , ♦ 4 235 } and F ′ 4 = {/triangle 235 , /triangle 345 , ♦ 3 245 , ♦ 5 234 } are ψ -invariant, too. Taking into account that the ideal λ (M · 3 4 2 , ) = { a , a 3 4 , a 5 , /triangle 345 } is characteristic, we conclude that ψ ( /triangle 345 ) = /triangle 345 . Consequently, the set F 3 = {/triangle 235 , ♦ 3 245 , ♦ 5 234 } is ψ -invariant and ψ ( A ) = A for any A ∈ λ (M · 2 4 2 , ) \ ( F 3 ∪ F 4 ).

$$| \bar { \sigma } ^ { - 1 } ( \psi ^ { - 1 } ( \mathcal { A } ) ) \, \sum \lambda ( M _ { 4, 2 } ^ { \cdot 2 } ) | = | \bar { \sigma } ^ { - 1 } ( \mathcal { A } ) \, \sum \lambda ( M _ { 4, 2 } ^ { \cdot 2 } ) |$$

- · | ¯ σ -1 ( x ) \ λ (M · 2 4 2 , ) | = 0 for x ∈ { a , a 2 3 , a 5 } ;

for any A ∈ λ (M · 2 4 2 , ). Observe that

- · | ¯ σ -1 ( a 4 ) \ λ (M · 2 4 2 , ) | = |{/triangle 135 , Λ 3 15 , Λ 3 25 , Λ 3 45 , Λ 5 13 , Λ 5 23 , Λ 5 34 , ♦ 3 125 , ♦ 3 145 , ♦ 5 123 , ♦ 5 134 , Λ 3 , Λ 5 , Θ 35 }| = 14;
- · | ¯ σ -1 ( /triangle 234 ) \ λ (M · 2 4 2 , ) | = |{/triangle 123 , /triangle 125 , Λ 1 23 , Λ 1 25 , Λ 2 13 , Λ 2 15 , ♦ 1 235 , ♦ 2 135 , Θ 12 }| = 9;
- · | ¯ σ -1 ( /triangle 235 ) \ λ (M · 2 4 2 , ) | = |{/triangle 124 }| = 1;
- · | ¯ σ -1 ( /triangle 245 ) \ λ (M · 2 4 2 , ) | = |{/triangle 134 , /triangle 145 , Λ 1 34 , Λ 1 45 , Λ 4 13 , Λ 4 15 , ♦ 1 345 , ♦ 4 135 , Θ 14 }| = 9;
- · | ¯ σ -1 ( ♦ 2 345 ) \ λ (M · 2 4 2 , ) | = |{♦ 1 234 , ♦ 1 245 , Λ 1 , Λ 1 24 }| = 4;
- · | ¯ σ -1 ( /triangle 345 ) \ λ (M · 2 4 2 , ) | = |{ Λ 2 34 , Λ 2 45 , Λ 4 23 , Λ 4 25 , Θ 24 }| = 5;
- · | ¯ σ -1 ( ♦ 3 245 ) \ λ (M · 2 4 2 , ) | = |{♦ 2 134 , ♦ 2 145 , Λ 2 , Λ 2 14 }| = 4;
- · | ¯ σ -1 ( ♦ 5 234 ) \ λ (M · 2 4 2 , ) | = |{♦ 4 123 , ♦ 4 125 , Λ 4 , Λ 4 12 }| = 4;

- · | ¯ σ -1 ( ♦ 4 235 ) \ λ (M · 2 4 2 , ) | =

Comparing the cardinalities of the sets ¯ σ -1 ( A \ ) λ (M · 2 4 2 , ) for points in the sets F 3 and F 4 , we can conclude that the sets {/triangle 234 , /triangle 245 } and {♦ 3 245 , ♦ 5 234 } are ψ -invariant and ψ ( A ) = A for any A ∈ λ (M · 2 4 2 , ) \ {/triangle 234 , /triangle 245 , ♦ 3 245 , ♦ 5 234 } . Now we show that ψ ( /triangle 234 ) = /triangle 234 . In the opposite case, ψ ( /triangle 234 ) = /triangle 245 and hence ψ ( /triangle 123 ) ∈ ¯ σ -1 ( /triangle 245 ) \ λ (M · 2 4 2 , ). Replacing ψ by the composition of ψ with a suitable permutation in the kernel of the restriction operator · 2

- = |{ Λ 1 35 , Λ 2 35 , Λ 3 12 , Λ 3 14 , Λ 3 24 , Λ 4 35 , Λ 5 12 , Λ 5 14 , Λ 5 24 , ♦ 3 124 , ♦ 5 124 , Θ 13 , Θ 15 , Θ 23 , Θ 25 , Θ 34 , Θ 45 , ©}| = 18.

R : Aut( λ (M 4 2 , )) → Aut( λ (M 4 2 , )), we can assume that ψ ( /triangle 123 ) = /triangle 134 .

$$\Diamond _ { 2 3 5 } ^ { 4 } = \psi ( \Diamond _ { 2 3 5 } ^ { 4 } ) = \psi ( \triangle _ { 1 2 3 } ) * \psi ( \triangle _ { 1 2 3 } ) = \triangle _ { 1 3 4 } * \triangle _ { 1 3 4 } = \triangle _ { 2 4 5 }, \\ \dots \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \colon \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \, \quad \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \dots \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \colon \colon \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \colon \end{array}$$

Taking into account that /triangle 123 ∗ /triangle 123 = ♦ 4 235 and /triangle 134 ∗ /triangle 134 = /triangle 245 , we conclude that which is a contradiction proving that ψ ( A ) = A for all A ∈ λ (M · 2 4 2 , ) \ {♦ 3 245 , ♦ 5 234 } .

Taking into account that /triangle 123 ∗ Λ 2 = /triangle 345 and /triangle 123 ∗ Λ 4 = ♦ 5 234 , we conclude that

Assuming that ψ λ | (M · 2 4 2 , ) is not identity, we conclude that ψ ( ♦ 3 245 ) = ♦ 5 234 . Replacing ψ by the composition of ψ with a suitable permutation in the kernel of the restriction operator R , we can assume that ψ (Λ ) = Λ 2 4 and ψ ( /triangle 123 ) = /triangle 123 .

$$\triangle _ { 3 4 5 } = \psi ( \triangle _ { 3 4 5 } ) = \psi ( \triangle _ { 1 2 3 } * \Lambda ^ { 2 } ) = \psi ( \triangle _ { 1 2 3 } ) * \psi ( \Lambda ^ { 2 } ) = \triangle _ { 1 2 3 } * \Lambda ^ { 4 } = \Diamond _ { 2 3 4 } ^ { 5 }, \\. \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \colon \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \ddots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots$$

which is a contradiction completing the proof of the triviality of the range of the restriction operator R : Aut( λ (M 4 2 , )) → Aut( λ (M · 2 4 2 , )).

Then the automorphism group Aut( λ (M 4 2 , )) coincides with the kernel of R , which is isomorphic to the group

$$\prod _ { \mathcal { L } \in \lambda ( M _ { 4, 2 } ^ { 2 } ) } S _ { \bar { \sigma } ^ { - 1 } ( \mathcal { L } ) \langle \lambda ( M _ { 4, 2 } ^ { 2 } ) } \cong S _ { 4 } ^ { 3 } \times S _ { 5 } \times S _ { 9 } ^ { 2 } \times S _ { 1 4 } \times S _ { 1 8 }.$$

4.11. The semigroup λ (M 5 1 , ) . In this section we recognize the structure of the automorphism group of the superextension of the semigroup M 5 1 , and its characteristic ideals M · k 5 1 , for k ∈ { 2 3 4 5 , , , } . The monogenic semigroup M 5 1 , = { a, a 2 , a 3 , a 4 , a 5 } is generated by an element a such that a 6 = a 5 . Observe that for any x, y ∈ { a , a 3 4 , a 5 } = M · 3 5 1 , we get xy = a 5 . This implies that for any k ∈ { 3 4 5 , , } any bijection ψ of λ (M · k 5 1 , ) with ψ a ( 5 ) = a 5 is an automorphism of the semigroup λ (M · k 5 1 , ). This observation implies that Aut( λ (M · 5 5 1 , )) = Aut( ∼ λ (M · 4 5 1 , )) = ∼ C 1 and Aut( λ (M · 3 5 1 , )) = ∼ S 3 .

Next, consider the semigroup M · 2 5 1 , = { a , a 2 3 , a 4 , a 5 } and its superextension λ (M · 2 5 1 , ). It follows from M · 2 5 1 , ∗ M · 2 5 1 , = M · 4 5 1 , = { a , a 4 5 } that λ (M · 2 5 1 , ) ∗ λ (M · 2 5 1 , ) = λ (M · 4 5 1 , ) = M · 4 5 1 , . This implies that the ideal M · 4 5 1 , is characteristic in the semigroup λ (M · 2 5 1 , ). Since the semigroup M · 4 5 1 , = { a , a 4 5 } has trivial automorphism group, ψ a ( 4 ) = a 4 and ψ a ( 5 ) = a 5 for any automorphism ψ of λ (M · 2 5 1 , ).

/negationslash

To recognize the automorphism group of λ (M 5 1 , ), consider the map

It is easy to show that the equation x ∗ y = a 4 has a unique solution x = y = a 2 in the semigroup λ (M · 2 5 1 , ). Consequently, ψ a ( 2 ) = a 2 for any automorphism ψ of λ (M · 2 5 1 , ) and A∗B = a 5 for any maximal linked upfamilies A B ∈ , λ (M · 2 5 1 , ) such that ( A B , ) = ( a , a 2 2 ). It follows that any bijection ψ of λ (M · 2 5 1 , ) such that ψ a ( i ) = a i for i ∈ { 2 4 5 , , } is an automorphism of the semigroup λ (M · 2 5 1 , ). This implies that Aut(M · 2 5 1 , ) = ∼ S 9 .

$$\bar { \sigma } \, \colon \lambda ( M _ { 5, 1 } ) \to \lambda ( M _ { 5, 1 } ^ { \cdot 2 } ), \ \bar { \sigma } \, \colon \mathcal { A } \mapsto a \ast \mathcal { A }. \\.. \ \dots \ \dots \ \dots \ \dots \ \dots.$$

By Lemma 3.5, ¯ is an auto-shift of σ λ (M 5 1 , ) and its restriction ¯ σ 2 := ¯ σ λ | (M · 2 5 1 , ) is a good shift of λ (M · 2 5 1 , ). By routine calculations, it can be shown that the map ¯ has the following fibers: σ

- · ¯ σ -1 ( a i ) = { a i -1 } for i ∈ { 2 3 4 , , } ;
- · ¯ σ -1 ( /triangle 234 ) = {/triangle 123 } ;
- · ¯ σ -1 ( a 5 ) = { a , a 4 5 , Λ 5 , Λ 4 , ♦ 5 234 , ♦ 5 134 , ♦ 5 124 , ♦ 4 235 , ♦ 4 135 , ♦ 4 125 , Λ 5 34 , Λ 5 24 , Λ 5 14 , Λ 4 35 , Λ 4 25 , Λ 4 15 , /triangle 345 , /triangle 245 , /triangle 145 , Θ 45 } ;
- · ¯ σ -1 ( /triangle 235 ) = { Θ 12 , ♦ 2 145 , ♦ 1 245 , Λ 2 15 , Λ 2 14 , Λ 1 25 , Λ 1 24 , /triangle 125 , /triangle 124 } ;
- · ¯ σ -1 ( /triangle 345 ) = { Θ 23 , ♦ 3 245 , ♦ 2 345 , Λ 3 25 , Λ 3 24 , Λ 2 35 , Λ 2 34 , /triangle 234 , /triangle 235 } ;
- · ¯ σ -1 ( /triangle 245 ) = { Θ 13 , ♦ 3 145 , ♦ 1 345 , Λ 3 15 , Λ 3 14 , Λ 1 35 , Λ 1 34 , /triangle 135 , /triangle 134 } ;
- · ¯ σ -1 ( ♦ 2 345 ) = { Λ 1 , ♦ 1 235 , ♦ 1 234 , Λ 1 23 } ;
- · ¯ σ -1 ( ♦ 4 235 ) = { Λ 3 , ♦ 3 125 , ♦ 3 124 , Λ 3 12 } ;
- · ¯ σ -1 ( ♦ 3 245 ) = { Λ 2 , ♦ 2 135 , ♦ 2 134 , Λ 2 13 } ;
- · ¯ σ -1 ( ♦ 5 234 ) = {© , Θ 35 , Θ 34 , Θ 25 , Θ 24 , Θ 15 , Θ 14 , ♦ 5 123 , ♦ 4 123 , Λ 5 23 , Λ 5 13 , Λ 5 12 , Λ 4 23 , Λ 4 13 , Λ 4 12 , Λ 3 45 , Λ 2 45 , Λ 1 45 } .

To recognize the algebraic structure of the automorphism group Aut( λ (M 5 1 , )), consider the restriction operator R : Aut( λ (M 5 1 , )) → Aut( λ (M · 2 5 1 , )). By Corollary 3.7, the kernel of this operator is isomorphic to

$$\prod _ { \mathcal { L } \in \lambda ( M _ { 5, 1 } ^ { 2 } ) } S _ { \bar { \sigma } ^ { - 1 } ( \mathcal { L } ) \langle \lambda ( M _ { 5, 1 } ^ { 2 } ) } \cong S _ { 1 4 } \times S _ { 9 } ^ { 2 } \times S _ { 5 } \times S _ { 4 } ^ { 3 } \times S _ { 1 8 }.$$

We claim that the operator R has trivial range. Given any automorphism ψ of λ (M 5 1 , ), we should prove that ψ ( A ) = A for any A ∈ λ (M · 2 5 1 , ). By Proposition 3.3, ψ a ( i ) = a i for all i ∈ { 1 2 3 4 5 , , , , } . The equality ψ a ( ) = a implies that ¯ σ ◦ ψ = ψ ◦ ¯. σ Consequently, for every L ∈ λ (M · 2 5 1 , ) we have ψ σ (¯ -1 ( L )) = ¯ σ -1 ( ψ ( L )). Since the ideals λ (M · k 5 1 , ) are characteristic in λ (M 5 1 , ), Corollary 3.7 ensures that

$$| \bar { \sigma } ^ { - 1 } ( \psi ( \mathcal { L } ) ) \cap \lambda ( \mathsf M _ { 5, 1 } ^ { \cdot k } ) | = | \bar { \sigma } ^ { - 1 } ( \mathcal { L } ) \cap \lambda ( \mathsf M _ { 5, 1 } ^ { \cdot k } ) | \\ \cdots = \cdots \cdots \cdots = \cdots$$

Comparing the cardinalities of the sets ¯ σ -1 ( L ∩ ) λ (M · k 5 1 , ) for various k ∈ { 1 2 3 4 5 , , , , } and L ∈ λ (M · 2 5 1 , ), we see that ψ F ( 2 ) = F 2 , ψ F ( 3 ) = F 3 and ψ ( A ) = A for all A ∈ M · 2 5 1 , \ ( F 2 ∪ F 3 ), where F 2 = {/triangle 235 , /triangle 245 } and F 3 = {♦ 2 345 , ♦ 3 245 , ♦ 4 235 } .

Observe that for all L ∈ λ (M · 2 5 1 , ) and all k ∈ { 1 2 3 4 5 , , , , } .

/negationslash

Let us check that ψ ( /triangle 235 ) = /triangle 235 . To derive a contradiction, assume that ψ ( /triangle 235 ) = /triangle 235 and hence ψ ( /triangle 235 ) = /triangle 245 . Consider the element /triangle 124 ∈ ¯ σ -1 ( /triangle 235 ) \ λ (M · 2 5 1 , ) and observe that ψ ( /triangle 124 ) ∈ ψ σ (¯ -1 ( /triangle 235 )) = ¯ σ -1 ( ψ ( /triangle 235 )) = ¯ σ -1 ( /triangle 245 ). Let π : λ (M 5 1 , ) → λ (M 5 1 , ) be a permutation such that π ψ ( ( /triangle 124 )) = /triangle 135 and π ( A ) = A for all A ∈ λ (M 5 1 , ) \ {/triangle 135 , /triangle 124 } . By Corollary 3.7, the permutation π belongs to the automorphism group Aut( λ (M 5 1 , )). Replacing ψ by π ◦ ψ , we can assume that ψ ( /triangle 124 ) = /triangle 135 .

$$a ^ { 5 } = \triangle _ { 1 3 5 } * \triangle _ { 1 2 3 } = \psi ( \triangle _ { 1 2 4 } ) * \psi ( \triangle _ { 1 2 3 } ) = \psi ( \triangle _ { 1 2 4 } * \triangle _ { 1 2 3 } ) = \psi ( \triangle _ { 3 4 5 } ) \neq a ^ { 5 }. \\ \intertext { m a l t i c o n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n e d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d } a ^ { 5 } = \triangle _ { 1 3 5 5 } \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \sim \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \ \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \ } \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \$$

/negationslash

Next, we show that ψ ( A ) = A for any A ∈ F 3 = {♦ 2 345 , ♦ 3 245 , ♦ 4 235 } . To simplify notations, put ♦ 2 := ♦ 2 345 , ♦ 3 := ♦ 3 245 , ♦ 4 := ♦ 4 235 . To derive a contradiction, assume that ψ ( ♦ i ) = ♦ j for some 2 ≤ i &lt; j ≤ 4. Consider the maximal linked upfamily Λ i -1 ∈ ¯ σ -1 ( ♦ i ) and observe that ψ (Λ i -1 ) ∈ ψ σ (¯ -1 ( ♦ i )) = ¯ σ -1 ( ψ ( ♦ i )) = ¯ σ -1 ( ♦ j ). Since Λ j -1 ∈ ¯ σ -1 ( ♦ j ), we can replace ψ by the composition with the permutation exchanging ψ (Λ i -1 ) with Λ j -1 and ψ ( /triangle 134 ) with /triangle 134 , and assume that ψ (Λ i -1 ) = Λ j -1 and ψ ( /triangle 134 ) = /triangle 134 .

This contradiction shows that ψ ( /triangle 235 ) = /triangle 235 and hence ψ ( /triangle 245 ) = /triangle 245 (as ψ F ( 2 ) = F 2 )).

Now observe that the elements Λ 1 , Λ 2 , Λ 3 can be algebraically distinguished by the equalities:

$$\omega _ { 1 }, \lambda, \lambda \, \text{and} \, \omega \, \text{age} \, \text{array} \, \text{using} \, \text{use} \, \omega _ { 1 } \\ \Lambda ^ { 1 } & \ast \triangle _ { 1 2 3 } = \triangle _ { 3 4 5 }, \ \Lambda ^ { 1 } \ast \triangle _ { 1 3 4 } = \triangle _ { 3 4 5 } \\ \Lambda ^ { 2 } & \ast \triangle _ { 1 2 3 } = \triangle _ { 3 4 5 }, \ \Lambda ^ { 2 } \ast \triangle _ { 1 3 4 } = a ^ { 5 } \\ \Lambda ^ { 3 } & \ast \triangle _ { 1 2 3 } = a ^ { 5 }, \ \Lambda ^ { 3 } \ast \triangle _ { 1 3 4 } = a ^ { 5 }. \\ \intertext { t hen $\psi(\Lambda^{\Lambda}) = \Lambda^{\Lambda^{\Lambda^{\Lambda}} } \, \text{and we obtain a contradiction}$$

Two cases are possible. If i = 2, then ψ (Λ ) = Λ 1 j -1 and we obtain a contradiction:

$$a ^ { 5 } = \psi ( a ^ { 5 } ) = \Lambda ^ { j - 1 } * \triangle _ { 1 3 4 } = \psi ( \Lambda ^ { 1 } ) * \psi ( \triangle _ { 1 3 4 } ) = \psi ( \Lambda ^ { 1 } * \triangle _ { 1 3 4 } ) = \psi ( \triangle _ { 3 4 5 } ) \neq a ^ { 5 }. \\ - 2 \cdots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots.$$

/negationslash

If i = 3, then we obtain a contradiction considering

$$a ^ { 5 } = \psi ( a ^ { 5 } ) = \Lambda ^ { j - 1 } * \triangle _ { 1 2 3 } = \psi ( \Lambda ^ { 2 } ) * \psi ( \triangle _ { 1 2 3 } ) = \psi ( \Lambda ^ { 2 } * \triangle _ { 1 2 3 } ) = \psi ( \triangle _ { 3 4 5 } ) \neq a ^ { 5 }. \\ \intertext { a b a c e m m a s t h i t i n m i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i l t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t h i t }$$

/negationslash

In both cases we obtain a contradiction with the assumption that ψ ( A /negationslash ) = A for some A ∈ F 3 . This contradiction completes the proof of the triviality of the range of the operator R . Then the group Aut( λ (M 5 1 , )) is equal to the kernel of the operator R and hence is isomorphic to the group S 3 4 × S 5 × S 2 9 × S 14 × S 18 .

## 5. Summary Table and some Conjectures

The obtained results on the automorphism groups of superextensions of monogenic semigroups of cardinality ≤ 5 are summed up in the following table.

| S                   | | S | =   | S ∼ =       | Aut( S ) ∼ =   | Aut( λ ( S )) ∼ =                   | | Aut( λ ( S )) | =   |
|---------------------|-----------|-------------|----------------|-------------------------------------|-----------------------|
| M 1 , 1             | 1         | C 1         | C 1            | C 1                                 | 1                     |
| M 1 , 2             | 2         | C 2         | C 1            | C 1                                 | 1                     |
| M 2 , 1             | 2         |             | C 1            | C 1                                 | 1                     |
| M · 2 2 , 1         | 1         | C 1         | C 1            | C 1                                 | 1                     |
| M 1 , 3             | 3         | C 3         | C 2            | C 2                                 | 2                     |
| M 2 , 2             | 3         |             | C 1            | C 2                                 | 2                     |
| M · 2 2 , 2         | 2         | C 2         | C 1            | C 1                                 | 1                     |
| M 3 , 1             | 3         |             | C 1            | C 1                                 | 1                     |
| M · 2 3 , 1         | 2         | M           | C 1            | C 1                                 | 1                     |
| · 3                 |           | 2 , 1       |                | C 1                                 | 1                     |
| M 3 , 1             | 1         | C 1         | C 1            |                                     |                       |
| M 1 , 4             | 4         | C 4         | C 2            | C 2 2                               | 4                     |
| M 2 , 3             | 4         |             | C 1            | S 3 × S 5                           | 720 2                 |
| M · 2 2 , 3         | 3         | C 3         | C 2 C 1        | C 2 3 × S                           | 144                   |
| M 3 , 2             | 4         |             |                | S 4                                 |                       |
| M · 2 3 , 2         | 3         | M 2 , 2     | C 1            | C 2                                 | 2                     |
| M · 3 3 , 2         | 2         | C 2         | C 1 C 1        | C 1 S 3 × S                         | 1 144                 |
| M 4 , 1 M · 2 4 , 1 | 4 3       |             | C 2            | 4 S 3                               | 6                     |
| M · 3 4 , 1         | 2         | M 2 , 1     | C 1            | C 1                                 | 1                     |
| M · 4 4 , 1         | 1         |             | C 1            | C                                   | 1                     |
|                     |           | C 1         | C 4            | 1 C                                 | 4                     |
| M 1 , 5 M           | 5 5       | C 5         | C 1            | 4 S 3 3 × S 3 8 × S 17 × S 19       | 4465152               |
| 2 , 4 M · 2 2 , 4 M | 4 5       | C 4 M 2 , 3 | C 2 C 1        | C 2 2 S                             | 4 6531840             |
| 3 , 3 M · 2         | 4         |             | C 1            | 3 4 × S 5 × S 2 9 × S 14 × S 18     | 720                   |
| 3 , 3               |           |             |                | S 3 × S 5 C                         | 2                     |
| M · 3 3 , 3 M       | 3 5       | C 3         | C 2 C 1        | 2 S 3 4 × S 5 × S 2 9 × S 14 × S 18 | 6531840               |
| 4 , 2 M · 2 4 , 2   | 4         |             | C 2            | S 5 × S 5                           | 14400                 |
| M · 3 4 , 2         | 3         |             | C 1            | C 2                                 | 2                     |
| M · 4 4 , 2         | 2         | C 2         | C 1            | C 1                                 | 1                     |
| M 5 , 1             | 5         |             | C 1            | S 3 4 × S 5 × S 2 9 × S 14 × S 18   | 6531840               |
| M · 2 5 , 1         | 4         |             | C 1            | S 9                                 | 362880                |
| M · 3 5 , 1         | 3         | M · 2 4 , 1 | C 2            | S 3                                 | 6                     |
| M · 4 5 , 1         | 2         | M 2 , 1     | C 1            | C 1                                 | 1                     |
| M · 5 5 , 1         | 1         | C 1         | C 1            | C 1                                 | 1                     |

Analyzing the entries of this table and the arguments in Section 4, we can make the following conjectures.

Conjecture 5.1. For any integer numbers r, s ≥ 3 and n, m ≥ 1 with r + m = s + n the automorphism groups Aut( λ (M r,m )) and Aut( λ (M s,n )) are isomorphic.

Conjecture 5.2. For any integer r ≥ 2 and m ≥ 1 the restriction operator R : Aut( λ (M r,m )) → Aut( λ (M · 2 r,m )), R : ψ → | ψ λ (M · 2 r,m ), has trivial range.

↦

## References

- [1] T. Banakh, V. Gavrylkiv, Algebra in superextension of groups, II: cancelativity and centers , Algebra Discrete Math. 4 (2008), 1-14.
- [2] T. Banakh, V. Gavrylkiv, Algebra in superextension of groups: minimal left ideals , Mat. Stud. 31 (2) (2009), 142-148.
- [3] T. Banakh, V. Gavrylkiv, Extending binary operations to functor-spaces , Carpathian Math. Publ. 1 (2) (2009), 113-126.
- [4] T. Banakh, V. Gavrylkiv, Algebra in the superextensions of twinic groups , Dissert. Math. 473 (2010), 3-74. - DOI: 10.4064/dm4730-1.
- [5] T. Banakh, V. Gavrylkiv, Algebra in superextensions of semilattices , Algebra Discrete Math. 13 (1) (2012), 26-42.
- [6] T. Banakh, V. Gavrylkiv, Algebra in superextensions of inverse semigroups , Algebra Discrete Math. 13 (2) (2012), 147-168.
- [7] T. Banakh, V. Gavrylkiv, Characterizing semigroups with commutative superextensions , Algebra Discrete Math. 17 (2) (2014), 161-192.
- [8] T. Banakh, V. Gavrylkiv, On structure of the semigroups of k-linked upfamilies on groups , Asian-European J. Math. 10 (4) (2017), 1750083 [15 pages] - DOI: 10.1142/S1793557117500838.
- [9] T. Banakh, V. Gavrylkiv, Automorphism groups of superextensions of groups , Mat. Stud. 48 (2) (2017), 134-142.
- [10] T. Banakh, V. Gavrylkiv, O. Nykyforchyn, Algebra in superextensions of groups, I: zeros and commutativity , Algebra Discrete Math. 3 (2008), 1-29.
- [11] A.E. Brouwer, C.F. Mills, W.H. Mills, A. Verbeek, Counting families of mutually intesecting sets , Electron. J. Combin. 20 (2) (2013), Paper 8, 8 pp.
- [12] R. Dedekind, ¨ ber U Zerlegungen von Zahlen durch ihre gr¨ssten gemeinsammen Teiler u , in Gesammelte Werke , Vol. 1 (Springer, 1897), pp. 103-148.
- [13] V. Gavrylkiv, The spaces of inclusion hyperspaces over noncompact spaces , Mat. Stud. 28 (1) (2007), 92-110.
- [14] V. Gavrylkiv, Right-topological semigroup operations on inclusion hyperspaces , Mat. Stud. 29 (1) (2008), 18-34.
- [15] V. Gavrylkiv, Superextensions of cyclic semigroups , Carpathian Math. Publ. 5 (1) (2013), 36-43.
- [16] V. Gavrylkiv, Semigroups of centered upfamilies on finite monogenic semigroups , J. Algebra, Number Theory: Adv. Appl. 16 (2) (2016), 71-84. - DOI: 10.18642/jantaa7100121719.
- [17] V. Gavrylkiv, Semigroups of centered upfamilies on groups , Lobachevskii J. Math. 38 (3) (2017), 420-428. -DOI: 10.1134/S1995080217030106.
- [18] V. Gavrylkiv, Superextensions of three-element semigroups , Carpathian Math. Publ. 9 (1) (2017), 28-36. - DOI: 10.15330/cmp.9.1.
- [19] V. Gavrylkiv, On the automorphism group of the superextension of a semigroup , Mat. Stud. 48 (1) (2017), 3-13.
- [20] N. Hindman, D. Strauss, Algebra in the Stone- ˇ ech compactification C , (de Gruyter, Berlin, New York, 1998).
- [21] J.M. Howie, Fundamentals of semigroup theory , The Clarendon Press (Oxford University Press, New York, 1995).
- [22] J. van Mill, Supercompactness and Wallman spaces , Mathematical Centre Tracts, Vol. 85 (Amsterdam, 1977).
- [23] A. Teleiko, M. Zarichnyi, Categorical Topology of Compact Hausdorff Spaces , Vol. 5 (VNTL, Lviv, 1999).
- [24] A. Verbeek, Superextensions of topological spaces , Mathematical Centre Tracts, Vol. 41 (Amsterdam, 1972).
- (T. Banakh) Ivan Franko National University of Lviv (Ukraine) and Jan Kochanowski University in Kielce (Poland) E-mail address : t.o.banakh@gmail.com
- (V. Gavrylkiv) Vasyl Stefanyk Precarpathian National University, Ivano-Frankivsk, Ukraine
- E-mail address : vgavrylkiv@gmail.com
Taras Banakh Volodymyr Gavrylkiv
Automorphism groups of superextensions of finite monogenic semigroups
A family $\mathcal L$ of subsets of a set $X$ is called linked if $A\cap
B\ne\emptyset$ for any $A,B\in\mathcal L$. A linked family $\mathcal M$ of
subsets of $X$ is maximal linked if $\mathcal M$ coincides with each linked
family $\mathcal L$ on $X$ that contains $\mathcal M$. The superextension
$\lambda(X)$ of $X$ consists of all maximal linked families on $X$. Any
associative binary operation $* : X\times X \to X$ can be extended to an
associative binary operation $*: \lambda(X)\times\lambda(X)\to\lambda(X)$. In
the paper we study automorphisms of the superextensions of finite monogenic
semigroups and characteristic ideals in such semigroups. In particular, we
describe the automorphism groups of the superextensions of finite monogenic
semigroups of cardinality $\leq 5$.