• Korean Journal of Mathematics
• /
• v.8 no.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$.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.66 no.3
• /
• pp.599-604
• /
• 2017

Nowadays reactance method is being used as a technique for fault location in parallel feeding AC traction power system. However, implementation of this method requires a large number of field tests(ground fault) which is a huge burden on the operators. This paper presents a new estimation technique using quadratic interpolation to reduce number of times for field test and improves the accuracy of fault location. To verify a new technique, we solve AT feeding circuit and model it using PSCAD/EMTDC. Finally this paper conducts a comparative analysis of usefulness between a new technique and real field data.

• Journal of the Chungcheong Mathematical Society
• /
• v.25 no.1
• /
• pp.19-25
• /
• 2012

The purpose of this paper is to derive powers $A^{n}$ using a system of recursive sequences for a given $2{\times}2$ matrix A. Introducing a recursive sequence we have a quadratic equation. Solutions to this quadratic equation are related with eigenvalues of A. By solving this quadratic equation we can easily obtain an explicit form of $A^{n}$. Our method holds when A is defined not only on the real field but also on the complex field.

• Communications of the Korean Mathematical Society
• /
• v.24 no.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.

• Bulletin of the Korean Mathematical Society
• /
• v.52 no.5
• /
• pp.1559-1568
• /
• 2015

The relative class number $H_d(f)$ of a real quadratic field $K=\mathbb{Q}(\sqrt{m})$ of discriminant d is the ratio of class numbers of $O_f$ and $O_K$, where $O_K$ denotes the ring of integers of K and $O_f$ is the order of conductor f given by $\mathbb{Z}+fO_K$. In a recent paper of A. Furness and E. A. Parker the relative class number of $\mathbb{Q}(\sqrt{m})$ has been investigated using continued fraction in the special case when $(\sqrt{m})$ has a diagonal form. Here, we extend their result and show that there exists a conductor f of relative class number 1 when the continued fraction of $(\sqrt{m})$ is non-diagonal of period 4 or 5. We also show that there exist infinitely many real quadratic fields with any power of 2 as relative class number if there are infinitely many Mersenne primes.

• Korean Journal of Mathematics
• /
• v.7 no.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$.

• Bulletin of the Korean Mathematical Society
• /
• v.59 no.3
• /
• pp.697-707
• /
• 2022

It is well known that the continued fraction expansion of ${\sqrt{d}}$ has the form $[{\alpha}_0,\;{\bar{{\alpha}_1,\;{\ldots},\;{\alpha}_{l-1},\;2_{{\alpha}_0}}]$ and ${\alpha}_1,\;{\ldots},\;{\alpha}_{l-1}$ is a palindromic sequence of positive integers. For a given positive integer l and a palindromic sequence of positive integers ${\alpha}_1,\;{\ldots},\;{\alpha}_{l-1},$ we define the set $S(l;{\alpha}_1,\;{\ldots},\;{\alpha}_{l-1})\;:=\;\{d{\in}{\mathbb{Z}}{\mid}d>0,\;{\sqrt{d}}=[{\alpha}_0,\;{\bar{{\alpha}_1,\;{\ldots},\;{\alpha}_{l-1},\;2_{{\alpha}_0}}],\;where\;{\alpha}_0={\lfloor}{\sqrt{d}}{\rfloor}\}.$ In this paper, we completely determine when $S(l;{\alpha}_1,\;{\ldots},\;{\alpha}_{l-1})$ is not empty in the case that l is 4, 5, 6, or 7. We also give similar results for $(1+{\sqrt{d}})/2.$ For the case that l is 4, 5, or 6, we explicitly describe the fundamental units of the real quadratic field ${\mathbb{Q}}({\sqrt{d}}).$ Finally, we apply our results to the Mordell conjecture for the fundamental units of ${\mathbb{Q}}({\sqrt{d}}).$

• Journal of the Korean Society of Industry Convergence
• /
• v.8 no.4
• /
• pp.205-212
• /
• 2005

This paper presents the application of system identification approaches for the load carrying capacity evaluation of composite PCI girder bridges based on the result of field test. For these problems, the moment of inertia of cross-sectional area and the natural frequency of bridge were used as structural parameters, the SAP2000 program for the structural analysis and the SLP method for the minimum error. As a result, it is found that the proposed algorithm for this study appears applicable to real structures with reasonable complexity. It is shown that the introduction of approximate quadratic equations is more realistic and timesaving than the common methods.

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

• Bulletin of the Korean Mathematical Society
• /
• v.57 no.1
• /
• pp.251-274
• /
• 2020

We study a dynamical system that was originally defined by Romik in 2008 using an old theorem of Berggren concerning Pythagorean triples. Romik's system is closely related to the Farey map on the unit interval which generates an additive continued fraction algorithm. We explore some number theoretical properties of the Romik system. In particular, we prove an analogue of Lagrange's theorem in the case of the Romik system on the unit quarter circle, which states that a point possesses an eventually periodic digit expansion if and only if the point is defined over a real quadratic extension field of rationals.