Abstract
B. M. Schein([1]) considered systems of the form (${\Phi}$; ${\circ}$,-), where ${\Phi}$ is a set of functions closed under the composition "${\circ}$" of functions and the set theoretic subtraction "-". In this structure, (${\Phi}$; ${\circ}$) is a function semigroup and (${\Phi}$;-) is a subtraction algebra in the sense of [1]. He proved that every subtraction semigroup is isomorphic to a difference semigroup of invertible functions. Also this structure is closely related to the mathematical logic, Boolean algebra, Bck-algera, etc. In this paper, we define the near subtraction semigroup as a generalization of the subtraction semigroup, and define the notions of strong for it, and then we will search the general properties of this structure, the properties of ideals, and the application of it.
B.M. Schen([2])은 함수의 합성 "${\circ}$" 과 차집합 연산 "-"에 대하여 닫혀있는 함수들의 집합 ${\Phi}$에서의 대수적 구조인 subtraction semigroup (${\Phi}$; ${\circ}$,-)를 정의하였다. 이 구조에서 (${\Phi}$; ${\circ}$)는 semgroup, (${\Phi}$; -)는 [1]에서 정의한 subtraction algebra를 이룬다. B.M. Schen은 [2]에서 모든 subtraction semigroup은 invertible function들의 difference semigroup과 동형이라는 사실을 밝혔다. 본 논문에서는 이 subtraction semigroup의 일반화로써 near subtraction semigroupd을 정의하고 이의 한 특수한 형태인 strong near subtraction semigroup의 개념을 정의하여 이들의 일반적인 성질과 ideal의 특성을 조사하고 이들의 응용도를 조사하고자 한다.