请输入您要查询的字词:

 

单词 CharacteristicSubgroup
释义

characteristic subgroup


If (G,*) is a group, then H is a characteristic subgroup of G (written HcharG) if every automorphismMathworldPlanetmathPlanetmathPlanetmathPlanetmathPlanetmath of G maps H to itself. That is, if fAut(G) and hH then f(h)H.

A few properties of characteristic subgroups:

  • If HcharG then H is a normal subgroupMathworldPlanetmath of G.

  • If G has only one subgroupMathworldPlanetmathPlanetmath of a given cardinality then that subgroup is characteristic.

  • If KcharH and HG then KG. (Contrast with normality of subgroups is not transitive.)

  • If KcharH and HcharG then KcharG.

Proofs of these properties:

  • Consider HcharG under the inner automorphismsMathworldPlanetmath of G. Since every automorphism preserves H, in particular every inner automorphism preserves H, and therefore g*h*g-1H for any gG and hH. This is precisely the definition of a normal subgroup.

  • Suppose H is the only subgroup of G of order n. In general, homomorphismsPlanetmathPlanetmathPlanetmathPlanetmath (http://planetmath.org/GroupHomomorphism) take subgroups to subgroups, and of course isomorphisms take subgroups to subgroups of the same order. But since there is only one subgroup of G of order n, any automorphism must take H to H, and so HcharG.

  • Take KcharH and HG, and consider the inner automorphisms of G (automorphisms of the form hg*h*g-1 for some gG). These all preserve H, and so are automorphisms of H. But any automorphism of H preserves K, so for any gG and kK, g*k*g-1K.

  • Let KcharH and HcharG, and let ϕ be an automorphism of G. Since HcharG, ϕ[H]=H, so ϕH, the restrictionPlanetmathPlanetmathPlanetmathPlanetmath of ϕ to H is an automorphism of H. Since KcharH, so ϕH[K]=K. But ϕH is just a restriction of ϕ, so ϕ[K]=K. Hence KcharG.

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 7:37:47