• 호남수학학술지
• /
• 제36권2호
• /
• pp.417-424
• /
• 2014

Let A be an abelian variety defined over a number field K and p be a prime. Define ${\varphi}_i=(x^{p^i}-1)/(x^{p^{i-1}}-1)$. Let $A_{{\varphi}i}$ be the abelian variety defined over K associated to the polynomial ${\varphi}i$ and let Ш($A_{{\varphi}i}$) denote the Tate-Shafarevich groups of $A_{{\varphi}i}$ over K. In this paper assuming Ш(A/F) is finite, we compute [Ш($A_{{\varphi}1}$)][Ш($A_{{\varphi}2}$)]/[Ш($A_{{\varphi}1{\varphi}2}$)] in terms of K-rational points of $A_{{\varphi}i}$, $A_{{\varphi}1{\varphi}2}$ and their dual varieties, where [X] is the order of a finite abelian group X.

• Korean Journal of Mathematics
• /
• 제30권3호
• /
• pp.555-560
• /
• 2022

Suppose L/K be a finite abelian extension of number fields of odd degree and suppose an abelian variety A defined over L is a K-variety. If the endomorphism algebra of A/L is a field F, the followings are equivalent : (1) The enodomorphiam algebra of the restriction of scalars from L to K is simple. (2) There is no proper subfield of L containing L^G_F on which A has a K-variety descent.

• 대한수학회보
• /
• 제29권1호
• /
• pp.153-163
• /
• 1992

Carlitz module is used to study abelian extensions of K=$F_{q}$(T). In number theory every abelian etension of Q is contained in a cyclotomic field. Similarly every abelian extension of $F_{q}$(T) with some condition on .inf. is contained in a cyclotomic function field. Hence the study of cyclotomic function fields in analogy with cyclotomic fields is an important subject in number theory. Much are known in this direction such as ring of integers, class groups and units ([G], [G-R]). In this article we are concerned with the ring of integers in a cyclotomic function field. In [G], it is shown that the ring of integers is generated by a primitive root of the Carlitz module using the ramification theory and localization. Here we will give another proof, which is rather elementary and explicit, of this fact following the methods in [W].[W].

• Kyungpook Mathematical Journal
• /
• 제61권2호
• /
• pp.371-381
• /
• 2021

In this paper, we attempt to obtain sufficient conditions for the existence of tight wavelet frame sets in locally compact abelian groups. The condition is generated by modulating a collection of characteristic functions that correspond to a generalized shift-invariant system via the Fourier transform. We present two approaches (for stationary and non-stationary wavelets) to construct the scaling function for L²(G) and, using the scaling function, we construct an orthonormal wavelet basis for L²(G). We propose an open problem related to the extension principle for Riesz wavelets in locally compact abelian groups.

• 대한수학회지
• /
• 제58권1호
• /
• pp.123-132
• /
• 2021

Let K be a number field and L a finite abelian extension of K. Let E be an elliptic curve defined over K. The restriction of scalars ResKLE decomposes (up to isogeny) into abelian varieties over K $$Res^L_KE{\sim}{\bigoplus_{F{\in}S}}A_F,$$ where S is the set of cyclic extensions of K in L. It is known that if L is a quadratic extension, then AL is the quadratic twist of E. In this paper, we consider the case that K is a number field containing a primitive third root of unity, $L=K({\sqrt[3]{D}})$ is the cyclic cubic extension of K for some D ∈ K×/(K×)3, E = Ea : y2 = x3 + a is an elliptic curve with j-invariant 0 defined over K, and EaD : y2 = x3 + aD2 is the cubic twist of Ea. In this case, we prove AL is isogenous over K to $E_a^D{\times}E_a^{D^2}$ and a property of the Selmer rank of AL, which is a cubic analogue of a theorem of Mazur and Rubin on quadratic twists.

• 대한수학회보
• /
• 제57권1호
• /
• pp.195-206
• /
• 2020

The fundamental idea of this article is to present an effective way to obtain the large groups in terms of the split extension obtained by a finite cyclic group and a free abelian group rank 2. The proof of the main result on largeness property of this specific split extension groups will be given by using the connection of large groups with the groups having deficiency one presentations.

• 대한수학회보
• /
• 제42권3호
• /
• pp.555-561
• /
• 2005

In this note we give characterizations for certain HNN extensions with central associated subgroups to be residually finite. We then apply our results to HNN extensions of polycyclic-by-finite groups.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 1998년도 춘계학술대회 학술발표 논문집
• /
• pp.3-6
• /
• 1998

We introduce the notion of TL-p-subgroups that is an extension of the notion of fuzzy p-subgroups and show that a torsion TL-subgroup of an Abelian group with T=∧ can be written as the intersection of its minimal TL-p-subgroups.

• 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$.

• 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$.