• Journal of the Chungcheong Mathematical Society
• /
• v.9 no.1
• /
• pp.1-9
• /
• 1996

In this paper, we consider the quotient algebra of BCI-semigroups, and obtain some isomorphism theorems of BCI-semigroups.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.11 no.3
• /
• pp.286-291
• /
• 2001

We inverstigate the properties of BL-hommorphisms on BL-algebras. In particular, we find the BL-algebra in duced by lattice-isomorphism. From these facts, we obtain the generalized Lukasiewicz structure. More-over, we study the properties of quotient BL-algebras and deductive systems.

• Kyungpook Mathematical Journal
• /
• v.52 no.4
• /
• pp.483-494
• /
• 2012

In this paper we study properties of commutative BE-algebras and we give the construction of quotient (X/I; *, I) of a commutative BE-algebra X via an obstinate ideal I of X. We construct upper semilattice and prove that is a nearlattice. Finally we define and study commutative ideals in BE-algebras.

• Journal of the Korean Mathematical Society
• /
• v.56 no.1
• /
• pp.1-23
• /
• 2019

Let ${\mathcal{G}}$ be an ultragraph and let $C^*({\mathcal{G}})$ be the associated $C^*$-algebra introduced by Tomforde. For any gauge invariant ideal $I_{(H,B)}$ of $C^*({\mathcal{G}})$, we approach the quotient $C^*$-algebra $C^*({\mathcal{G}})/I_{(H,B)}$ by the $C^*$-algebra of finite graphs and prove versions of gauge invariant and Cuntz-Krieger uniqueness theorems for it. We then describe primitive gauge invariant ideals and determine purely infinite ultragraph $C^*$-algebras (in the sense of Kirchberg-Rørdam) via Fell bundles.

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

We characterize the commutative Artinian rings R every proper quotient ring (respectively every proper ideal) in which is invariant with respect to all derivations.

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

In this paper, we show that if A is a Banach algebra with radical R and D is a left derivation on A then $D(A){\subset}R$ if and only if $Q_RD^n$ is continuous for all $n{\geq}1$, where $Q_R$ is the canonical quotient map from A onto A/R.

• Bulletin of the Korean Mathematical Society
• /
• v.55 no.4
• /
• pp.1037-1049
• /
• 2018

In this paper, we have first presented the construction of the linear characters of a finite Coxeter group $G_n$ of type $B_n$ by lifting all linear characters of the quotient group $G_n/[G_n,G_n]$ of the commutator subgroup $[G_n,G_n]$. Also we show that the sets of distinguished coset representatives $D_A$ and $D_{A^{\prime}}$ for any two signed compositions A, A' of n which are $G_n$-conjugate to each other and for each conjugate class ${\mathcal{C}}_{\lambda}$ of $G_n$, where ${\lambda}{\in}\mathcal{BP}(n)$, the equality ${\mid}{\mathcal{C}}_{\lambda}{\cap}D_A{\mid}={\mid}{\mathcal{C}}_{\lambda}{\cap}D_{A^{\prime}}{\mid}$ holds. Finally, we have given the general structure of units of Mantaci-Reutenauer algebra.

• Bulletin of the Korean Mathematical Society
• /
• v.35 no.1
• /
• pp.13-24
• /
• 1998

We define an LI-ideal of a lattice implication algebra and show that every LI-ideal is a lattice ideal. We give an exampl that a lattice ideal may not be an LI-ideal, and show that every lattice ideal is an LI-ideal in a lattice H implication algebra. we discuss the relationship between filters and LI-ideals, and study how to generate an LI-ideal by a set. We construct the quotient structure by using an LI-ideal, and study the properties of LI-ideals related to implication homomorphisms.

• The Mathematical Education
• /
• v.52 no.1
• /
• pp.97-109
• /
• 2013

Research in undergraduate mathematics education has been active very recently. The purpose of the paper is to investigate how college students make ion from some known informations about integer and rational numbers in algebra. Three college students were involved in the study. We analyze student's personal answers in order to find where their misunderstandings and difficulties come from based on the theoretical frameworks on mathematical understanding such as APOS-model and P-K-model. Finally we discuss about constructivist teaching ways for algebra and propose new paradigm for teaching undergraduate mathematics.

• Kyungpook Mathematical Journal
• /
• v.61 no.2
• /
• pp.223-237
• /
• 2021

Let n be a fixed natural number. Menger algebras of rank n can be regarded as a canonical generalization of arbitrary semigroups. This paper is concerned with studying algebraic properties of Menger algebras of rank n by first defining a special class of full n-place functions, the so-called a left translation, which possess necessary and sufficient conditions for an (n + 1)-groupoid to be a Menger algebra of rank n. The isomorphism parts begin with introducing the concept of homomorphisms, and congruences in Menger algebras of rank n. These lead us to establish a quotient structure consisting a nonempty set factored by such congruences together with an operation defined on its equivalence classes. Finally, the fundamental homomorphism theorem and isomorphism theorems for Menger algebras of rank n are given. As a consequence, our results are significant in the study of algebraic theoretical Menger algebras of rank n. Furthermore, we extend the usual notions of ordinary semigroups in a natural way.