• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 1998년도 The Third Asian Fuzzy Systems Symposium
• /
• pp.531-536
• /
• 1998

It is well known that a Boolean algebra is one of the most important algebra for engineering. A fuzzy algebra, which is referred to also as a Kleen algebra, is obtained from a Boolean algebra by replacing the complementary law in the axioms of a Bloolean algebra with the Kleen's law, where the Kleen's law is a weaker condition than the complementary law. Removal of the Kleen's law from a Kleen algebra gives a De Morgan algebra. In this paper, we generate lattice structures of the above related algebraic systems having finite elements by using a computer. From the result, we could find out a hypothesis that the structure excepting for each element name between a Kleene algebra and a De Morgan algebra is the same from the lattice standpoint.

• Korean Journal of Mathematics
• /
• 제18권1호
• /
• pp.1-10
• /
• 2010

It is shown that for an almost algebra homomorphism between Banach algebras, there exists a unique algebra homomorphism near the almost algebra homomorphism. Moreover, we prove that for an almost algebra ${\ast}$-homomorphism between $C^{\ast}$-algebras, there exists a unique algebra ${\ast}$-homomorphism near the almost algebra ${\ast}$-homomorphism, and that for an almost algebra ${\ast}$-homomorphism between $JB^{\ast}$-algebras, there exists a unique algebra ${\ast}$-homomorphism near the almost algebra ${\ast}$-homomorphism.

• 충청수학회지
• /
• 제11권1호
• /
• pp.13-26
• /
• 1998

The purpose of this note is to study the relation between Heyting algebra and t-algebra which is the dual concept of BCK-algebra. We define t-algebra with binary operation ${\rhd}$ which is a generalization of the implication in the Heyting algebra, and define a bounded ness and commutativity of it, and then characterize a Heyting algebra and a Boolean algebra as a bounded commutative t-algebra X satisfying $x=(x{\rhd}y){\rhd}x$ for all $x,y{\in}X$.

• Kyungpook Mathematical Journal
• /
• 제53권2호
• /
• pp.175-184
• /
• 2013

In this paper, we introduce a BN-algebra, and we prove that a BN-algebra is 0-commutative, and an algebra X is a BN-algebra if and only if it is a 0-commutative BF-algebra. And we introduce a quotient BN-algebra, and we investigate some relations between BN-algebras and several algebras.

• 대한수학회지
• /
• 제39권1호
• /
• pp.1-11
• /
• 2002

A Schur algebra was generalized to projective Schur algebra by admitting twisted group algebra. A Schur algebra is a projective Schur algebra with trivial 2-cocycle. In this paper we study situations that Schur algebra is a projective Schur algebra with nontrivial cocycle, and we find a criterion for a projective Schur algebra to be a Schur algebra.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제28권3호
• /
• pp.217-234
• /
• 2021

In this paper, first we introduce the new class of HV-BE-algebra as a generalization of a (hyper) BE-algebra and prove some basic results and present several examples. Then, we construct the HV-BE-algebra associated to a BE-algebra (namely BL-BE-algebra) based on "Begins lemma" and investigate it.

• Journal of applied mathematics & informatics
• /
• 제42권1호
• /
• pp.207-212
• /
• 2024

In this paper, we study Malcev algebra bundles and Malcev algebra bundles of finite type. Lie algebra bundles and Lie transformation algebra bundles are defined using given Malcev algebra bundle and we conclude some results for finite type.

• 대한수학회보
• /
• 제52권5호
• /
• pp.1587-1606
• /
• 2015

Comonoid, bi-algebra, and Hopf algebra structures are studied within the universal-algebraic context of entropic varieties. Attention focuses on the behavior of setlike and primitive elements. It is shown that entropic $J{\acute{o}}nsson$-Tarski varieties provide a natural universal-algebraic setting for primitive elements and group quantum couples (generalizations of the group quantum double). Here, the set of primitive elements of a Hopf algebra forms a Lie algebra, and the tensor algebra on any algebra is a bi-algebra. If the tensor algebra is a Hopf algebra, then the underlying $J{\acute{o}}nsson$-Tarski monoid of the generating algebra is cancellative. The problem of determining when the $J{\acute{o}}nsson$-Tarski monoid forms a group is open.

• 호남수학학술지
• /
• 제29권2호
• /
• pp.119-192
• /
• 2007

A very important Hopf algebra is the graded Hopf algebra Symm of symmetric functions. It can be characterized as the unique graded positive selfdual Hopf algebra with orthonormal graded distinguished basis and just one primitive element from the distinguished basis. This result is due to Andrei Zelevinsky. A noncommutative graded Hopf algebra of this type cannot exist. But there is a most important positive graded Hopf algebra with distinguished basis that is noncommutative and that is twisted selfdual, the Malvenuto-Poirier-Reutenauer Hopf algebra of permutations. Thus the question arises whether there is a corresponding uniqueness theorem for MPR. This prepreprint records initial investigations in this direction and proves that uniquenees holds up to and including the degree 4 which has rank 24.

• 대한수학교육학회지:수학교육학연구
• /
• 제13권3호
• /
• pp.309-327
• /
• 2003

이 글은 대수 교육과정을 개선하려는 여러 움직임 가운데 초등수학을 중심으로 하는 ‘초기대수’(early algebra)에 관한 것이다. 초기대수는 중등학교 대수 교육과 관련해서 발생하는 여러 문제를 초등수학의 재음미를 통해 해결하려는 시도로, 이것은 1980년대 ‘대수적 사고’를 학교대수에서 강조하려는 움직임과 함께 시작한 것이다. 초기대수는 대수를 기호가 아닌 추론 측면에서 논의하는 것으로, 기호 이전에 등장한 대수적 사고와 학생들의 심리적 발달을 고려해서 그 지도 가능성이 제시되고 있다. 이러한 초기대수와 관련된 연구는 1990년대 이후 미국을 비롯해서 네덜란드와 호주 등 각국에서 현재 진행 중에 있다. 한편 이 글은 우리의 초등수학 교과서를 분석하고, 이를 통해 초기대수와의 관련성에 대해 논의하였으며, 대수 교육과정의 개선이 초등수학에서부터 단계적으로 시작될 수 있음을 강조하고 있다.