<abstract xml:lang="en" xmlns="http://www.w3.org/1999/xhtml"><p>In this article the notion of the power of an element of BCI-algebra and its period in the book [11], sections 1.4 to 1.5 are firstly given. Then the definition of BCI-homomorphism is defined and the fundamental theorem of homomorphism, the first isomorphism theorem and the second isomorphism theorem are proved following the book [9], section 1.6.</p><p>MML identifier: BCIALG 6, version: 7.9.03 4.108.1028</p></abstract>

In this article the notion of the power of an element of BCI-algebra and its period in the book [11], sections 1.4 to 1.5 are firstly given. Then the definition of BCI-homomorphism is defined and the fundamental theorem of homomorphism, the first isomorphism theorem and the second isomorphism theorem are proved following the book [9], section 1.6.MML identifier: BCIALG 6, version: 7.9.03 4.108.1028

BCI-homomorphisms

Qingdao University of Science and Technology, China

Formalized Mathematics

{"article-title":"BCI-homomorphisms"}

In this article the notion of the power of an element of BCI-algebra and its period in the book [11], sections 1.4 to 1.5 are firstly given. Then the...

BCI-homomorphisms

Data publikacji: 20 mar 2009

Zakres stron: 371 - 376

DOI: https://doi.org/10.2478/v10037-008-0045-8

This content is open access.