• Korean Journal of Mathematics
• /
• v.18 no.2
• /
• pp.161-166
• /
• 2010

For an abelian extension K of ${\mathbb{Q}}$, let $C_W(K)$ be the group of Washington units of K, and $C_S(K)$ the group of Sinnott units of K. A lot of results about $C_S(K)$ have been found while very few is known about $C_W(K)$. This is mainly because elements in $C_S(K)$ are more explicitly defined than those in $C_W(K)$. The aim of this paper is to find a basis of $C_W(K)$ and use it to compare $C_W(K)$ and $C_S(K)$ when K is a subfield of ${\mathbb{Q}}({\zeta}_{p^e})$, where p is a prime.

• Bulletin of the Korean Mathematical Society
• /
• v.61 no.1
• /
• pp.45-64
• /
• 2024

Let G be a finite group, K a split field for G, and L a linear map from K[G] to K. In our paper, we first give sufficient and necessary conditions for Ker L and Ker L ∩ Z(K[G]), respectively, to be Mathieu-Zhao spaces for some linear maps L. Then we give equivalent conditions for Ker L to be Mathieu-Zhao spaces of K[G] in term of the degrees of irreducible representations of G over K if G is a finite Abelian group or G has a normal Sylow p-subgroup H and L are class functions of G/H. In particular, we classify all Mathieu-Zhao spaces of the finite Abelian group algebras if K is a split field for G.

• 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 Korean Mathematical Society
• /
• v.52 no.2
• /
• pp.269-331
• /
• 2015

For a fixed positive integer g, we let $\mathcal{P}_g=\{Y{\in}\mathbb{R}^{(g,g)}{\mid}Y=^tY>0\}$ be the open convex cone in the Euclidean space $\mathbb{R}^{g(g+1)/2}$. Then the general linear group GL(g, $\mathbb{R}$) acts naturally on $\mathcal{P}_g$ by $A{\star}Y=AY^tA(A{\in}GL(g,\mathbb{R}),\;Y{\in}\mathcal{P}_g)$. We introduce a notion of polarized real tori. We show that the open cone $\mathcal{P}_g$ parametrizes principally polarized real tori of dimension g and that the Minkowski modular space 𝔗g = $GL(g,\mathbb{Z}){\backslash}\mathcal{P}_g$ may be regarded as a moduli space of principally polarized real tori of dimension g. We also study smooth line bundles on a polarized real torus by relating them to holomorphic line bundles on its associated polarized real abelian variety.

• Journal of applied mathematics & informatics
• /
• v.10 no.1_2
• /
• pp.167-174
• /
• 2002

A group G is said to be (l, n, n)-generated if it is a quotient group of the triangle group T(p,q,r)=(x,y,z|x$\^$p/=y$\^$q/=z$\^$r/=xyz=1). In [15], the question of finding all triples (l, m, n) such that non-abelian finite simple groups are (l , m, n)-generated was posed. In this paper we partially answer this question for the sporadic group He. We continue the study of (p, q, r) -generations of the sporadic simple groups, where p, q, r are distinct primes. The problem is resolved for the Held group He.

• Journal of applied mathematics & informatics
• /
• v.12 no.1_2
• /
• pp.143-154
• /
• 2003

A finite group G is called (l, m, n)-generated, if it is a quotient group of the triangle group T(l, m, n) = 〈$\chi$, y, z│$\chi$$\^$l/ = y$\^$m/ = z$^n$ = $\chi$yz = 1〉. In [19], the question of finding all triples (l, m, n) such that non-abelian finite simple group are (l, m, n)-generated was posed. In this paper we partially answer this question for the sporadic group Ru. In fact, we prove that if p, q and r are prime divisors of │Ru│, where p < q < r and$.$(p, q) $\neq$ (2, 3), then Ru is (p, q, r)-generated.

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

• Korean Journal of Mathematics
• /
• v.20 no.2
• /
• pp.213-223
• /
• 2012

In this paper, we will prove the superstability of the following generalized Pexider type exponential equation $${f(x+y)}^m=g(x)h(y)$$, where $f,g,h\;:\;G{\rightarrow}\mathbb{R}$ are unknown mappings and $m$ is a fixed positive integer. Here G is an Abelian group (G, +), and $\mathbb{R}$ the set of real numbers. Also we will extend the obtained results to the Banach algebra. The obtained results are generalizations of P. G$\check{a}$vruta's result in 1994 and G. H. Kim's results in 2011.

• Journal of the Korean Mathematical Society
• /
• v.34 no.3
• /
• pp.673-693
• /
• 1997

In this work, the irreducible complex representations of degree 4 of $B_4$, the braid group on 4 strings, are classified. There are 4 families of representations: A two-parameter family of representations for which the image of $P_4$, the pure braid group on 4 strings, is abelian; two families of representations which are the composition of an irreducible representation of $B_3$, the braid group on 3 strings, with a certain special homomorphism $\pi : B_4 \longrightarrow B_3$; a family of representations which are the tensor product of 2 irreducible two-dimensional representations of $B_4$.

• Communications of the Korean Mathematical Society
• /
• v.33 no.4
• /
• pp.1075-1082
• /
• 2018

Let R be a commutative ring, G be an Abelian group, and let RG be the group ring. We say that RG is a U-group ring if a is a unit in RG if and only if ${\epsilon}(a)$ is a unit in R. We show that RG is a U-group ring if and only if G is a p-group and $p{\in}J(R)$. We give some properties of U-group rings and investigate some properties of well known rings, such as Hermite rings and rings with stable range, in the presence of U-group rings.