Dirichlet character
ディリクレは、法 に関して可逆な元全体の成す群（環 の単元群、つまり既約合同類群 ）を考え、その群から非零複素数全体の成す乗法群への群準同型（すなわち、群の元 に対して を満たす写像）全体の成す集合について調べた。このような写像をディリクレ指標という。ディリクレ指標は 個存在し、二つの指標の積はまた一つの指標であり、乗積表を書けばそれは既約合同類群のものと全く同じになる。