单项选择题 设〈Nn，+n〉是一个代数系统，其中Nn={0，1，2，…n-1}，+n为模n加运算，问〈N4，+4〉（）〈N6，+6〉的子代数。

问答题 证明：独异点元素可逆当且仅当它是幺元的因子（若代数结构〈S，*〉中的元素s=s1*s2，则称s1，s2为s的因子.

问答题 证明：循环半群必定是交换半群。