离散数学中一个关于群和子群的证明题
问题描述:
离散数学中一个关于群和子群的证明题
设,
答
设, 但是s不属于.则s*t都不属于和,因为s属于,是群,s的逆s^(-1)也属于,t=[s^(-1)]*(s*t)也属于,矛盾.所以G中必有元素既不在S中也不在T.