Abstract:Let $F$ be any field containing the finite field of order $q$. A $q$-polynomial $L$ over $F$ is an element of the polynomial ring $F[x]$ with the property that all powers of $x$ that appear in $L$ with nonzero coefficient have exponent a power of $q$. It is well known that given any ordinary polynomial $f$ in $F[x]$, there exists a $q$-polynomial that is divisible by $f$. We study the smallest degree of such a $q$-polynomial. This is equivalent to studying the $\mathbb{F}_q$-span of the roots of $f$ in a splitting field. We relate this quantity to the representation theory of the Galois group of $f$. As an application we give a simultaneous construction of the binary Golay code of length 24, and the Steiner system on 24 points.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to explore, in a field of prime characteristic, given an ordinary polynomial \( f\in F[x] \), being able to find the \( q \)-linearized polynomial \( L \) of the minimum degree such that \( f \) divides \( L \). Specifically, the author has studied the minimum degree of such \( q \)-linearized polynomial and related it to the \( F_q \)-span of the roots in the splitting field of \( f \).
In addition, the author has also studied the relationship between this problem and Galois group representation theory and applied these results to simultaneously construct the binary Golay code of length 24 and the Steiner system of 24 points. The following is a summary of the core problems of this paper:
1. **Degree of the minimum \( q \)-linearized polynomial**:
- Study the degree of the minimum \( q \)-linearized polynomial of a given ordinary polynomial \( f\in F[x] \).
- This problem is equivalent to studying the dimension of the \( F_q \)-span of the roots of \( f \) in a certain splitting field.
2. **Connection with Galois group representation theory**:
- If there exists a \( q \)-linearized polynomial \( L \) such that \( f \) divides \( L \), then the Galois group \( G \) of \( f \) has a representation of dimension \( n \) over \( F_q \).
- In particular, if \( n \) is significantly smaller than the degree of \( f \), then useful information about \( G \) can be obtained from it.
3. **Applications: Construction of Golay code and Steiner system**:
- Using the above - mentioned theory, the author provides a method for simultaneously constructing the binary Golay code (of length 24) and the Steiner system of 24 points.
- These two structures are classic exemplary examples of error - correcting codes and combinatorial designs, and there is a close connection between them.
Through the study of these problems, the author not only deepens the understanding of \( q \)-linearized polynomials but also shows their important applications in coding theory and combinatorial design.