7.2.1 modular.dirichlet - Dirichlet characters

A DirichletCharacter is the extension of a homomorphism

$\displaystyle (\mathbf{Z}/N\mathbf{Z})^* \to R^*,
$

for some ring $ R$ , to the map $ \mathbf{Z}/N\mathbf{Z}\to R$ obtained by sending those $ x\in\mathbf{Z}/N\mathbf{Z}$ with $ \gcd(N,x)>1$ to 0 .

The module modular.dirichlet defines the following classes:

class DirichletCharacter
The class of Dirichlet characters.

class DirichletGroup
The DirichletGroup class represents the group of all Dirichlet characters modulo $ N$ over a given base ring $ R$ .

The module modular.dirichlet defines the following functions:



Subsections
See About this document... for information on suggesting changes.