• East Asian mathematical journal
• /
• v.5 no.2
• /
• pp.191-198
• /
• 1989

It is shown that a near-ring N which has no nonzero nilpotent elements is a partially ordered set where $x{\leq}y$ if and only if $yx=x^2$. Also it is shown that $(N,{\leq})$ is infinitely distributive for central elements that is $r(supx_i)=sup(rx_i)$ for every central element r of N and any subset $\{x_i\}$ of N. By using some lemmas we showed that a near-ring without nilpotent elements is isomorphic to a direct product of near-fields if and only if N is hyperatomic and orthogonally complete under the condition that every idempotent of N is central.

• Bulletin of the Korean Mathematical Society
• /
• v.39 no.1
• /
• pp.175-184
• /
• 2002

A Cellular embedding of a graph G into an orientable surface S can be considered as a cellular decomposition of S into 0-cells, 1-cells and 2-cells and vise versa, in which 0-cells and 1-cells form a graph G and this decomposition of S is called a map in S with underlying graph G. For a map M with underlying graph G, we define a natural rotation on the line graph of the graph G and we introduce the line map for M. we find that genus of the supporting surface of the line map for a map and we give a characterization for the line map to be embedded in the sphere. Moreover we show that the line map for any life of a map M is map-isomorphic to a lift of the line map for M.

• Bulletin of the Korean Mathematical Society
• /
• v.35 no.3
• /
• pp.491-501
• /
• 1998

If N is any cartesian product of a closed simply connected n-manifold $N_1$ and a closed aspherical m-manifold $N_2$, then N is a codimension 2 fibrator. Moreover, if N is any closed hopfian PL n-manifold with $\pi_iN=0$ for $2 {\leq} i < m$, which is a codimension 2 fibrator, and $\pi_i N$ is normally cohopfian and has no proper normal subroup isomorphic to $\pi_1 N/A$ where A is an abelian normal subgroup of $\pi_1 N$, then N is a codimension m PL fibrator.

• Journal of the Chungcheong Mathematical Society
• /
• v.15 no.2
• /
• pp.1-12
• /
• 2003

L. H. Encinas, A. J. Menezes, and J. M. Masque in [2] proposed a classification of isomorphism classes of hyperelliptic curve of genus 2 over finite fields with characteristic different from 2 and 5. Y. Choie and D. Yun in [1] obtained for the number of isomorphic classes of hyperelliptic curves of genus 2 over $F_q$ using direct counting method. In this paper we will classify the isomorphism classes of hyperelliptic curves of genus 2 over $F_{2^n}$ for odd n, represented by an equation of the form $y^2+a_5y=x^5+a_8x+a_{10}(a_5{\neq}0)$.

• Honam Mathematical Journal
• /
• v.37 no.2
• /
• pp.187-205
• /
• 2015

We discuss the relationship between interval-valued fuzzy ideals and interval-valued fuzzy congruence on a distributive lattice L and show that for a generalized Boolean algebra the lattice of interval-valued fuzzy ideals is isomorphic to the lattice of interval-valued fuzzy congruences. Finally we consider the products of interval-valued fuzzy ideals and obtain a necessary and sufficient condition for an interval-valued fuzzy ideal on the direct sum of lattices to be representable as a direct sum of interval-valued fuzzy ideals on each lattice.

• Journal of the Chungcheong Mathematical Society
• /
• v.10 no.1
• /
• pp.127-139
• /
• 1997

The spherical non-commutative $\mathbb{S}_{\omega}$ were defined in [2,3]. Assume that no non-trivial matrix algebra can be factored out of the $\mathbb{S}_{\omega}$, and that the fibres are isomorphic to the tensor product of a completely irrational non-commutative torus with a matrix algebra $M_k(\mathbb{C})$. It is shown that the tensor product of the spherical non-commutative torus $\mathbb{S}_{\omega}$ with the even Cuntz algebra $\mathcal{O}_{2d}$ has a trivial bundle structure if and only if k and 2d - 1 are relatively prime, and that the tensor product of the spherical non-commutative torus $S_{\omega}$ with the generalized Cuntz algebra $\mathcal{O}_{\infty}$ has a non-trivial bundle structure when k > 1.

• East Asian mathematical journal
• /
• v.36 no.3
• /
• pp.337-347
• /
• 2020

Let R be a ring with unity, and let I be an ideal of R. Then R is called I-semiregular if for every a ∈ R there exists b ∈ R such that ab is an idempotent of R and a - aba ∈ I. In this paper, basic properties of I-semiregularity are investigated, and some equivalent conditions to the primitivity of e are observed for an idempotent e of an I-semiregular ring R such that I∩eR = (0). For an abelian regular ring R with the ascending chain condition on annihilators of idempotents of R, it is shown that R is isomorphic to a direct product of a finite number of division rings, as a consequence of the observations.

• Kyungpook Mathematical Journal
• /
• v.57 no.4
• /
• pp.631-640
• /
• 2017

The aim of this paper is to introduce the binomial sequence spaces $b_0^{r,s}(\nabla)$, $b_c^{r,s}(\nabla)$ and $b_{\infty}^{r,s}(\nabla)$ by combining the binomial transformation and difference operator. We prove that these spaces are linearly isomorphic to the spaces $c_0$, c and ${\ell}_{\infty}$, respectively. Furthermore, we compute the Schauder bases and the ${\alpha}-$, ${\beta}-$ and ${\gamma}-duals$ of these sequence spaces.

• Kyungpook Mathematical Journal
• /
• v.48 no.3
• /
• pp.487-493
• /
• 2008

A. Di Nola & S.Sessa [8] showed that two compact spaces X and Y are homeomorphic iff the MV -algebras C(X, I) and C(Y, I) of continuous functions defined on X and Y respectively are isomorphic. And they proved that A is a semisimple MV -algebra iff A is a subalgebra of C(X) for some compact Hausdorff space X. In this paper, firstly by use of functorial argument, we show these characterization theorems. Furthermore we obtain some other functorial results between topological spaces and MV -algebras. Secondly as a classical problem, we find a necessary and sufficient condition on a given residuated l-monoid that it is segmenently embedded into an l-group with order unit.

• Bulletin of the Korean Mathematical Society
• /
• v.23 no.2
• /
• pp.117-121
• /
• 1986

Connes [2] showed that if M is an injective .sigma.-finite factor of type II $I_{1}$ and $B_{\phi}$=C1 for some normal faithful state .phi. on M then M is isomorphic to the Araki-wood factor. In [7], Haagerup has succeeded to show that if M is an injective factor of type II $I_{1}$ with separable predual, then $B_{\phi}$=C1 for every normal faithful state on M. Since injective factors of type II $I_{\lambda}$, 0.leq..lambda.<1, were classified [9], this together classifies all injective factors of type III with separable predual. It is not known for non-injective case. In this paper we consider some conditions under which the bicentralizers be trivial.ivial.