A NOTE ON CYCLOTOMIC UNITS IN FUNCTION FIELDS

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].