问答题 设G的运算表如表所示，问G是否为循环群，如果是，求出它所有的生成元和子群。

问答题 设G为模12加群，求在G中的所有左陪集。

问答题 设A，B为任意的命题公式，证明：AB当且仅当AB。