BCK-대수와 BCI-대수에 관하여

Abstract

본 연구에서는 수학적 구조 가운데서 대수적 구조의 한 분야인 BCK-대수와 BCI-대수에 대하여 다음 사항들을 알아보았다. (1) BCK-대수를 소개하고 몇 가지 예를 들었다. (2) BCK-대수의 성질 가운데서 ideal, implicative ideal, Kernel에 관한 간단한 성질들을 증명하여 보았다. (3) BCK-대수 사이의 homomorphism을 살피고 이것에서 유도되는 정리들을 증명하여 보았다. (4) BCI-대수를 소개하고 몇 가지 예를 들었다. (5) BCI-대수의 성질 가운데에서 포함관계, (x * y) * z = (x * z) * y 및 간단한 성질들을 증명하여 보았다. (6) BCK-대수와 BCI-대수의 관계를 알아보고 이 정리들을 증명하여 보았다.;In this paper, we study following items of BCK, BCI-algebra, a field of algebra structures. 1) BCK-algebra and some examples. 2) The nature of BCK-algebra with viewpoint of ideal, implicative ideal, kernel and other some simple properties. 3) Homomorphism of BCK-algebra and several theorems derived from it. 4) BCI-algebra and some examples. 5) The nature of BCI-algebra with viewpoint of inclusion, (x * y) * z = (x * z) * y and other some simple properties 6) The relationship between BCK, BCI-algebra and those theorems.