周期BCK代数的极大元扩张与主理想

引入BCK代数的一种新的扩张方法———极大元扩张 ;