Journal of Commutative Algebra

On the class semigroup of the cyclotomic $\mathbb Z_p$-extension of the rational numbers

Yutaka Konomi and Takayuki Morisawa

Full-text: Access denied (no subscription detected)

We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber. If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription. Read more about accessing full-text


For a commutative integral domain, the class semigroup and the class group are defined as the quotient of the semigroup of fractional ideals and the group of invertible ideals by the group of principal ideals, respectively. Let $p$ be a prime number. In algebraic number theory, especially in Iwasawa theory, the class group of the ring of integers $\mathcal{O} $ of the cyclotomic $\mathbb {Z}_{p}$-extension of the rational numbers has been studied for a long time. However, the class semigroup of $\mathcal{O} $ is not well known. We are interested in the structure of the class semigroup of $\mathcal{O} $. In order to study it, we focus on the structure of the complement set of the class group in the class semigroup of $\mathcal{O} $. In this paper, we prove that the complement set is a group and determine its structure.

Article information

J. Commut. Algebra, Volume 11, Number 1 (2019), 69-80.

First available in Project Euclid: 13 March 2019

Permanent link to this document

Digital Object Identifier

Mathematical Reviews number (MathSciNet)

Zentralblatt MATH identifier

Primary: 11R23: Iwasawa theory 11R29: Class numbers, class groups, discriminants

Class semigroup class group $\mathbb Z_p$-extension


Konomi, Yutaka; Morisawa, Takayuki. On the class semigroup of the cyclotomic $\mathbb Z_p$-extension of the rational numbers. J. Commut. Algebra 11 (2019), no. 1, 69--80. doi:10.1216/JCA-2019-11-1-69.

Export citation


  • S. Bazzoni, Class semigroups of Prüfer domains, J. Algebra 184 (1996), 613–631.
  • ––––, Groups in the class semigroup of a Prüfer domain of finite character, Comm. Algebra 28 (2000), 5157–5167.
  • ––––, Clifford regular domains, J. Algebra 238 (2001), 703–722.
  • S. Bazzoni and L. Salce, Groups in the class semigroups of valuation domains, Israel J. Math. 95 (1996), 135–155.
  • P. Zanardo and U. Zannier, The class semigroup of orders in number fields, Math. Proc. Cambr. Philos. Soc. 115 (1994), 379–391.