• Journal of the Chungcheong Mathematical Society
• /
• v.23 no.4
• /
• pp.625-628
• /
• 2010

The purpose of this paper is to show that there exists a unit whose p-th root generates the first layer of anti-cyclotomic ${\mathbb{Z}}_p$-extension of certain imaginary quadratic number fields.

• Communications of the Korean Mathematical Society
• /
• v.24 no.1
• /
• pp.1-4
• /
• 2009

In this paper we explicitly compute a Minkowski unit of a real abelian field and give a criterion when the first layer of anti-cyclotomic ${\mathbb{Z}}_3$-extension of an imaginary quadratic field is unramified everywhere.

• Journal of the Korean Mathematical Society
• /
• v.39 no.5
• /
• pp.765-773
• /
• 2002

Let $textsc{k}$＝$F_{q}$(T) be a rational function field. Let $\ell$ be a prime number with ($\ell$, q-1) ＝ 1. Let K/$textsc{k}$ be an elmentary abelian $\ell$-extension which is contained in some cyclotomic function field. In this paper, we study the $\ell$-divisibility of ideal class number $h_{K}$ of K by using cyclotomic units.s.s.

• Journal of the Korean Mathematical Society
• /
• v.44 no.3
• /
• pp.499-509
• /
• 2007

Let m, n be positive integers or monic polynomials in $\mathbb{F}_q[T]$ with n|m. Let $K_m\;and\;K^+_m$ be the m-th cyclotomic field and its maximal real subfield, respectively. In this paper we define two matrices $D^+_{m,n}\;and\;D^-_{m,n}$ whose determinants give us the ratios $\frac{h(\mathcal{O}_{K^+_m})}{h(\mathcal{O}_{K^+_n})}$ and $\frac{h-(\mathcal{O}_K_m)}{h-(\mathcal{O}_K_n)}$ with some factors, respectively.

• Communications of the Korean Mathematical Society
• /
• v.12 no.3
• /
• pp.553-560
• /
• 1997

A class number formula over global function field, extending the formula obtained by Shu, is proved.

• Journal of the Chungcheong Mathematical Society
• /
• v.20 no.4
• /
• pp.433-438
• /
• 2007

Let $\mathbb{A}=\mathbb{F}_q[T]$ and $k=\mathbb{F}_q(T)$. Assume q is odd, and fix a prime divisor ${\ell}$ of q - 1. Let P be a monic irreducible polynomial in A whose degree d is divisible by ${\ell}$. In this paper we define a subgroup $\tilde{C}_F$ of $\mathcal{O}^*_F$ which is generated by $\mathbb{F}^*_q$ and $\{{\eta}^{{\tau}^i}:0{\leq}i{\leq}{\ell}-1\}$ in $F=k(\sqrt[{\ell}]{P})$ and calculate the unit-index $[\mathcal{O}^*_F:\tilde{C}_F]={\ell}^{\ell-2}h(\mathcal{O}_F)$. This is a generalization of [3, Theorem 16.15].

• Korean Journal of Mathematics
• /
• v.18 no.2
• /
• pp.161-166
• /
• 2010

For an abelian extension K of ${\mathbb{Q}}$, let $C_W(K)$ be the group of Washington units of K, and $C_S(K)$ the group of Sinnott units of K. A lot of results about $C_S(K)$ have been found while very few is known about $C_W(K)$. This is mainly because elements in $C_S(K)$ are more explicitly defined than those in $C_W(K)$. The aim of this paper is to find a basis of $C_W(K)$ and use it to compare $C_W(K)$ and $C_S(K)$ when K is a subfield of ${\mathbb{Q}}({\zeta}_{p^e})$, where p is a prime.