On the Group of p-endotrivial kG-modules
1 Introduction
The(absolutely)p-divisible kG-module is introduced by Benson and Carlson[1].It is a tool to study the decomposition of the tensor product of two kG-modules,and a tool to study nilpotent elements in the Green ring.Different from many other kinds of kG-modules,its definition is independent of many classical aspects for the group algebra kG,but only essentially depended on the prime number p,and its class is a big one,all(relative)projective kG-modules are p-divisible.
The endotrivial kG-module is named by Dade[2].It is a building block for the endopermutation modules which are the sources for the irreducible modules of many finite groups(see[3]),and it forms an important part for the Picard group of self-equivalences of the stable module category.In this paper,based on the p-divisible kG-module,we extend the ordinary endotrivial kG-module and the relative endotrivial kG-module to the p-endotrivial kG-module(see[2]–[4]).
The(indecomposable)p-endotrivial kG-module here,at the same time,is a special kind of the splitting trace module(see[5]),that is,the kG-module V such that the trace map Tr:End(V)→k is split,and Auslander and Carlson[5]proved that the tensor of the splitting trace module V with the almost-split sequence for the trivial kG-module k cannot be split.
1.3.1 冠脉造影所示IRA前向血流情况。IRA前向血流定义:TIMI 3级或TIMI2级为有前向血流;TIMI 0级或TIMI 1级为无前向血流。
Here we focus on the group Tp(G)of p-endotrivial kG-modules;on the one hand,we study the restriction map for this group,and prove that if the subgroup H contains the normalizer of a Sylow p-subgroup of G,for example,H is a strongly embedded subgroup of G,then Tp(G)Tp(H)(Theorem 2.8),and K(G)
K(H)(Theorem 2.9);on the other hand,by using Tp(G)we obtain a generalized Dade group Dp(G)for the finite group G,and prove that Dp(G)can be embedded into Tp(G)as a subgroup(Theorem 3.3).Our results extend the results for the group T(G)of endo-trivial kG-modules and the results for the Dade group D(P)for the finite p-group P.
Throughout the paper,we fix a prime number p,a finite group G such that p||G|,and an algebraic closed field k of characteristic p.All modules are finitely generated,and p divides the order of any finite group involve in a p-endotrivial kG-module.For the necessary terminologies in the paper the reader can consult[6].
2 The Group Tp(G)of p-endotrivial kG-modules
For a prime number p and a finite group G with p||G|,we say that a kG-module V is a p-divisible kG-module if the dimension of any indecomposable direct summand of V is divisible by p.
协会需要扮演的角色是,把行业可能遇到的情况、影响,发生的改变,可参考路径等告诉大家,做称职的“天气预报员”。至于具体怎么去做,还是要由企业自己做出判断。
The terminology of the p-divisible kG-module is introduced to be an absolutely p-divisible kG-module(see[1]);con fined to the algebraic closed field k,any indecomposable kG-module is already absolutely indecomposable therein,so the p-divisible kG-module is also the absolutely p-divisible kG-module therein.
Remark 2.1 The class of p-divisible kG-modules is a big one,any(relative)projective kG-module is p-divisible(see[7],Exer.23.1),but the trivial kG-module k is not p-divisible.The direct summand of a p-divisible kG-module,the direct sum of two p-divisible kG-modules,the tensor product of a p-divisible kG-module and a kG-module,remain to be p-divisible(see[1],Proposition 2.2).Sometimes we denote a p-divisible kG-module with p-divisible for short.
Definition 2.1 Let V be a kG-module.If the endomorphism module of V can be regarded as the direct sum of the trivial module k and a p-divisible kG-module,that is,
![pagenumber_ebook=13,pagenumber_book=107](https://qkk.lw71.com/uploads/image/2018/2/6a4a7a11f287b7450ca6814c77f4e90d.png)
where U is a p-divisible kG-module,then we say that V is a p-endotrivial kG-module,or V is p-endotrivial.
Remark 2.2 (1)Here,for the endomorphism module Endk(V),g·f:=gfg−1,g∈ G,f∈Endk(V),and for any(indecomposable)p-endotrivial kG-module V,k|EndkG(V),the trace map(Tr:Endk(V)→k)is a split surjection,so the tensor product of V with the almost-split sequence for the trivial kG-module k must fail to split(see[5]).
(2)The p-endotrivial kG-module extends the(relative)endo-trivial kG-module(see[2]and[4]).The trivial kG-module k is the most simple p-endotrivial kG-module,but any p-divisible kG-module cannot be p-endotrivial.
Proposition 2.1 Let V be a p-endotrivial kG-module and W be a p-divisible kG-module.Then V⊕kW is a p-endotrivial kG-module.Moreover,under kG-module isomorphism,V is the direct sum of p-divisible kG-modules and its uniquely indecomposable direct summand U which is p-endotrivial,and any vertex of U is a Sylow p-subgroup of G.
Proof.Since the canonical kG-module isomorphism
![pagenumber_ebook=14,pagenumber_book=108](https://qkk.lw71.com/uploads/image/2018/2/9c6f78ba1791d1ed2dc1ba0e08853820.png)
Remark 2.3 Up to isomorphism,for each[V]of Tp(G),there is a unique indecomposable p-endotrivial kG-module cap(V)in[V].
On the contrary,let U be an indecomposable non-p-divisible direct summand of V.Firstly,if the vertex P of U is a proper p-subgroup of G,then p|dimk(U)(see[7],Exer.23.1),contradiction.So the vertices of U are Sylow p-subgroups of G.
基于此,强调在数学教学中整合历史及认识论便是展现“生成中的数学”的一种自然方式,这会促进学生更好地理解某些数学知识以及作为一门学科,数学到底是什么.
Secondly,
这是依据当前国家的人力资源资源需求所做出的转变,由于产教融合最初是在职业院校实施开展的,是以增强学生动手操作能力,培养应用技术性人才为目标,这也正符合职业院校的办学定位。而随着新兴行业的发展和科技的突飞猛进,新的人力资源需求出现,需要通过产教融合培养出一大批敢想敢做的创业人才和科研能力强的创新人才,来激发产业发展活力,促进经济转型升级。
![pagenumber_ebook=14,pagenumber_book=108](https://qkk.lw71.com/uploads/image/2018/2/a362987faf327c1ce9496ed5852351d1.png)
hence
![pagenumber_ebook=14,pagenumber_book=108](https://qkk.lw71.com/uploads/image/2018/2/ca4919fe2daa1d5e978d29765019a492.png)
and Tp(G)Tp(H).
Finally,if there exists another X which is also an indecomposable non-p-divisible direct summand of V and(U⊕kX)|V,then(k⊕kk)|Endk(V),contradiction.Hence,under kG-module isomorphism,V has a unique indecomposable direct summand which is p-endotrivial.
Proposition 2.2 shows that the p-endotrivial kG-module has the “similar” cap phenomenon as that of the endo-permutation module(see[7]and[8]),here we call U in Proposition 2.1 the cap of V.Two p-endotrivial kG-modules S and V are said to be equivalent if their caps are isomorphic,exactly,they are equivalent whenever S∗⊗kV k⊕k(p-divisible)(see[5],Proposition 4.1).We write[V]for the equivalence class of a p-endotrivial module V,and Tp(G)for the non-empty set of equivalence classes of p-endotrivial kG-modules.
and the tensor product with W is p-divisible(see[1],Proposition 2.2),we see thatEndk(W)⊕k Homk(V,W)⊕kHomk(W,V)is p-divisible,hence,V ⊕kW is p-endotrivial.
Definition 2.2 For any[U],[V]∈ Tp(G),let[U]+[V]=[U⊗kV].Then the tensor product⊗kfor kG-modules induces an abelian group structure on Tp(G),we call(Tp(G),+)the group of p-endotrivial kG-modules.
Indeed,the above is well-defined.Let M,N,V be p-endotrivial kG-modules.If[M]=[N],then
持续长度是该模型的一个基本参数.持续长度与自由旋转链的处理方法有异曲同工之妙,因为二者都采用了后键依次在前一键上投影并依此前推至所需键的计算方法.自由旋转链因为需要所有键之间进行两两点乘,因此其平均范围广,需要大量样本的统计平均方可采用投影法进行平均处理.持续长度涉及的是各个键在第一个键方向上投影,一旦键的方向与第一个键相反,它在z轴方向的投影就是负值.经平均处理后,负值就不再出现,代之以收敛于0的投影值.因此,持续长度的计算同样应该是大量连接单元的统计平均值.
![pagenumber_ebook=14,pagenumber_book=108](https://qkk.lw71.com/uploads/image/2018/2/acbe6bb5a3c3c92f4d78ca74e385ebae.png)
![pagenumber_ebook=15,pagenumber_book=109](https://qkk.lw71.com/uploads/image/2018/2/26c76fb666979ba0362663b7ad7dfaa2.png)
Hence
![pagenumber_ebook=15,pagenumber_book=109](https://qkk.lw71.com/uploads/image/2018/2/d666fd8b8bb4b51a36e7e522c322f011.png)
and
![pagenumber_ebook=15,pagenumber_book=109](https://qkk.lw71.com/uploads/image/2018/2/4176cf3b7da46f4586bfcd85a2cd296a.png)
The well-defined abelian group Tp(G)is an extension of the group T(G)of(relative)endotrivial kG-modules(see[4],[8]and[9]).
Proposition 2.2 Let[U]and[V]belong to Tp(G),m,n∈Z.Then we have the following conclusions:
![pagenumber_ebook=15,pagenumber_book=109](https://qkk.lw71.com/uploads/image/2018/2/6d8146b428331195f881e801f6390e5f.png)
Proof.(1)Since
![pagenumber_ebook=15,pagenumber_book=109](https://qkk.lw71.com/uploads/image/2018/2/287940865e41ed1be96a99cdedbd0d2e.png)
and
![pagenumber_ebook=15,pagenumber_book=109](https://qkk.lw71.com/uploads/image/2018/2/a7fefc8eda3292fa5a3b0c8ab0b32726.png)
we see that
![pagenumber_ebook=15,pagenumber_book=109](https://qkk.lw71.com/uploads/image/2018/2/51de0689de1c846d3f9e272ca0a2664e.png)
where for each g with 1g∈[HG/H],
(gU)is p-divisible since one can check that p||H:H∩gH|.So
(I
(U))is p-endotrivial by Proposition 2.1,and then
(U)is also p-endotrivial by Lemma 2.1.
![pagenumber_ebook=15,pagenumber_book=109](https://qkk.lw71.com/uploads/image/2018/2/dde47fc72052d080aa841f377eb63662.png)
that is,
本文采用双对数模型来分析中国乳制品的需求价格弹性。双对数模型的优点是可以使数据更为平稳且消除异方差。价格因素用中国乳制品的进口价格来表示。将影响乳制品进口的因素代入弹性公式中,为了简单起见,我们可将Q=f(P)表达为对数形式:
![pagenumber_ebook=15,pagenumber_book=109](https://qkk.lw71.com/uploads/image/2018/2/fd933be2032f85d50f56955a94417d24.png)
(2)Let U=cap(U) ⊕kU1,where U1is p-divisible.On the one hand,since Ωn(U1)is also p-divisible,we have
![pagenumber_ebook=15,pagenumber_book=109](https://qkk.lw71.com/uploads/image/2018/2/145c137770976b8225a6c7288decba5a.png)
On the other hand,Ωn(cap(U))is indecomposable by Proposition 11.7.1(5)of[6],and from(1)we see that Ωn(cap(U))is p-endotrivial.Hence
![pagenumber_ebook=15,pagenumber_book=109](https://qkk.lw71.com/uploads/image/2018/2/fb16c0b6025e7dab133bab61448bd18e.png)
and
![pagenumber_ebook=16,pagenumber_book=110](https://qkk.lw71.com/uploads/image/2018/2/827bab70ab0c6795e487f2d7f40a24be.png)
(3)By(2),we see that
![pagenumber_ebook=16,pagenumber_book=110](https://qkk.lw71.com/uploads/image/2018/2/6782a8aec236927f0efef623fd6d10dd.png)
(4)The first part is from the fact
![pagenumber_ebook=16,pagenumber_book=110](https://qkk.lw71.com/uploads/image/2018/2/2689b6a34ced1caf11eef9326b48a8bd.png)
For the second part,since Ωn(k)is also p-endotrivial,we have
![pagenumber_ebook=16,pagenumber_book=110](https://qkk.lw71.com/uploads/image/2018/2/6b588ccf2798aafd0610aea768de43d7.png)
by Proposition 11.7.2 of[6].
(5)We define the map[Ωn]as follows:
目前,地外天体采样探测最为直接且最为有效的手段是无人自主钻取采样[1]。我国探月三期工程计划发射一个搭载无人自主钻取采样设备的月面探测器,以获得深度为2 m且保持原有剖面层理信息的月壤样品,并将封装的月壤样品带回地球[2-3]。月面探测器的一侧搭载钻取采样设备,采样设备主要有与探测器一同经历的发射、地月转移、环月、动力下降、月面着陆以及着陆后的钻取采样等6个工作阶段[4-5]。钻具可看作一个细长型的简支梁,且钻取采样设备在飞行工作阶段会产生较大的过载振动,所以钻具极易产生挠曲变形[6]。
![pagenumber_ebook=16,pagenumber_book=110](https://qkk.lw71.com/uploads/image/2018/2/af1f1772294010dcf3c9c8c290c363cd.png)
By(1)and(3)one can check that[Ωn]is well-defined.Moreover,by(4)we see that[Ωn]is also an invertible map with the inverse map[Ω−n].
The proof is completed.
时间过得真快呀!林强信扳着指头说,景花厂撑了七年,七年啊,居然在老子的围追堵截下存活了七年。七年之痒,哈哈,想想阿花这小娘们也不容易。林强信像公鸭似的嘎嘎大笑。
Proposition 2.3 Let 0→U→W→V→0 be a short exact sequence of kG-modules,where W is projective.Then[U]∈ Tp(G)if and only if[V]∈ Tp(G),and in this case,
![pagenumber_ebook=16,pagenumber_book=110](https://qkk.lw71.com/uploads/image/2018/2/8edb65e31c093151dbdd926816317a67.png)
Proof.Since
![pagenumber_ebook=16,pagenumber_book=110](https://qkk.lw71.com/uploads/image/2018/2/be7d7df54cf003b807f6c4735adc2771.png)
we see that[U]∈ Tp(G)if and only if[V]∈ Tp(G),and[U]=[Ω(V)],[V]=[Ω−1(U)].
Lemma 2.1 Let G≥H and V be a kG-module.Then we have the following conclusions:
(1)If is p-endotrivial,then V is p-endotrivial;
(2) If H contains a Sylow p-subgroup of G and V is p-endotrivial,thenis p-endotrivial.
Proof.(1)We know that p does not divide dimk((V))and so it does not divide dimk(V),hence k is a direct summand of Endk(V)by Corollary 4.7 of[5].
Let Endk(V)=k⊕kX for some kG-module X.Then
我和老婆去银行取钱,工作人员推荐使用ATM机。“听说ATM机很多假钞。”她嘀咕。可排队的人太多,我们赶时间。于是她仔细检查了机器是否完好,交易完毕后在输入键盘上乱按一气,“听说这样后面的人就不知道你的密码了。”末了她还不忘使用验钞机检查钱币的真伪。两分钟能办好的事被她延长到6分钟,可即便这样她还是担忧:“老李,听说现在最新版的假钞连验钞机都发现不了。”
![pagenumber_ebook=16,pagenumber_book=110](https://qkk.lw71.com/uploads/image/2018/2/91d55270ea0fcf7a34bfe273dc3e8523.png)
We see that(X)is a p-divisible kH-module(Krull-Schmidt Theorem),and X is a p-divisible kG-module,it means that V is p-endotrivial.
(2)Let Endk(V)=k⊕kX for some p-divisible kG-module X.Then we have
![pagenumber_ebook=16,pagenumber_book=110](https://qkk.lw71.com/uploads/image/2018/2/299f6206b835a87553942d18e382a629.png)
we prove by apagoge that (X)is p-divisible,so
(V)is a p-endotrivial kH-module.Indeed,if
(X)is not p-divisible,then k|Endk(
(X))by Corollary 4.7 of[5],hence
At the same time,
![pagenumber_ebook=16,pagenumber_book=110](https://qkk.lw71.com/uploads/image/2018/2/5a50142939449586b25eca834e0118a2.png)
by Frobenius Reciprocity,and(k)⊗kEndk(X)is also p-divisible,so
(k)is pdivisible,it contradicts with the order of
(k).
Let P be a Sylow p-subgroup of G and V be a kG-module.If (V)
k⊕kU,where U is a p-divisible kP-module,then we say that V is a p-critical kG-module.Obviously,any kG-module with trivial Sylow restriction and any critical kG-module are p-critical(see[10]and[11]).
Let P be a Sylow p-subgroup of G,and G≥H≥P.Lemma 2.1 shows that the restrictions of modules induce a map from Tp(G)to Tp(H),denoted by,as follows:
![pagenumber_ebook=17,pagenumber_book=111](https://qkk.lw71.com/uploads/image/2018/2/1922391849115c76c8e41b55c549299b.png)
We can see that
![pagenumber_ebook=17,pagenumber_book=111](https://qkk.lw71.com/uploads/image/2018/2/0c47fc733cf4dc004002deea5f2e7f1b.png)
It means thatis a group isomorphism provided by Green correspondence,and
Proposition 2.4 Let P be a Sylow p-subgroup of G,G≥H≥P.Thenis a group homomorphism,and
≤K(G).Particularly,if G≥H≥NG(P),then
is an injective group homomorphism.
Proof.We see that
(1)在已研究成果中,冻融循环影响黄土的方式以物理力学性质为主,无论黄土密度如何变化,冻融循环作用均会增加土的渗透性,这些研究成果已经得到学术界的普遍认识,而对于冻融循环是否会影响黄土的其他方面,仍然处于分歧状态,这种分歧将会引领未来学术发展方向。
![pagenumber_ebook=17,pagenumber_book=111](https://qkk.lw71.com/uploads/image/2018/2/b522ebe9e3c7aaddc644032a85e42d43.png)
That is,is a group homomorphism.
If V∈then
![pagenumber_ebook=17,pagenumber_book=111](https://qkk.lw71.com/uploads/image/2018/2/6f29a6e432006816f8afe724eb7662e1.png)
and as the proof of Lemma 2.6(2),
![pagenumber_ebook=17,pagenumber_book=111](https://qkk.lw71.com/uploads/image/2018/2/c34e7cad9a5f0ef582be44586247b084.png)
That is,V∈K(G).
其次,昂昂溪文化原始美术分布的特殊性根源在于傍水而居的生活方式,其发展的规模性根源在于部落多达数百人的文化规模。
Particularly,if G≥H≥NG(P)and[V]∈Tp(G),by Lemma 2.1,we set (cap(V))=U⊕k(p-divisible),where U is the cap of
(cap(V)).By Proposition 2.1,cap(V)and U have a common vertex P.It means that U must be the Green correspondent f(cap(V))of cap(V)by Burry-Carlson-Puig Theorem(see Theorems 11.6.4 and 11.6.9 of[6]),but the map f in Green correspondence is a bijection from the isomorphism classes of indecomposable kG-modules with a vertex P to that of indecomposable kH-modules with the same vertex P,so it also means that
is an injective group homomorphism.
We recall that a group H is a strongly p-embedded subgroup of G if p divides|H|but does not divide|H∩xH|for each x∈G−H.Note here that any strongly p-embedded subgroup H of G contains the normalizer in G of a Sylow p-subgroup of G and such H always exists whenever some Sylow p-subgroup of G is a trivial intersection(T.I.set).
Theorem 2.1 Let G≥H≥P,where P is a Sylow p-subgroup of G.If H≥NG(P),in particular,H is strongly p-embedded in G,thenis a group isomorphism provided by Green correspondence,that is,
橘红是被迫走的,她并不想离开滨湖。杨琳说,橘红和她分手告别时,流了眼泪。何牦只要站在临湖广场这个昔日的码头上,仿佛就看了橘红流着两串长长的泪水,依依不舍走向四层客轮。滨湖是她的伤心之地,为何还这样依依不舍?对滨湖她有什么不舍?一定是为了他,为了他这个不争气的胆小男人。橘红早预料到这一走难能相见。
![pagenumber_ebook=18,pagenumber_book=112](https://qkk.lw71.com/uploads/image/2018/2/ebb68207daa5eacf282dd14cdc03a237.png)
that is,U is p-endotrivial.
(2)管道保温措施的选择。本项目位于北方地区,冬季气温较低,管道需要考虑防冻问题。管道可以外包保温层明设或埋地敷设在土壤冰冻线冻土层以下保温。本项目经技术经济比较,采用埋地敷设方式,管顶覆土深度位于土壤冰冻线以下0.15m。
Proof.Firstly,by Proposition 2.4,we see thathere is an injective group homomorphism,that is,for any[V]∈Tp(G),
![pagenumber_ebook=18,pagenumber_book=112](https://qkk.lw71.com/uploads/image/2018/2/db0675f2c937672ab4ff20f609856f81.png)
where U=cap((V))and U is the Green correspondent of V.
Secondly,for any indecomposable p-endotrivial kH-module U,(U)is p-endotrivial.Indeed,
![pagenumber_ebook=18,pagenumber_book=112](https://qkk.lw71.com/uploads/image/2018/2/3ea6a24275eedb7fc02560ed121a9b99.png)
It means that
Thirdly,for any indecomposable p-endotrivial kH-module U,the Green correspondent of U is cap((U)),and then it is p-endotrivial.Indeed,the Green correspondent of U is the unique indecomposable direct summand of
(U)with a vertex P,but at the same time cap(
(U))has a vertex P by Proposition 2.1,hence,it is cap(I
(U)).
Finally,on the one hand,for any p-endotrivial kH-module U,from the above discussion we have
![pagenumber_ebook=18,pagenumber_book=112](https://qkk.lw71.com/uploads/image/2018/2/bf007c0ee134ff64316bfdccce7c3121.png)
We denote with K(G).Hence,K(G)consists of all equivalence classes of pcritical kG-modules.The kernel of the restriction map on T(G)is important for the structure of T(G)(see[9]and[11]).
![pagenumber_ebook=18,pagenumber_book=112](https://qkk.lw71.com/uploads/image/2018/2/bfcec975fa9b26f7d2476a86ed0d8d55.png)
On the other hand,for any p-endotrivial kG-module V,we have
![pagenumber_ebook=18,pagenumber_book=112](https://qkk.lw71.com/uploads/image/2018/2/411c3ed0c4ff5470abd4b9a112631d20.png)
and then
![pagenumber_ebook=18,pagenumber_book=112](https://qkk.lw71.com/uploads/image/2018/2/043eb92d60da4278ee1e7ab379cea8a6.png)
Hence,we see that
![pagenumber_ebook=18,pagenumber_book=112](https://qkk.lw71.com/uploads/image/2018/2/646fcd6a0b0e178def85c14f3da92365.png)
by Proposition 2.1 and Lemma 2.1.It means that
![pagenumber_ebook=18,pagenumber_book=112](https://qkk.lw71.com/uploads/image/2018/2/88885e76618c822fdf60f786d299e501.png)
Summing up the above,we conclude thatis a group isomorphism provided by Green correspondence between indecomposable kG-modules and indecomposable kH-modules with the same vertex P,and Tp(G)
Tp(H).The proof is completed.
Theorem 2.2 Let G≥H≥P,where P is a Sylow p-subgroup of G.Then
restricted on K(G)as follows
![pagenumber_ebook=19,pagenumber_book=113](https://qkk.lw71.com/uploads/image/2018/2/bf8e5942cd333025af09efa4dbcd439d.png)
is a group homomorphism.Furthermore,if G≥H≥NG(P),in particular,H is strongly p-embedded in G,then this map is a group isomorphism provided by Green correspondence,that is,
![pagenumber_ebook=19,pagenumber_book=113](https://qkk.lw71.com/uploads/image/2018/2/7467d671700c50dd27e5f5ffbe57a788.png)
and K(G)K(H).
Proof.Let[V]∈K(G).Then
![pagenumber_ebook=19,pagenumber_book=113](https://qkk.lw71.com/uploads/image/2018/2/d4ea4d08fbd2d2c1abe36a57a2bdebfb.png)
and
![pagenumber_ebook=19,pagenumber_book=113](https://qkk.lw71.com/uploads/image/2018/2/a153a5ea652e59f84c565830c9f8cc5a.png)
that is,(V)∈K(H).Hence,the above map
from K(G)to K(H)is welldefined,and similarly to the proof of Theorem 2.1,one can check that this map remains to be surjective.So all results of this theorem follow from Proposition 2.4 and Theorem 2.1.
3 The Generalized Dade Group Dp(G)
Proposition 3.1 Let V be an endo-p-permutation kG-module.If V is p-endotrivial,then V has a unique indecomposable direct summand whose vertex is a Sylow p-subgroup of G,and moreover,Endk(V)k⊕kX,where each indecomposable direct summand of X is a trivial source kG-module whose vertex is a proper p-subgroup of G.
Proof. Let V=V1⊕kY,where V1is the cap of V,and Y is p-divisible.Then any vertex of V1is a Sylow p-subgroup of G by Proposition 2.1.
The vertex of any indecomposable direct summand W of Y is a proper p-subgroup of G.Indeed,W is both a p-divisible kG-module and an endo-p-permutation kG-module(see[8]).If the Sylow p-subgroup P of G is a vertex of W,then(W)is a p-divisible kP-module by the proof of Lemma 2.1,and is a capped endo-permutation kP-module(see Corollary 28.9 of[7]).It means that the source module M of W is a p-divisible kP-module,and is an indecomposable capped endo-permutation kP-module.Hence,dimk(M)≡ ±1(mod p)by Corollary 28.11 of[7],that is,p does not divide dimk(W),contradiction.So the unique indecomposable p-endotrivial direct summand of V,that is,the cap of V is the uniquely indecomposable direct summand whose vertex is a Sylow p-subgroup of G.
Let Endk(V)=k⊕kX,where X is p-divisible.Then any indecomposable direct summand N of X is a p-divisible kG-module,and is a p-permutation kG-module(see Proposition 0.2 of[12]).Similarly to the above,we see that any vertex of N is a proper p-subgroup of G,too.That is,each indecomposable direct summand of X is a trivial source kG-module and its vertices are proper p-subgroups of G.
Let P be a finite p-group.Then any two of indecomposable direct summands with a vertex P of the capped endo-permutation kP-modules are necessarily isomorphic(see Corollary 28.9 of[7]),and we obtain an equivalence relation for capped endo-permutation kP-modules,this equivalence relation correspondents to the isomorphism classes of their indecomposable direct summands with a vertex P,and the equivalence classes endowed with the multiplication induced from the tensor product,form a group,written D(P),D(P)is the so-called Dade group for the finite p-group P(see Remark 29.6 of[7]).
From Proposition 3.1 we see that there exists a subclass of endo-p-permutation kG-modules,that is,the class of kG-modules which are both an endo-p-permutation kG-module and a p-endotrivial kG-module,for any such kG-module V in this subclass,similarly to the capped endo-permutation kP-module,there exists a uniquely indecomposable direct summand with a Sylow p-subgroup as its vertex,that is,cap(V)of V.Moreover,by borrowing the equivalence relation for p-endotrivial kG-modules,that is,U∼V if both U and V are endo-p-permutation kG-modules and[U]=[V]in Tp(G),we obtain a similar equivalence relation for the above subclass,and write also[V]for the equivalence class of an endo-p-permutation kG-module V,and denote all such equivalence classes with Dp(G).We conclude with the following definition.
Definition 3.1 Let U and V be endo-p-permutation kG-modules.If they are p-endotrivial endowed with the operator as follows:
![pagenumber_ebook=20,pagenumber_book=114](https://qkk.lw71.com/uploads/image/2018/2/05ab5523544c101299a1fa0e0a8da5ef.png)
then Dp(G)becomes an additive group(Dp(G),+)and we say it the generalized Dade group for G.
Remark 3.1 Indeed,if G is a finite p-group P,then we can see from the below that Dp(G)is the ordinary Dade group D(P)for P(see Theorem 3.1).
Furthermore,we write X(G)for the abelian group of all isomorphism classes of onedimensional kG-modules,where the group law is induced by⊗k,too.X(G)can also be identified with the group of linear characters of G,and is isomorphic to the p′-part of G/[G,G],and hence is a p′-group.
Theorem 3.1 There are canonical injective group homomorphisms so that
![pagenumber_ebook=20,pagenumber_book=114](https://qkk.lw71.com/uploads/image/2018/2/ed19d1142db3b0a945303e73e69c4afa.png)
are embeddings of groups,in particular,
![pagenumber_ebook=20,pagenumber_book=114](https://qkk.lw71.com/uploads/image/2018/2/87368e0dd6e89406c240ab7a743fe577.png)
where P is a finite p-group.Proof. If χ is a one-dimension kG-module,the canonical trace map χ∗⊗kχ → k must be split,and then χ∗⊗k χ k,that is,χ is endo-trivial.Hence,X(G)⊆ T(G),which means that X(G)can be regarded as a subclass of T(G),under the similar equivalence relation and the canonical injection.
Any indecomposable endo-trivial kG-module U is p-endotrivial,and at the same time it is an endo-p-permutation kG-module such that(U)is a capped endo-permutation kS-module,where S is a Sylow p-subgroup of G.Indeed,U is p-endotrivial,and
(U)is endo-trivial.We set Endk(
(U))=k⊕kY,where Y is a projective kS-module,and then Y is 1-projective(see Proposition 11.6.2 of[6]).Since the indecomposable k-module is just k itself,we see that any indecomposable direct summand of Y has the trivial source,so Y is a permutation kS-module,and
(U)is an endo-permutation kS-module,and then U is an endo-p-permutation kG-module.Since S is a vertex of U by Proposition 2.1,there exists an indecomposable direct summand with a vertex S,such as the source module of U,it means that
(U)is capped.
Let[U1]and[U2]belong to T(G).Any indecomposable endo-trivial kG-module is both a p-endotrivial kG-module and an endo-p-permutation kG-module;moreover,if[U1]=[U2]in T(G),then the unique indecomposable p-endotrivial direct summand of U1and that of U2are isomorphic,and then[U1]=[U2]in Dp(G).So we can view T(G)as a subclass of Dp(G),T(G)⊆Dp(G)under the canonical injection.
From Proposition 3.1 and the definition of Dp(G)we see that Dp(G)⊆Tp(G),by the similarly canonical injection as the above.
We have X(G)⊆T(G)⊆Dp(G)⊆Tp(G),and at the same time,their“+”are the same way,so the above canonical injections are canonical embeddings,that is,
![pagenumber_ebook=21,pagenumber_book=115](https://qkk.lw71.com/uploads/image/2018/2/5442c1e0dbc7d1a71bd372ce301d6b59.png)
Now,we prove that
![pagenumber_ebook=21,pagenumber_book=115](https://qkk.lw71.com/uploads/image/2018/2/ac9f8a98edfd50f90981789518ef6df0.png)
Indeed,on the one hand,by Proposition 3.1,any end-permutation kP-module V which is also p-endotrivial must be a capped end-permutation kP-module,it means that Dp(P)⊆D(P).On the other hand,if V is an indecomposable capped endo-permutation kP-module,we see that p does not divide dimk(V)by Corollary 28.11 of[7],hence,Endk(V)=k⊕kV1(see Corollary 4.7 of[5]),where k has multiplicity 1 as the direct summand of Endk(V)and V1is a trivial source kP-module.Since P is a finite p-group,any indecomposable direct summand of V1is of the form(k)by Green indecomposability theorem(see Corollary 23.6 of[7]),and since k has multiplicity 1,R must be the proper p-subgroup of P.Hence,
(k)is p-divisible and V is p-endotrivial,it means that D(P)⊆Dp(P).
Following the above discussion,we see that
![pagenumber_ebook=21,pagenumber_book=115](https://qkk.lw71.com/uploads/image/2018/2/b06a58f0763ed891b315a457c52a7d9d.png)
We are done.
References
[1]Benson D J,Carlson J F.Nilpotent elements in the Green ring.J.Algebra,1986,104(2):329–350.
[2]Dade E C.Endo-permutation modules over p-groups.I.Ann.of Math.(2),1978,107:459–494.
[3]Carlson J F.Constructing endotrivial modules.J.Pure Appl.Algebra,2006,206:83–110.
[4]Lassueur C.Relative projectivity and relative endotrivial modules.J.Algebra,2011,337(1):285–317.
[5]Auslander M,Carlson J F.Almost-split sequences and group rings.J.Algebra,1986,103:122–140.
[6]Webb P.A Course in finite group representation theory.New York:Cambridge University Press,2016.
[7]Thévenaz J.G-algebras and modular representation theory.New York:Oxford University Press,Clarendon Press,1995.
[8]Urfer J M.Endo-p-permutation modules.J.Algebra.2007,316(1):206–223.
[9]Carlson J F,Thévenaz J.The classification of endo-trivial modules.Invent.Math.,2004,158(2):389–411.
[10]Carlson J F,Mazza N,Nakano D K.Endotrivial modules for the general linear group in a nondefining characteristic.Math.Z.,2014,278(3-4):901–925.
[11]Carlson J F,Thévenaz J.The classification of torsion endo-trivial modules.Ann.of Math.(2),2005,162(2):823–883.
[12]Broué M.On Scott module and p-permutation modules:An approach through the Brauer morphism.Proc.Amer.Math.Soc.,1985,93(3):401–408.