自由BCI代數

自由BCI代數(free BCI-algebra)一類與自由代數相仿的有生成元集的BCI代數.設X是一非空集合,BCI (BCK)代數T稱為由X生成的自由BCI (BCK)代數,若存在映射f : X->T,使得對任意BCI (BCK)代數A及任意映射g:X-->A,均存在惟一的BCI(BCK)同態}7: T->A使得}=}7f.任一BCI (BCK )代數均為自由BCI ( BCK)代數的同態像;每一非空子集X都存在一個且只存在一個由X生成的自由BCI ( BCK)代數(在同構意義下).
自由BCI代數

相關詞條

熱門詞條

聯絡我們