• Korean Journal of Mathematics
• /
• 제7권2호
• /
• pp.227-233
• /
• 1999

Let $k$ be a real abelian field and $k_{\infty}={\bigcup}_{n{\geq}0}k_n$ be its $\mathbb{Z}_p$-extension for an odd prime $p$. For each $n{\geq}0$, we denote the class number of $k_n$ by $h_n$. The following is a well known theorem: Theorem. Suppose $p$ remains inert in $k$ and the prime ideal of $k$ above $p$ totally ramifies in $k_{\infty}$. Then $p{\nmid}h_0$ if and only if $p{\nmid}h_n$ for all $n{\geq}0$. The aim of this paper is to generalize above theorem: Theorem 1. Suppose $H^1(G_n,E_n){\simeq}(\mathbb{Z}/p^n\mathbb{Z})^l$, where $l$ is the number of prime ideals of $k$ above $p$. Then $p{\nmid}h_0$ if and only if $p{\nmid}h_n$. Theorem 2. Let $k$ be a real quadratic field. Suppose that $H^1(G_1,E_1){\simeq}(\mathbb{Z}/p\mathbb{Z})^l$. Then $p{\nmid}h_0$ if and only if $p{\nmid}h_n$ for all $n{\geq}0$.

• 대한수학회논문집
• /
• 제24권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.

• 대한수학회보
• /
• 제56권4호
• /
• pp.911-927
• /
• 2019

Let $\mathscr{B}^{{\eta},{\mu}}_{p,n}\;({\alpha});\;({\eta},{\mu}{\in}{\mathbb{R}},\;n,\;p{\in}{\mathbb{N}})$ denote all functions f class in the unit disk ${\mathbb{U}}$ as $f(z)=z^p+\sum_{k=n+p}^{\infty}a_kz^k$ which satisfy: $$\|\[{\frac{f^{\prime}(z)}{pz^{p-1}}}\]^{\eta}\;\[\frac{z^p}{f(z)}\]^{\mu}-1\| <1-{\frac{\alpha}{p}};\;(z{\in}{\mathbb{U}},\;0{\leq}{\alpha}<p)$$. And $\mathscr{M}^{{\eta},{\mu}}_{p,n}\;({\alpha})$ indicates all meromorphic functions h in the punctured unit disk $\mathbb{U}^*$ as $h(z)=z^{-p}+\sum_{k=n-p}^{\infty}b_kz^k$ which satisfy: $$\|\[{\frac{h^{\prime}(z)}{-pz^{-p-1}}}\]^{\eta}\;\[\frac{1}{z^ph(z)}\]^{\mu}-1\|<1-{\frac{\alpha}{p}};\;(z{\in}{\mathbb{U}},\;0{\leq}{\alpha}<p)$$. In this paper several sufficient conditions for some classes of functions are investigated. The authors apply Jack's Lemma, to obtain this conditions. Furthermore, sufficient conditions for strongly starlike and convex p-valent functions of order ${\gamma}$ and type ${\beta}$, are also considered.

• Korean Journal of Mathematics
• /
• 제8권2호
• /
• pp.173-180
• /
• 2000

Let $k$ be a real abelian field such that the conductor of every nontrivial character belonging to $k$ agrees with the conductor of $k$. Note that real quadratic fields satisfy this condition. For a prime $p$, let $k_{\infty}$ be the $\mathbb{Z}_p$-extension of $k$. The aim of this paper is to produce a set of generators of the Tate cohomology group $\hat{H}^{-1}$ of the circular units of $k_n$, the $nth$ layer of the $\mathbb{Z}_p$-extension of $k$, where $p$ is an odd prime. This result generalizes some earlier works which treated the case when $k$ is real quadratic field and used them to study ${\lambda}$-invariants of $k$.

• 대한수학회지
• /
• 제56권2호
• /
• pp.439-455
• /
• 2019

Let ${\Sigma}_k(p)$ be the class of univalent meromorphic functions defined on the unit disc ${\mathbb{D}}$ with k-quasiconformal extension to the extended complex plane ${\hat{\mathbb{C}}}$, where $0{\leq}k<1$. Let ${\Sigma}^0_k(p)$ be the class of functions $f{\in}{\Sigma}_k(p)$ having expansion of the form $f(z)=1/(z-p)+{\sum_{n=1}^{\infty}}\;b_nz^n$ on ${\mathbb{D}}$. In this article, we obtain sharp area distortion and weighted area distortion inequalities for functions in ${\sum_{k}^{0}}(p)$. As a consequence of the obtained results, we present a sharp upper bound for the Hilbert transform of characteristic function of a Lebesgue measurable subset of ${\mathbb{D}}$.

• Korean Journal of Mathematics
• /
• 제6권2호
• /
• pp.221-229
• /
• 1998

Let $k$ be a real abelian field and $k_{\infty}$ be its $\mathbb{Z}_p$-extension for an odd prime $p$. Let $A_n$ be the Sylow $p$-subgroup of the ideal class group of $k_n$, the $nth$ layer of the $\mathbb{Z}_p$-extension. By using the main conjecture of Iwasawa theory, we have the following: If $p$ does not divide $\prod_{{{\chi}{\in}\hat{\Delta}_k},{\chi}{\neq}1}B_{1,{\chi}{\omega}^{-1}$, then $A_n$ = {0} for all $n{\geq}0$, where ${\Delta}_k=Gal(k/\mathbb{Q})$ and ${\omega}$ is the Teichm$\ddot{u}$ller character for $p$. The converse of this statement does not hold in general. However, we have the following when $k$ is of prime conductor $q$: Let $q$ be an odd prime different from $p$. and let $k$ be a real subfield of $\mathbb{Q}({\zeta}_q)$. If $p{\mid}{\prod}_{{\chi}{\in}\hat{\Delta}_{k,p},{\chi}{\neq}1}B_{1,{\chi}{\omega}}-1$, then $A_n{\neq}\{0\}$ for all $n{\geq}1$, where ${\Delta}_{k,p}$ is the $Gal(k_{(p)}/\mathbb{Q})$ and $k_{(p)}$ is the decomposition field of $k$ for $p$.

• 대한수학회보
• /
• 제50권2호
• /
• pp.407-416
• /
• 2013

Let E be an elliptic curve over $\mathbb{Q}$ and $p$ be a prime of good supersingular reduction for E. Although the Iwasawa theory of E over the cyclotomic ${\mathbb{Z}}_p$-extension of $\mathbb{Q}$ is well known to be fundamentally different from the case of good ordinary reduction at p, we are able to combine the method of our earlier paper with the theory of Kobayashi [5] and Pollack [8], to give an explicit upper bound for the number of copies of ${\mathbb{Q}}_p/{\mathbb{Z}}_p$ occurring in the $p$-primary part of the Tate-Shafarevich group of E over $\mathbb{Q}$.

• Korean Journal of Mathematics
• /
• 제4권1호
• /
• pp.45-49
• /
• 1996

Let $F_0$ be the maximal real subfield of $\mathbb{Q}({\zeta}_q+{\zeta}_q^{-1})$ and $F_{\infty}={\cup}_{n{\geq}0}F_n$ be its basic $\mathbb{Z}_p$-extension. Let $A_n$ be the Sylow $p$-subgroup of the ideal class group of $F_n$. The aim of this paper is to examine the injectivity of the natural $mapA_n{\rightarrow}A_m$ induced by the inclusion $F_n{\rightarrow}F_m$ when $m>n{\geq}0$. By using cyclotomic units of $F_n$ and by applying cohomology theory, one gets the following result: If $p$ does not divide the order of $A_1$, then $A_n{\rightarrow}A_m$ is injective for all $m>n{\geq}0$.

• Korean Journal of Mathematics
• /
• 제5권1호
• /
• pp.61-74
• /
• 1997

Let $d$ be a positive integer with $d\not{\equiv}2$ mod 4, and let $K=\mathbb{Q}({\zeta}_{pd})$ for S an odd prime $p$ such that $p{\equiv}1$ mod $d$. Let $K_{\infty}={\bigcup}_{n{\geq}0}K_n$ be the cyclotomic $\mathbb{Z}_p$-extension of $K=K_0$. In this paper, explicit generators for the Tate cohomology group $\hat{H}^{-1}$($G_{m,n}$ are given when $d=qr$ is a product of two distinct primes, where $G_{m,n}$ is the Galois group Gal($K_m/K_n$) and $C_m$ is the group of cyclotomic units of $K_m$. This generalizes earlier results when $d=q$ is a prime.

• 충청수학회지
• /
• 제23권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.