Fungrim entry: 2f52bc

Symbol: PrimitiveDirichletCharacters —

G^{\text{Primitive}}_{q}

— Primitive Dirichlet characters with given modulus

PrimitiveDirichletCharacters(q), rendered as

G^{\text{Primitive}}_{q}

, 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^{\text{Primitive}}_{q}$	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

Dirichlet characters