陵21世纪教材 定义73.1给定两个半群<S,⊙>和<T, O>。称<S×T,⑧>为<S,Q>和<T,O>的积 半群,其中S×T为集合S与T的笛卡儿积,运算 ⑧定义如下: <s1,t1>⑧<2,t2>=s1⊙S2,t1○t2>,其中 S1,S2∈S,t1,t2∈T 由于运算⑧是经⊙和○定义的,易知,积 半群是个半群。 PT PRESS 人民邮电出版社定义7.3.1 给定两个半群<S，⊙>和<T， ○>。称<S×T，>为<S，⊙>和<T，○>的积 半群，其中S×T为集合S与T的笛卡儿积，运算 定义如下： <s1，t1><s2，t2>=<s1⊙s2，t1○t2>，其中 s1，s2∈S，t1，t2∈T 由于运算是经⊙和○定义的，易知，积 半群是个半群