Rubin–Stark units and the class number
摘要
We state and prove a Gras-type equality relating a certain module generated by Rubin–Stark units and the ray class number. We use for this purpose the notion of generalized index.