任 g 是 G 的元素有 |g^{-1}A|=|A|. 又有 |B^-1|=|B|. 我们有
|g^{-1}A| + |B^-1| > |G|
从而 g^{-1}A 交 B^-1 不空. 存在 a,b 分别是 A,B 的元素使得
g^{-1}a=b^{-1}, 即 g=ab.
注意到
首先考虑 的逆元全体组成的集合 . 这个集合和 有一样多的元素, 所以根据容斥原理, 这个集合和 的交是非空的. 于是有 或者 .
对一般的 , 把上面的 改为 , 我们得到 或 . 证毕.
本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度,google,bing,sogou 等
© 2025 tinynews.org All Rights Reserved. 百科问答小站 版权所有