第一类初等n*n矩阵是 对角线上全部都是1,而非对角线上至多有1个数非零的矩阵
证明域F上的第一类初等n*n矩阵生成SL(n,F)。
这个是Artin Algebra第二章的练习,但做到了凌晨3点也没有头绪,google了一下也没有什么结果。
我的方法是证明det A=1的A可以只用一行加到另一行的初等行运算弄出来,这个对2*2不难证明,但推广到n*n就比较nasty了:实在有太多细节需要证明+思考
证明域F上的第一类初等n*n矩阵生成SL(n,F)。
这个是Artin Algebra第二章的练习,但做到了凌晨3点也没有头绪,google了一下也没有什么结果。
我的方法是证明det A=1的A可以只用一行加到另一行的初等行运算弄出来,这个对2*2不难证明,但推广到n*n就比较nasty了:实在有太多细节需要证明+思考