Characterizations of semihoops based on derivations  

作　　者：WANG Mei ZHANG Xiao-hong 

机构地区：[1]School of Electrical and Control Engineering,Shaanxi University of Science and Technology,Xi'an 710021,China [2]School of Arts and Sciences,Shaanxi University of Science and Technology,Xi'an 710021,China [3]School of Mathematics and Statistics,Weinan Normal University,Weinan 714099,China

出　　处：《Applied Mathematics(A Journal of Chinese Universities)》2024年第2期291-310,共20页高校应用数学学报（英文版）（B辑）

基　　金：Supported by the National Natural Science Foundation of China(12271319).

摘　　要：In this paper,we discuss the related properties of some particular derivations in semihoops and give some characterizations of them.Then,we prove that every Heyting algebra is isomorphic to the algebra of all multiplicative derivations and show that every Boolean algebra is isomorphic to the algebra of all implicative derivations.Finally,we show that the sets of multiplicative and implicative derivations on bounded regular idempotent semihoops are in oneto-one correspondence.

关 键 词：(prelinear)semihoop DERIVATION Heyting algebra Galois connection 

分 类 号：O153.3[理学—数学]