# Fungrim entry: 2f52bc

Symbol: PrimitiveDirichletCharacters $G_{q}^{\text{primitive}}$ Primitive Dirichlet characters with given modulus
PrimitiveDirichletCharacters(q), rendered as $G_{q}^{\text{primitive}}$, represents the set of primitive Dirichlet characters modulo $q$, given $q \in \mathbb{Z}_{\ge 1}$. Primitive characters are defined in ed65c8.
Definitions:
Fungrim symbol Notation Short description
PrimitiveDirichletCharacters$G_{q}^{\text{primitive}}$ Primitive Dirichlet characters with given modulus
ZZGreaterEqual$\mathbb{Z}_{\ge n}$ Integers greater than or equal to n
Source code for this entry:
Entry(ID("2f52bc"),
SymbolDefinition(PrimitiveDirichletCharacters, PrimitiveDirichletCharacters(q), "Primitive Dirichlet characters with given modulus"),
Description(SourceForm(PrimitiveDirichletCharacters(q)), ", rendered as", PrimitiveDirichletCharacters(q), ", represents the set of primitive Dirichlet characters modulo", q, ", given", Element(q, ZZGreaterEqual(1)), ". Primitive characters are defined in ", EntryReference("ed65c8"), "."))

## Topics using this entry

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2019-08-19 14:38:23.809000 UTC