Abstract:For a Dickson pair $(q,n)$ we show that $ \big \lbrace \frac{q^k-1}{q-1}, 1 \leq k < n \big \rbrace $ forms a finite complete set of different residues modulo $n$. We also study the construction of a finite Dickson nearfield that arises from Dickson pair $(q,n)$.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to construct a finite Dickson nearfield. Specifically, the author explores how to construct a finite Dickson nearfield from a Dickson pair (q, n) and proves the properties of these nearfields.
### Main problems and goals
1. **Define Dickson pairs**:
- The paper first defines a pair of numbers called Dickson pair (q, n), where \( q \) is a power of some prime number \( p \) and satisfies specific conditions (for example, every prime factor of \( n \) divides \( q - 1 \)).
2. **Study the finite complete residue system**:
- The author proves that the set \(\left\{\frac{q^k - 1}{q - 1} \mid 1 \leq k < n\right\}\) forms a finite complete residue system modulo \( n \). This provides a theoretical basis for the subsequent construction.
3. **Construct a finite Dickson nearfield**:
- Using the Dickson pair (q, n), the author constructs a new algebraic structure - a finite Dickson nearfield \( DN(q, n) \) by modifying the multiplication operation of the finite field \( GF(q^n) \).
- Specifically, the author introduces a new multiplication operation \( \circ \) such that \( DN(q, n)=(GF(q^n), +, \circ) \) becomes a nearfield.
4. **Verify the rationality of the construction**:
- The author proves that for all Dickson pairs (q, n), a finite Dickson nearfield can be constructed by the above method.
- At the same time, the author also proves that when \( n\neq1 \), the constructed nearfield is a proper nearfield, that is, it is not a field.
### Key conclusions
- **Existence**: For all Dickson pairs (q, n), there is a corresponding finite Dickson nearfield \( DN(q, n) \) with the number of elements being \( q^n \).
- **Uniqueness**: For \( n = 1 \), the constructed nearfield is actually a finite field; while for \( n\neq1 \), the constructed nearfield is a proper nearfield and is not necessarily unique.
### Methods and tools
- **Frobenius automorphism**: Used to define a new multiplication operation.
- **Coupling map**: Connects the elements of the original finite field with the automorphism group, thereby defining a new multiplication.
- **Quotient groups and cosets**: Utilizes the multiplicative group of the finite field and its subgroups to construct a new algebraic structure.
Through these methods, the author successfully solves the problem of how to construct a finite Dickson nearfield from a Dickson pair and lays a foundation for further research on this type of algebraic structure.