• Journal of applied mathematics & informatics
• /
• v.32 no.5_6
• /
• pp.849-856
• /
• 2014

In this paper we introduce the notion of medial B-algebras, and we obtain a fundamental theorem of B-homomorphism for B-algebras.

• The Mathematical Education
• /
• v.44 no.4 s.111
• /
• pp.547-563
• /
• 2005

There have been many papers reporting that the axiomatic approach in Abstract Algebra is a big obstacle to overcome for the students who are not trained to think in an abstract way. Therefore an instructor must seek for ways to help students grasp mathematical concepts in Abstract Algebra and select the ones suitable for students. Mathematics faculty and students generally consider Abstract Algebra in general and quotient groups in particular to be one of the most troublesome undergraduate subjects. For, an individual's knowledge of the concept of group should include an understanding of various mathematical properties and constructions including groups consisting of undefined elements and a binary operation satisfying the axioms. Even if one begins with a very concrete group, the transition from the group to one of its quotient changes the nature of the elements and forces a student to deal with elements that are undefined. In fact, we also have found through running abstract algebra courses for several years that students have considerable difficulty in understanding the concept of quotient groups. Based on the above observation, we explore and analyze the nature of students' knowledge about $Z_n$ that is the set of congruence classes modulo n. Applying the genetic decomposition method, we propose a model to lead students to achieve the correct concept of $Z_n$.

• Journal of the Korean Mathematical Society
• /
• v.52 no.4
• /
• pp.869-889
• /
• 2015

Let ${\Gamma}^+$ be the positive cone in a totally ordered abelian group ${\Gamma}$, and ${\alpha}$ an action of ${\Gamma}^+$ by extendible endomorphisms of a $C^*$-algebra A. Suppose I is an extendible ${\alpha}$-invariant ideal of A. We prove that the partial-isometric crossed product $\mathcal{I}:=I{\times}^{piso}_{\alpha}{\Gamma}^+$ embeds naturally as an ideal of $A{\times}^{piso}_{\alpha}{\Gamma}^+$, such that the quotient is the partial-isometric crossed product of the quotient algebra. We claim that this ideal $\mathcal{I}$ together with the kernel of a natural homomorphism $\phi:A{\times}^{piso}_{\alpha}{\Gamma}^+{\rightarrow}A{\times}^{iso}_{\alpha}{\Gamma}^+$ gives a composition series of ideals of $A{\times}^{piso}_{\alpha}{\Gamma}^+$ studied by Lindiarni and Raeburn.

• Communications of the Korean Mathematical Society
• /
• v.21 no.1
• /
• pp.27-36
• /
• 2006

In this paper, we establish a generalization of fundamental homomorphism theorem in BCK-algebras by using fuzzy BCK-filters. We prove that if ${\mu}$. (resp. v) is a fuzzy BCK-filter of abounded BCK-algebra X (resp. Y), then $\frac{X{\times}Y}{{\mu}{\times}v}{\approxeq}X/{\mu}{\times}Y/v;\;and\;if\;{\mu}$ and F is a BCK-filter in a bounded BCK-algebra X such that $F/{\mu}$ is a BCK-filter of $X/{\mu}$, then $\frac{X/{\mu}}{F/{\mu}}{\approxeq}X/F$.

• Kyungpook Mathematical Journal
• /
• v.32 no.3_spc
• /
• pp.635-642
• /
• 1992

• Journal of the Chungcheong Mathematical Society
• /
• v.26 no.2
• /
• pp.357-365
• /
• 2013

Fix $n-2$ elements $h_1,{\cdots},h_{n-2}$ of the quotient field B of the polynomial algebra $\mathbb{C}[x_1,x_2,{\cdots},x_n]$. It is proved that B is a Poisson algebra with Poisson bracket defined by $\{f,g\}=det(Jac(f,g,h_1,{\cdots},h_{n-2})$ for any $f,g{\in}B$, where det(Jac) is the determinant of a Jacobian matrix.

• Bulletin of the Korean Mathematical Society
• /
• v.52 no.3
• /
• pp.717-734
• /
• 2015

In this paper, we provide a classification of arithmetic functions in terms of identically-free-distributedness, determined by a fixed prime. We show then such classifications are free from the choice of primes. In particular, we obtain that the algebra $A_p$ of equivalence classes under the quotient on A by the identically-free-distributedness is isomorphic to an algebra $\mathbb{C}^2$, having its multiplication $({\bullet});(t_1,t_2){\bullet}(s_1,s_2)=(t_1s_1,t_1s_2+t_2s_1)$.

• Honam Mathematical Journal
• /
• v.44 no.2
• /
• pp.165-178
• /
• 2022

In this paper, Sheffer stroke BL-algebra and its properties are investigated. It is shown that a Cartesian product of two Sheffer stroke BL-algebras is a Sheffer stroke BL-algebra. After describing a filter of Sheffer stroke BL-algebra, a congruence relation on a Sheffer stroke BL-algebra is defined via its filter, and quotient of a Sheffer stroke BL-algebra is constructed via a congruence relation. Also, it is defined a homomorphism between Sheffer stroke BL-algebras and is presented its properties. Thus, it is stated that the class of Sheffer stroke BL-algebras forms a variety.

• Bulletin of the Korean Mathematical Society
• /
• v.53 no.2
• /
• pp.495-506
• /
• 2016

In this note we consider the monoid $\mathcal{PODI}_n$ of all monotone partial permutations on $\{1,{\ldots},n\}$ and its submonoids $\mathcal{DP}_n$, $\mathcal{POI}_n$ and $\mathcal{ODP}_n$ of all partial isometries, of all order-preserving partial permutations and of all order-preserving partial isometries, respectively. We prove that both the monoids $\mathcal{POI}_n$ and $\mathcal{ODP}_n$ are quotients of bilateral semidirect products of two of their remarkable submonoids, namely of extensive and of co-extensive transformations. Moreover, we show that $\mathcal{PODI}_n$ is a quotient of a semidirect product of $\mathcal{POI}_n$ and the group $\mathcal{C}_2$ of order two and, analogously, $\mathcal{DP}_n$ is a quotient of a semidirect product of $\mathcal{ODP}_n$ and $\mathcal{C}_2$.

• Communications of the Korean Mathematical Society
• /
• v.30 no.4
• /
• pp.385-402
• /
• 2015

In this paper we study the (good) semi-prime closure operations on ideals of a BCK-algebra, lower BCK-semilattice, Noetherian BCK-algebra and meet quotient ideal and then we give several theorems that make different (good) semi-prime closure operations. Moreover by given some examples we show that the given different notions are independent together, for instance there is a semi-prime closure operation, which is not a good semi-prime. Finally by given the notion of "$c_f$-Max X", we prove that every member of "$c_f$-Max X" is a prime ideal. Also we conclude some more related results.