Beyond uniform cyclotomy (Q6994700)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 8029684
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Beyond uniform cyclotomy |
scientific article; zbMATH DE number 8029684 |
Statements
Beyond uniform cyclotomy (English)
0 references
22 April 2025
0 references
The study of cyclotomic numbers began with Carl Friedrich Gauss, who explored their relationship to constructing regular polygons with a compass and straightedge. Ernst Kummer expanded on Gauss's work in 1847 by introducing cyclotomic integers, which formed the basis for modern algebraic theory of cyclotomic fields.\N\NThe \textit{cyclotomic classes} of order \(e\) of \(\mathrm{GF}(q^n)\) \((e\mid q^n-1)\), written \(C^e_i (0 \leq i \leq e-1)\), are the multiplicative cosets of the subgroup of index \(e\) in \(\mathrm{GF}(q^n)^{*}\). The \textit{cyclotomic number} \((i, j)_{e}\) counts the number of solutions to the equation \(z_{i}+1=z_{j}\) where \(z_{i} \in C^{e} _{i},z_{j} \in C^{e} _{j}\). The cyclotomic numbers \((i,j)_{e}\) over \(\mathrm{GF}(q)\) are \textit{uniform} if \((0,i)_{e} = (i, 0)_{e} =(i,i)_{e} =(0,1)_{e}\) for i=0, and \((i,j)_{e} =(1,2)_{e}\) for \( 0 \neq i\neq j\neq 0\). \N\NThe main Result is as follows: \N\NTheorem. Consider the finite field \(\mathrm{GF}(q^n)\), where \(n \geq 2\). Let \(e =\frac{(q^{n} - 1)}{(q - 1)}\) and let \(\alpha\) be a primitive element of \(\mathrm{GF}(q^{n})\). Let \(q^{n} = ef +1\)and let \(\epsilon | e\). Then\N\begin{itemize}\N\item[(1)] \[ (0,0)_{\varepsilon} =(f-1)+\sum^{\frac{e}{\epsilon} -1}_{s=1} \sum_{\substack{r=0 \bmod \varepsilon, \\ 1 \leq r \leq e-1}} (r, \varepsilon s)_{e} \]\N\item[(2)] For all \(0<i<e\), \[ (i,0)_{\varepsilon} =(0,i)_{\varepsilon} =(e-i,e-i)_{\varepsilon} =\sum^{ \frac{e}{\varepsilon} -1}_{s=1} \sum_{\substack{r=i \bmod \varepsilon, \\ 1 \leq r \leq e-1}} (r, \varepsilon s)_{e}\]\N\item[(3)] For all \(0<i \neq j<e\), \[ (i,j)_{\varepsilon} =\sum^{\frac{e}{\varepsilon} -1}_{s=1} \sum_{\substack{r=i \bmod \varepsilon, \\ 1 \leq r \leq e-1}} (r, \varepsilon s+j)_{e}\]\N\end{itemize}\N\NThere is potential for further research in cyclotomy, which could yield more intriguing results. The authors have provided examples to enhance understanding of the theory.
0 references
cyclotomic numbers
0 references
Singer difference sets
0 references
0 references
0 references
0 references