5. 定義5.1 自然数 に対し， で次をみたすものを， を法とする Dirichlet 指標と言う． (1) (2) (3) を法とする Dirichlet 指標 は 有限 Abel 群 の指標と自然に1対1に対応している． を法とする Dirichlet 指標全体の集合も と書くことにする． その位数を …

（Segal の指摘）Steenrod square を２回ほどこしたものは， の像に入るが，これが の２つの成分の入れ替えで不変である，というのが Adem relation．

素数が無限にあることのもう一つの証明． 相異なる素数 および自然数 に対し， 以下の自然数で， 以外の素数で割り切れないものの個数を とすると， 2.3 連続の濃度．