如何证明下面的近世代数问题？ 第1页
1
wsheep 网友的相关建议:
任 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.
du-ji-shen-40 网友的相关建议:
注意到
csq1001 网友的相关建议:
首先考虑 的逆元全体组成的集合 . 这个集合和 有一样多的元素, 所以根据容斥原理, 这个集合和 的交是非空的. 于是有 或者 .
对一般的 , 把上面的 改为 , 我们得到 或 . 证毕.
1
相关话题
剩余类环的所有理想怎么求？同调群在拓扑以外有什么应用？
有没有对于各种榫卯结构，在数学上的研究?
为什么群元素要相乘，而不是其他运算呢？
被人问，数学上为什么减去一个负数等于加它的相反数（这种规定从何而来）？
负数与负数相乘为什么会得正？
G是一个单群，H<G,[G:H]<=4,证|G|<=3?
(G/H)×H是否同构于G？
同调群在拓扑以外有什么应用？
如何证明 √2 + √3 + √5 是无理数？
前一个讨论
学物理的男生喜欢什么样的女孩？
下一个讨论
这道题该怎么解?
相关的话题
如何理解群表现？如何理解抽象代数的用途？
学习数论图论有必要先学抽代和高代吗？
若K是一个数域。a+bi∈K，(a≠0,b≠0)。请问a和b一定属于K吗？
交错群An(n大于等于5)是单群理解上有个小问题，大家怎么看？
为何从一元五次方程开始就没有由有限次加、减、乘、除、开方运算构成的求根公式了？
在线性代数中如何用几何表示非方阵矩阵相乘？
为什么实系数多项式方程的虚数解总是成对出现？
为何从一元五次方程开始就没有由有限次加、减、乘、除、开方运算构成的求根公式了？
O是八面体群，则SO(3)/O如何理解，有何意义？
椭圆曲线群结构结合律证明有没有不爆算的巧妙证明？
这个多项式问题从何入手进行求解？
Z^n的所有子群怎么求？
为什么伽罗瓦19岁就发明的群论，绝大多数那个专业的研究生终其一生都学不会？
n整除Phi(p^n-1)，怎么证明？
如何直观地理解群论？
为什么感觉群论学起来比数学分析之类难好多？
在线性代数中如何用几何表示非方阵矩阵相乘？
如何把微信群/QQ群构造成一个阿贝尔群？
减一个负数，为什么是加这个数的相反数呢？
为什么伽罗瓦19岁就发明的群论，绝大多数那个专业的研究生终其一生都学不会？
叶戈罗夫定理的逆定理该怎么证明？
有哪些适合粒子物理方向的群论书籍？
能否求出n次对称群中置换的最大阶？
如何利用群论的知识解决三阶魔方？
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
如何直观地理解群论？
n整除Phi(p^n-1)，怎么证明？
在线性代数中如何用几何表示非方阵矩阵相乘？
如何证明下面的群是奇数阶Abel群？