• The Pure and Applied Mathematics
• /
• v.4 no.1
• /
• pp.93-96
• /
• 1997

An atomic integral domain R is a half-factorial domain (HFD) if whenever $\chi_1$… $\chi_{m}=y_1$…$y_n$ with each $\chi_{i},y_j \in R$ irreducible, then m = n. In this paper, we show that if R[X] is an HFD, then $Cl_{t}(R)$ $\cong$ $Cl_{t}$(R[X]), and if $G_1$ and $G_2$ are torsion abelian groups, then there exists a Dedekind HFD R such that Cl(R) = $G_1\bigoplus\; G_2$.

• Communications of the Korean Mathematical Society
• /
• v.9 no.3
• /
• pp.521-529
• /
• 1994

This paper studies the realization of irreducible unitary representations of $GL_2(R)$ and $GL_2(C)$ by Bargmann's classification[1]. Since the representations of general matrix groups can be obtained by the extensions of characters of a special linear group, we shall follow to a large extent the pattern of the results in [5], [6], and [8]. This article is divided into two sections. In the first section we describe the realization of principal series and discrete series and complementary series of $GL_2(R)$. The last section is devoted to the derivation of principal series and complementary series of $GL_2(C).

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

Let G be an infinite countable group and A be a finite set. If Σ ⊆ A^G is a strongly irreducible subshift of finite type and 𝓖 is the local conjugacy equivalence relation on Σ. We construct a decreasing sequence 𝓡 of unital C^*-subalgebras of C(Σ) and a sequence of faithful conditional expectations E defined on C(Σ), and obtain a Toeplitz algebra 𝓣 (𝓡, 𝓔) and a C^*-algebra C^*(𝓡, 𝓔) for the pair (𝓡, 𝓔). We show that C^*(𝓡, 𝓔) is *-isomorphic to the reduced groupoid C^*-algebra C^*_r(𝓖).

• Kyungpook Mathematical Journal
• /
• v.56 no.3
• /
• pp.669-682
• /
• 2016

In this paper, we study the cellular structure of the G-edge colored partition algebras, when G is a finite group. Further, we classified all the irreducible representations of these algebras using their cellular structure whenever G is a finite cyclic group. Also we prove that the ${\mathbb{Z}}/r{\mathbb{Z}}$-Edge colored partition algebras are quasi-hereditary over a field of characteristic zero which contains a primitive $r^{th}$ root of unity.

• Journal of the Chungcheong Mathematical Society
• /
• v.23 no.4
• /
• pp.699-704
• /
• 2010

In this paper, we prove that the Hilbert 2-class field tower of an imaginary quadratic function field $F=k({\sqrt{D})$ is infinite if $r_2({\mathcal{C}}(F))=4$ and exactly one monic irreducible divisor of D is of odd degree, except for one type of $R{\acute{e}}dei$ matrix of F. We also compute the density of such imaginary quadratic function fields F.

• Journal of the Korean Mathematical Society
• /
• v.57 no.4
• /
• pp.1019-1030
• /
• 2020

Efficient computation of r-th root in 𝔽_q has many applications in computational number theory and many other related areas. We present a new r-th root formula which generalizes Müller's result on square root, and which provides a possible improvement of the Cipolla-Lehmer type algorithms for general case. More precisely, for given r-th power c ∈ 𝔽_q, we show that there exists α ∈ 𝔽_q^r such that $$Tr{\left(\begin{array}{cccc}{{\alpha}^{{\frac{({\sum}_{i=0}^{r-1}\;q^i)-r}{r^2}}}\atop{\text{ }}}\end{array}\right)}^r=c,$$ where $Tr({\alpha})={\alpha}+{\alpha}^q+{\alpha}^{q^2}+{\cdots}+{\alpha}^{q^{r-1}}$ and α is a root of certain irreducible polynomial of degree r over 𝔽_q.

• Kyungpook Mathematical Journal
• /
• v.61 no.1
• /
• pp.11-21
• /
• 2021

We study the structure of rings whose factor rings modulo nonzero proper ideals are right duo; such rings are called right FD. We first see that this new ring property is not left-right symmetric. We prove for a non-prime right FD ring R that R is a subdirect product of subdirectly irreducible right FD rings; and that R/N∗(R) is a subdirect product of right duo domains, and R/J(R) is a subdirect product of division rings, where N∗(R) (J(R)) is the prime (Jacobson) radical of R. We study the relation among right FD rings, division rings, commutative rings, right duo rings and simple rings, in relation to matrix rings, polynomial rings and direct products. We prove that if a ring R is right FD and 0 ≠ e2 = e ∈ R then eRe is also right FD, examining that the class of right FD rings is not closed under subrings.

• Korean Journal of Mathematics
• /
• v.19 no.4
• /
• pp.403-407
• /
• 2011

In this paper, we study Noetherian Boolean rings. We show that if R is a Noetherian Boolean ring, then R is finite and $R{\simeq}(\mathbb{Z}_2)^n$ for some integer $n{\geq}1$. If R is a Noetherian ring, then R/J is a Noetherian Boolean ring, where J is the intersection of all ideals I of R with |R/I| = 2. Thus R/J is finite, and hence the set of ideals I of R with |R/I| = 2 is finite. We also give a short proof of Hayes's result : For every polynomial $f(x){\in}\mathbb{Z}[x]$ of degree $n{\geq}1$, there are irreducible polynomials $g(x)$ and $h(x)$, each of degree $n$, such that $g(x)+h(x)=f(x)$.

• Journal of the Korean Mathematical Society
• /
• v.37 no.3
• /
• pp.359-369
• /
• 2000

Let X be an integral Gorenstein projective curve with g:=pa(X) $\geq$ 3. Call $G^r_d$ (X,**) the set of all pairs (L,V) with L$\epsilon$Pic(X), deg(L) = d, V $\subseteq$ H^0$(X,L), dim(V) =r+1 and V spanning L. Assume the existence of integers d, r with 1 $\leq$ r$\leq$ d $\leq$ g-1 such that there exists an irreducible component, , of $G^r_d$(X,**) with dim($\Gamma$) $\geq$ d - 2r and such that the general L$\geq$$\Gamma$ is spanned at every point of Sing(X). Here we prove that dim( ) = d-2r and X is hyperelliptic.

• Kyungpook Mathematical Journal
• /
• v.50 no.1
• /
• pp.1-5
• /
• 2010

Let P be a prime ideal of a commutative unital ring R; X an indeterminate; D := R/P; L the quotient field of D; F an algebraic closure of L; ${\alpha}$ ${\in}$ L[X] a monic irreducible polynomial; ${\xi}$ any root of in F; and Q = ${\alpha}$>, the upper to P with respect to ${\alpha}$. Then R[X]/Q is R-algebra isomorphic to $D[{\xi}]$; and is R-isomorphic to an overring of D if and only if deg(${\alpha}$) = 1.