首页 > 中学数学试题 > 题目详情
抽象代数定理:设M是一个有代数运算的集合,则M的全体自同构关于变换的乘法作成一个群.证:设是M的任意两个自同构,则对M中
题目内容:
抽象代数定理:设M是一个有代数运算的集合,则M的全体自同构关于变换的乘法作成一个群.
证:设是M的任意两个自同构,则对M中任二元素a,b有
δτ(ab) =δ [τ(ab)] =δ [τ(a)τ(b)]=δτ(a).δτ(b),
即乘积 也是M的一个自同构.
又因对M中任意元素x有 δ(δ^(-1)(x))=(δ^(-1)δ)(x)=x
故
δ^(-1)(ab) =δ^(-1)[δδ^(-1)(a)δδ^(-1)(b)] =δ^(-1) [δ(δ^(-1)(a)δ^(-1)(b)] = δ^(-1)(a)δ^(-1)(b),
即也是M的自同构.因此,M的全体自同构作成M上的对称群S(M).
(证毕)
怎么理解“ 也是M的一个自同构.” Thank you!
抽象代数定理:设M是一个有代数运算的集合,则M的全体自同构关于变换的乘法作成一个群.
证:设是M的任意两个自同构,则对M中任二元素a,b有
δτ(ab) =δ [τ(ab)] =δ [τ(a)τ(b)]=δτ(a).δτ(b),
即乘积 也是M的一个自同构.
又因对M中任意元素x有 δ(δ^(-1)(x))=(δ^(-1)δ)(x)=x
故
δ^(-1)(ab) =δ^(-1)[δδ^(-1)(a)δδ^(-1)(b)] =δ^(-1) [δ(δ^(-1)(a)δ^(-1)(b)] = δ^(-1)(a)δ^(-1)(b),
即也是M的自同构.因此,M的全体自同构作成M上的对称群S(M).
(证毕)
怎么理解“ 也是M的一个自同构.” Thank you!
证:设是M的任意两个自同构,则对M中任二元素a,b有
δτ(ab) =δ [τ(ab)] =δ [τ(a)τ(b)]=δτ(a).δτ(b),
即乘积 也是M的一个自同构.
又因对M中任意元素x有 δ(δ^(-1)(x))=(δ^(-1)δ)(x)=x
故
δ^(-1)(ab) =δ^(-1)[δδ^(-1)(a)δδ^(-1)(b)] =δ^(-1) [δ(δ^(-1)(a)δ^(-1)(b)] = δ^(-1)(a)δ^(-1)(b),
即也是M的自同构.因此,M的全体自同构作成M上的对称群S(M).
(证毕)
怎么理解“ 也是M的一个自同构.” Thank you!
本题链接: