• Title/Summary/Keyword: class number divisibility

Search Result 4, Processing Time 0.015 seconds

CYCLOTOMIC UNITS AND DIVISIBILITY OF THE CLASS NUMBER OF FUNCTION FIELDS

  • Ahn, Jae-Hyun;Jung, Hwan-Yup
    • 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.

APPLICATIONS OF CLASS NUMBERS AND BERNOULLI NUMBERS TO HARMONIC TYPE SUMS

  • Goral, Haydar;Sertbas, Doga Can
    • Bulletin of the Korean Mathematical Society
    • /
    • v.58 no.6
    • /
    • pp.1463-1481
    • /
    • 2021
  • Divisibility properties of harmonic numbers by a prime number p have been a recurrent topic. However, finding the exact p-adic orders of them is not easy. Using class numbers of number fields and Bernoulli numbers, we compute the exact p-adic orders of harmonic type sums. Moreover, we obtain an asymptotic formula for generalized harmonic numbers whose p-adic orders are exactly one.

On the $Z_p$-extensions over $Q(sqrt{m})$

  • Kim, Jae-Moon
    • Communications of the Korean Mathematical Society
    • /
    • v.13 no.2
    • /
    • pp.233-242
    • /
    • 1998
  • Let $k = Q(\sqrt{m})$ be a real quadratic field. In this paper, the following theorems on p-divisibility of the class number h of k are studied for each prime pp. Theorem 1. If the discriminant of k has at least three distinct prime divisors, then 2 divides h. Theorem 2. If an odd prime p divides h, then p divides $B_{a,\chi\omega^{-1}}$, where $\chi$ is the nontrivial character of k, and $\omega$ is the Teichmuller character for pp. Theorem 3. Let $h_n$ be the class number of $k_n$, the nth layer of the $Z_p$-extension $k_\infty$ of k. If p does not divide $B_{a,\chi\omega^{-1}}$, then $p \notmid h_n$ for all $n \geq 0$.

  • PDF