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

• Journal of the Chungcheong Mathematical Society
• /
• v.13 no.2
• /
• pp.71-79
• /
• 2001

We study only free actions of finite abelian groups G on the 3-dimensional nilmanifold, up to topological conjugacy. we shall deal with only one out of 15 distinct almost Bieberbach groups up to Seifert local invariant.

• Journal of the Chungcheong Mathematical Society
• /
• v.7 no.1
• /
• pp.1-11
• /
• 1994

The theory of inverse semigroups has many features in common with the theory of groups. Many different properties of semigroup become the same condition on ring. In this paper, we want to find the properties of semigroups which is preserved by the properties of ring. Also we find that many different properties become the equivalent conditions.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1998.03a
• /
• 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.

• Journal of the Chungcheong Mathematical Society
• /
• v.1 no.1
• /
• pp.85-90
• /
• 1988

We develope a signature invariant for odd higher dimensional links. This signature has an advantage that it is defined as a G-signature for a non-abelian group G so that it can distinguish two links whose different were not detected by other invariants defined on commutative set-ups.

• Journal of the Chungcheong Mathematical Society
• /
• v.19 no.3
• /
• pp.291-297
• /
• 2006

We find unit Killing vectors and homogeneous geodesics on the Lie group with Lie algebra $\mathbf{a}{\oplus}_p\mathbf{r}$, where $\mathbf{a}$ and $\mathbf{r}$ are abelian Lie algebra of dimension n and 1, respectively.

• Journal of the Korean Mathematical Society
• /
• v.56 no.2
• /
• pp.559-578
• /
• 2019

We list all subfields of cyclotomic function fields over rational function fields with class number three. We also determine all the imaginary abelian extensions with relative class number three, explicitly.

• Journal of the Korean Mathematical Society
• /
• v.60 no.6
• /
• pp.1215-1231
• /
• 2023

In this paper, we investigate the nonnil-exact sequences and nonnil-commutative diagrams and show that they behave in a way similar to the classical ones in Abelian categories.

• Communications of the Korean Mathematical Society
• /
• v.39 no.2
• /
• pp.267-278
• /
• 2024

In this paper, we continue to explore an idea presented in [3] and introduce a new class of matrix rings called staircase matrix rings which has applications in noncommutative ring theory. We show that these rings preserve the notions of reduced, symmetric, reversible, IFP, reflexive, abelian rings, etc.

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