陵21世纪教材 不难证明下列定理: 定理73.1若半群<S,⊙>和<T,O>是可 交换的,则<S×T,⑧>也是可交换的。 定理732给定半群<S,⊙>和<T,O 且e1和2分别是它们的幺元,则积半群S×T, >含有幺元<1,e2>。换言之,若<S,⊙,e1>和 <T,O,e2>是独异点,则<S×T,⑧ 是独异点。 PT PRESS 人民邮电出版社不难证明下列定理： 定理7.3.1 若半群<S，⊙>和<T，○>是可 交换的，则<S×T，>也是可交换的。 定理7.3.2 给定半群<S，⊙>和<T，○>， 且e1和e2分别是它们的幺元，则积半群<S×T， >含有幺元<e1，e2>。换言之，若<S，⊙，e1>和 <T，○，e2>是独异点，则<S×T，，<e1， e2>>是独异点