ディリクレの単数定理
スターク予想の定式化により、ハロルド・スタークは、現在スターク単数基準(Stark regulator)と呼ばれているものを提唱した。これは古典的な単数基準の類似物として、任意のアルティン表現(英語版)に対応する単数の log の行列式としたものである。