Irredundant generating sets and dimension-like invariants of the finite group arxiv: v2 [math.gr] 13 Dec 2017

Transcription

1 Irredundant generating sets and dimension-like invariants of the finite group arxiv: v2 [math.gr] 13 Dec 2017 Minh Nguyen April 9, 2018 Abstract Whiston proved that the maximum size of an irredundant generating set in the symmetric group S n is n 1, and Cameron and Cara characterized all irredundant generating sets of S n that achieve this size. Our goal is to extend their results. Using properties of transitive subgroups of the symmetric group, we are able to classify all irredundant generating sets with sizes n 2 in both A n and S n. Next, based on this classification, we derive other interesting properties for the alternating group A n. Finally, using Whiston s lemma, we will derive the formulas for calculating dimension-like invariants of some specific types of wreath products. 1

2 Contents 1 Introduction 3 2 Properties of irredundant generating sets in the alternating group 4 3 Properties of irredundant generating set of arbitrary length in the symmetric group Classification of irredundant generating sets of length n 2 of symmetric group Elements in an irredundant generating set of arbitrary length in the symmetric group Dimension-like invariants of wreath product Computing m of wreath product of simple group and 2-transitive permutation group Computing i of wreath product of strongly flat simple group and permutation group Acknowledgment 57 2

3 1. Introduction This paper is the report for summer undergraduate research program at Cornell University. The paper mainly deals with an irredundant generating set and dimension-like invariants of a finite group. three main parts. The paper consists of In the first part, we will classify all irredundant generating sets of length n 2 in A n. Then, from this classification, we will prove many other properties of the alternating group A n Cameron and Cara, in their paper, classify all irredundant generating sets of length n 1 in S n. In the second part of this paper, we will try to study a more general problem, which is the classification of all irredundant generating sets of arbitrary length in S n. In the final part, we will derive the formulas for calculating dimension-like invariants of some specific types of wreath products. We start with definitions of dimension-like invariants for a finite group. Definition 1. For a finite group G, and a set H G, let H denote the subgroup of G generated by H. For a finite group G, the set s = (g 1,..., g n ) of elements of G is called irredundant if {g i } i j {g i } j 1, n Let i(g) be the maximal size of an irredundant set in G, and m(g) be the maximal size of an irredundant generating set in G. Then, clearly, m(g) i(g). For G = k that i(g) λ(g). p α i i, let λ(g) denote the sum k α i. Then it is easy to see A finite group G is flat if m(h) m(g) for all subgroup H of G, and is strongly flat if m(h) < m(g) for all proper subgroup H of G. In both cases, i(g) = m(g). 3

4 Notation 1. We denote the cycle in the symmetric group S n that maps x i to x i+1 for i 1, k, with x k+1 = x 1, by (x 1, x 2,..., x k ). 2. Properties of irredundant generating sets in the alternating group Lemma 1. (Whiston) Suppose (g 1,..., g m ) is an irredundant generating set of some group G, and N G is a normal subgroup of G. Then, possibly after reordering the g i, there exists some k m and some elements h k+1,..., h m N such that the projections g 1,..., g k form an irredundant generating set of G/N and g 1,..., g k, h k+1,..., h m form a new irredundant generating set for G. Definition 2. Assume that H is an imprimitive subgroup of S n or H S Γ S S n with n = Γ. Suppose also that Γ 1,..., Γ are copies of Γ or blocks such that we can consider H as a group that acts on n points of Γ 1... Γ permuting blocks Γ i themselves. by permuting points of each individual block Γ i, and by Let {g 1, g 2,..., g l } be an irredundant generating set for H. By lemma 1 for G = S Γ S, and its normal subgroup S Γ = S Γi, we can assume that for some k, g 1,..., g k generates block action for H, and g k+1,..., g l fix the blocks. Lemma 2. (Whiston) Suppose H is the subgroup of S n that is defined as in definition 2. If the subgroup generated by {g k+1,..., g l } acts as S Γ1 or A Γ1 on Γ 1, then m(h) = l Γ Note that the lemma is true if Γ 1 is replaced by any Γ i. Theorem 1. (O Nan-Scott s theorem. See references) If H is any proper primitive subgroup of S n other than A n, then H is a subgroup of one of the following subgroups: 4

5 1. A primitive wreath product, S k S m, where n = k m ; 2. An affine group AGL s (p), where n = p s 3. A group of shape T k (Out(T ) S k ), where T is a non-abelian simple group, acting on the cosets of diagonal subgroup of Aut(T ) S k, where n = T k 1 4. H Aut(T ) with some simple group T S n Lemma 3. H A n is a primitve subgroup of S n, n 13. Then m(h) n 4. More generally, there exists n 0 Z such that for any n n 0, and any primitive subgroup H of S n, we have m(h) n. 2 Proof. We will follow Whiston s proof to prove for m(h) n 4. To prove the more general inequality, we just need to follow exactly every case Whiston considered in his proof. Based on O Nan-Scott s theorem and the classification of finite simple groups, we will primitive subgroup of S n other than A n cases by cases to prove that m(h) n 4: Case 1: H is a subgroup of the affine group AGL s (p). Then H AGL s (p) p s2 +s, so m(h) λ(h) log 2 H (s 2 + s) log 2 (p), while n = p s. For s 3 and p 5, we have s 1 log 2 (s + 1). Hence, (s 1) log 2 (p) + log 2 ( 2) 2 log 3 2( 5) + log 4 2( 2) + (s 1) log 3 2(s + 1) > log 2 (s 2 + s). As a result, (s 2 + s) log 2 p (s 2 + s)p 2 3 ps p s 4. For s 3 and p = 3, n = 3 s (s 2 + s) log m(h) + 4 For s 6 and p = 2, n = 2 s s 2 + s + 4 m(h) + 4 For s = 2 and p 5, p 2 6 log 2 p + 4 m(h) + 4. For p = 3, s = 2, m(h) 9 n 4. For p = 2, s = 3, AGL 3 (2) = so m(h) 8 < n 4. 5

6 For p = 2, s = 5, AGL 5 (2) = , so m(h) 20 < = n 4. For p = 2, s = 4, AGL 4 (2) = C 2 4.A 8, and by Whiston s lemma and the second isomorphism theorem for normal subgroup N = C 2 4 of AGL 4 (2), m(h) i(h N)+m(H/H N) i(n)+m(hn/n) i(n)+i(agl 4 (2)/N) = i(n) + i(a 8 ) = = 7 < n 4 Case 2: H T k (Out(T ) S k ) with n = T k 1. T is non-abelian simple group so T 60. Because T k (Out(T ) S k ) T k S k Out(T ) T k k k T log 2 T, m(h) λ(h) k log 2 T + k log 2 k + (log 2 T ) 2. For k 3, we have: T k 1 = T k 2 T k 4 log 2 T, T k 1 4k 2 4k log 2 k, and T k 1 T 2 (2 log 2 T ) 2 Hence n 4 = T k T 4 k 1 k log 2 T + k log 2 k + (log 2 T ) 2 m(h). Let d(g) be the minimal degree of a permutation representation of G. Now we need to handle the case where H Aut(T ) where T is simple and d(t ) n. By the classification of finite simple groups we have the following cases: Case 3: H Aut(T ), with T = P SL(m, q). We have n d(t ) = q m 1 q 1, and m(h) λ(h) λ(aut(t )) m2 log 2 (q) + 1. Case 3a: For m 4, d(t ) 4 q m We have (m 2) log 2 q 2 log 2 m except for (m, q) = (7, 2), (6, 2), (5, 2), (4, 3), (4, 2), and therefore, (m 1) log 2 q 2 log 2 m + log 2 q, and so q m 1 m 2 q m 2 log 2 (q). As a result, n 4 d(t ) 4 q m m 2 log 2 (q) + 1 m(h). For (m, q) = (7, 2), (6, 2), (5, 2), n 4 = qm 1 q 1 4 m2 log 2 q + 1 m(h). For (m, q) = (4, 2), Aut(P SL(4, 2)) = so m(h) 11 = 6

7 n 4. For (m, q) = (4, 3), Aut(P SL(4, 3)) = so m(h) 17 < n 4. Case 3b: m = 3. We have q3 1 q 1 9 log 2 q + 5 q 5, and so m(h) n 4. For q = 2, Aut(P SL(3, 2)) = , so m(h) 6 < n 4. For q = 3, Aut(P SL(3, 3)) = , so m(h) 9 n 4. Case 3c: m = 2. We have q 4 log 2 q +4 q 22, and so m(h) n 4. For q 5, m(h) 4 log 2 5 = 9 n 4. Now for other q, we show that m(h) 9 n 4 by considering the following tables: q Aut(P SL(2, q)) m(h) λ(h) q Aut(P SL(2, q)) m(h) λ(h) Case 4: H Aut(T ), with T = P Sp(2m, q), m 2. n d(t ) = q 2m 1 q 1, and m(h) λ(h) λ(aut(t )) (2m2 + m + 1) log 2 (q). We have q2m 1 > q 2m Now for (m, q) (3, 2), (2, 2), (2, 3), q 1 (2m 1) log 2 (q) log 2 (2m 2 + m + 1), and so (2m 1) log 2 (q) log 2 (2m 2 + m + 1) + log 2 (log 2 (q)). Therefore, q 2m 1 (2m 2 + m + 1) log 2 (q), and so n 4 m(h). For (m, q) = (3, 2), (2, 2) or (2, 3), we have the following table: 7

8 T P sp (4, 2) P sp (4, 3) P sp (6, 2) Aut(T ) m(h) λ(h) 8 < < Case 5: Now we consider the case when T = P Ω(n, q). 15 < Case 5a: H Aut(T ), with T = P Ω(2l + 1, q), l 3, q odd. For q 5, n d(t ) = q2l 1, and m(h) λ(h) λ(aut(t )) q 1 (2l 2 + l) log 2 (q). Therefore, d(t ) > q 2l q 2l 2 5 2l 2 2l 2 + 2, and so n d(t ) m(h) 4. For q = 3, n d(t ) = 1 2 3l (3 l 1) 2(l 2 + l) log m(h) 4. Case 5b : H Aut(T ), with T = P Ω + (2l, q), l 4 For q 2, n d(t ) = (ql 1)(q l 1 + 1), and m(h) λ(h) q 1 λ(aut(t )) (2l 2 + 1) log 2 (q) + log 2 6. We have d(t ) (q l 1 + q 2 + q + 1)(q l 1 + 1) (q l 1 + 8)(q l 1 + 1) > q 2l Also note that q log 2 q and q 2l 3 3 2l 3 2l Therefore n d(t ) q 2l (2l 2 + 1) log 2 q + 8 > m(h) + 4. For q = 2, n d(t ) = 2 l 1 (2 l 1) 2l > m(h) + 4 Case 5c: l 5, q = 2. H Aut(T ), with T = P Ω (2l, q) with l 4, q 3 or We have n d(t ) q 2l 3, and m(h) λ(h) λ(aut(t )) (2l 2 + 2) log 2 (q) + 1. Note that for q 3, l 4, q 2l 4 3 2l 4 2l 2 + 4, log 2 (q) q, and 5 2q. Therefore, m(h) + 4 (2l 2 + 2)q + 2q q 2l 3 n. For q = 2, l 4, n 2 2l 3 2l m(h) + 4. Case 6: H Aut(T ), with T = U(n, q), and m(h) λ(h) λ(aut(t )) n 2 log 2 (q + 1)

9 Case 6a: n 5 and (n, q) is neither (6m, 2) or (6m, 3). We have n d(t ) (qn 1)(q n 1 1), and so d(t ) q 2n 3 q n 2 q n (q 1)q 2n q 2 For q 3, log 2 (q + 1) q 1, and q 2n 4 3 2n 4 n 2 for n 5. Hence, n d(t ) n 2 (q) + 5 n 2 log 2 (q + 1) + 5 m(h) + 4. For q = 2, 2 2n 4 n 2 log 2 3 n 5, so again we get n m(h) + 4. Case 6b: T = U(6m, 3). Then d(t ) 1 4 (3n 1)3 n 1 2n with n 6, so n m(h) + 4. Case 6c: T = U(6m, 2). Then d(t ) 1 3 2n 1 (2 n 1) n 2 log with n 6, so n m(h) + 4. Case 6d: T = U(4, q). Then d(t ) (q + 1)(q 3 + 1) 16 log 2 q + 5 with n 6, so n m(h) + 4. Case 6e: T = U(3, q). Then d(t ) 1 q 3 9 log 2 q + 4 with n 6, so n m(h) + 4. The case where H is a subgroup of primitive wreath product and the case when H Aut(T ) with T is either Lie-type group (twisted Chevalley group or the Tits group) or sporadic group are already handled by Whiston Remark 1. Using GAP, Sophie Le analyzes primitive subgroup of S n for n = 9, 12, and obtained the result that m(h) n 4. Therefore, lemma 3 holds for n 9. Lemma 4. Let P = {X 0, X 1,..., X m } be a partition of Σ = {1, 2,..., n} with m 1. Then for every h S Σ = S n, there exists α, β 0 and {β i } p p such that h = α.β 0. β i, and α S X1 S X2.... S Xm, β 0 S X0, and each β i S Xt t 0, m is a single cycle such that for each j 1, m, elements in X j that are not fixed by h are all in the some same cycle β i. Moreover, β 0 commutes with α and β i i 1, p, and β i with i 1, p commutes with p each other. We call this representation h = α.β 0. β i the M-decomposition 9

10 of h S n. Also note that if we let Y i be the set of all j 1, m such that elements in X j are in the cycle β i, then Q = {Y 1,..., Y p } is a partition of µ for some subset µ {1, 2,..., m}. We call this partition Q the associated partition of the M-decomposition of h S n. Now suppose that P is a partition {X, Y } of Σ instead. Then each element h S Σ = S n can be represented as α.β, where α S X S Y and β is 1 or is a single cycle of the form (x 1, y 1, x 2, y 2,..., x k, y k ) with x i X, and y i Y. We will call this representation the strong M-decomposition of h S n. Proof. Consider an element h S n. Write the cycle decomposition of h. First, group all cycles that are in m S X i into α 0, and all cycles in S X0 into β 0. We say that 2 cycles in are equivalent if they both have elements that are in some same X j. Then we will have p equivalent classes of cycles. Note that from the definition of equivalent relation, if we let Y i be the set of all j such that some element in X j are in some cycle of the ith equivalent classes, then Y i are all disjoint and Q = {Y 1,..., Y p }, is therefore a parition of {1,..., m}. Then using the identity (a, x 1..., x k )(b, y 1,..., y l ) = (a, b)(a, x 1,..., x k, b, y 1,..., y l ) with a, b X j, we can represent product of all cycles in the same ith equivalent classes as α i β i, where α i j Y i X j, and β i is a single cycle containing elements in X 0 and X j with j Y i. Therefore, we get h = α 0.β 0. p α iβ i. Now note that α j commutes with β k for k j so we can push all α j to the top positions, and so h = α 0 α 1 α p β 0 β 1 β p, and if we let α = p i=0 α i, then we have the M-decomposition of h. For the case P = {X, Y }, based on M- decompostion of h, we will get h = M.N, where M S X S Y both elements of X and Y. and N is 1 or is a single cycle containing Now suppose that N 1 and has at least 2 adjacent elements that are both X or both Y. WLOG, assume that N = (x 1, x 2, t 1, t 2,..., t k ) 10

11 with x 1, x 2 X, then N can also be rewritten as (x 1, x 2 )(x 2, t 1, t 2,..., t k ). Continuing this process, we can represent N in term of N 1.T where T = (x 1, y 1, x 2, y 2,..., x k, y k ) or 1 with some N 1 S X S Y, and x i X, y i Y. If we let α = M.N 1 S X S Y, and β = T, we will get the strong M-decomposition of h. Definition 3. Given m Z, and a partition P = {X 0, X 1,... X p } of Σ = {1, 2,..., m}, we say that a subgroup G of S m = S Σ has M-property wrt P if for any h G, and σ p S Xi, σhσ 1 G Now for a subset T of S m, we define G(T, P) to be the smallest subgroup of S m that contains T and has M-property wrt P. It is easy to see that G(T, P) is the subgroup generated by {σhσ 1, h T, σ p S Xi } Lemma 5. Suppose m Z, and S m = S Σ with Σ Σ = {1, 2,..., m}. Let P = {Σ \ Σ, X, Y } be a partition of Σ such that Σ > 4. Assume that a subgroup G of S m has M-property wrt P, and α(aby) G for some α S X S Y, a, b X, and y Y. Then A Σ = A X Y G Proof. Starting with arbitrary α S X S Y, we will try to find α with much simpler form such that α (a, b, y) is still in G. First, we notice that (a, b, y).α G. Hence α(a, b, y)(a, b, y)α G, and therefore α 2 (a, y, b) G. Repeating this argument, we get α 4 (a, b, y) G. So first, we can always eliminate all transpositions, if any, in the cycle decomposition of α. Moreover, if some cycle (..., m, n,... ), which is not a transposition, appears the cycle decomposition of α such that m, n is not a, b, and all elements in this cycle are in X, then we can consider σ S X that swap m and n. We have α(σασ 1 ) 1 = (x 1,..., x k, m, n, y 1,..., y l ).(y l,..., y 1, m, n, x k,..., x 1 ) = (n, m, y 1 ) G. 11

12 Therefore, A X G. Using this observation, we can eliminate all even permutation of S X, and therefore all elements of S X that are in the cycle decomposition of α. As a result, we can assume that in the cycle decomposition of α, its only possible non-identity term in S X is a single 3-cycles that contains a, b and some other element c X. Using similar argument, we can further assume that α contains no non-identity element of S Y. Therefore, we must have either (a, b, y) G or (a, b, c)(a, b, y) = (a, c)(b, y) G or (a, c, b)(a, b, y) = (b, y, c) G. In short, we have (a, b)(c, y) G or (a, b, y) G, with some a, b, c X, y Y. If (a, b, y) = (y, a, b) G, then (y, c, d) G with any c, d X, and so A X {y} G. As a result, (a, b, c) G with any c a, b in X, if any. Since (a, b, y) G, (a, b, z) G for each z Y. Therefore, (a, b, t) G with every t a, b. Hence A Σ G. The case when (a, b)(c, y) U is handled in a similar fashion. Lemma 6. Let H be a subset of S n (n 10), and P = {X, Y } is a partition of Σ = {1, 2,..., n}. There exists a subset K of H with K 9 such that H G(K, P) Proof. P is fixed throughout the proof of this lemma so we can just write G(T ) instead of G(T, P). Now we consider the following cases: Case 1: Now assume that for some h i0, the β component in its M- decomposition (lemma 4) is not 1 and doesn t contain some b X. We have β = (..., a, c,... ) for some a X, c Y. Consider element σ S X S Y that swaps a and b. Let U = G({h i0 }). Then α 2 σβσ 1 = σh i0 σ 1 U with α 2 = σασ 1 S X S Y. Therefore, αβ(σβσ 1 ) 1 (α 2 ) 1 U. Hence, α 1 2 αβ(σβσ 1 ) 1 U. 12

13 In other word, α 3 β(σβσ 1 ) 1 = α 3 (x 1,..., x k, a, c, y 1,..., y l )(y l,..., y 1, c, b, x k,..., x 1 ) = α 3 (cba) U for some α 3 = α 1 2 α S X S Y. Hence, its inverse (abc).α 1 3 U. As a result, α 1 3 (a, b, c) U, and by lemma 5, A n U. Now if all h j are even permutation then U already contains all h j. Otherwise, we just need at most one element h j0 together with U to generate the whole S Σ, and therefore generate all h i. Therefore, our set K needs at most 2 elements h i0 and h j0. Case 2: Now we only need to handle the case when the M-decomposition of h H has the form h = αβ with α S X S Y, and β = (x 1, y 1,..., x k, y k ), where k = X = Y, x i X, y i Y or β = 1. Note that n 10 so k 5. Let H 1 = {h i H : β = 1}, and H 2 = {h i H : β = (x 1, y 1,..., x k, y k )}. We now prove that K needs at most four h i h j H 2 to generate all elements in H = H 1 H 2. H 1, and needs five more Suppose there exists some h 1 = α = A.B S X S Y, where A, B are nontrivial permutations of S X and S Y. Then consider U = G({h 1 }). For any σ S X, σh 1 σ 1 h 1 1 = σaσ 1 A 1 U. Since A is not identity, there exists σ such that σaσ 1 A 1 is a non-trivial permutation of S X. Therefore, A X U. Similarly, A Y U. We say that h i h j with h i, h j H 1 if h i h 1 j A X A Y. Note that, for any equivalent class C, C G({g i } {h 1 }) g i C. Therefore, we need 3 other h i to generate the whole H 1 because there are at most 4 equivalent classes, and so K only needs 4 elements of H 1 to generate all elements in H 1. If H 1 S X S Y, then by similar arguments, K only needs = 4 elements from H 1. Now we will handle H 2. Choose a fixed cycle C = (u 1, v 1,..., u k, v k ), u i S X, v i S Y. For each h i = α(x 1, y 1,..., x k, y k ), there exist σ i S X S Y such that: σ i h i σ 1 i = (σ i ασ 1 i )(σ i (x 1, y 1,..., x k, y k )σ 1 ) = α i.c. If α i are 13 i

14 the same for all i, then G({h i }) contains H 1 for any h i H 1. Now suppose there is some i 0 and j 0 such that α i0 α 1 j 0 = A.B, A and B are non-trivial permutations in S X and S Y. Then again, A X, and A Y are both subsets of G({α i0, α j0 }). We say that h m h n if α m α 1 n A X A Y. Using the same argument for H 1, we only need at most 3 more h k so that G({h i0, h j0, h k1, h k2, h k3 }) contains H 2. The case α i α 1 j A X A Y i, j is handled in a similar way. As a result, our set K needs = 9 elements. Theorem 2. Suppose that H A n is a proper subgroup of the symmetric group S n, and H is transitive. Then m(h) n 4 n 25. If H is a proper subgroup of A n, then m(h) n 4 n 9. Proof. First, by lemma 3, we only need to handle the case when H is an imprimitive but transitive subgroup of S n. Therefore, we can assume that H S Γ S. Using the same notation as in definition 2, we have n copies of Γ or n blocks, Γ 1, Γ 2,..., Γ, and an irredundant generating set of length m(h) = l, {g 1,..., g l }, so that {g 1,..., g k } generates block permutations while K = {g k+1,..., g l } contains elements fixing the blocks. The proof of theorem 2 is based on Whiston s proof for S n with one exceptional case that is handled by lemma 6. Whiston proved that for n 7, if H A n is a transitive subgroup of the symmetric group S n, and is not a subgroup of S 2 S n, then m(h) n 3. 2 Cameron and Cara further showed that m(h) n 3 even if H S 2 S n. 2 Using GAP, Sophie Le checked for S 5 and S 6 and found that no transitive subgroup of S n other than A n has m(h) > n 3 for n = 5, 6. Therefore, if H A n is a transitive subgroup of S n, n 5, then m(h) n 3. Let X 1 be the smallest subset of {g k+1,..., g l } such that X 1 generates the action of K on Γ 1, and suppose that X 1 = {g k+1,..., g r }. Then there exists h i generated by X 1 such that g i = h i g i with i > r fixes Γ 1 pointwise. 14

15 Let K 1 = {g i, i > r}. We have K 1 is irredundant because K is irredundant. Now take X 2 to be a subset of K 1 that generates the action on Γ 2. Then we will have an irredundant set K 2 that fixes Γ 1 and Γ 2. We continue this process to build X i that generates the action of K i 1 on Γ i, and K i be the set built from remaining g i : K i = {t j g j, t j X 1... X i. Notice that K i must be irredundant, and therefore K must be an empty set, and so we have l k = K = i X i. Hence, l k i m(x i). We now consider several cases to prove the inequality m(h) n 4: Case 1: If there is no i such that the subgroup generated by H 1 = {g k+1,..., g l } acts as S Γ or A Γ on Γ i. Since X i cannot acts as S Γ on Γ i, m(x i ) Γ 2, so we get l k i m(x i) ( Γ 2), and therefore m(h) = l n 1 n 4 for 3. Now suppose that = 2. Then Γ 5. If either X 1 or X 2 acts transitively on Γ 1 or Γ 2, then m(x 1 ) or m(x 2 ) Γ 3. Hence l 1 + Γ 2 + Γ 3 = n 4. So now we just need to consider the case where X 1 and X 2 both acts intransitively on Γ 1 and Γ 2. In this case, there are partitions P i = {U i, V i } of Γ i such that X i acts seperately on the sets U i, V i. Therefore m(x i ) m(x U i i ) + i(x V i i ) U i 1 + V i 1 = Γ 2 (Xi T is the group action of X i on T ). Hence, l 1 + Γ 2 + Γ 2 = n 3. If the equality occurs, then X i must acts as S Ui S Vi on Γ i for i = 1, 2. If H is a subgroup of A n, this case cannot happen. If, however, H is just a subgroup of S n, then we will use lemma 6 to handle this case. Let h 21 be the element that move block 2 to block 1. Suppose that h 21, after moving the block, performs a permutation σ on Γ 1. Let h δ be an element in L, the subgroup generated by {h 1 21 g k+1 h 21,..., h 1 21 g r h 21 } such that h δ fixes the blocks and performs permutation δ on Γ 2. Note that δ σ 1 X Γ 1 1 σ = S U 1 S V 1 for some partition {U 1, V 1} of Σ. Now the elements h 1 δ g ih δ (here g i = h i g i X 2 = K 1 ) will again fixes 15

16 Γ 1 and performs the permutation δ 1 g iδ on Γ 2. Then by lemma 6, we only need 9 elements of X 2 together with {g 1,..., g r } to generate the whole X 2. Hence we must have: m(h) 1 + n/ n 4 for n 25. Case 2: If Γ > 2, and there is some i such that H acts as A n or S n on Γ i. Then by lemma 2, m(h) Γ = n ( Γ 2)( 1) 1 n 3 1 = n 4 for n = Γ 10 and Γ > 2. For n = 9, Γ = = 3. WLOG, suppose i = 1. If m(h) = n 3 = 6, then the block permutation of H must be isomorphic to S 3, which is 2- transitive, and then by lemma 21, we only need at most 5 elements to generate the whole H. Contradiction. Hence m(h) 5 n 4, and so the case n = 9 is also handled. Case 3: Now we need to handle the case when Γ = 2, 5. By lemma 15 (for k = 4), and the fact that m(k) n 3 for all transitive subgroup K A n S n with n 5, m(h) 2 Γ 4 = n 4. Corollary 1. A n is strongly flat for n 9. Proof. For any proper subgroup H of A n, we will prove that m(h) < n 2 = m(a n ). By theorem 2, we only need to consider the case when H is intransitive. Then there exists a partition P = {X, Y } of Σ = {1, 2,..., n} so that H S X S Y S n = S Σ. Suppose π X : S X S Y S X is the projection from S X S Y to its first factor, and H X = π X (H). Similarly, we have π Y, and H Y. Therefore, m(h) m(h X ) + m(h Y ) X 1 + Y 1 = n 2. The equality holds if and only if H X = S X and H Y = S Y, and therefore, H must be S X S Y. Contradiction since S X S Y is not a subgroup of A n. Therefore, m(h) n 3, and we finish the proof for corollary 1. Now to classify all irredundant generating set of size n 2 in A n, we will consider graphs which are similar to the one used in Cameron and Cara s paper. 16

17 Definition 4. Let G be the group S n or A n. Suppose {h 1, h 2,..., h n 2 } is an irredundant generating set of length n 2 of G. Let G i be the proper subgroup of S n generated by (h i ) i j. Then by theorem 2, for G = A n, and n 9, or for G = S n and n 25, G i is an intransitive subgroup if G i A n. Now we will build the original graph Gr o. We start with the set of vertices Σ = {1, 2,, n}. Now for each i 1, n 2 such that G i is intransitive, there exists x and y in Σ such that h i maps x to y, and x, y are not in the same G i orbit. Such x, y exist because if x, y are in the same G i orbit whenever h i maps x to y, then the orbits of G are the same as the orbits as G i. This is impossible because G i is intransitve while G is transitive. Add the edge that connects x to y, (x, y), to the graph and named this edge h i. Then we have a graph G o with either n 2 or n 3 edges. Here note that the edge (x, y) is different from the transposition (x, y) even though they are related to each other. Lemma 7. The graph G o is a forest Proof. If there is a cycle, then consider an edge (x, y) that correponds to some h i in this cycle. Then we can go around the cycle from x to y through other edges correponding to h j with j i. This leads to contradiction because x and y are not in the same G i -orbit. Lemma 8. If G = A n, then the corresponding forest Gr o has n 2 edges. Moreover, each element h i is the product of exactly 2 transpositions, one of which correponds to an edge lying in Gr o If G = S n then there are two possible cases: There is exactly one G i = A n, and we can assume i = 1. Then G o has n 3 edges. Moreover, h 1 is a transpositions, and other n 3 elements h i are product of exactly 2 transpositions, one of which already appear in Gr o. Or if for every i, G i A n, then Gr o has n 2 edges, and each element h i 17

18 is product of 2 transpositions, one of which corresponds to an edge lying in Gr o. Finally, let E 1 (h i ) be the edge that connects x to y and lies in Gr o and corresponds to one transposition (x, y) of h i, and let E 2 (h i ) be the edge that correponds to the other transposition, if any. For the transposition h 1 in S n case, we just use the notation E 1 (h 1 ) Proof. Consider a particular h i, and write the cycle decomposition of h i. Then represent each cycle (u 1, u 2,..., u k ) in the decompostion in term of products of transpositions (u 1, u 2 ), (u 2, u 3 ),..., (u k 1, u k ). Now, add to the original graph Gr o edges that connect these u i to u i+1. Suppose that there s a cycle in the resulting graph. If this cycle contains some edges {x, y} that corresponds to h j with j i, then by going along the other edge of this cycle, we can connect x to y by edges corresponding to elements in G j, and this is again impossible. Therefore, the only edges that can be in the cycle is the edges built from cycle decomposition of h i as we described above. But those edges clearly cannot create a cycle. Therefore, the resulting graph must be forest and can only have at most n 1 edges. Now if G = A n or G = S n and G i A n i, then Gr o already has n 2 edges. So one can only add at most one edge from the cycle decomposition of some h i. Hence, h i can be product of at most 2 transpositions, and one of those transpositions has already appeared in the graph G o. In the case G = A n, h j, therefore, must be product of exactly 2 transpositions. If G = S n and G 1 A n, then there are already n 3 edges corresponding to h i with i 1 in G o. If we add k transpositions from h 1 s decomposition, then by a similar argument as above, the new graph is still a forest, and k + n 3 n 1 or k 2. Since h 1 is an odd permutation, k must be 1, and, therefore, h 1 is a transpositions. Similarly, for i 1, h i must be product of 3 transposition. Because h i, i 1, is an even permutation, it must be the product of exactly 2 transpositions. 18

19 Theorem 3. All irredundant generating sets of length n 2 in A n, H = {h 1, h 2,..., h n 2 }, has the form {sg e 1 1, sg e 2 2,..., sg e n 2 n 2, e i {1, 1}}, where s, g i are transpositions such that the graph associated with these transpositions is a tree. Proof. Now start with the forest (original graph) Gr o associated to G = A n that is defined above. If all E 2 (h i ) are the same and are some edge E, then we can add E to G o, and the resulting graph is still a forest, and, therefore, is a tree. Therefore the irredundant generating set H = {h i } has the form as desired. Now for some j i such that E 2 (h i ) E 2 (h j ), add E 2 (h i ) and E 2 (h j ) to the forest Gr o. Then we will get n edges in the resulting graph, and there must be some cycle C(i, j) in this new graph. Notice that E 1 (h k ) for k i, j cannot be in this cycle, so the cycle has 4 edges. Also, note that the cycle must has at least 3 edges so it must contains both E 1 (h t ) and E 2 (h t ) for t = i or t = j. WLOG, suppose that the cycle C(i, j) contains E 1 (h i ) and E 2 (h i ), and has 4 vertices 1, 2, 3, 4. Now we have 2 following cases : Case 1: E 1 (h i ) and E 2 (h i ) share no common vertex. Then the cycle must have at least 4 edges and therefore have exactly 4 edges E k (h t ), k = 1, 2, t {i, j}. WLOG, suppose that E 1 (h i ) = (1, 2), E 2 (h i ) = (3, 4), E 1 (h j ) = (2, 3) and E 2 (h j ) = (1, 4). Then 3 and 4 must be in different G i -orbits while 1 and 4 must be in different G j -orbit. Clearly, E 2 (h k ) E 2 (h i ), for k j, so we can consider the cycle C(i, k) instead. C(i, j) must contain E 2 (h k ). This is impossible because no two vertices in {1, 2, 3, 4} can be in the same G i or G j -orbits and cannot be connected by an edge correponding to h k with k i, j. 19

20 Case 2: If two edges of h i share a common vertex. Again, WLOG, suppose E 1 (h i ) = (1, 2), and E 2 (h i ) = (1, 3). Hence 1 and 3 are not in the same G i -orbit. For any k i, j, we again consider the cycle C(i, k). 1, 2, and 3 are in different G i -orbits, so C(i, k) must contain both E 1 (h i ) and E 2 (h i ). Therefore, this cycle has only two possible forms: First, we will change h i to h i = h 2 i so that E 2 (h i) = (2, 3). In the second form, if any, we can change h k to h k = h2 k so that all edges E 2(h t) with the new h t = h t or h 2 t are the same and are the edge (2, 3). As a result, {h j} and {h j } has the form indicated. Remark 2. Sophie Le found that theorem 3 is also true for A 7 and A 8. It is easy to see that theorem 3 is true for A 4 and A 3, and therefore theorem 3 is true for all n 5, 6 3. Lemma 9. Let {X, Y } be a partition of Σ = {1, 2,.., n}. Suppose that G = (S X S Y ) A n. Then either G is maximal subgroup of A n or X = Y = n 2 20

21 and there is an unique maximal subgroup M = (S n 2 S 2) A n that contains G. Proof. Suppose we have an element h A n \ G. Write the M-decomposition of h: h = M.N, where M S X S Y, and N = (x 1, y 1,..., x k, y k ) with x i X, y i Y. Let F be the subgroup generated by h and G. Suppose that there is some x X that not in the cycle N of h. Let σ S X be the permutation that swaps x 1 and x. Because h F, h = (ab).n F, where (ab) is some transpostion in S X. We have N.(a, b)(a, b).n = N 2 = (x 1,..., x k )(y 1,..., y k ) G, so N.(a, b) is also in F. Because h F, and σ 1 (a, b) G, M.σ 1 σn(σ 1 (a, b)) F. Hence σnσ 1 (a, b) = (x, y 1,..., x k, y k )(a, b) F since M.σ 1 is in G = (S X S Y ) A n. But we also have N.(a, b) F, so (a, b).n 1 F. Therefore, (x, y 1,..., x k, y k )(a, b)(a, b)(y k, x k,..., y 1, x 1 ) = (y 1, x 1, x) F. As a result, A n = F. Consequently, if G is not maximal, and F 0 is some maximal subgroup containing G, then F 0 can only contain elements of the form M(x 1, y 1,..., x k, y k ), where M S X S Y, and {x i, y i } k is exactly the set Σ. Hence, F 0 must be (S n 2 S 2) A n. Moreover, because of the same reason, F 0 = (S n 2 S 2) A n must also be a maximal subgroup of A n. Theorem 4. Let {h 1, h 2,..., h n 2 } be any irredundant generating set in A n of length n 2 (n 5, 6 3). There is an unique collection of maximal subgroups M 1, M 2,..., M n 2 that are certified by h i. In other word, A n satisfies the uniqueness property Proof. By theorem 3, we can assume that h i = ss i, with i = 1, n 2 so that the edge E(s) = E 2 (h i ) and E(s i ) = E 1 (h i ) corresponding to transpositions s and s i create a tree T on the set of vertices Σ = {1, 2,..., n}. Again, if G i be the subgroup generated by {h j } j i, then we have G i = 21

22 S X S Y A n, where X and Y are sets of vertices of two connected components of T \{E 1 (h i ) = E(s i )}. Then by lemma 9, G i is almost maximal. Therefore, the uniqueness property is satisfied. Definition 5. A group G with m = m(g) satisfies the replacement property if for any irredundant generating set H = {h 1, h 2,..., h m } of length m of G and any non-identity element h G, there exists some i 1, m so that the set {h j } j i {h} still generates G. Theorem 5. A n satisfies the replacement property for all n > 0. Proof. Using GAP, G. Frieden and Sophie Le found that A n satisfies replacement property for n = 1, 8. So we just need to consider the case when n 9. Again, by theorem 3, we can consider an irredundant generating set of length n 2 of the form H = {h i = ss i, i = 1, n 2} so that edges E(s) and E(s i ) corresponding to transpositions s and s i create a tree T on the set of vertices Σ = {1, 2,..., n}. Consider any element h A n. Then there are at least 2 pair of elements in Σ, (x, y) and (z, t), such that h maps x to y, and maps z to t. Consider the paths L i in T that connect x i to y i for all distinct pairs (x i, y i ) such that h maps x i to y i. Suppose that there exists two edges E(s i ) and E(s j ) with s i, s j s in k L i (k 2). Then h G i and h G j. By lemma 9, either G i or G j must be maximal because (S n 2 S 2) A n cannot contain G i G j = A n. WLOG, suppose that G i is a maximal subgroup. Then we can replace h i by h. Otherwise, if k L i = {E(s i ), E(s)} for some i, then k = 2, and h must be ss i, and we can replace h i by itself. 22

23 3. Properties of irredundant generating set of arbitrary length in the symmetric group 3.1. Classification of irredundant generating sets of length n 2 of symmetric group Cameron and Cara classified all irredundant generating sets of length n 1 in S n. Now we will classify all irredundant generating sets of length n 2 in S n. Definition 6. Let Σ = {1, 2,..., n}. For a subset S S n consisting of transpositions, we define Gr S to be the graph on the set of vertices Σ such that x and y is connected to by an edge E(s) if there exists some transposition s S such that s = (xy). Theorem 6. (Classification of irredundant generating sets of length n 2 for S n with n > 24) Let H = {h 1, h 2,..., h n 2 } be an irredundant generating set of length n 2 of S n. Then we can change some of the element h i of H to h 1 i that the resulting set has one of the following types: (Here s, t, r, and s i are always distinct transpositions) 1. H = {ss 1,..., ss k, s k+1,..., s n 2 } with 1 k < n 2 such that Gr {s,si } is a tree. 2. H = {s 1 s 2, s 3 s 4, s 5,..., s n } such that Gr {s,si } is connected and contains exactly 1 cycle (E(s 1 ), E(s 3 ), E(s 2 ), E(s 4 )). 3. H = {ts 1,..., ts k, s, ss k+1,..., ss n 3, } with 1 k n 3 such that Gr {t,s,si } is a tree. 4. H = {s 1 s 2, s 3 s 4, s, ss 5,..., ss n 1 } such that Gr {s,si } is connected and contains exactly 1 cycle (E(s 1 ), E(s 3 ), E(s 2 ), E(s 4 )). 5. H = {s 1 s 2, ts 3,..., ts k, s, ss k+1,..., ss n 2 } with 3 k n 2 such that Gr {s,t,si } is connected, and contains exactly 1 cycle (E(s 1 ), E(s), E(s 2 ), E(t)). so 23

24 6. H = {s 1 s 2, s 3 s 4, s, ss 5,..., ss n 1 } such that Gr {s,si } is connected and contains exactly 1 cycle (E(s 1 ), E(s 3 ), E(s 2 ), E(s 4 ), E(s)). 7. H = {ts 1,..., ts k, rs k+1,..., rs l, s, ss l+1,..., ss n 3 } with 1 k < l n 3 such that Gr {s,t,r,si } is connected and contains exactly 1 cycle (E(s), E(t), E(r)). Proof. Recall that G i is the subgroup of G = S n generated by {h j } j i. We divide the problem into 2 following cases: Case I: G i A n i. In this case, by??, Gr o is a tree with n 2 edges. Moreover, each h i is product of 2 transpositions, and E 1 (h i ), the edge corresponding to the first transposition of h i, lies in Gr o. Starting with Gr o, if h i and h j are not transpositions, and E 2 (h i ) E 2 (h j ), then we add E 2 (h i ) and E 2 (h j ) to Gr o. We will have a new graph Gr(i, j) with n edges. Therefore, there must be some cycle C(i, j). If C(i, j) contains some edge E 1 (h k ) = (x, y), then by going along the other edge of the cycle, we would get that x and y are in the same G k -orbit, and that cannot happen. Therefore, edges of C(i, j) can only be E 1 (h i ), E 1 (h j ), E 2 (h i ), and E 2 (h j ). There exists h i such that it is the product of 2 transpostions because otherwise the set {h j } cannot generate S n. So now we have 2 subcases: Case I.1: Suppose that all h i have the same second transpositions s. Then add the edge corresponding to s to G o, we will get a tree T. This means that H has type 1. Case I.2: Suppose that there are h i and h j such that E 2 (h i ) E 2 (h j ). Then consider the graph Gr(i, j), and the resulting cycle C(i, j). WLOG, we can assume that C(i, j) contains both E 1 (h i ) and E 2 (h i ). As a result, E 2 (h i ) must have 2 vertices that are in different G i -orbit, and therefore, E 2 (h i ) E 2 (h k ) for any k i, so there exists the cycle C(i, k) for any k i that h k is not a transposition. Now we consider different possible forms of C(i, j): 24

25 Case I.2.a: If for some C(i, j), E 1 (h i ) and E 2 (h i ) share no common vertices. Then C(i, j) must be a 4 cycles and contains E 1 (h i ), E 2 (h i ), E 1 (h j ), and E 2 (h j ). Hence, E 2 (h i ) must have 2 vertices that are in different G i -orbits. Similarly, E 2 (h j ) also has 2 vertices that are in different G j -orbits. Because vertices in both edges correponding to h i are in different G i - orbits, C(i, k) must contain both these edges. Therefore, C(i, k) must contain, E 2 (h k ), E 1 (h i ), E 2 (h i ). However, in no way, two vertices of E 2 (h k ) can be 2 of 4 vertices of E 1 (h i ) and E 2 (h i ). Contradiction. Therefore, for k i, j, h k must be a transpositions. As a result, H has type 2. Case I.2.b: If two edges E 1 (h i ) and E 2 (h i ) in C(i, j) share a common vertex instead. We can again assume that E 1 (h i ) = (1, 2) and E 2 (h i ) = (1, 3). Then for any k i such that h k is not a transposition, E 2 (h k ) E 2 (h i ), and C(i, k) can only have two possible forms: As a result, we can change h i to h 2 i = h 1 i, and change some other h j to h 2 j = h 1 j so that H will have type 1. Case II: Assume that there is some G i = A n. Again, by??, h 1 is a transposition, and other n 3 h i s are product of 2 transpositions such that E 1 (h i ), the edge corresponding to the first transposition of h i, lies in Gr o. Suppose that h 1 = (x, y). If E 2 (h i ) E 2 (h j ), and they are different from E 1 (h 1 ) = (x, y), then we 25

26 add E 1 (h 1 ), E 2 (h i ) and E 2 (h j ) to Gr o so that we have a new graph Gr(i, j) with n edges. There must be some cycle C(i, j). C(i, j) cannot contain some edge E 1 (h k ) = (x, y) for k i, j and 1 because otherwise x and y will be in the same G k -orbit by going the other way from x to y along the cycle. So C(i, j) can only contains 5 edges: E 1 (h i ), E 1 (h j ), E 2 (h i ), E 2 (h j ), E 1 (h 1 ). Let M be the set of h i such that both h i and h 2 i doesn t map x to y. Note that for h i M and h i h 1, the second transposition of h i or h 2 i is exactly h 1. Now M must have at least 1 element because otherwise H cannot generate S n. Case II.0: If M = 1, then by changing h i to h 2 i appropriately, we will get H = {h 1, h 1 x 1,..., h 1 x n 4, x n 3 x n 2 }. Moreover, edges corresponding to transpostions h 1 and x i with i 1, n 2 will create a forest (and therefore a tree) on the set of vertices Σ. So H has type 3. Now suppose M 2. Case II.1: Assume that there is some element h i of M such that E 1 (h i ) and E 2 (h i ) have no common vertex, and E 2 (h i ) = (u, v), with u and v are in different G i -orbit. For another h j M, E 2 (h j ) E 1 (h 1 ). Also E 2 (h i ) E 2 (h j ), E 1 (h 1 ) because of our assumption that u and v are in different G i -orbits. Then we can consider the graph cycle C(i, j) that we defined above. Note that C(i, j) cannot contain only 1 edge of h i because 2 vertices of that edge cannot be in the same G i -orbit. Moreover, C(i, j) cannot be a cycle with 3 edges E 1 (h j ), E 2 (h j ), and E 1 (h 1 ) because h j M. As a result, C(i, j) must contain both E 1 (h i ) and E 2 (h i ) Now this cycle C(i, j) has only 4 possible forms: 26

27 If C(i, j) has form 1, then 2 vertices of E 2 (h j ) must be in different G j - orbits. Moreover, if there exists h k M with k i, j, then C(i, k) must contains both edges correponding to h i, and also E 2 (h k ). Again, similar to Case I.2.a, we see that this cannot happen. Hence M must be {h i, h j }, and H has type 4. Assume that C(i, j) has form 2. For h k M, k i, j, consider the cycle C(i, k). C(i, k) must contain both edges correponding to h i and also E 2 (h k ). As a result, either E 2 (h k ) = E 2 (h j ) = B or C(i, k) has the following form: Therefore, for h k M, we can change h k to h 2 k = h 1, if necessary, so k that E 2 (h k ) = E 2 (h j ) = B. So H has type 5. Now suppose that C(i, j) has form 3. Then, by a similar argument we used for form 2, we can show that H must also have type 5. 27

28 Finally, we handle the case when C(i, j) has form 4. If there is any h k M, k i, j, then we can consider C(i, k). This cycle again must contain both edges correponding to h i, E 2 (h k ), and possibly E 1 (h 1 ). If C(i, k) has 4 edges, then we can connect 2 vertices of E 1 (h j ) by edges other than E 1 (h j ) and E 2 (h j ), and therefore these vertices have to be in the same G j -orbit. Contradiction. So C(i, j) must have 5 edges, and must contain E 1 (h 1 ). But with such arrangment of edges E 1 (h 1 ), E 1 (h i ) and E 2 (h i ) in form 4, this cycle must contain all 5 vertices of C(i, j). Again, we get that two vertices of E 1 (h 1 ) are in the same G j -orbit, and this is impossible. Therefore M must be {h i, h j }. As a result, H must have type 6. Case II.2: For each h i M, either E 1 (h i ) and E 2 (h i ) have a common vertex or E 2 (h i ) = (x, y), with x and y are in the same G i -orbit. Suppose that there exists some h i M such that E 2 (h i ) has two vertices in the same G i -orbit. If for every h j M, E 2 (h j ) = E 2 (h i ) or E 2 (h 2 j) = E 2 (h i ), then H must have type 3. If there is some h j M, both E 2 (h j ) and E 2 (h 2 j) E 2 (h i ), then we can consider the cycle C(i, j). This cycle cannot contain E 1 (h i ). Also, either E 1 (h j ) is not in C(i, j) or E 1 (h j ) and E 2 (h j ) have a common vertex. Moreover, this cycle cannot be (E 2 (h i ), E 1 (h j ), E 2 (h j )) because otherwise, E 2 (h 2 j) = E 2 (h i ) Therefore, the cycle C(i, j) must be either (E 1 (h 1 ), E 2 (h i ), E 2 (h j )) or (E 1 (h 1 ), E 2 (h i ), E 2 (h j ), E 1 (h j )). 28

29 In each case, for any other h k M, then we can change h k to h 2 k = h 1 k, if necessary, so that all E 2 (h k ) can only be the edge A or B. As a result, H has type 7. We now can assume that for every h i M, E 1 (h i ) and E 2 (h i ) have a common vertex, and 2 vertices of E 2 (h i ) are not in the same G i -orbit. Therefore, for any h i, h j M, E 2 (h i ) E 2 (h j ), and both are different from E 1 (h 1 ). Moreover, the cycle C(i, j) cannot be a 3 cycles and can only has 1 of the following forms: If for alll h j M, j i, C(i, j) has the first form, then we can change h k M to h 2 k, such that for all new h k, E 2 (h k ) is A. Therefore, H has type 3. If there is some C(i, j) with the second form. Then, again we can change some h k M to h 2 k = h 1 k has type 7. such that E 2 (h k ) is either B or C. Therefore H Finally, it is easy to check that each sequence of type 1 to 7 is irredundant and generates S n, and so our proof is complete. 29

30 3.2. Elements in an irredundant generating set of arbitrary length in the symmetric group Lemma 10. There exists an integer-valued function f = f(k, q) with 2 variables q and k Z > 0 such that d i f(k, q) for any {d i } k Z k that satisfies k 1 d i = q (q Q > 0) i=0 Proof. For any q Q > 0, let f(1, q) = 1 q Z. We define f(k, q) recursively: f(k, q) = and q > 0 Q. Now we prove that max 1 q <t Z k q tf(k 1, q 1 t ) k 2 k d i f(k, q) for any {d i } k Z that satisfies i=0 k 1 = q by induction on k. d i If k = 1, it is obvious from the definition of f(1, q). Now suppose {d i } k Z that satisfies k 1 = q, and WLOG, suppose that d 1 = min d i. Then we d i i 1,k get k q, and so d 1 k d 1 q. Suppose d 1 = t with 1 q < t Z k q. Then k d i = q 1 t > 0, and so by induction hypothesis on k 1, we get k d i i=2 f(k 1, q 1 t ). As a result, d 1d 2... d k as desired. max 1 q <t Z k q i=2 tf(k 1, q 1 ) = f(k, q) t Definition 7. Consider two partitions P = {X 0, X 1,..., X m }, and P = {Y 0, Y 1,..., Y m } of Σ = {1, 2,..., n} with m, m 1. (Note that these are special partitions because X 0 and Y 0 can be zero). We say that P < P (or P > P) if one of the following conditions holds: m = m and there exists i 0, and x 0 X 0 such that Y 0 = X 0 \ {x 0 }, Y i0 = X i0 {x 0 }, and X i = Y i i i 0. m = m 1, and for some i 0 > 0, X i = Y i i < i 0, Y i0 = X i0 X i0 +1, and X i+1 = Y i i > i 0. 30

31 Now for each partition P of Σ, let d(p) = X 0 + m 1. Then for each pair of partitions P < P, d(p ) = d(p) 1 Therefore, for a partition P = P 0 of Σ, any increasing chain of partitions starting at P 0, P 0 < P 1 <.... < P t 1, has at most d(p 0 ) elements. Lemma 11. There exists a function φ(k, l) so that if H be a subset of S n (n 10), and P = {X i } m i=0 is a partition of Σ = {1, 2,..., n} such that X i 4 i 1, m and X 0 = k 0 (X 0 can be empty), then: Either there exists h 0 H such that there is a partition P > P so that if G S n has M-property wrt P (defined in definition 3), and contains h 0, then G also has M-property wrt P Or there exists a subset K of H with K φ( X 0, m) such that if some G S n has M-property wrt P and contains K, then G also contains H. Proof. For u Z > 0, k, l Z 0, and µ is a set, we define the following integer-valued functions: k f 1 (u, k) = k! f(u + t, 1), where the function f is defined in lemma 10, t=0 p g(k, µ) = k! f 1 ( Y i, k), where the sum is taken over all partition Q of µ, g 1 (k, l) = Q={Y 1,...,Y p} max g(k, µ), µ {1,2,...,l} and finally, φ(k, l) = (2l + 1)g 1 (k, l), Now assume by contradiction that the lemma does not hold. Consider an element h 0 of H, and let G S n be the subgroup that has M-property wrt P (defined in definition 3), and contains h 0. Write the M-decomposition wrt P (defined in lemma 4) of h 0 : h 0 = p α.β 0. β i (α m S Xi, β 0 S X0, and β i commute with each other). Let Q = {Y 1,..., Y p } be the partition of {1, 2,..., m } (m m) that is associated 31

32 with this decomposition so that β i S Xt t 0, m is a single cycle that contains all elements of X j that are not fixed by h with j Y i. Now we prove that for each 1 j m, elements in X j lies in the cycle β i with j Y i in such a way that the distance between 2 consecutive elements is the same. Assume by contradiction that this is not the case for some X j0, then if we let d 0 be the smallest distance between 2 elements of X j0 that lies in the cycle β i0, we will have β d 0 i 0 = Z.T = (y 1, y 2,..., y l, a, b, x, x 1, x 2,..., x k ).T, where a, b X j0 while x X j1, j 1 j 0. Here Z and T are products of distinct terms in the cycle decomposition of β d 0 p First, we have h 0 = α. β i G, so p β i.α G. i=0 i=0 p p Therefore, α. β i. β i.α = α p βi 2 α G. Again, we get α 2 i=0 i=0 i=0 p In a similar manner,we will get L = α d 0 β d 0 i G. Hence, L 1 = (a, b)α d 0 p i=0 β d 0 i (a, b) i 0. i=0 p i=0 β 2 i G. = (a, b)α d 0 (a, b).(y 1, y 2,..., y l, b, a, x, x 1, x 2,..., x k )T. i i 0 β d 0 i G. As a result, LL 1 1 = α d 0 (y 1, y 2,..., y l, a, b, x, x 1, x 2,..., x k ) (x k,..., x 2, x 1, x, a, b, y l,..., y 2, y 1 )(a, b)α d 0 (a, b) = α d 0 (x, b, a)(a, b)α d 0 (a, b) G Hence, (a, b)α d 0 (a, b)α d 0 (x, b, a) = α 1 (x, b, a) G with α 1 S Xj0. If j 1 > 0, then let Σ = X j0 X j1. Applying lemma 5 for the partition {Σ \ Σ, X j0, X j1 }, we get A Σ G. For σ S Σ and h G, if σ is an even permutation, σhσ 1 G because A Σ G. Otherwise, if σ is an odd permutation, σhσ 1 = σ(a, b)(a, b)h(a, b)(a, b)σ 1 G because 32

33 (a, b)h(a, b) G, and σ(a, b) A Σ G. Therefore, G has M-property wrt P = {X i, X j0 X j1 } i j0,j 1. Now if j 1 = 0 instead, then we get A {x} Xj0 G. By a similar argument as above, we get σhσ 1 G h G, σ S {x} Xj0. Hence, G has M-property wrt P = {X 0 \ {x}, {x} X j0, X i } i j0 >0. In either cases, P > P, and the first statement in the lemma holds, and this contradicts with our initial assumption. In a similar manner, we can prove that all elements of X j with j Y i appear in the cycle β i by using the identity: (y 1, y 2,..., y l, a, x, x 1, x 2,..., x k )(x k..., x 2, x 1, x, b, y l y 2, y 1 ) = (x, b, a), for a, b X j, and x X j1 X j. As a result, for all h H, the M-decomposition of h is h = α.β 0. p β i with the associated partition Q = {Y 1,..., Y p } of {1, 2,..., m }(m m) such that all elements of X j appear in β i, and the distance between any 2 elements of X j in this cycle is the same and is d j j Y i. Then there exists h, which is a conjugate of h by an element in m S Xi, such that the cycle β i (1 i p) in the M-decomposition of h contains all elements X j with j Y i which are in an increasing order and the distance between any 2 elements in X j is the same and is d j (j Y i ). Therefore, if β i contains k elements and t elements in X 0, then k = t + k d j, t X 0. j Y i Therefore, we get 1 = k k d j (with t terms 1 ). By lemma 10, k j Y i for t 1, X 0, d j k t d j f( Y i + t, 1). j Y i j Y i Notice that the first element of X j that is in the cycle β i must appear in the lth position for some l 1, d j, and subsequent element of X j in β i is p determined by adding a multiple of d j to that first element. Therefore, β i i=0 33