离散数学中一个关于群和子群的证明题设,是群的两个互不包含的子群,证明G中必有元素既不在S中也不在T中
问题描述：
离散数学中一个关于群和子群的证明题
设,
答
也等于说S,T.是G的真孑集另有一个集合K是S,T关于G的补集 这分明是成立的
答
设, 但是s不属于.则s*t都不属于和,因为s属于,是群,s的逆s^(-1)也属于,t=[s^(-1)]*(s*t)也属于,矛盾.所以G中必有元素既不在S中也不在T.