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
      0 references
      0 references
      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
      0 references

      Identifiers