Statements (28)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:group_of_people
|
| gptkbp:category |
gptkb:algebra
|
| gptkbp:closed |
closed under multiplication
|
| gptkbp:consistsOf |
complex roots of unity
|
| gptkbp:containsElement |
e^{2πik/n} (for k=0,...,n-1)
|
| gptkbp:everyElementSatisfies |
z^n = 1
|
| gptkbp:generation |
primitive n-th root of unity
|
| gptkbp:hasSubgroup |
multiplicative group of nonzero complex numbers
|
| gptkbp:identityElement |
1
complex conjugate |
| gptkbp:isA |
gptkb:finite_cyclic_group
subgroup of multiplicative group of complex numbers |
| gptkbp:isNonAbelian |
true
|
| gptkbp:isomorphicTo |
cyclic group of order n
|
| gptkbp:notation |
μ_n
|
| gptkbp:operator |
multiplication
|
| gptkbp:order |
n (for n-th roots of unity)
|
| gptkbp:relatedTo |
gptkb:cyclotomic_polynomial
|
| gptkbp:usedIn |
gptkb:algebraic_geometry
gptkb:Galois_theory gptkb:discrete_Fourier_transform Fourier analysis number theory representation theory cyclotomic fields |
| gptkbp:bfsParent |
gptkb:Cyclotomic_fields
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
Roots of unity group
|