Abelian groups, Gauss periods, and normal bases (Q5927544): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1987107809 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An implementation for a fast public-key cryptosystem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Low complexity normal bases / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Factoring with Cyclotomic Polynomials / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Normal and Self-Dual Normal Bases from Factorization of $cx^{q + 1} + dx^q - ax - b$ / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Normal bases via general Gauss periods / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4226694 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Gauss periods: orders and cryptographical applications / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algorithms for exponentiation in finite fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Optimal normal bases / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Orders of Optimal Normal Basis Generators / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3222326 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4695307 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3136478 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Optimal normal bases in \(GF(p^ n)\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4692759 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5511421 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3483365 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3142322 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 15:47, 3 June 2024
scientific article; zbMATH DE number 1579926
Language | Label | Description | Also known as |
---|---|---|---|
English | Abelian groups, Gauss periods, and normal bases |
scientific article; zbMATH DE number 1579926 |
Statements
Abelian groups, Gauss periods, and normal bases (English)
0 references
17 August 2002
0 references
A result on finite abelian groups is first proven: Theorem: Let \(G\) be any finite abelian group. Let \(S\) be a subset and \(K\) a subgroup of \(G\) such that \(G=\langle S,K\rangle\). Then for any direct product \(G = G_1 \otimes G_2 \otimes \cdots \otimes G_t\), there is a subgroup of the form \[ H = H_1 \otimes H_2 \otimes \cdots \otimes H_t , \quad H_i \triangleleft G_i ,\quad 1 \leq i \leq t, \] such that \(G = <S,H>\) and \(G/H \simeq G/K\). For any subgroup \(K \subset {\mathbb Z}_r^{\times}\) of order \(k\), a Gauss period of type \((n,K)\) is defined as \[ \alpha = \sum_{a \in K} g({\beta}^a), \] where \(\beta\) is a primitive \(r\)th root of unity in \({\mathbb F}_{q^{nk}}\) and \(g( \cdot)\) is a polynomial of a certain form. The following theorem is proved: Theorem: Let \(q=p^m\), where \(p\) is a prime. There exists an integer \(r\) such that a Gauss period of type \((n,K)\) is normal for \({\mathbb F}_{q^n}\) over \({\mathbb F}_q\) for some subgroup \(K\) of \({\mathbb Z}_r^{\times}\) iff \(\gcd (m,n) =1\), and if \(p=2\) then \(8\) does not divide \(n\). Another theorem is proved that characterizes when there is a subgroup \(K\) of order \(k\) in \({\mathbb Z}_r^{\times}\) such that \(\langle q,K\rangle= {\mathbb Z}_r^{\times}\). In addition results are given on the construction of low complexity normal bases.
0 references
finite fields
0 references
abelian groups
0 references
Gauss periods
0 references
normal bases
0 references