Research Article Some Relations between ...

3 downloads 0 Views 2MB Size Report
Hindawi Publishing Corporation .... Singer [3] on admissible monomials and hit monomials in. P( ) ... We recall the following result of Singer on hit polynomials.
Hindawi Publishing Corporation International Journal of Mathematics and Mathematical Sciences Volume 2015, Article ID 235806, 7 pages http://dx.doi.org/10.1155/2015/235806

Research Article Some Relations between Admissible Monomials for the Polynomial Algebra Mbakiso Fix Mothebe1 and Lafras Uys2 1

Department of Mathematics, University of Botswana, Private Bag 00704, Gaborone, Botswana African Institute for Mathematical Sciences, 6 Melrose Road, Muizenberg, Cape Town, South Africa

2

Correspondence should be addressed to Mbakiso Fix Mothebe; [email protected] Received 14 April 2015; Accepted 5 July 2015 Academic Editor: Ram N. Mohapatra Copyright Β© 2015 M. F. Mothebe and L. Uys. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Let P(𝑛) = F2 [π‘₯1 , . . . , π‘₯𝑛 ] be the polynomial algebra in 𝑛 variables π‘₯𝑖 , of degree one, over the field F2 of two elements. The mod-2 Steenrod algebra A acts on P(𝑛) according to well known rules. A major problem in algebraic topology is of determining A+ P(𝑛), the image of the action of the positively graded part of A. We are interested in the related problem of determining a basis for the quotient vector space Q(𝑛) = P(𝑛)/A+ P(𝑛). Q(𝑛) has been explicitly calculated for 𝑛 = 1, 2, 3, 4 but problems remain for 𝑛 β‰₯ 5. Both P(𝑛) = ⨁𝑑β‰₯0 P𝑑 (𝑛) and Q(𝑛) are graded, where P𝑑 (𝑛) denotes the set of homogeneous polynomials of degree 𝑑. In this paper, π‘š

π‘š

σΈ€ 

π‘›βˆ’1 ∈ P𝑑 (π‘›βˆ’1) is an admissible monomial (i.e., 𝑒 meets a criterion to be in a certain basis for Q(π‘›βˆ’1)), we show that if 𝑒 = π‘₯1 1 β‹… β‹… β‹… π‘₯π‘›βˆ’1

π‘š

π‘š

πœ†βˆ’1

then, for any pair of integers (𝑗, πœ†), 1 ≀ 𝑗 ≀ 𝑛, and πœ† β‰₯ 0, the monomial β„Žπ‘—πœ† (𝑒) = π‘₯1 1 β‹… β‹… β‹… π‘₯π‘—βˆ’1π‘—βˆ’1 π‘₯𝑗2 admissible. As an application we consider a few cases when 𝑛 = 5.

1. Introduction

(1)

in 𝑛 variables π‘₯𝑖 , each of degree 1, over the field F2 of two elements. The mod-2 Steenrod algebra A is the graded associative algebra generated over F2 by symbols Sq𝑖 for 𝑖 β‰₯ 0, called Steenrod squares subject to the Adem relations [1] and Sq0 = 1. Let P𝑑 (𝑛) denote the homogeneous polynomials of degree 𝑑. The action of the Steenrod squares Sq𝑖 : P𝑑 (𝑛) β†’ P𝑑+𝑖 (𝑛) is determined by the formula 𝑒, 𝑖 = 0, { { { { 2 Sq (𝑒) = {𝑒 , deg (𝑒) = 𝑖, { { { {0, deg (𝑒) < 𝑖, 𝑖

σΈ€ 

πœ†

βˆ’1)

(𝑛) is

and the Cartan formula

For 𝑛 β‰₯ 1 let P(𝑛) be the mod-2 cohomology group of the 𝑛fold product of Rπ‘ƒβˆž with itself. Then P(𝑛) is the polynomial algebra P (𝑛) = F2 [π‘₯1 , . . . , π‘₯𝑛 ]

π‘š

π‘₯𝑗+1𝑗 β‹… β‹… β‹… π‘₯π‘›π‘šπ‘›βˆ’1 ∈ P𝑑 +(2

𝑖

Sq𝑖 (𝑒V) = βˆ‘Sqπ‘Ÿ (𝑒) Sqπ‘–βˆ’π‘Ÿ (V) .

(3)

π‘Ÿ=0

A polynomial 𝑒 ∈ P𝑑 (𝑛) is said to be hit if it is in the image of the action of A on P(𝑛), that is, if 𝑒 = βˆ‘Sq𝑖 (𝑒𝑖 ) , 𝑖>0

(4)

for some 𝑒𝑖 ∈ P(𝑛) of degree 𝑑 βˆ’ 𝑖. Let A+ P(𝑛) denote the subspace of all hit polynomials. The problem of determining A+ P(𝑛) is called the hit problem and has been studied by several authors [2–4]. We are interested in the related problem of determining a basis for the quotient vector space

(2) Q (𝑛) =

P (𝑛) A+ P (𝑛)

(5)

2

International Journal of Mathematics and Mathematical Sciences

which has also been studied by several authors [5–8]. Some of the motivation for studying these problems is mentioned in [9]. It stems from the Peterson conjecture proved in [4] and various other sources [10, 11]. The following result is useful for determining Agenerators for P(𝑛). Let 𝛼(π‘š) denote the number of digits 1 in the binary expansion of π‘š. In [4, Theorem 1], Wood proved the following. Theorem 1 (Wood [4]). Let 𝑒 ∈ P(𝑛) be a monomial of degree 𝑑. If 𝛼(𝑛 + 𝑑) > 𝑛, then 𝑒 is hit. 𝑑

Thus, Q (𝑛) is zero unless 𝛼(𝑛 + 𝑑) ≀ 𝑛 or, equivalently, unless 𝑑 can be written in the form 𝑑 = βˆ‘π‘›π‘–=1 (2πœ† 𝑖 βˆ’ 1), where πœ† 𝑖 β‰₯ 0. Thus, Q𝑑 (𝑛) =ΜΈ 0 only if P𝑑 (𝑛) contains monomials πœ†1 πœ†π‘› V = π‘₯12 βˆ’1 β‹… β‹… β‹… π‘₯𝑛2 βˆ’1 called spikes. For convenience, we will assume that πœ† 1 β‰₯ πœ† 2 β‰₯ β‹… β‹… β‹… β‰₯ πœ† 𝑛 β‰₯ 0. We, in addition, will consider a special one when πœ† 1 β‰₯ πœ† 2 β‰₯ β‹… β‹… β‹… β‰₯ πœ† 𝑠 β‰₯ 0 and πœ† π‘—βˆ’1 = πœ† 𝑗 only if 𝑗 = 𝑠 or πœ† 𝑗+1 = 0. In this case V is called a minimal spike. Q(𝑛) has been explicitly calculated by Peterson [8] for 𝑛 = 1, 2, by Kameko in his thesis [5] for 𝑛 = 3, and independently by Kameko [6] and Sum [7] for 𝑛 = 4. In this work we will, unless otherwise stated, be concerned with a basis for Q(𝑛) consisting of β€œadmissible monomials,” as defined below. Thus, when we write 𝑒 ∈ Q𝑑 (𝑛) we mean that 𝑒 is an admissible monomial of degree 𝑑. 𝑒 We define what it means for a monomial 𝑏 = π‘₯11 β‹… β‹… β‹… π‘₯𝑛𝑒𝑛 ∈ P(𝑛) to be admissible. Write 𝑒𝑖 = βˆ‘π‘—β‰₯0 𝛼𝑗 (𝑒𝑖 )2𝑗 for the binary expansion of each exponent 𝑒𝑖 . The expansions are then assembled into a matrix 𝛽(𝑏) = (𝛼𝑗 (𝑒𝑖 )) of digits 0 or 1 with 𝛼𝑗 (𝑒𝑖 ) in the (𝑖, 𝑗)th position of the matrix. We then associate with 𝑏 two sequences 𝑀 (𝑏) = (𝑀0 (𝑏) , 𝑀1 (𝑏) , . . . , 𝑀𝑗 (𝑏) , . . .) , (6) 𝑒 (𝑏) = (𝑒1 , 𝑒2 , . . . , 𝑒𝑛 ) , where 𝑀𝑗 (𝑏) = βˆ‘π‘›π‘–=1 𝛼𝑗 (𝑒𝑖 ) for each 𝑗 β‰₯ 0. 𝑀(𝑏) is called the weight vector of the monomial 𝑏 and 𝑒(𝑏) is called the exponent vector of the monomial 𝑏. Given two sequences 𝑝 = (𝑒0 , 𝑒1 , . . . , 𝑒𝑙 , 0, . . .) and π‘ž = (V0 , V1 , . . . , V𝑙 , 0, . . .), we say 𝑝 < π‘ž if there is a positive integer π‘˜ such that 𝑒𝑖 = V𝑖 for all 𝑖 < π‘˜ and π‘’π‘˜ < Vπ‘˜ . We are now in a position to define an order relation on monomials. Definition 2. Let π‘Ž, 𝑏 be monomials in P(𝑛). We say that π‘Ž < 𝑏 if one of the following holds: (1) 𝑀(π‘Ž) < 𝑀(𝑏), (2) 𝑀(π‘Ž) = 𝑀(𝑏) and 𝑒(π‘Ž) < 𝑒(𝑏). Note that the order relation on the set of sequences is the lexicographical one.

Following Kameko [5] we define the following. Definition 3. A monomial 𝑏 ∈ P(𝑛) is said to be inadmissible if there exist monomials 𝑏1 , 𝑏2 , . . . , π‘π‘Ÿ ∈ P(𝑛) with 𝑏𝑗 < 𝑏 for each 𝑗, 1 ≀ 𝑗 ≀ π‘Ÿ, such that π‘Ÿ

𝑏 ≑ ( βˆ‘ 𝑏𝑗 ) mod A+ P (𝑛) .

(7)

𝑗=1

𝑏 is said to be admissible if it is not inadmissible. Clearly the set of all admissible monomials in P(𝑛) form a basis for Q(𝑛). π‘šπ‘›βˆ’1 π‘š ∈ P(𝑛 βˆ’ 1) be a monoLet 𝑒 = π‘₯1 1 β‹… β‹… β‹… π‘₯π‘›βˆ’1 mial of degree 𝑑󸀠 . Given any pair of integers (𝑗, πœ†), 1 ≀ 𝑗 ≀ 𝑛, πœ† β‰₯ 0, we will write β„Žπ‘—πœ† (𝑒) for the monomial π‘š

π‘š

πœ†

π‘š

π‘—βˆ’1 2 βˆ’1 𝑗 π‘₯𝑗 π‘₯𝑗+1 β‹… β‹… β‹… π‘₯π‘›π‘šπ‘›βˆ’1 π‘₯1 1 β‹… β‹… β‹… π‘₯π‘—βˆ’1 result is the following.

σΈ€ 

πœ†

∈ P𝑑 +(2

βˆ’1)

(𝑛). Our main

Theorem 4. Let 𝑒 ∈ P(𝑛 βˆ’ 1) be a monomial of degree 𝑑󸀠 , where 𝛼(𝑑󸀠 + 𝑛 βˆ’ 1) ≀ 𝑛 βˆ’ 1. If 𝑒 is admissible, then, for each pair of integers (𝑗, πœ†), 1 ≀ 𝑗 ≀ 𝑛, πœ† β‰₯ 0, β„Žπ‘—πœ† (𝑒) is admissible. Our proof of Theorem 4 is deferred until Section 3. As a corollary to Theorem 4, suppose that πœ† is fixed so that πœ†1 2πœ† π‘›βˆ’2 βˆ’1 be the minimal spike of 𝑑󸀠 is also fixed. Let π‘₯12 βˆ’1 β‹… β‹… β‹… π‘₯π‘›βˆ’2 degree 𝑑󸀠 . If πœ† > πœ† 1 , then consider the following. σΈ€ 

Corollary 5. Q𝑑 (𝑛) has a subspace isomorphic to ⨁𝑛𝑖=1 Q𝑑 (π‘›βˆ’ 1). As our main application of the theorem we consider a few cases when 𝑛 = 5. The relevant result in this case is Theorem 6 stated below. To explain Table 1 we recall that, given an integer 𝑑 such that 𝛼(𝑛 + 𝑑) ≀ 𝑛, we let 𝐢 (𝑛, 𝑑) = {πœ† β‰₯ 0 | 𝛼 (𝑑 βˆ’ (2πœ† βˆ’ 1) + 𝑛 βˆ’ 1) ≀ 𝑛 βˆ’ 1} .

(8)

Then given any explicit admissible monomial basis for Q(𝑛 βˆ’ 1) one may compute L𝐡(𝑛, 𝑑), the dimension of the subspace of Q𝑑 (𝑛) generated by all monomials of the form β„Žπ‘—πœ† (𝑒) ∈ πœ†

P𝑑 (𝑛), πœ† ∈ 𝐢(𝑛, 𝑑) and 𝑒 ∈ Qπ‘‘βˆ’(2 βˆ’1) (𝑛 βˆ’ 1). In general L𝐡(𝑛, 𝑑) ≀ dim(Q𝑑 (𝑛)). In [7] Sum gives an explicit admissible monomial basis for Q(4). In this paper we make use of his results to compute L𝐡(5, 𝑑), 1 ≀ 𝑑 ≀ 30, and compare these values with dim(Q𝑑 (5)) in the given range. The results are given in Table 1. The table is incomplete as not all values for dim(Q𝑑 (5)) are known in the given range. While in general it is true that L𝐡(5, 𝑑) ≀ dim(Q𝑑 (5)), there are cases, even nontrivial, where equality holds. This is demonstrated with the aid of known results for dim(Q𝑑 (5)) (cited in Table 1) but we will show later that the same conclusions can be reached independently. Theorem 6. Table 1 gives lower bounds, L𝐡(5, 𝑑), for the dimension of Q𝑑 (5), 1 ≀ 𝑑 ≀ 30.

International Journal of Mathematics and Mathematical Sciences Table 1 𝑑

𝑑 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30

dim(Q (5)) 5 10 25 45 46 74 110 174 191 280 315 190 β€” β€” 432 β€” β€” β€” β€” β€” β€” β€” β€” β€” β€” 1024 315 480 β€” β€”

Reference

[12]

[13]

[14] [12]

[15]

[16] [12]

L𝐡(5, 𝑑) 5 10 25 45 46 74 110 174 191 275 313 190 246 295 384 414 538 673 778 591 741 780 916 908 974 985 313 480 450 763

While this approach remains to be explored, in general these test results suffice for our purpose in this paper and we hope to make a more general account in subsequent work. We are thus only required to prove Theorem 4. Our work is organized as follows. In Section 2, we recall some results on admissible monomials and hit monomials in P(𝑛). In Section 3, we prove Theorem 4. We conclude with an application of the theorem in Section 4.

2. Preliminaries In this section we recall some results in Kameko [17] and Singer [3] on admissible monomials and hit monomials in P(𝑛). The following theorem has been used to great effect by Kameko and Sum in computing a basis for Q(3) and Q(4), respectively. Theorem 7 (Kameko [5] and Sum [18]). Let π‘Ž, 𝑏 be monomials in P(𝑛) such that 𝑀𝑗 (π‘Ž) = 0 for 𝑗 > π‘Ÿ > 0. If 𝑏 is inadmissible, π‘Ÿ

then π‘Žπ‘2 is also inadmissible.

3 Up to permutation of representatives weight order provides a total order relation amongst spikes in a given degree. πœ†1 πœ†π‘› It is easy to show that a spike V = π‘₯12 βˆ’1 β‹… β‹… β‹… π‘₯𝑛2 βˆ’1 ∈ P𝑑 (𝑛) is a minimal spike if its weight order is minimal with respect to other spikes of degree 𝑑. We say V is a maximal spike if its weight order is maximal with respect to other spikes of degree 𝑑. In [17, Theorem 4.2] Kameko proved the following. Theorem 8 (Kameko). Let 𝑑 be a positive integer and let V be the minimal spike of degree 2𝑑 + 𝑛. Define a linear mapping, 𝑓 : P𝑑 (𝑛) β†’ P2𝑑+𝑛 (𝑛), by π‘š

2π‘š1 +1

𝑓 (π‘₯1 1 β‹… β‹… β‹… π‘₯π‘›π‘šπ‘› ) = π‘₯1

β‹… β‹… β‹… π‘₯𝑛2π‘šπ‘› +1 .

(9)

If 𝑀0 (V) = 𝑛, then f induces an isomorphism π‘“βˆ— : Q𝑑 (𝑛) β†’ Q2𝑑+𝑛 (𝑛). From Wood’s theorem and the above result of Kameko the problem of determining A-generators for P(𝑛) is reduced to the cases for which 𝑀0 (V) ≀ 𝑛 βˆ’ 1 whenever V is a minimal spike of a given degree 𝑑. We recall the following result of Singer on hit polynomials in P(𝑛). In [3, Theorem 1.2], Singer proved the following. Theorem 9 (Singer). Let 𝑏 ∈ P(𝑛) be a monomial of degree 𝑑, where 𝛼(𝑛 + 𝑑) ≀ 𝑛. Let V be the minimal spike of degree 𝑑. If 𝑀(𝑏) < 𝑀(V), then 𝑏 is hit. We will require the following stronger version of Theorem 9. Let 𝑏 be a monomial of degree 𝑑. For 𝑙 > 0 define 𝑑𝑙 (𝑏) to be the integer 𝑑𝑙 (𝑏) = βˆ‘π‘—β‰₯𝑙 𝑀𝑗 (𝑏)2π‘—βˆ’π‘™ . In [2, Theorem 1.2], Silverman proved the following. Theorem 10 (Silverman). Let 𝑏 ∈ P(𝑛) be a monomial of degree 𝑑, where 𝛼(𝑛 + 𝑑) ≀ 𝑛. Let V be the minimal spike of degree 𝑑. If 𝑑𝑙 (𝑏) > 𝑑𝑙 (V) for some 𝑙 β‰₯ 1, then 𝑏 is hit. Finally we note that for any element Sqπ‘˜ ∈ A+ and any polynomial 𝑒 ∈ P(𝑛) we have πœ†

πœ†

2πœ†

Sqπ‘˜2 (𝑒2 ) = (Sqπ‘˜ (𝑒))

(10)

for a given πœ† β‰₯ 0.

3. Proof of Theorem 4 In this section we prove Theorem 4. Our main observation in this work is made in terms of pairs of integers 𝑗, πœ†, 1 ≀ 𝑗 ≀ 𝑛, σΈ€  πœ† πœ† β‰₯ 0, which determine a monomial β„Žπ‘—πœ† (𝑒) ∈ P𝑑 +(2 βˆ’1) (𝑛) σΈ€ 

once a monomial 𝑒 ∈ P𝑑 (𝑛 βˆ’ 1) is given. We first note that if π‘’π‘›βˆ’1 π‘’π‘›βˆ’1 2πœ† βˆ’1 𝑒 𝑒 , then β„Žπ‘›πœ† (𝑒) = π‘₯11 β‹… β‹… β‹… π‘₯π‘›βˆ’1 π‘₯𝑛 while, for any 𝑒 = π‘₯11 β‹… β‹… β‹… π‘₯π‘›βˆ’1 other value of 𝑗, β„Žπ‘—πœ† (𝑒) is a permutation of β„Žπ‘›πœ† (𝑒) that replaces the exponent of π‘₯𝑗 by 2πœ† βˆ’ 1 and those for π‘₯𝑗+𝑖 , 𝑛 βˆ’ 𝑗 β‰₯ 𝑖 β‰₯ 1, by 𝑒𝑗+π‘–βˆ’1 . We may therefore use permutation notation in place of 𝑗. Let 𝑆 (𝑛) = {𝜎 ∈ 𝑆𝑛 | 𝜎 (π‘Ÿ) < 𝜎 (𝑠) if π‘Ÿ < 𝑠 < 𝑛} .

(11)

4

International Journal of Mathematics and Mathematical Sciences

Then |𝑆(𝑛)| = 𝑛 and for each integer 𝑗, 1 ≀ 𝑗 ≀ 𝑛, there exists π‘’π‘›βˆ’1 π‘’π‘›βˆ’1 𝑒 𝑒1 2πœ† βˆ’1 ) = π‘₯𝜎(1) β‹… β‹… β‹… π‘₯𝜎(π‘›βˆ’1) π‘₯𝜎(𝑛) 𝜎 ∈ 𝑆(𝑛) such that β„Žπ‘—πœ† (π‘₯11 β‹… β‹… β‹… π‘₯π‘›βˆ’1 σΈ€ 

𝑒

𝑒

π‘›βˆ’1 whenever π‘₯11 β‹… β‹… β‹… π‘₯π‘›βˆ’1 ∈ P𝑑 (π‘›βˆ’1). For convenience of presenπ‘’π‘›βˆ’1 π‘’π‘›βˆ’1 𝑒 𝑒 tation we will write β„ŽπœŽπœ† (π‘₯11 β‹… β‹… β‹… π‘₯π‘›βˆ’1 ) in place of β„Žπ‘—πœ† (π‘₯11 β‹… β‹… β‹… π‘₯π‘›βˆ’1 ).

𝑒

𝑒

π‘›βˆ’1 Proof of Theorem 4. Suppose that 𝑒 = π‘₯11 β‹… β‹… β‹… π‘₯π‘›βˆ’1 ∈ P(𝑛 βˆ’ 1) σΈ€  σΈ€  is a monomial of degree 𝑑 , where 𝛼(𝑑 + 𝑛 βˆ’ 1) ≀ 𝑛 βˆ’ 1. Let πœ† β‰₯ 0 be an integer. We must show that, for any permutation 𝜎 ∈ 𝑆(𝑛), β„ŽπœŽπœ† (𝑒) is admissible whenever 𝑒 is admissible. Put 𝑑 = 𝑑󸀠 + 2πœ† βˆ’ 1.

We first note that, for each 𝜎 ∈ 𝑆(𝑛), every monomial in β„ŽπœŽπœ† (P(𝑛 βˆ’ 1)) is of the form πœ†

π‘š

π‘š

2 βˆ’1 π‘›βˆ’1 1 β‹… β‹… β‹… π‘₯𝜎(π‘›βˆ’1) π‘₯𝜎(𝑛) . π‘₯𝜎(1)

(12)

Thus, if Sqπ‘˜ ∈ A+ and 𝑀 is a monomial in Pπ‘‘βˆ’π‘˜ (𝑛) for which σΈ€  Sqπ‘˜ (𝑀) contains a term belonging to β„ŽπœŽπœ† (P𝑑 (𝑛 βˆ’ 1)), then 𝑀 must be of the form πœ†

𝑒

𝑒

2 βˆ’1 π‘›βˆ’1 1 β‹… β‹… β‹… π‘₯𝜎(π‘›βˆ’1) π‘₯𝜎(𝑛) , π‘₯𝜎(1) σΈ€ 

𝑒

𝑒

(13)

π‘›βˆ’1 for some π‘₯11 β‹… β‹… β‹… π‘₯π‘›βˆ’1 ∈ P𝑑 βˆ’π‘˜ (π‘›βˆ’1). This must be the case since for any pair of positive integers πœ†, 𝑖 there exists no integer 𝑑 πœ† such that Sq𝑖 (π‘₯𝑑 ) = π‘₯2 βˆ’1 . By the Cartan formula Sqπ‘˜ (𝑀) may be written in the form

Sq

π‘˜

𝑒1 (π‘₯𝜎(1)

+ βˆ‘Sq

π‘’π‘›βˆ’1 2πœ† βˆ’1 β‹… β‹… β‹… π‘₯𝜎(π‘›βˆ’1) ) π‘₯𝜎(𝑛) π‘˜βˆ’π‘‘

𝑑β‰₯1

𝑒1 (π‘₯𝜎(1)

π‘’π‘›βˆ’1 β‹… β‹… β‹… π‘₯𝜎(π‘›βˆ’1) ) Sq𝑑

2πœ† βˆ’1 (π‘₯𝜎(𝑛) ).

(14)

σΈ€ 

(15)

σΈ€ 

where P(𝑑,𝜎) (𝑛) is the complement of β„ŽπœŽπœ† (P𝑑 (𝑛 βˆ’ 1)) in P𝑑 (𝑛) and let πœ‹πœŽ denote the projection 𝑑

πœ‹πœŽ : P (𝑛) 󳨀→

β„ŽπœŽπœ†

𝑑󸀠

(P (𝑛 βˆ’ 1))

(16)

π‘š

π‘š

πœ†

2 βˆ’1 π‘›βˆ’1 1 a sum of monomials of the form (π‘₯𝜎(1) β‹… β‹… β‹… π‘₯𝜎(π‘›βˆ’1) )π‘₯𝜎(𝑛) plus πœ†

𝑒

𝑒

2 βˆ’1 π‘›βˆ’1 1 error terms Sqπ‘˜βˆ’π‘‘ (π‘₯𝜎(1) β‹… β‹… β‹… π‘₯𝜎(π‘›βˆ’1) )Sq𝑑 (π‘₯𝜎(𝑛) ) all of order lower πœ† than that of β„ŽπœŽ (𝑒). Since in this event the error terms are of no consequence (in terms of determining whether 𝑒 is admissible or not) we may as well restrict ourselves to that part of the polynomial which consists of terms belonging to πœ‹πœŽ (P𝑑 (𝑛)), that is, to the image of β„ŽπœŽπœ† . But the mapping β„ŽπœŽπœ† is injective and preserves the order of monomials, so by considering its inverse π‘”πœŽπœ† we see that 𝑒 must also be inadmissible.

Proof of Corollary 5. We must show that if πœ† is fixed and is greater than πœ† 1 , then for any permutation 𝜎 ∈ 𝑆(𝑛) we have σΈ€  𝑒 ∈ Q𝑑 (𝑛 βˆ’ 1) if and only if β„ŽπœŽπœ† (𝑒) ∈ Q𝑑 (𝑛), or, by virtue of Theorem 4, that we have 𝑒 admissible whenever β„ŽπœŽπœ† (𝑒) is admissible. But any hit polynomial which has β„ŽπœŽπœ† (𝑒) as a term is generated by polynomial expressions of the form (14) so it suffices to show that an error term in each such polynomial expression, 𝑒

πœ†

𝑒

2 βˆ’1 π‘›βˆ’1 1 β‹… β‹… β‹… π‘₯𝜎(π‘›βˆ’1) ) Sq𝑑 (π‘₯𝜎(𝑛) ), Sqπ‘˜βˆ’π‘‘ (π‘₯𝜎(1)

(20)

is either hit or of lower weight order than that of β„ŽπœŽπœ† (𝑒). But if πœ†1

For a given permutation 𝜎 ∈ 𝑆(𝑛) write P𝑑 (𝑛) = P(𝑑,𝜎) (𝑛) ⨁ β„ŽπœŽπœ† (P𝑑 (𝑛 βˆ’ 1)) ,

σΈ€ 

Now, let 𝑒 ∈ Q𝑑 (𝑛 βˆ’ 1). Then, β„ŽπœŽπœ† (𝑒) is an element of πœ† 𝑑󸀠 β„ŽπœŽ (P (𝑛 βˆ’ 1)). Thus, any hit polynomial that has β„ŽπœŽπœ† (𝑒) as a term is a sum of polynomial expressions of the form (14). Proceeding by contraposition, suppose that β„ŽπœŽπœ† (𝑒) is inadmissible; that is, it is not an element of Q𝑑 (𝑛). Then we can find a polynomial in which modulo image of the action, β„ŽπœŽπœ† (𝑒), is

πœ† π‘›βˆ’2

2 βˆ’1 V = π‘₯12 βˆ’1 β‹… β‹… β‹… π‘₯π‘›βˆ’2 is the minimal spike of degree 𝑑󸀠 , πœ† > πœ† 1 , and 𝑏 is a term in a polynomial expression of the form (20), then 𝑑𝑙 (𝑏) > 𝑑𝑙 (V) for 𝑙 = πœ† 1 and so by Theorem 10 𝑏 is hit. The proof is then completed by noting that if πœ† > πœ† 1 , σΈ€  then the subspace of P𝑑 (𝑛) spanned by β‹ƒπœŽ β„ŽπœŽπœ† (P𝑑 (𝑛 βˆ’ 1)) is σΈ€  a direct summand ⨁𝜎 β„ŽπœŽπœ† (P𝑑 (𝑛 βˆ’ 1)) of P𝑑 (𝑛) isomorphic to σΈ€  ⨁𝑛𝑗=1 (P𝑑 (𝑛 βˆ’ 1)) and that the respective subspace of Q𝑑 (𝑛)

with basis, the union over all 𝜎 ∈ 𝑆(𝑛) of the sets {β„ŽπœŽπœ† (𝑒) | 𝑒 ∈ σΈ€  Q𝑑 (𝑛 βˆ’ 1)} inherits this splitting.

σΈ€ 

of P𝑑 (𝑛) onto β„ŽπœŽπœ† (P𝑑 (𝑛 βˆ’ 1)) with respect to this splitting. The assignment, 𝑒

𝑒

π‘›βˆ’1 ) β„ŽπœŽπœ† : Sqπ‘˜ (π‘₯11 β‹… β‹… β‹… π‘₯π‘›βˆ’1 πœ†

𝑒

𝑒

2 βˆ’1 π‘›βˆ’1 1 󳨃󳨀→ Sqπ‘˜ (π‘₯𝜎(1) β‹… β‹… β‹… π‘₯𝜎(π‘›βˆ’1) ) π‘₯𝜎(𝑛) ,

(17)

gives a bijection between σΈ€ 

A+ P (𝑛 βˆ’ 1) ∩ P𝑑 (𝑛 βˆ’ 1) , πœ‹πœŽ (A+ P (𝑛) ∩ P𝑑 (𝑛)) .

(18)

σΈ€ 

We have already applied Theorem 4 to derive the table of Theorem 6. The table can be extended to all 𝑑 β‰₯ 0 but in this work we have limited ourselves to 𝑑 ≀ 30. The purpose of this restriction is to show that, besides the cases, 1 ≀ 𝑑 ≀ 9, we also have dim(Q𝑑 (5)) = L𝐡(5, 𝑑), when 𝑑 = 12 and 𝑑 = 28. We also compute dim(Q𝑑 (5)) for 𝑑 = 10 and 𝑑 = 11. To prove all this we require some preliminary observations. For each π‘Ÿ, 1 ≀ π‘Ÿ ≀ 𝑛, let π‘š

X (π‘Ÿ) = Span {π‘₯1 1 β‹… β‹… β‹… π‘₯π‘Ÿπ‘šπ‘Ÿ ∈ P (π‘Ÿ) | π‘š1 π‘š2 β‹… β‹… β‹… π‘šr =ΜΈ 0} .

Thus, for each 𝜎 ∈ 𝑆(𝑛), we can think of β„ŽπœŽπœ† as having an inverse π‘”πœŽπœ† : πœ‹πœŽ (P𝑑 (𝑛)) 󳨀→ P𝑑 (𝑛 βˆ’ 1) .

4. Application of Theorem 4

(19)

(21)

Then X(π‘Ÿ) is an A-submodule of P(π‘Ÿ). Let W (π‘Ÿ) =

X (π‘Ÿ) . A+ X (π‘Ÿ)

(22)

International Journal of Mathematics and Mathematical Sciences Then we have a direct sum decomposition 𝑛 π‘Ÿ Q (𝑛) ≅⨁ ⨁ W (π‘Ÿ) . 𝑛

( )

(23)

π‘Ÿ=1 π‘˜=1

Thus, we have the following. For any integer 𝑑 > 0, 𝑛 𝑛 dim (Q𝑑 (𝑛)) = βˆ‘ ( ) dim (W𝑑 (π‘Ÿ)) . π‘Ÿ=1 π‘Ÿ

(24)

If we were to compute dim(Q𝑑 (𝑛)) by an inductive procedure on the number of variables, then we would only be required to compute dim(W𝑑 (𝑛)) in proceeding from the case 𝑛 βˆ’ 1 to 𝑛. Apart from spikes all subsequent references to monomials will mean those belonging to X(𝑛) and, by virtue of Singer’s Theorem 9, we will assume they are of weight order greater than or equal to that of the minimal spike. We note also that any variation between dim(Q𝑑 (𝑛)) and L𝐡(𝑛, 𝑑) is dependant only on X𝑑 (𝑛), since, for any permutation 𝜎 ∈ 𝑆(𝑛), whenever 𝑒 ∈ Q𝑑 (𝑛 βˆ’ 1), then choosing πœ† = 0, we have β„ŽπœŽπœ† (𝑒) ∈ Q𝑑 (𝑛). That dim(Q𝑑 (5)) = L𝐡(5, 𝑑), 1 ≀ 𝑑 ≀ 9, 𝑑 = 12 and 𝑑 = 28 will be consequent from the following results. Let 𝑑 β‰₯ 0 and suppose that 𝛼(𝑑 + 𝑛) ≀ 𝑛. Suppose there πœ†1 2πœ† π‘›βˆ’1 βˆ’1 ∈ P𝑑 (𝑛) for which 𝑀0 (V) = is a spike V = π‘₯12 βˆ’1 β‹… β‹… β‹… π‘₯π‘›βˆ’1 π‘š 𝑛 βˆ’ 1. We will say that a monomial π‘Ž = π‘₯1 1 β‹… β‹… β‹… π‘₯π‘›π‘šπ‘› ∈ X𝑑 (𝑛) of weight order greater than or equal to that of V is associated with V if, for some pair (𝑖, 𝑗), we have π‘šπ‘— = 2πœ† 𝑖 βˆ’ 1 and is strongly associated with V if π‘Ž is associated with V and if in addition π‘šπ‘— ≀ 2π‘›βˆ’2 βˆ’ 1 for some 𝑗. Note that a monomial π‘Ž is πœ† β„Žπ‘— 𝑖 (𝑒)

associated with a spike V if π‘Ž = for some πœ† 𝑖 and some monomial 𝑒 ∈ X(𝑛 βˆ’ 1). There are cases, dependent on 𝑑, where every monomial in X𝑑 (𝑛) is strongly associated with some spike V of degree 𝑑. In particular we have the following. Lemma 11. Let 𝑑 be an integer for which 𝛼(𝑛 + 𝑑) ≀ 𝑛 and let π‘Ž ∈ X𝑑 (𝑛) be a monomial. Suppose that for each spike V = πœ†1 2πœ† π‘›βˆ’1 βˆ’1 of degree 𝑑 we have πœ† π‘›βˆ’1 > 0, πœ† 1 ≀ 𝑛 βˆ’ 1, π‘₯12 βˆ’1 β‹… β‹… β‹… π‘₯π‘›βˆ’1 πœ† 𝑖 βˆ’ πœ† 𝑖+1 ≀ 1, and πœ† 1 βˆ’ πœ† π‘›βˆ’1 ≀ 2. Then π‘Ž is strongly associated with at least one of the spikes of degree 𝑑. Proof. Suppose that every spike of degree 𝑑 satisfies the hypothesis of the lemma. We first show that if π‘Ž = π‘š π‘₯1 1 β‹… β‹… β‹… π‘₯π‘›π‘šπ‘› ∈ X𝑑 (𝑛) with 𝑀(π‘Ž) = 𝑀(V) for some spike V then π‘Ž is strongly associated with V. To see this represents the spike V in matrix form. Without loss of generality assume that row 1 of the matrix has zero entries so that row 𝑖 + 1, column 𝑗 has entry 𝛼𝑗 (2πœ† 𝑖 βˆ’ 1), 1 ≀ 𝑖 ≀ 𝑛 βˆ’ 1. Note that the columns are indexed by 𝑗, 0 ≀ 𝑗 ≀ 𝑛 βˆ’ 2. The matrix form of a monomial π‘Ž of the same weight order as V may be obtained from the matrix form of V by moving ones from the 𝑛 βˆ’ 1 rows of V vertically upwards or downwards to a different row including row 1. In the worst case scenario we can move at most 𝑛 βˆ’ 2

5 ones to row 1 from 𝑛 βˆ’ 2 distinct rows of the matrix form of V. Thus, we must be left with at least one row with consecutive ones; that is, for any monomial obtained this way we must have π‘šπ‘— = 2πœ† 𝑖 βˆ’ 1 for some 𝑗. Since πœ† 1 ≀ 𝑛 βˆ’ 1, we must have π‘šπ‘— ≀ 2π‘›βˆ’2 βˆ’ 1 for some 𝑗. Suppose that 𝑀(π‘Ž) =ΜΈ 𝑀(V) for any spike V of degree 𝑑. It is easy to see that this is possible only if there is a spike V for which πœ† 1 βˆ’ πœ† π‘›βˆ’1 = 2. We claim that we must have π‘šπ‘— = 2πœ† 1 βˆ’1 βˆ’ 1 for some 𝑗. In this case a monomial of higher order than V can only be obtained by applying the splitting 2πœ† +2πœ† = 2πœ†+1 to 2πœ† 𝑖 where πœ† 𝑖 = πœ† 1 . The proof is then completed by noting that πœ† 1 βˆ’ 1 ≀ 𝑛 βˆ’ 2. We are now in a position to show that dim(Q𝑑 (5)) = L𝐡(5, 𝑑) when 1 ≀ 𝑑 ≀ 9, 𝑑 = 12, and 𝑑 = 28. We will make use of the following observation. Suppose that 𝑑 is an integer for which the minimal spike V of degree 𝑑 satisfies the condition π‘€π‘œ (V) = 𝑛 βˆ’ 1. For each 𝑑, 1 ≀ 𝑑 ≀ 𝑛, let 𝑓𝑑 : P𝑑 (𝑛) β†’ P2𝑑+π‘›βˆ’1 (𝑛) be the linear mapping given on monomials by 𝑒

𝑓𝑑 (π‘₯11 β‹… β‹… β‹… π‘₯𝑛𝑒𝑛 ) 2𝑒 +1

= π‘₯1 1

2𝑒

+1 2𝑒

2𝑒

β‹… β‹… β‹… π‘₯π‘‘βˆ’1π‘‘βˆ’1 π‘₯𝑑 𝑑 π‘₯𝑑+1𝑑+1

+1

β‹… β‹… β‹… π‘₯𝑛2𝑒𝑛 +1 .

(25)

Then, ignoring monomials of order lower than that of the minimal spike of degree 2𝑑 + 𝑛 βˆ’ 1, it is easy to see, by virtue of (10), that σΈ€ 

A+ P (𝑛) ∩ P𝑑 (𝑛) σΈ€ 

= [Sq1 (P (𝑛)) ∩ P𝑑 (𝑛)]

(26)

𝑛

βŠ• [⨁ 𝑓𝑑 (A+ P (𝑛) ∩ P𝑑 (𝑛))] , 𝑑=1

where 𝑑󸀠 = 2𝑑 + 𝑛 βˆ’ 1 and Sq1 (P(𝑛)) is the image of the action of Sq1 on P(𝑛). In other words the image of Sqπ‘˜ , π‘˜ > 1, is given by ⨁𝑛𝑑=1 𝑓𝑑 (A+ P(𝑛) ∩ P𝑑 (𝑛)). When 𝑛 = 5 then the spikes π‘₯17 π‘₯27 π‘₯37 π‘₯47 , π‘₯115 π‘₯27 π‘₯33 π‘₯43 , of degree 28, satisfy the hypothesis of Lemma 11 and each monomial of this degree is of the weight order of one of π‘š π‘š π‘š π‘š π‘š these spikes. Let π‘Ž = π‘₯1 1 π‘₯2 2 π‘₯3 3 π‘₯4 4 π‘₯5 5 ∈ X28 (5). Then π‘šπ‘— = 3, 7, 15 for some 𝑗 or equivalently we can find 𝜎 ∈ 𝑆(5) and a monomial 𝑒 ∈ X(4) such that π‘Ž = β„ŽπœŽπœ† (𝑒) where πœ† = 2, 3, or 4. To prove that dim(Q28 (5)) = L𝐡(5, 28), it is sufficient to show that whenever π‘Ž is admissible then we can find an admissible monomial 𝑒 ∈ X(4) and a permutation 𝜎 ∈ 𝑆(5) such that β„ŽπœŽπœ† (𝑒) = π‘Ž (πœ† = 2, 3, or 4). Since π‘Ž is of the form β„ŽπœŽπœ† (𝑒) for some 𝑒 ∈ X(4) it is sufficient to show that if 𝑓 is a hit polynomial that has π‘Ž as a term, then the error terms are either hit or of lower order than π‘Ž. It is easy to see that if π‘Ž is of the weight order of the spike π‘₯17 π‘₯27 π‘₯37 π‘₯47 and Sqπ‘˜ (𝑀) is a hit polynomial that has π‘Ž as a term, then all the error terms are of lower weight order than that of π‘Ž. Clearly this suffices to show that every admissible monomial of the weight order of the spike π‘₯17 π‘₯27 π‘₯37 π‘₯47 is of the form β„ŽπœŽ3 (𝑒) for some admissible monomial 𝑒 ∈ X(4).

6

International Journal of Mathematics and Mathematical Sciences

That leaves us with the case where π‘Ž has weight order that of the minimal spike V = π‘₯115 π‘₯27 π‘₯33 π‘₯43 . In this case we can find 𝑗, 1 ≀ 𝑗 ≀ 5, such that π‘šπ‘— is equal to at least one 3, 7, 15. If π‘šπ‘— = 15 for some 𝑗, then the hypothesis of Corollary 5 is satisfied if we take 𝑑󸀠 = 13 and πœ† = 4; hence, if π‘Ž is admissible then π‘Ž = β„ŽπœŽ4 (𝑒) for some admissible monomial 𝑒 ∈ X13 (4). We may therefore suppose that π‘šπ‘— =ΜΈ 15 for any 𝑗. We show that in all cases each element of A+ P(5) ∩ P28 (5) that has π‘Ž as a term has error terms that consist of hit monomials. When 𝑛 = 5, then 2𝑑 + 𝑛 βˆ’ 1 = 28 implies 𝑑 = 12 and the minimal spike when 𝑑 = 12 is V = π‘₯17 π‘₯23 π‘₯3 π‘₯4 . Since 𝑀0 (V) = 4 we have A+ P (5) ∩ P28 (5) = [Sq1 (P (5)) ∩ P28 (𝑛)]

(27)

5

βŠ• [⨁ 𝑓𝑑 (A+ P (5) ∩ P12 (5))] . 𝑑=1

Since 𝑓𝑑 preserves the order of monomials for each 𝑑 we may, by induction, assume that whenever π‘Ž ∈ X12 (5) is admissible then we can find an admissible monomial 𝑒 ∈ X(4) and a permutation 𝜎 ∈ 𝑆(5) such that β„ŽπœŽπœ† (𝑒) = π‘Ž (πœ† = 1, 2, or 3). Thus, we need only to consider the case when π‘Ž is a term in Sq1 (P(5)). Since 𝑀0 (π‘Ž) = 𝑀1 (π‘Ž) = 4, we see that the error part of a hit polynomial that has π‘Ž as a term consists of monomials which are hit unless if in the matrix form of π‘Ž we have π›Όπ‘œ (π‘šπ‘– ) = 𝛼1 (π‘šπ‘– ) = 0 for some 𝑖. In this case π‘Ž is a permutation representative of one of π‘₯17 π‘₯23 π‘₯33 π‘₯43 π‘₯512 , π‘₯17 π‘₯23 π‘₯33 π‘₯44 π‘₯511 , or π‘₯17 π‘₯27 π‘₯33 π‘₯43 π‘₯58 . Consider the cases where π‘Ž is a permutation representative of one of π‘₯17 π‘₯23 π‘₯33 π‘₯43 π‘₯512 or π‘₯17 π‘₯23 π‘₯33 π‘₯44 π‘₯511 . If we take π‘šπ‘— = 7, then the error terms in a hit polynomial, Sq1 (𝑀), that has π‘Ž = β„Žπ‘—3 (𝑒) as a term are hit monomials. Finally it is easy to check that the case where Sq1 (P(5)) has an element which has a permutation representative of π‘₯17 π‘₯27 π‘₯33 π‘₯43 π‘₯58 as a term is when such an element is a sum of hit polynomials in P28 (5). Such action makes no contribution (in terms of adding or deducting) to the basis of Q28 (5). A similar argument applies to monomials of weight order of the spike π‘₯17 π‘₯23 π‘₯3 π‘₯4 of degree 12 which is also the base of our induction in the case 𝑑 = 28. We now show that dim(Q𝑑 (5)) = L𝐡(5, 𝑑) when 1 ≀ 𝑑 ≀ 9. There is nothing to show in the cases 1 ≀ 𝑑 ≀ 4 as dim(Q𝑑 (5)) = L𝐡(5, 𝑑) whenever X𝑑 (5) = 0. In the case 𝑑 = 5 the spike V = π‘₯1 π‘₯2 π‘₯3 π‘₯4 π‘₯5 is the only element in W5 (5). In the cases 𝑑 = 6, 7 each monomial in X𝑑 (5) is associated with one of the respective spikes π‘₯13 π‘₯2 π‘₯3 π‘₯4 and π‘₯13 π‘₯23 π‘₯3 , π‘₯13 π‘₯2 π‘₯3 π‘₯4 π‘₯5 and it is easy to verify that those of the form β„ŽπœŽπœ† (𝑒) for some 𝑒 ∈ W(4) form basis for W6 (5) and W7 (5), respectively. Similarly in the cases 𝑑 = 8, 9. If 𝑑 = 10, then one can verify that in addition to the elements obtained from W(4) via the mappings β„ŽπœŽπœ† the five monomials π‘₯1 π‘₯2 π‘₯32 π‘₯42 π‘₯54 , π‘₯1 π‘₯2 π‘₯32 π‘₯44 π‘₯52 , π‘₯1 π‘₯22 π‘₯3 π‘₯42 π‘₯54 , π‘₯1 π‘₯22 π‘₯3 π‘₯44 π‘₯52 , and π‘₯1 π‘₯22 π‘₯34 π‘₯4 π‘₯52 are also admissible so that dim(Q𝑑 (5)) = 280. If 𝑑 = 11, then it is easy to show that in addition to the monomials generated from W(4) the two

monomials π‘₯1 π‘₯2 π‘₯32 π‘₯42 π‘₯55 , π‘₯1 π‘₯22 π‘₯3 π‘₯42 π‘₯55 also belong to W11 (5) or are also admissible so that dim(Q11 (5)) = 315. Finally we note that if V ∈ P𝑑 (𝑛) is a spike that satisfies the hypothesis of Lemma 11 and is one for which πœ† 1 βˆ’ πœ† π‘›βˆ’1 ≀ 1, then V is the maximal spike and 𝑀(V) β‰₯ 𝑀(π‘Ž) for every monomial π‘Ž ∈ P𝑑 (𝑛). In these cases monomials π‘Ž ∈ X𝑑 (𝑛) for which 𝑀(π‘Ž) = 𝑀(V) are strongly associated with V. Even though there might be other spikes of degree 𝑑 which do not satisfy the hypothesis of the lemma, one may all the same obtain partial results for dim(Q𝑑 (𝑛)) by applying an inductive procedure on 𝑛 as above to compute the dimension of the subspace of Q𝑑 (𝑛) generated by monomials in the weight class of V. In [19] one such case is considered. The spike V = 2πœ† βˆ’1 2πœ† βˆ’1 of degree 𝑑(πœ†) = (𝑛 βˆ’ 1)(2πœ† βˆ’ 1) satisfies the π‘₯1 β‹… β‹… β‹… π‘₯π‘›βˆ’1 hypothesis of Lemma 11 and is one for which πœ† 1 βˆ’ πœ† π‘›βˆ’1 = 0. It is shown that if πœ† ≀ 𝑛 βˆ’ 1, then the dimension of the subspace of Q𝑑(πœ†) (𝑛) generated by monomials in the weight class of V is equal to 𝑛 + βˆ‘πœ†π‘ž=2 ( π‘›π‘ž ) and that if πœ† β‰₯ 𝑛, then the dimension of the respective subspace is 2𝑛 βˆ’ 1.

Disclosure This work was done while the first author was visiting the African Institute for Mathematical Sciences (AIMS).

Conflict of Interests The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments The authors would like to thank AIMS and its director Professor Barry Green for their support and kind hospitality. Finally they would like to thank Sum for making a copy of his document [7] available to them.

References [1] J. Adem, β€œThe relations on Steenrod powers of cohomology classes,” in Algebraic Geometry and Topology, A Symposium in Honor of S. Lefschetz, pp. 191–238, Princeton University Press, Princeton, NJ, USA, 1957. [2] J. H. Silverman, β€œHit polynomials and conjugation in the dual Steenrod algebra,” Mathematical Proceedings of the Cambridge Philosophical Society, vol. 123, no. 3, pp. 531–547, 1998. [3] W. M. Singer, β€œOn the action of Steenrod squares on polynomial algebras,” Proceedings of the American Mathematical Society, vol. 111, no. 2, pp. 577–583, 1991. [4] R. M. Wood, β€œSteenrod squares of polynomials and the Peterson conjecture,” Mathematical Proceedings of the Cambridge Philosophical Society, vol. 105, no. 2, pp. 307–309, 1989. [5] M. Kameko, Products of projective spaces as Steenrod modules [Ph.D. thesis], John Hopkins University, Baltimore, Md, USA, 1990. [6] M. Kameko, Generators of the Cohomology of BV4 , Toyama University, Toyama, Japan, 2003.

International Journal of Mathematics and Mathematical Sciences [7] N. Sum, The Hit Problem for the Polynomial Algebra of Four Variables, University of Quy Nhon, Quy Nho’n, Vietnam, 2007. [8] F. P. Peterson, β€œGenerators of 𝐻* (π‘…π‘ƒβˆž ∧ π‘…π‘ƒβˆž ) as a module over the Steenrod algebra,” Abstracts of Papers Presented to the American Mathematical Society, vol. 833, pp. 55–89, 1987. [9] T. N. Nam, β€œA-gΒ΄enΒ΄erateurs gΒ΄enΒ΄eriques pour l’alg`ebre polynomiale,” Advances in Mathematics, vol. 186, no. 2, pp. 334–362, 2004. [10] F. P. Peterson, β€œA-generators for certain polynomial algebras,” Mathematical Proceedings of the Cambridge Philosophical Society, vol. 105, no. 02, pp. 311–312, 1989. [11] W. M. Singer, β€œThe transfer in homological algebra,” Mathematische Zeitschrift, vol. 202, no. 4, pp. 493–523, 1989. [12] N. Sum and D. V. Phuc, On a minimal set of generators for the polynomial algebra of five variables as a module over the Steenrod algebra [M.S. thesis], University of Quy Nhon, Quy Nhon, Vietnam, 2013. [13] N. K. Tin, β€œThe admissible monomial basis for the polynomial algebra of five variables in degree eight,” Journal of Mathematical Sciences and Applications, vol. 2, no. 2, pp. 21–24, 2014. [14] M. F. Mothebe, β€œDimensions of the polynomial algebra F2 [π‘₯1 ,. . .,π‘₯𝑛 ] as a module over the Steenrod algebra,” JP Journal of Algebra, Number Theory and Applications, vol. 13, no. 2, pp. 161–170, 2009. [15] N. Sum, β€œOn the Peterson hit problem of five variables and its applications to the fifth Singer Transfer,” East West Journal of Mathematics, vol. 16, no. 1, pp. 47–62, 2014. [16] G. Walker and R. M. W. Wood, β€œYoung tableaux and the Steenrod algebra,” in Proceedings of the School and Conference in Algebraic Topology, (Hanoi, 2004), vol. 11, pp. 379–397, Geometry and Topology Monographs, 2007. [17] M. Kameko, β€œGenerators of the cohomology of BV 3 ,” Journal of Mathematics of Kyoto University, vol. 38, no. 3, pp. 587–593, 1998. [18] N. Sum, β€œThe negative answer to Kameko’s conjecture on the hit problem,” Advances in Mathematics, vol. 225, no. 5, pp. 2365– 2390, 2010. [19] M. F. Mothebe, β€œDimension result for the polynomial algebra F2 [π‘₯1 ,...,π‘₯𝑛 ] as a module over the Steenrod algebra,” International Journal of Mathematics and Mathematical Sciences, vol. 2013, Article ID 150704, 6 pages, 2013.

7

Advances in

Operations Research Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Advances in

Decision Sciences Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Journal of

Applied Mathematics

Algebra

Hindawi Publishing Corporation http://www.hindawi.com

Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Journal of

Probability and Statistics Volume 2014

The Scientific World Journal Hindawi Publishing Corporation http://www.hindawi.com

Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

International Journal of

Differential Equations Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Volume 2014

Submit your manuscripts at http://www.hindawi.com International Journal of

Advances in

Combinatorics Hindawi Publishing Corporation http://www.hindawi.com

Mathematical Physics Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Journal of

Complex Analysis Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

International Journal of Mathematics and Mathematical Sciences

Mathematical Problems in Engineering

Journal of

Mathematics Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Volume 2014

Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Discrete Mathematics

Journal of

Volume 2014

Hindawi Publishing Corporation http://www.hindawi.com

Discrete Dynamics in Nature and Society

Journal of

Function Spaces Hindawi Publishing Corporation http://www.hindawi.com

Abstract and Applied Analysis

Volume 2014

Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

International Journal of

Journal of

Stochastic Analysis

Optimization

Hindawi Publishing Corporation http://www.hindawi.com

Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Volume 2014