• Bulletin of the Korean Mathematical Society
• /
• v.45 no.2
• /
• pp.375-384
• /
• 2008

Let $k={\mathbb{F}}_q(T)$ and ${\mathbb{A}}={\mathbb{F}}_q[T]$. Fix a prime divisor ${\ell}$ q-1. In this paper, we consider a ${\ell}$-cyclic real function field $k(\sqrt[{\ell}]P)$ as a subfield of the imaginary bicyclic function field K = $k(\sqrt[{\ell}]P,\;(\sqrt[{\ell}]{-Q})$, which is a composite field of $k(\sqrt[{\ell}]P)$ wit a ${\ell}$-cyclic totally imaginary function field $k(\sqrt[{\ell}]{-Q})$ of class number one. und give various conditions for the class number of $k(\sqrt[{\ell}]{P})$ to be one by using invariants of the relatively cyclic unramified extensions $K/F_i$ over ${\ell}$-cyclic totally imaginary function field $F_i=k(\sqrt[{\ell}]{-P^iQ})$ for $1{\leq}i{\leq}{\ell}-1$.

• Journal of the Chungcheong Mathematical Society
• /
• v.21 no.1
• /
• pp.61-69
• /
• 2008

For a real subextension of some cyclotomic function field with a non-cyclic Galois group order $l^2$, l being a prime different from the characteristic of function field, we compute the index of the Sinnott group of circular units.

• Honam Mathematical Journal
• /
• v.27 no.3
• /
• pp.389-397
• /
• 2005

Let K be an absolutely real abelian number field with $G=Gal(K/{\mathbb{Q}})$. Let E be a subfield of K and ${\Delta}=Gal(K/E)$. Let $C_K$ and $C_E$ be the group of circular units of K and E respectively. In [G], Greither has shown that if G is cyclic then $C_K^{\Delta}=C_E$. In this paper we show that the same result holds in function field case.