arxiv: v1 [math.co] 13 Jan 2019

Transcription

1 ON MINIMAL PRODUCT-ONE SEQUENCES OF MAXIMAL LENGTH OVER DIHEDRAL AND DICYCLIC GROUPS JUN SEOK OH AND QINGHAI ZHONG arxiv: v1 [math.co] 13 Jan 019 Abstract. Let G be a finite group. By a sequence over G, we mean a finite unordered sequence of terms from G, where the repetition is allowed, and we say that it is a product-one sequence if its terms can be ordered such that their product equals the identity element of G. The large Davenport constant DG) is the maximal length of a minimal product-one sequence, that is a product-one sequence which cannot be factored into two non-trivial product-one subsequences. We provide explicit characterizations of all minimal product-one sequences of length DG) over Dihedral and Dicyclic groups. Based on these characterizations we study the unions of sets of lengths of the monoid of product-one sequences over these groups. 1. Introduction Let G be a finite group. A sequence S over G means a finite sequence of terms from G which is unordered, repetition of terms allowed. We say that S is a product-one sequence if its terms can be ordered so that their product equals the identity element of the group. The small Davenport constant dg) isthe maximal integerlsuchthat thereis asequenceoflength lwhichhas nonon-trivialproduct-one subsequence. The large Davenport constant DG) is the maximal length of a minimal product-one sequence this is a product-one sequence which cannot be factored into two non-trivial product-one subsequences). We have 1 + dg) DG) and equality holds if G is abelian. The study of the Davenport constant of finite abelian groups is a central topic in zero-sum theory since the 1960s see [13] for a survey). Both the direct problem, asking for the precise value of the Davenport constant in terms of the group invariants, as well as the associated inverse problem, asking for the structure of extremal sequences, have received wide attention in the literature. We refer to [15, 9, 14, 30, 4, 1, 3, ] for progress with respect to the direct and to the inverse problem. Much of this research was stimulated by and applied to factorization theory and we refer to [18, 16] for more information on this interplay. Applications to invariant theory in particular, the relationship of the small and large Davenport constants with the Noether number, see [7, 6, 8, 9, 5, 6]) pushed forward the study of the Davenport constants for finite non-abelian groups. Geroldinger and Grynkiewicz [17, 4]) studied the small and the large Davenport constant of non-abelian groups and derived their precise values for groups having a cyclic index subgroup. Brochero Martínez and Ribas [3, ]) determined, among others, the structure of product-one free sequences of length dg) over Dihedral and Dicyclic groups. In this paper we establish a characterization of the structure of minimal product-one sequences of length DG) over Dihedral and Dicyclic groups Theorems 4.1, 4., and 4.3). It turns out that this problem is quite different from the study of product-one free sequence done by Brochero Martínez and Ribas. The minimal product-one sequences over G are the atoms irreducible elements) of the monoid BG) of all product-one sequences over G. Algebraic and arithmetic properties of BG) were recently studied in 010 Mathematics Subject Classification. 0D60, 0M13, 11B75, 11P70. Key words and phrases. product-one sequences, Davenport constant, Dihedral groups, Dicyclic groups, sets of lengths, unions of sets of lengths. This work was supported by the Austrian Science Fund FWF, W130 Doctoral Program Discrete Mathematics and Project No. P8864 N35. 1

2 JUN SEOK OH AND QINGHAI ZHONG [7, 8]. Based on our characterization results of minimal product-one sequences of length DG) we give a description of all unions of sets of lengths of BG) Theorems 5.4 and 5.5). We proceed as follows. In Section, we fix our notation and gather the required tools. In Section 3, we study the structure of minimal product-one sequences fulfilling certain requirements on their length and their support Propositions 3. and 3.3). Based on these preparatory results, we establish an explicit characterization of all minimal product-one sequences having length DG) for Dihedral groups Theorems 4.1 and 4.) and for Dicyclic groups Theorem 4.3). Our results on unions of sets of lengths are given in Section 5.. Preliminaries We denote by N the set of positive integers and we set N 0 = N {0}. For each k N, we also denote by N k thesetofpositiveintegersgreaterthanorequaltok. Forintegersa,b Z, [a,b] = {x Z a x b} is the discrete interval. Groups. Let G be a multiplicatively written finite group with identity element 1 G. For an element g G, we denote by ordg) N the order of g, and for subsets A,B G, we set AB = {ab a A and b B} and ga = {ga a A}. If G 0 G is a non-empty subset, then we denote by G 0 G the subgroup generated by G 0, and by HG 0 ) = {g G gg 0 = G 0 } the left stabilizer of G 0. Then HG 0 ) G is a subgroup, and G 0 is a union of right HG 0 )-cosets. Of course, if G is abelian, then we do not need to differentiate between left and right stabilizers and simply speak of the stabilizer of G 0, and when G is written additively, we have that HG 0 ) = {g G g +G 0 = G 0 }. Furthermore, for every n N and for a subgroup H G, we denote by [G : H] the index of H in G, φ H : G G/H the canonical epimorphism if H G is normal, C n an additively written) cyclic group of order n, D n a dihedral group of order n, and by Q 4n a dicyclic group of order 4n. Sequences over groups. Let G be a finite group with identity element 1 G and G 0 G a subset. The elements of the free abelian monoid FG 0 ) will be called sequences overg 0. This terminology goes back to Combinatorial Number Theory. Indeed, a sequence over G 0 can be viewed as a finite unordered sequence of terms from G 0, where the repetition of elements is allowed. We briefly discuss our notation which follows the monograph [5, Chapter 10.1]. In order to avoid confusion between multiplication in G and multiplication in FG 0 ), we denote multiplication in FG 0 ) by the boldsymbol and we use brackets for all exponentiation in FG 0 ). In particular, a sequence S FG 0 ) has the form.1) S = g 1... g l = i [1,l] g i FG 0 ), where g 1,...,g l G 0 are the terms of S. For g G 0 and a subset H G 0, v g S) = {i [1,l] g i = g} denotes the multiplicity of g in S, supps) = {g G 0 v g S) > 0} denotes the support of S and supp H S) = supps) H, and hs) = max{v g S) g G 0 } denotes the maximal multiplicity of S. A subsequence T of S is a divisor of S in FG 0 ) and we write T S. Thus T S if and only if v g T) v g S) for all g G 0, and in such case, S T [ 1] denotes the subsequence of S obtained by removing the terms of T from S so that v ) g S T [ 1] = v g S) v g T) for all g G 0. On the other hand, we denote S 1 = g g 1 l the sequence obtained by taking elementwise inverse from S.

3 MINIMAL PRODUCT-ONE SEQUENCES OF MAXIMAL LENGTH 3 Moreover,if S 1,S FG 0 ) and g 1,g G 0, then S 1 S FG 0 ) haslength S 1 + S, S 1 g 1 FG 0 ) has length S 1 +1, g 1 g G is an element of G, but g 1 g FG 0 ) is a sequence of length. If g G 0, T FG 0 ), and k N 0, then g [k] = g... g }{{} k FG 0 ) and T [k] = } T... T {{} FG 0 ). k Let S FG 0 ) be a sequence as in.1). When G is written multiplicatively, we denote by πs) = {g τ1)...g τl) G τ a permutation of [1,l]} G the set of products of S, and it can easily be seen that πs) is contained in a G -coset, where G is the commutator subgroup of G. Note that S = 0 if and only if S = 1 FG), and in that case we use the convention that πs) = {1 G }. When G is written additively with commutative operation, we likely denote by σs) = g g l G the sum of S. More generally, for any n N 0, the n-sum and n-product of S are respectively denote by Σ n S) = {σt) T divides S and T = n} G and Π n S) = πt) G, and the subsequence sums and subsequence product of S are respectively denote by ΣS) = n 1 The sequence S is called a product-one sequence if 1 G πs), and product-one free if 1 G / ΠS). T S T =n Σ n S) G and ΠS) = n 1Π n S) G. If S = g 1... g l BG) is a product-one sequence with 1 G = g 1...g l, then 1 G = g i...g l g 1...g i 1 for every i [1,l]. Every map of groups θ : G H extends to a monoid homomorphism θ : FG) FH), where θs) = θg 1 )... θg l ). If θ is a group homomorphism, then θs) is a product-one sequence if and only if πs) kerθ). We denote by BG 0 ) = { S FG 0 ) 1 G πs) } the set of all product-one sequences over G 0, and clearly BG 0 ) FG 0 ) is a submonoid. We denote by AG 0 ) the set of irreducible elements of BG 0 ) which, in other words, is the set of minimal product-one sequences over G 0. Moreover, is the large Davenport constant of G 0, and DG 0 ) = sup { S S AG 0 ) } N { } dg 0 ) = sup { S S FG 0 ) is product-one free } N 0 { } is the small Davenport constant of G 0. It is well known that dg) + 1 DG) G, with equality in the first bound when G is abelian, and equality in the second bound when G is cyclic [17, Lemma.4]). Moreover, Geroldinger and Grynkiewicz provide the precise value of the Davenport constants for non-cyclic groups having a cyclic index subgroupssee [17, 4]), whence we have that, for every n N, { n if n 3 is odd DQ 4n ) = 3n and DD n ) = 3n if n 4 is even. Ordered sequences over groups. These are an important tool used to study unordered) sequences over non-abelian groups. Indeed, it is quite useful to have related notation for sequences in which the order of terms matters. Thus, for a subset G 0 G, we denote by F G 0 ) = F G 0 ), ) the free non-abelian) monoid with basis G 0, whose elements will be called the ordered sequences over G 0.

4 4 JUN SEOK OH AND QINGHAI ZHONG Taking an ordered sequence in F G 0 ) and considering all possible permutations of its terms gives rise to a natural equivalence class in F G 0 ), yielding a natural map [ ] : F G 0 ) FG 0 ) given by abelianizing the sequence product in F G 0 ). For any sequence S FG 0 ), we say that an ordered sequence S F G 0 ) with [S ] = S is an ordering of the sequence S FG 0 ). All notation and conventions for sequences extend naturally to ordered sequences. In particular, for a sequence S FG 0 ) and its ordering S F G 0 ), we set h S ) = hs), supp S ) = supps), S = S, and v g S ) = v g S) for every g G 0. For an ordered sequence S = g 1... g l F G), we denote by π : F G) G the unique homomorphism that maps an ordered sequence onto its product in G, so π S ) = g 1...g l G. If G is a multiplicatively written abelian group, then for every sequence S FG), we always use π S) to be the unique product as element in G, and ΠS) = { π T) T divides S and T 1 } G. For the proof of our main results, the structure of product-one free sequences over cyclic groups plays a crucial role. Thus we gather some necessary lemmas regarding sequences over cyclic groups. Let G be an additively written finite cyclic group. A sequence S FG) is called smooth more precisely, g-smooth) if S = n 1 g)... n l g), where S = l N, g G, 1 = n 1... n l, m = n n l < ordg), and ΣS) = {g,g,...,mg}. Lemma.1. [16, Lemma 5.1.4] Let G be an additively written cyclic group of order G = n 3, g G, and k,l,n 1,...,n l N such that l k and m = n n l < k ordg). If 1 n 1... n l and S = n 1 g)... n l g), then S) = { g,g,...,mg }, and S is g-smooth. Lemma.. Let G be an additively written cyclic group of order G = n 3 and S FG) a productone free sequence of length S n+1. Then S is g-smooth for some g G with ordg) = n, and for every h S), there exists a subsequence T S such that σt) = h and g T. In particular, 1. if S = n 1, then S = g [n 1].. if S = n, then S = g) g [n 3] or S = g [n ]. 3. if n 4, then, for every non-empty subsequence W S with W n 1, we obtain that g W. Proof. The first statement, that S is g-smooth for some g G with ordg) = n, was found independently by Savchev Chen and by Yuan, and we cite it in the formulation of [16, Theorem ]. Suppose now that S = n 1 g)... n l g) with 1 = n 1... n l. Then n n l < n 1 and l 1 n 1. Applying Lemma.1 with k = n 1), we obtain that S g[ 1] is still g-smooth. Let h S) = { g, g,..., n n l )g }. If h = g, then we take T = g. If h g, then since S g [ 1] is g-smooth, it follows that h + g) S g [ 1]), and hence there exists W S g [ 1] such that σw) = h+ g). Thus W g is a subsequence of S with σw g) = h. 1. and. This follows from [13, Theorem 4.3]. 3. Let n 4, and W S be a non-empty subsequence with W n 1. Then it suffices to prove when W = n 1. Since S is g-smooth, we can assume that W = n 1 g)... n k g) with 1 n 1... n k. Since S n+1, we obtain that S W[ 1]. Thus it follows by applying Lemma.1 with k = n S W [ 1] that W is still g-smooth, whence g W.

5 MINIMAL PRODUCT-ONE SEQUENCES OF MAXIMAL LENGTH 5 3. On special sequences In this section, we study the structure of minimal product-one sequences under certain additional conditions Proposition 3. and 3.3). These results will be used substantially in the proofs of our main results in next section. We need the Theorem of DeVos Goddyn Mohar see Theorem 13.1 of [5] and the proceeding special cases). Lemma 3.1. Let G be a finite abelian group, S FG) a sequence, n [1, S ], and H = H n S)). Then Σ n S) min{n,v g φh S) ) } n+1 H. g G/H Let G be an additively resp. multiplicatively) written finite abelian group. Then G = {g g G} resp. G = {g g G} ). Likewise, given a sequence S = g 1... g l FG), we set 3.1) S = g 1... g l FG) resp. S = g1... gl F G )). The Erdős-Ginzburg-Ziv constant sg) is the smallest integer l N such that every sequence S FG) of length S l has a subsequence T BG) of length T = expg). If G = C n1 C n with 1 n 1 n, then sg) = n 1 +n 3 [18, Theorem 5.8.3]). Results on groups of higher rank can be found in [10]. Proposition 3.. Let G = α,τ α n = τ = 1 G and τα = α 1 τ be a dihedral group, where n N 4 is even. Let S FG) be a minimal product-one sequence such that S n and supps) G\ α. Then S is a sequence of length S = n having the following form: a) If n = 4, then S = τ ατ α τ α 3 τ or S = α x τ) [] α y τ α y+ τ, where x,y [0,3] with x y +1 mod ). b) If n 6, then S = α x τ) [v] α n +x τ) [ n v] α y τ) [w] α n +y τ) [ n w], where x,y [0,n 1] such that x y mod n) and gcdx y, n ) = 1, and v,w [0, n ] such that x y v w mod ). In particular, there are no minimal product-one sequences S over G such that S = S 1 S for some S 1 F α ) and S F G\ α ) of length S n+. Proof. For every x Z, we set x = x+nz Z/nZ. Let S = τ AG) be of length S n i [1, S ] αxi with α x1 τ...α x S τ = 1G, where x 1,...,x S [0,n 1]. Since S AG), it follows that S is even and, after renumbering if necessary, we set W = x 1... x S = W 1 W FZ/nZ), x i. Thus we have that σw 1 ) = σw ). If we shift the i [1, S /] where W 1 = x i 1 and W = i [1, S /] sequence W by y for some y Z, then the corresponding sequence S = i [1, S ] αxi+y τ is still a minimal product-one sequence. If S has the asserted structure, then the same is true for S whence we may shift the sequence W whenever this is convenient. For every subsequence U = y 1... y v of W, we denote by ψu) = α y1 τ... α yv τ the corresponding subsequence of S. A1. Let U = U 1 U be a subsequence of W such that U 1 = U and σu 1 ) = σu ). Then ψu) is a product-one sequence.

6 6 JUN SEOK OH AND QINGHAI ZHONG Proof of A1. Suppose that U 1 = y 1... y U1 and U = z 1... z U1. Since σu 1 ) = σu ), it follows that whence ψu) is a product-one sequence. α y1 τα z1 τ...α y U 1 τα z U 1 τ = α y1+...+y U 1 ) z z U1 ) = 1 G, If suppw 1 ) suppw ), say x 1 = x, then A1 implies that ψx 1 x ) and ψ W x 1 x ) [ 1]) are both product-one sequences, a contradiction. Therefore suppw 1 ) suppw ) =. CASE 1. hw) = 1. Since W n = Z/nZ, it follows that W = n and hence suppw) = Z/nZ. Since σw 1 ) = σw ), it follows that x 1 +x x S 1 ) nn 1) mod n), whence n n 1). Since n is even, we have that gcd,n 1) = 1 and thus n, which means that n is even. Since suppw) = Z/nZ, we obtain that for any distinct two x i1,x i3 [1, n ] with x i = x i1 + n, x i 4 = x i3 + n, the sequence kτ k [1,4] αxi is a product-one sequence. If n = 4, then W is a sequence over Z/4Z with hw) = 1, whence ψw) is the desired sequence for a). If n 6, then since n is even, it follows that S is product of at least n 4 product-one sequences, a contradiction. CASE. hw). There exists i [1, W ], say i = 1, such that v x1 W). Without loss of generality, we may assume that x 1 = x 3. Let W = W 1 x 1 x 3 ) [ 1]) W and l = W = W 1. If l W ) = Z/nZ), it follows by σw ) = σw ) x 1 Z/nZ) that there exits a subsequence T W having length l such that σt) = σw ). Hence we infer that σt) = σw T [ 1] ) and T = W T[ 1]. Thus A1 implies that ψx 1 x 3 ) and ψw ) are both product-one sequences, a contradiction. Therefore l W ) Z/nZ). Let H = H l W ) ). By Lemma 3.1, we obtain that Σ l W ) min{l,v g φh W ) ) } l+1 H. If h φ H W ) ) l, then g Z/nZ))/H Σ l W ) W l+1 ) H n = Z/nZ), a contradiction. If there exist distinct g 1,g Z/nZ))/H such that v gk φh W ) ) > l for all k [1,], then Σ l W ) l l+1) H n = Z/nZ), a contradiction. Thus there exists only one element, say g Z/nZ))/H, such that v g φh W ) ) > l which implies that v g φh W ) ) W +1 Σ lw ) H W + n H. A. If H is trivial, then W = n and W = x ) [n ] with v x W 1 ) = 0.

7 MINIMAL PRODUCT-ONE SEQUENCES OF MAXIMAL LENGTH 7 Proof of A. SupposethatH istrivial. Thenthereexistsg Z/nZ)suchthat v g W ) W + n l+1, and then we set g = y for some y Z. Assume to the contrary that min { v y W 1 ),v y W ) } 1. By shifting if necessary, we may assume that y 0 mod n). Since suppw 1 ) suppw ) =, we can suppose that v y W 1 ) = 0 and v y W ) 1. Then it follows that σ W 1 y + n ) )[ 1] = σ W y + n ) ) y y)[ 1]. Then A1 implies that ψy y) and ψw y y) [ 1] ) are both product-one sequences, a contradiction. Hence min { v y W 1 ),v y W ) } = 0, and it follows that l+1 v y W ) = max { v y W 1 x 1 x 3 ) [ 1] )),v y W ) } l+1. Thus v y W ) = v y W ) = W = l+1. If W n+, then l n and thus v y W ) W + n l+ n l+, a contradiction. Therefore W = n and W = y) [n ] = x ) [n ] with v x W 1 ) = 0. From now on, we assume that x 1,x 3 ) is choosing to make H maximal. SUBCASE.1. H is non-trivial. Assume to the contrary that [Z/nZ) : H] 3. Then H n 6, and since l n 1, we have that v g φh W ) ) l+1+ n n l+1+3 H 3. H Then it follows that min { v g φh W 1 ) ),v g φh W ) )} 3 H 3, otherwise, we obtain that v g φh W ) ) v g φh W 1 ) ) +v g φh W ) ) 3 H 4)+max{ W 1, W } = l+1+3 H 4, a contradiction. Similarly we obtain that max { v g φh W 1 ) ),v g φh W ) )} 3 H 1. By symmetry, it suffices to assumethat v g φh W 1 ) ) v g φh W ) ). Since g Z/nZ))/H, by shifting if necessary, we canassumethatg = H, whence supp H W 1 ) 3 H 3and supp H W ) 3 H 1. SinceH isanontrivialcyclicgroup,itfollowsbysh) = H 1thatthereexistU 1 W 1 andu W suchthatu 1 andu are product-one sequences over H of length U 1 = U = H. Since supp H W U [ 1] ) ) H 1, there also exists U 3 W U [ 1] such that U 3 is product-one sequence over H of length U 3 = H. Since σu k ) {0, n } for all k [1,3], there exist distinct i,j [1,3] such that σu i) = σu j ). If σu 1 ) = σu j ) for some j [,3], then σw 1 U [ 1] 1 ) = σw U [ 1] j ). Then A1 implies that ψu 1 U j ) and ψ W U 1 U j ) [ 1] ) ) are both product-one sequences, a contradiction. If σu ) = σu 3 ), then σ W 1 U [ 1] ) 1 = σ W U 1 U U 3 ) [ 1]) and W 1 U [ 1] 1 = W H = W U 1 U U 3 ) [ 1]. Thus A1 implies that ψu U 3 ) and ψ W U U 3 ) [ 1]) are both product-one sequences, a contradiction. Hence [Z/nZ) : H] =, and we obtain that v g φh W ) ) W. Then we may assume by shifting if necessary that suppw ) H, and hence suppw ) Z/nZ). Since suppw 1 ) suppw ) =, it follows by W n = Z/nZ) that there exists y suppw ) with v y W ). By swapping the role between x 1,x 3 ) and y,y), we have that K = H l W ) ) H by the choice of x 1,x 3 ), where W = W 1 W y y) [ 1]). Then we assert that x 1 H. If K is trivial, then A implies that W 1 = x 1 ) [n ] which implies that x 1 H. If K is non-trivial, then we must have that K = H, otherwise [Z/nZ) : K] 3 makes a contradiction. As two subgroups of finite cyclic group having same order, we obtain that K = H, whence we may assume that x 1 H. Thus, in any cases, we obtain that σw ) = σw ) x 1 H = Σ l W ),

8 8 JUN SEOK OH AND QINGHAI ZHONG where the final equality follows from the fact that H is the stabilizer of l W ). Hence there exists T W having length l such that σt) = σw ), and thus we infer that σt) = σw T [ 1] ) and T = W T [ 1]. Therefore A1 implies that ψx 1 x 3 ) and ψw ) are both product-one sequences, a contradiction. SUBCASE.. H is trivial. By A, we have that W = x ) [n ]. If hw ), then we may assume that x = x 4. By swapping the role between x 1,x 3 ) and x,x 4 ), it follows by the choice of x 1,x 3 ) that H l W ) ) is also trivial, where W = W 1 W x x 4 ) [ 1]). Again by A, we obtain that W 1 = x 1 ) [n ] with x 1 x. If n = 4, then we may assume by hw) that ) [] W = W 1 W = x 1 x x +), where x 1,x Z/4Z with x 1 x. Since σw 1 ) = σw ), it follows that x 1 x +1 mod ). Thus ψw) is the desired sequence for a). Suppose that n 6. Then hw ), and it follows that W = x 1 ) [n ] x ) [n ], whence W = W 1 W = [v] x 1 x 1 + n ) ) [ n v] [w] x x + n ) ) [ n w], where x 1,x Z/nZ with x 1 x, and v,w [0, n ]. Since σw 1) = σw ), it follows that x 1 x v w mod ). The remaining is to show that gcdx 1 x, n ) = 1. Assume to the contrary that d = gcd x 1 x, ) n. If suppw) 3, then we can choose [ y max { 0, n d +v n } { n } ] [,min v, and z max { 0, n d d +w n } { n } ],min w, d such that x1 x) [y] d y z mod ). Let U 1 = x 1 x 1 + n )[ n d y] [z] and U = x x + n )[ n d z]. Then for each i [1,], U i is a proper subsequence of W i with σu 1 ) = σu ). Thus A1 implies that ψu 1 U ) and ψ W U 1 U ) [ 1]) are both product-one sequences, a contradiction. If suppw) =, then since gcdx 1 x, n ) = gcdx 1 x n, n ), we may assume that W = x 1 [n ] [ x n ]. If d 3, then for each [ i [1,], U i = x n i d ] is a proper subsequence of W i with σu 1 ) = σu ). Then A1 implies that ψu 1 U ) and ψ W U 1 U ) [ 1]) are both product-one sequences, a contradiction. If d =, then 4 n and hence S = ψx 1 x 1 ) [n 4 ] ψx x ) [n 4 ], a contradiction. To prove the In particular statement, we assume to the contrary that there exists a minimal productone sequence S such that S = S 1 S, where S 1 F α ) and S F G\ α ) with S n+. Then we suppose that S = τ and S i [1, S αxi 1 = T 1 T such that π T 1 )α x1 τ)π T )α x τ...α x S τ) = 1 G. ] Since S AG), it follows that S = π T 1 )α x1 τ ) π T )α x τ ) ) τ A G\ α ) i [3, S αxi ] of length S = S n+, but this is impossible by the main statement. Proposition 3.3. Let G = α,τ α n = 1 G, τ = α n, and τα = α 1 τ be a dicyclic group, where n. Let S FG) be a minimal product-one sequence such that S n+ and supps) G\ α. Then S is a sequence of length S = n+ having the form S = α x τ) [n+] S 0, where x [0,n 1], and S 0 is a sequence of length S 0 = n having one of the following two forms: a) S 0 = α y τ) [] α y+n τ α y1 τ... α yn 3 τ, where n 3, y,y 1,...,y n 3 [0,n 1] such that y x mod n), y i x mod n) for all i, and y y n 3 )+3y+n+x n+1)x+n) mod n)

9 MINIMAL PRODUCT-ONE SEQUENCES OF MAXIMAL LENGTH 9 b) S 0 = α y τ) [n], where y [0,n 1] such that y x mod n) and ny + x n + 1)x + n) mod n). In particular, there are no minimal product-one sequences S over G such that S = S 1 S for some S 1 F α ) and S F G\ α ) of length S n+. Proof. For every x Z, we set x = x + nz Z/nZ. Let S = τ AG) be of length i [1, S ] αxi S n+ with α x1 τ...α x S τ = 1G, where x 1,...,x S [0,n 1]. Since S AG), it follows that S is even and, after renumbering if necessary, we set W = x 1... x S = W 1 W FZ/nZ), x i. Thus we have that σw 1 ) = σw ) + W 1 n. If we i [1, S /] where W 1 = x i 1, and W = i [1, S /] shift the sequence W by y for some y Z, then the corresponding sequence S = i [1, S ] αxi+y τ is still a minimal product-one sequence. If S has the asserted structure, then the same is true for S whence we may shift the sequence W whenever this is convenient. For every subsequence U = y 1... y v of W, we denote by ψu) = α y1 τ... α yv τ the corresponding subsequence of S. A1. Let U = U 1 U be a subsequence of W such that U 1 = U and σu 1 ) = σu )+ U 1 n. Then ψu) is a product-one sequence. Proof of A1. Suppose that U 1 = y 1... y U1 and U = z 1... z U1. Since σu 1 ) = σu ) + U 1 n, it follows that α z1 τα y1 τ...α z U 1 τα y U 1 τ = α z1+...+z U 1 ) y y U1 )+ U 1 n = 1 G, whence ψu) is a product-one sequence. IfsuppW 1 ) suppw )+n ), sayx 1 = x +n, thena1impliesthatψx 1 x )andψ W x 1 x ) [ 1]) are both product-one sequences, a contradiction. Therefore suppw 1 ) suppw )+n ) =, and since S n+, it follows that hw). A. There are no g 1,g Z/nZ such that g 1 = g and {g 1,g } suppw 1 ) suppw ). Proof of A. Assume to the contrary that there exist g 1,g Z/nZ satisfying given conditions. If g 1 g, then since g 1 = g, we can assume that g = g 1 + n, but g = g 1 + n suppw 1 ) suppw ) + n ), a contradiction. Thus g 1 = g, and we set U 1 = U = g 1 g. It follows that U 1 W 1 and U W such that U 1 = U with σu 1 ) = σu ) + U 1 n, and W 1 U [ 1] 1 = W U [ 1] with σ W 1 U [ 1] ) 1 = σ W U [ 1] ) + W1 U [ 1] 1 n. Thus A1 implies that ψu 1 U ) and ψ W U 1 U ) [ 1]) are both product-one sequences, a contradiction. CASE 1. There exists y suppw) such that v y W) and y +n suppw). Without loss of generality, we may assume that y y +n) W 1. Then we set W = W y y +n) ) [ 1] and l = W = W 1. If l W ) = Z/nZ), then since σw ) + ln = σw ) + ln y Z/nZ), it follows that there exits a subsequence T W having length l such that σt) = σw ) + ln. Hence we infer that σt) = σw T [ 1] )+ T n and T = W T [ 1]. Thus A1 implies that ψ y y +n) ) and ψw ) are both product-one sequences, a contradiction. Therefore l W ) Z/nZ). Let H = H l W ) ). By Lemma 3.1, we obtain that Σ l W ) min{l,v g φh W ) ) } l+1 H. g Z/nZ))/H

10 10 JUN SEOK OH AND QINGHAI ZHONG If h φ H W ) ) l, then Σ l W ) W l+1 ) H n = Z/nZ), acontradiction. Ifthereexistdistinctg 1,g Z/nZ))/H suchthatv gk φh W ) ) > lforallk [1,], then Σ l W ) l l+1) H n = Z/nZ), a contradiction. Thus there exists only one element, say g Z/nZ))/H, such that v g φh W ) ) > l which implies that v g φh W ) ) W +1 Σ lw ) H W + n H. SUBCASE 1.1. H is non-trivial. Suppose that [Z/nZ) : H] 3. Then H n 3, and since l n, we have that v g φh W ) ) l+1+n+1) n l++3 H 3. H Then it follows that min { v g φh W 1 ) ),v g φh W ) )} 3 H, otherwise, we obtain that v g φh W ) ) v g φh W 1 ) ) +v g φh W ) ) 3 H 3+max { W 1, W } 3 H 3+l+1, a contradiction. Since g Z/nZ))/H, by shifting if necessary, we can assume that g = H, whence supp H W i ) 3 H for all i [1,]. Since H is non-trivial, we have that 3 H H, whence we infer that there exists h H such that v h W 1 ) and v h W ). It follows that there exist g 1,g Z/nZ such that g 1 = g = h and {g 1,g } suppw 1 ) suppw ), which contradicts to A. Hence [Z/nZ) : H] =, and we obtain that v g φh W ) ) W. Then we may assume by shifting if necessary that suppw ) H, and hence suppw ) Z/nZ). Since v y W), it follows that y suppw ) Z/nZ), whence σw )+ln H. Thus there exists T W having length l such that σt) = σw )+ln, and hence we infer that σt) = σw T [ 1] )+ T n and T = W T [ 1]. Thus A1 implies that ψ y y +n) ) and ψw ) are both product-one sequences, a contradiction. SUBCASE 1.. H is trivial. Since l = W n, it follows that v g W ) W + n l +, and hence A implies that min { v g W 1 ),v g W ) } = 1. Then we assert that g y. Assume to the contrary that g = y. Since y y+n) W 1, it follows that v g W ) = 1, whence l+ v g W ) = v g W 1 ) +1 l, a contradiction. Hence g y, and since l+ v g W ) = v g W 1 y y +n)) [ 1])) +v g W ), it follows that v g W 1 ) = 1 and v g W ) = l+1 so that v g W ) = l+, whence W = n+ and l = n, otherwise if W n+4, then l n+1 and thus v g W ) W + n l+3, a contradiction. Thus we have that W = x) [n+1] and v x W 1 ) = 1 for some x Z/nZ with x y. Since suppw 1 ) suppw )+n ) =, wemayassumethat W = x [n+1] andv x W 1 ) = 1. Since v y W) and W 1 = n+1, we obtain that x y y y +n) W 1, whence n 3 and W = W 1 W = x T) x [n+1], where T F Z/nZ ) with T = n such that x / suppt) and y [] y + n) T. Since σw 1 ) = σw )+ W 1 n, it follows that σt)+x = n+1)x+n+1)n. Therefore ψw) is the desired sequence for a). CASE. For every x suppw) with v x W), we have that x+n / suppw).

11 MINIMAL PRODUCT-ONE SEQUENCES OF MAXIMAL LENGTH 11 If hw), then it follows that n+ W = W hw) Z/nZ) n, a contradiction, and hence we have from the case hypothesis that hw) = hw) 3. Let x suppw) such that v x W) = hw) 3, and assume that v x W 1 ) v x W ) with v x W 1 ). Lety suppw x x) [ 1] )beanelementwithv y W x x) [ 1] ) = hw x x) [ 1] ). Ifv y W x x) [ 1] ) 1, then it follows by the case hypothesis that n W = W x x) [ 1] Z/nZ)\{x+n} = n 1, a contradiction, whence v y W x x) [ 1] ). Then we set W = W x x y y) [ 1] and l = W = W. If l W ) = Z/nZ), then since σw )+ln = σw )+l+)n x y Z/nZ), it follows that there exists a subsequence T W having length l such that σt) = σw ) + ln. Hence we infer that σt) = σw T [ 1] )+ T n and T = W T [ 1]. Thus A1 implies that ψ x [] y []) and ψw ) are both product-one sequences, a contradiction. Therefore l W ) Z/nZ). Let H = H l W ) ). As at the start of the proof of CASE 1, it follows by Lemma 3.1 that there exists only one element, say g Z/nZ))/H, such that v g φh W ) ) l+1 which implies that v g φh W ) ) W +1 Σ lw ) H W + n H. SUBCASE.1. H is non-trivial. Suppose that [Z/nZ) : H] 3. Then H n 3, and since l = W n 1, we have that v g φh W ) ) l+1+n n l+1+3 H 3. H Then we assert that min { v g φh W 1 ) ),v g φh W ) )} 3 H. Assume to the contrary that If v g φh W ) ) l, then min { v g φh W 1 ) ),v g φh W ) )} 3 H 3. v g φh W ) ) v g φ H W1 x x) [ 1] ) )) +v g φh W ) ) l+3 H 3, a contradiction, whence v g φh W ) ) l +1 n. It follows that hw ) n H 3, and hence the main casehypothesisimpliesthat hw ) = hw ) 3. Let z suppw ) suchthat v z W ) = hw ) 3. By swapping the role between y and z if necessary, we may assume that v y W ). Thus it follows that v g φh W ) ) = v g φ H W1 x x) [ 1])) +v g φ H W y y) [ 1])) l+3 H 3, a contradiction. Since g Z/nZ))/H, by shifting if necessary, we can assume that g = H, whence supp H W i ) 3 H for all i [1,]. Since H is non-trivial, we infer that there exist g 1,g Z/nZ such that g 1 = g and {g 1,g } suppw 1 ) suppw ), which contradicts to A. Hence [Z/nZ) : H] =, and we obtain that v g φh W ) ) W. Then we may assume by shifting if necessary that suppw ) H, and hence suppw ) Z/nZ). We assert that σw ) + ln H. Clearly this holds true for x = y. Suppose that x y. If hw ), then it follows that n W hw ) Z/nZ) n, a contradiction, whence hw ) 3. Since hw x x) [ 1] ) hw ), we obtain that hw x x) [ 1] ) 3, and hence it follows that y suppw ) Z/nZ) so that σw )+ln H. Thus σw ) + ln H implies that there exists T W having length l such that σt) = σw ) + ln.

12 1 JUN SEOK OH AND QINGHAI ZHONG Then we infer that σt) = σw T[ 1] )+ T n and T = W T[ 1]. Thus A1 implies that ψ x [] y[]) and ψw ) are both product-one sequences, a contradiction. SUBCASE.. H is trivial. Since l = W n 1, it follows that v g W ) W + n l+1, and we assert that the equality holds. We observe by A that v x W) = hw) l+3. If hw) l+1, then the assertion follows from v g W ) hw). Suppose that hw) = v x W) = l+3. Then all terms not equal to x will have multiplicity at most W l 3 = l+1 in W, and thus also in W, whence it follows that v g W ) l+1. Suppose that hw) = v x W) = l +. Then v x W ) v x W) = l. Note that v g W ) {l+1,l+} so that g x. If v g W ) = l+, then since W = l+4 and v x W) = l+, it follows that suppw) = {x,g} with same multiplicity l+, and by the choice of y that we must have g = y. Thus v g W ) v y W) = l, a contradiction. Therefore we must have that v g W ) = l+1. Since v g W ) = l+1, it follows that W = n+ and l = n 1, otherwise if W n+4, then l n and thus l+1 = v g W ) W + n l+, a contradiction. In order to show that g = x, we assume to the contrary that g x. If g y, then l + 1 = v g W x x) [ 1] ). If l, then by letting g = z for some z suppw ) with z x,y, we obtain that l+1 = v z W ) = v z W ) h W x x) [ 1]) = v y W x x) [ 1] ), whence v x W) W l+1) =. Thus hw) h W x x) [ 1]) 3, a contradiction. Hence we must have that n 1 = l = 1, and it follows that 6 = W = W v x W)+v y W)+v g W) 7, a contradiction. If g = y, then l + 3 = v ) y W x x) [ 1], and hence it follows by the main case hypothesis that l+3 = v y W x x) [ 1] ), whence l+4 = W v x W)+v y W) l+6, a contradiction. Since v x W) = hw) 3 and v x W 1 ) v x W ), it follows that min { v g W 1 ),v g W ) } = v g W ). Since l+ = W, it follows by A that v gw ) = 1, and thus l v g W1 x x) [ 1] ) ) l. Hence we obtain that W 1 = x [n+1], and it follows by the choice of y that W = x y [n] and y x. Thus we obtain that W = W 1 W = x [n+1] x y [n]), where x,y Z/nZ with x y. Since σw 1 ) = σw )+ W 1 n, it follows that ny+x n+1)x+n) mod n). Therefore ψw) is the desired sequence for b). To prove the In particular statement, we assume to the contrary that there exists a minimal productonesequences suchthat S = S 1 S, wheres 1 F α ) ands F G\ α ) oflength S n+. Then we suppose that S = i [1, S αxi τ and S 1 = T 1 T such that π T 1 )α x1 τ)π T )α x τ...α x S τ) = 1 G. ] Since S AG), it follows by suitable ordering that we obtain S = π T 1 )α x1 τ ) π T )α x τ ) ) τ A G\ α ) i [3, S αxi ] of length S = S n+, but this is impossible by the main statement. 4. The main results Theorem 4.1. Let G be a dihedral group of order n, where n N 3 is odd. A sequence S over G of length DG) is a minimal product-one sequence if and only if it has one of the following two forms: a) There exist α, τ G such that G = α,τ α n = τ = 1 G and τα = α 1 τ and S = α [n ] τ [].

13 MINIMAL PRODUCT-ONE SEQUENCES OF MAXIMAL LENGTH 13 b) There exist α, τ G and i,j [0,n 1] with gcdi j,n) = 1 such that G = α,τ α n = τ = 1 G and τα = α 1 τ and S = α i τ) [n] α j τ) [n]. Proof. We fix α,τ G such that G = α,τ α n = τ = 1 G and τα = α 1 τ. Then G = { α i i [0,n 1] } { α i τ i [0,n 1] }. Let G 0 = G \ α and denote S G0 = g G 0 g [vgs)]. If S G0 = 0, then S F α ). Since S = n > D α ) = n, we obtain that S is not a minimal product-one sequence, a contradiction. Since S is a product-one sequence, we have that S G0 is even. We distinguish three cases depending on S G0. CASE 1. S G0 =. Since D α ) = n, we may assume by changing generating set if necessary that S = T 1 τ T α x τ) with π T 1 )τ)π T )α x τ) = 1 G, where x [0,n 1], T 1,T F α ) with T 1 1 and T 1. Since S AG), it follows that T 1 and T must be product-one free sequences. If T 1 n or T n, then since D α ) = n, it follows that either T 1 or T has a product-one subsequence, a contradiction. Thus we have that T 1 = T = n 1, and by Lemma..1, we may assume that T 1 = α [n 1] and T = α j ) [n 1], where j [0,n 1] with gcdj,n) = 1. Since π T 1 )τ)π T )α x τ) = 1 G, it follows that 1 j +x [] mod n), and thus it suffices to show that x = 0; indeed, if this holds, then j = 1, whence S = α [n ] τ which is the desired sequence for a). Assume to the contrary that x [1,n 1] so that j 1. SUBCASE 1.1. j is even. Let V 1 = α j α [n j] BG). Since j is even and n is odd, 1 j +x mod n) implies that V = α [j ] α j ) [n 3 ] α j τ) α [j ] α j ) [n 3 ] α α x τ) BG), whence S = V 1 V, a contradiction. SUBCASE 1.. j is odd. Since 1 j +x mod n), we obtain that x = j 1, whence x is even. Then n 1 x is even, and we obtain that α [n 1 x ] α j ) [n 1 ] α [x]) τ α [n 1 x ] α j ) ]) [n 1 α x τ = 1 G. Let V 1 = α [ n 1 x ] α j ) [n 1 ] α [x] F α ). Since x is even, it follows that V 1 = n 1+ x n, and hence V 1 has a product-one subsequence W. Thus W and S W [ 1] are both product-one sequences, a contradiction. CASE. S G0 [4,n ]. For α j α, we observe that α ν τ α ρ τ)α j = α j α ν τ α ρ τ). We may assume by changing generating set if necessary that S = T 1 τ T T 3 α x τ), where x [0,n 1], T 1,T F α ), and T 3 FG 0 ) with T 3 = S G0. Since D α ) = n, we can assume that π T 1 )τ)π T T 3) α x τ) = 1 G with T 1 1 and T 1, where T 3 = g i is ordered sequence and T 3 = g i 1g i ) F α ). Then T 1 i [1, T 3 ] i [1, T 3 /] and T T 3 are both product-one free sequences and T 1 T T 3 = n S G0 ) + S G 0 n. Let T 1 = p 1... p T1, T = f 1... f T, and T 3 = q 1...q T 3. Then we consider H 1 = {p 1, p 1 p,..., p 1...p T1 )}, and H = {q 1, q 1 q,..., q 1...q T 3 ), q 1...q T 3 f 1 ), q 1...q T 3 f 1 f ),..., q 1...q T 3 f 1...f T )}.

14 14 JUN SEOK OH AND QINGHAI ZHONG SinceT 1 andt T 3 arebothproduct-onefree, itfollowsthath 1,H α with H 1 = T 1, H = T T 3, and H 1 + H = T 1 T T 3 n. Since α = n, we obtain that H 1 H, and hence we infer that there exist W 1 T 1, W T, and W 3 T 3 such that W 3 is non-empty sequence and π W 1 ) = π W W 3 ). Let W 3 denote the corresponding subsequence of T 3 and assume that W 3 = α y1 τ) α y τ) W 3. Then Z = W α y1 τ) W 1 α y τ) W 3 and S Z[ 1] are both product-one sequences, a contradiction. CASE 3. S G0 = n. Since S = n = S G0, we may assume that S = α k1 τ α k τ... α kn 1 τ α kn τ with α k1 τα k τ...α kn 1 τα kn τ = 1 G, where k 1,...,k n [0,n 1]. Then we set S = a k1 k... a kn 1 kn B α ) of length S = n. Since S AG), it follows that S A α ), whence 4.1) k 1 k k 3 k 4... k n 1 k n mod n) with gcdk i k i+1,n) = 1 for all odd i. Let j [1,n ]. Then we observe that α kj τα kj+1 τα kj+ τ = α kj kj+1+kj+ τ = α kj+ τα kj+1 τα kj τ. By swapping the role between α kj τ and α kj+ τ, we obtain that S = α k1 k... α kj+ kj+1 α kj+1 kj... α kn 1 kn B α ) of length S = n. Hence it follows again that k 1 k... k j+ k j+1 k j+1 k j... k n 1 k n mod n), and thus 4.1) implies that k j = k j+. Therefore S = α k1 τ) [n] α k τ) [n] with gcdk 1 k,n) = 1 which is desired sequence for b). Theorem 4.. Let G be a dihedral group of order n, where n N 4 is even. A sequence S over G of length DG) is a minimal product-one sequence if and only if there exist α, τ G such that G = α,τ α n = τ = 1 G and τα = α 1 τ and S = α [n+n ] τ α n τ). Proof. We fix α,τ G such that G = α,τ α n = τ = 1 G and τα = α 1 τ. Then G = { α i i [0,n 1] } { α i τ i [0,n 1] }. Let G 0 = G\ α, and denote S G0 = g G 0 g [vgs)]. If S G0 = 0, then S F α ). Since S = n+ n > D α ) = n, we obtain that S is not a minimal product-one sequence, a contradiction. Since S is a product-one sequence, it follows by Proposition 3. that S G0 [,n] is even. We distinguish the cases depending on S G0. CASE 1. S G0 =. Since D α ) = n, we may assume by changing generating set if necessary that S = T 1 τ T α x τ) with π T 1 )τ)π T )α x τ) = 1 G, where x [0,n 1], T 1,T F α ) with T 1 1 and T 1. Since S AG), it follows that T 1 and T must be product-one free sequences. If T 1 n and T n, then T 1 and T F α ) see 3.1)) with T 1 n and T n, and it follows by D α ) = n that there exist W 1 T 1 and W T such that W 1 and W are product-one sequences over α. Since T 1 and T are product-one free, we obtain that π W 1 ) = α n = π W ). Therefore W 1 W and S W 1 W ) [ 1] are both product-one sequences, a contradiction. Thus T 1 n 1 or T n 1. We may assume that T 1 = n 1 and T = n 1. Then Lemma..1 implies that T = α j ) [n 1] for some odd j [1,n 1]. Since T 1 α j τ α x τ) is a product-one sequence, we have that T 1 α j ) [n ] τ α j ) [n 1] α x τ) BG).

15 MINIMAL PRODUCT-ONE SEQUENCES OF MAXIMAL LENGTH 15 It follows that T 1 α j ) [n ] is a product-one free sequence of length n 1, and again by Lemma..1 that T 1 = α j ) [n 1]. Note that n 1)j n 1)j +x mod n) and j is odd. Thus we infer that x = n and the assertion follows. CASE. S G0 [4,n]. SUBCASE.1. n = 4. Then, by Proposition 3., we only have that S G0 = 4. We may assume by changing generating set if necessary that S = α r1 α r τ α x τ α y τ α z τ for some r 1,r [1,3] and x,y,z [0,3]. If α r1 α r τα x τα y τα z τ = 1 G, then S = α r1 α r α x α y z A α ), and hence we obtain that r 1 = r = x = y z = j for some odd j [1,3]. Thus S = S 1 S, where S 1 = α r1 τ α x τ and S = α r α y τ α z τ are both product-one sequences, a contradiction. Thus we can assume that α r1 τα r α x τα y τα z τ = 1 G, and we consider S = α r1 α r τ α x τ α y τ α z τ BG). We assert that S / AG). Assume to the contrary that S AG). Since α r1 α r τα x τα y τα z τ = 1 G, it follows that α r1 α r α x α y z A α ), and hence we obtain that r 1 = r = x = y z = j for some odd j [1,3]. Thus S = S 1 S, where S 1 = α r τ α x τ and S = α r1 α y τ α z τ are both product-one sequences, a contradiction. Let S = U 1 U for some U 1,U BG). Since S is minimal product-one sequence, we only have that U 1 = α r1 α r and U = τ α x τ α y τ α z τ are both minimal product-one sequences, whence we obtain that r 1 = r. Since U AG), Proposition 3. implies that U = τ ατ α τ α 3 τ or U = α x τ) [] α y τ α y+ τ, where x,y [0,3] with x y + 1 mod ). Since S AG), we obtain that either r 1 = r = 1 or r 1 = r = 3. It follows that S = α r1 τ ατ) α r α τ α 3 τ) or S = α r1 α x τ α y τ) α r α x τ α y+ τ), whence S is the product of two product-one sequences, a contradiction. SUBCASE.. n 6. We may assume by changing generating set if necessary that S = T 1 T T 3 τ α x τ), where x [0,n 1], T 1,T F α ) with T T 1 0, and T 3 FG 0 ) with T 3 = S G0. Without loss of generality, we suppose that π T 1 )τ)π T T 3) α x τ) = 1 G, where T 3 = g i is ordered sequence i [1, T 3 ] and T 3 = g i 1g i ) F α ). Then T 1 and T T 3 are both product-one free sequences and i [1, T 3 /] T 1 T T 3 = n+ n ) S G 0 + S G 0 n 1. If T 1 T T 3 n, then we infer that there exist subsequences W 1 T 1, W T, and W 3 T 3 such that W 3 is non-trivial sequence and π W 1 ) = π W W 3). Let W3 denote the corresponding subsequence of T 3 and assume that W 3 = α y1 τ) α y τ) W 3. Then Z = W α y1 τ) W 1 α y τ) W 3 and S Z [ 1] are both product-one sequences, a contradiction. Suppose that T 1 T T 3 = n 1. Then T 3 = n 1 and T n 4. Since T T 3 is product-one sequence with T T 3 3n n+1 4 1, it follows by Lemma. that T T 3 is g-smooth for some g α with ordg) = n, and for every z T T 3), there exists a subsequence W T T 3 with g W such that π W) = z. Since T 3 = n 1, Lemma..3 implies that g T 3. If T 1 ) T T 3 ), then there exist subsequences W 1 T 1, W T, and W 3 T 3 such that W 3 is non-trivial sequence and π W 1 ) = π W W 3). Let W 3 denote the corresponding subsequence of T 3 and assume that W 3 = α y1 τ) α y τ) W 3. Then Z = W α y1 τ) W 1 α y τ) W 3 and S Z[ 1] are both

16 16 JUN SEOK OH AND QINGHAI ZHONG product-one sequences, a contradiction. Hence T 1 ) T T 3) =, and it follows that T 1 1 T T 3 is product-one free sequences of length n 1. By Lemma..1, there exists an odd j [1,n 1] such that If T 1 1, then T 1 1 T T 3 = α j) [n 1], whence x = j. αj α j) [ T 1 ] and α j ) [1+ n T 1 ] τ α j ) [ n T 1 ] α x τ) are both product-one sequences, whence this contradicts to S AG). Thus T 1 = 0, and we can assume that T 3 = α r1 τ α r τ ) [ n 1] for some r 1,r [0,n 1] with r 1 r j mod n). Since x = j, we obtain that S 1 = α j τ α x τ and S = α r1 τ α j α r τ are both product-one sequences, and hence S = S 1 S [n 1], a contradiction. Theorem 4.3. Let G be a dicyclic group of order 4n, where n. A sequence S over G of length DG) is a minimal product-one sequence if and only if there exist α, τ G such that G = α,τ α n = 1 G, τ = α n, and τα = α 1 τ and S = α [3n ] τ []. Proof. We fix α,τ G such that G = α,τ α n = 1 G,τ = α n, and τα = α 1 τ. Then G = { α i i [0,n 1] } { α i τ i [0,n 1] }. Let G 0 = G \ α, and denote S G0 = g G 0 g [vgs)]. If S G0 = 0, then S F α ). Since S = 3n > D α ) = n, we obtain that S is not a minimal product-one sequence, a contradiction. Since S is a product-one sequence, it follows by Proposition 3.3 that S G0 [,n+] is even. We distinguish the cases depending on S G0. CASE 1. S G0 =. Since D α ) = n, we may assume by changing generating set if necessary that S = T 1 τ T α x τ) with π T 1 )τ)πt )α x τ) = 1 G, where x [0,n 1], T 1,T F α ) with T 1 1 and T 1. Since S AG), it follows that T 1 and T must be product-one free sequences. If T 1 n and T n, then T1 and T F α ) see 3.1)) with T1 n and T n, and it follows by D α ) = n that there exist W 1 T 1 and W T such that W1 and W are product-one sequence over α. Since T 1 and T are product-one free, we obtain that π W 1 ) = α n = π W ). Therefore W 1 W and S W 1 W ) [ 1] are both product-one sequences, a contradiction. Thus T 1 n 1 or T n 1. We may assume that T 1 = n 1 and T = n 1. Then Lemma..1 implies that T = α j ) [n 1] for some odd j [1,n 1]. Since T 1 α j τ α x τ) is a product-one sequence, we have that T 1 α j ) [n] τ α j ) [n 1] α x τ) BG). It follows that T 1 α j ) [n] is a product-one free sequence of length n 1, and again by Lemma..1 that T 1 = α j ) [n 1]. Note that n 1)j n 1)j +x+n mod n) and j is odd. Thus we infer that x = 0 and the assertion follows. CASE. S G0 [4,n+]. SUBCASE.1. n = Then G = Q 8 is the quaternion group. If S G0 = 6, then by Proposition 3.3, we have that S = α x τ) [4] α y τ) []

17 MINIMAL PRODUCT-ONE SEQUENCES OF MAXIMAL LENGTH 17 where x,y [0,3] such that x y with y+x 3x+) mod 4). Hence if x is odd resp. even), then y is even resp. odd). Without loss of generality, we may assume that x is odd so that y is even. Note that α,τ {I, I,J, J,K, K} with α ±τ. Hence we have that S = α x τ) [4] α y τ) [] = α [4] 1 τ [] 1, where α 1 ±τ 1 with G = α 1,τ 1, whence the assertion follows. Suppose that S G0 = 4, and we may assume by changing generating set if necessary that S = α r1 α r τ α x τ α y τ α z τ for some r 1,r [1,3] and x,y,z [0,3]. If α r1 α r τα x τα y τα z τ = 1 G, then S = α r1 α r α x+ α y z+ A α ), and hence we obtain that r 1 = r = x+ = y z + = j for some odd j [1,3]. Thus S = S 1 S, where S 1 = α r1 α x τ τ and S = α r α z τ α y τ are both product-one sequences, a contradiction. Hence we can assume that α r1 τα r α x τα y τα z τ = 1 G, and we consider S = α r1 α r τ α x τ α y τ α z τ BG). We assert that S / AG). Assume to the contrary that S AG). Since α r1 α r τα x τα y τα z τ = 1 G, it follows that α r1 α r α x+ α y z+ A α ), whence we obtain that r 1 = r = x+ = y z + = j for some odd j [1,3]. Thus S = S 1 S, where S 1 = α r τ α x τ and S = α r1 α z τ α y τ are both product-one sequences, a contradiction. Let S = U 1 U for some U 1,U BG). Since S is minimal product-one sequence, we only have that U 1 = α r1 α r and U = τ α x τ α y τ α z τ are both minimal product-one sequences. Without loss of generality, we may assume that r 1 = r and τα x τα y τα z τ = 1 G. Then U AG) implies that α x+ α y z+ A α ), whence x y z mod 4). By the case distinction on x,y,z, we obtain that U { τ [4], τ [] ατ) [], τ [] α 3 τ) [], τ [] ατ α 3 τ, τ ατ) [] α τ, τ α τ α 3 τ) [], τ ατ α τ α 3 τ }. Since S AG), we obtain that either r 1 = r = 1 or r 1 = r = 3, and thus it follows that we must have U = τ [4], otherwise S is the product of two product-one sequences, a contradiction. Since r 1 is odd, by letting α 1 = τ and τ 1 = α r1, we obtain that S = α [4] 1 τ[] 1, where G = α 1,τ 1, whence the assertion follows. SUBCASE.. n 3. We may assume by changing generating set if necessary that S = T 1 T T 3 τ α x τ, where x [0,n 1], T 1,T F α ) with T T 1 0, and T 3 FG 0 ) with T 3 = S G0. Without loss of generality, we suppose that π T 1 )τ)π T T 3) α x τ) = 1 G, where T 3 = g i is ordered sequence i [1, T 3 ] and T 3 = g i 1g i ) F α ). Then T 1 and T T 3 are both product-one free sequences and i [1, T 3 /] ) T 1 T T 3 3n S = G0 + S G 0 n. If T 1 T T 3 n, then we infer that there exist subsequences W 1 T 1, W T, and W 3 T 3 such that W 3 is non-empty and π W 1 ) = π W W 3 ). Let W 3 denote the corresponding subsequence of T 3 and assume that W 3 = α y1 τ) α y τ) W 3. Then Z = W α y1 τ) W 1 α y τ) W 3 and S Z [ 1] are both product-one sequences, a contradiction. Suppose that T 1 T T 3 = n 1. Then T 3 = n 1 and T n. Since T T 3 is product-one free sequence with T T 3 = 3n n+1 1, it follows by Lemma. that T T 3 is g-smooth for some g α with ordg) = n, and for every z T T 3), there exists a subsequence W T T 3 with g W such that π W) = z. Since T 3 = n 1, Lemma..3 implies that g T 3.

18 18 JUN SEOK OH AND QINGHAI ZHONG If T 1 ) T T 3), then there exist subsequences W 1 T 1, W T, and W 3 T 3 such that W 3 is non-trivial sequence and π W 1 ) = π W W 3 ). Let W 3 denote the corresponding subsequence of T 3 and assume that W 3 = α y1 τ) α y τ) W 3. Then Z = W α y1 τ) W 1 α y τ) W 3 and S Z[ 1] are both product-one sequences, a contradiction. Hence T 1 ) T T 3 ) =, and it follows that T 1 1 T T 3 is product-one free sequence of length n 1. By Lemma..1, there exists an odd j [1,n 1] such that T 1 1 T T 3 = α j) [n 1], whence x j +n mod n). Note that n T 1 0 is even. If T 1 1, then αj α j) [ T 1 ] and α j ) [1+ n T 1 ] τ α j ) [ n T 1 ] α x τ) are both product-one sequences, whence this contradicts to S AG). Thus T 1 = 0, and we can assume that T 3 = α r1 τ α r τ ) [n 1] for some r1,r [0,n 1] with r 1 r j +n mod n). Since x j +n mod n), we obtain that S 1 = α j τ α x τ and S = α j α r τ α r1 τ are both product-one sequences, and hence S = S 1 S [n 1], a contradiction. Suppose that T 1 T T 3 = n. Then T 3 = n and T n 1. Since T T 3 is product-one free sequence with T T 3 = 3n n+1 1, it follows by Lemma. that T T 3 is g-smooth for some g α with ordg) = n, and for every z T T 3), there exists a subsequence W T T 3 with g W such that π W) = z. Since T 3 n 1, Lemma..3 implies that g T 3. If T 1 ) T T 3 ), then there exist subsequences W 1 T 1, W T, and W 3 T 3 such that W 3 is non-trivial sequence and π W 1 ) = π W W 3). Let W 3 denote the corresponding subsequence of T 3 and assume that W 3 = α y1 τ) α y τ) W 3. Then Z = W α y1 τ) W 1 α y τ) W 3 and S Z[ 1] are both product-one sequences, a contradiction. Hence T 1 ) T T 3 ) =, and it follows that T 1 1 T T 3 is product-one free sequence of length n. By Lemma.., there exists an odd j [1,n 1] such that or else, T 1 1 T T 3 = α j) [n 3] α j, whence x j +n mod n) T 1 1 T T 3 = α j) [n ], whence x j +n mod n). Suppose that T1 1 T T 3 = α j) [n 3] α j and x j +n mod n). If T 1 1 and α j suppt 1 ), then α j α j α j) αj α j) [ T 1 1] and α j ) [1+ n 4 T 1 ] τ α j ) [ n 4 T 1 ] α x τ are both product-one sequences, whence this contradicts to S AG). If T 1 1 and α j / suppt 1 ), then αj α j) [ T 1 ] and α j α j) [ n 4 T 1 ] τ α j ) [1+ n 4 T 1 ] α x τ are both product-one sequences, which again contradicts to S AG). Thus we obtain that T 1 = 0. If α j suppt ), then we can assume that T 3 = α r1 τ α r τ ) [n] for some r1,r [0,n 1] with r 1 r j +n mod n). Since x j +n mod n), we obtain that S 1 = α r1 τ α r τ α x τ α j τ, S = α r1 τ α r τ ) [], and S3 = α r τ α r1 τ α j are all product-one sequences, whence S = S 1 S S [n 3] 3, a contradiction. If α j suppt 3 ), then we can assume that T 3 = α r1 τ α r τ ) [n 1] α r 3 τ α r4 τ ) for some r 1,...,r 4 [0,n 1] with r 1 r j +n mod n) and r 3 r 4 j +n mod n). Since x j +n mod n), we obtain that S 1 = α r3 τ α r4 τ α r1 τ α r4 τ α x τ τ and S = α r τ α r1 τ α j are both product-one sequences, whence S = S 1 S [n ], a contradiction.