\(p\) を素数, \(\mathbb{Z}_p\) を \(p\)進整数環とする. 代数体の \(\mathbb{Z}_p\)拡大に対して岩澤 \(\lambda\), \(\mu\)不変量が定まり, \(\lambda\), \(\mu\) がどのような値をとるか, という問題は岩澤理論において基本的なものである. \(p\)を奇素数, \(k\)を虚二次体とする. 本講演で述べたい結果は,
である. この結果は1991年にSandsによって得られていた結果の, 虚二次体 \(k\) の類数が \(p\) で割れる場合への類似となっている.