Lewis对应和幻特征标的若干性子.pdf

摘 要 设(G，K，L，e，妒)为一个基本构型，H为该基本构型的一个稳定补．在 群的特征标理论中，一个基本而重要的问题是：何时存在一个从Irr(Hlqo)到 Irr(aD)的双射． 当(G，K，L，s，妒)为一个互素的完全分歧的基本构型时，Lewis在[2】中 证明了其存在一个稳定补H，进而定义了该基本构型的一个中心H．完全 链c，据此可构作出一个双射△g：Irr(Hl 应；使用这个中心日一完全链c，Lewis又归纳地定义了一个幻特征标(magic 特征标为Lewis幻特征标． 本文主要研究了上述Lewis对应Ag和Lewis幻特征标皿。在特征标限制 下的表现，分别证明了它们的保限制性与遗传性，即Lewis对应△g与特征 标的限制可交换以及Lewis幻特征标皿c在子群上的限制仍为幻特征标．另 外，本文还给出了Lewis链的一个基本性质，获得了有关特征标计数问题 中的一个不等式，从而加强了Lewis的相关结果． 现将本文的主要结论叙述如下，首先是关于Lewis对应的保限制性： 定理2．1设(G，K，L，s，妒)是一个互素的完全分歧的基本构型，圩为其 一个稳定补，c为Ⅳ中始于(L，妒)的中心日一完全链．对a的子群u，满足 40)-÷ Char(Vie)均为双射．进而，当0∈Irr(Htcp)时，则((△g(p))v=Ay(0u) 其次是关于Lewis幻特征标的遗传性： 定理2．2设(G，K，L，E，妒)是互素的完全分歧的基本构型，c为K中始 于(L，妒)的一个中心日．完全链，虬为相应的Lewis幻特征标．任取G的 子群U使得L≤U曼日，令V=KU，则(Ⅲc)U为关于(VK，_L，￡，垆)和链c的 Lewis幻特征标． 最后一个结果是关于Lewis链的一个基本性质，给出了特征标计数的一 个估值不等式： …<(K1)E，)<(Ko，￡0)≤(K，E)为K中始于(L，妒)的一个完全链，则 Irr(K19)l=lIrr(Kol妒o)l≥I Irr(Klt妒1)I≥lIrr(K21妒2)I≥··lIrr(％l妒。)}=1． 关键词：基本构型；完全分歧；完全链；幻特征标 中图分类号：0152 ABSTRACT abasic with HIn Let(G，K，三，￡，妒)be configurationstabilizingcomplement thecharacteroffinite foudamentaland isthat theory groups，a importantproblem exsitaone—to．one whetherthere basic acoprimefully—ramified proved Let(G，K，L，E，妒)be configuration，Lewis defineda chain ithada central日一completec， stabilizingcomplementin[2]，further ittoconstructa iscalledLewis used a inthis t