请输入您要查询的字词:

 

单词 ARepresentationWhichIsNotCompletelyReducible
释义

a representation which is not completely reducible


If G is a finite groupMathworldPlanetmath, and k is a field whose characteristic does divide the order of the group, then Maschke’s theorem fails. For example let V be the regular representationPlanetmathPlanetmath of G, which can be thought of as functions from G to k, with the G action gφ(g)=φ(g-1g). Then this representationPlanetmathPlanetmath is not completely reducible.

There is an obvious trivial subrepresentation W of V, consisting of the constant functions. I claim that there is no complementary invariant subspace to this one. If W is such a subspacePlanetmathPlanetmath, then there is a homomorphismPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmath φ:VV/Wk. Now consider the characteristic functionMathworldPlanetmathPlanetmathPlanetmath of the identityPlanetmathPlanetmathPlanetmath eG

δe(g)={1g=e0ge

and =φ(δe) in V/W. This is not zero since δ generates the representation V. By G-equivarience, φ(δg)= for all gG. Since

η=gGη(g)δg

for all ηV,

W=φ(η)=(gGη(g)).

Thus,

kerφ={ηV|Gη(g)=0}.

But since the characteristic of the field k divides the order of G, WW, and thus could not possibly be complementary to it.

For example, if G=C2={e,f} then the invariant subspace of V is spanned by e+f. For characteristics other than 2, e-f spans a complementary subspace, but over characteristic 2, these elements are the same.

随便看

 

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

 

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