l-群极小素子群的一种结构.pdfVIP

维普资讯 第285-~第1期 江西理工大学学报 v。1．28，NO-1 2007年2月 JOURNALOFJIANGXIUNIVERSITYOFSCIENCEANDTECHNOLOGY Feb．2007 文章编号：1007—1229(2007)01—0060—03 一 群极小素子群的一种结构 吕新民， 张师贤 (江西理工大学理学院，江西 赣州 341000) 摘 要：在 一群的极小子群研究的基础上就某些特殊类的 一群建立了极小素子群的一种结构 Ⅳ_。． 关键词：Z一群；极小素子群；极小条件；特殊元；特殊值 中图分类号：0153．1 文献标识码 ：A A StructureofM inimalPrimeSubgroupsofan ／-Group LU Xin—min．ZHANG Shi-xian (FacultyofScience，JiangxiUniversityofScienceandTechnology，Ganzhou341000，China) Abstract：Onthebasisofthepreviousresearchresult，astructureN=a ofminimalprimesubgroupsforsomespe— cialclassesof／-rgoupsisestablisnedinthisartcle． Keywords：l——rgoup；minimalprimesubrgoup；minimalcondition；specialelement；specialvalue 在什么条件下，任意z一群的极小素子群具有形式N=a?这一直是z一群结构理论研究中的一个十分有 趣的问题．Comradpt证‘明了如果Z一群 G具有有限基，则G的任意极小素子群均具有形式N=a．作者121就一 般Z一群类进行了刻划．本文是在此基础上，就某些极小素子群具有形式N=a的特殊Z一群类作进一步探讨． 为节省篇幅，本文将 自由使用z．．群中的基本术语与基本性质 l【1． 设 G是一个Z一群，M∈F(G)(G的所有素子群所成集)．G的子集 =G 称为 0上的超滤子，如果 是满足条件：Vh，k∈K~Oh八k∈K的G+的极大子集．—u{k Ik∈K}是G上的超滤子所成集与r(G) (G的所有极小素子群所成集)之间的l—l对应，其逆对应为 —G+ ． 引理 lG是z一群，M∈F(G)，Ⅳ表示包含在 中的所有极小素子群之交，则Ⅳ=u{b Ib隹 1． 证 明 对于V0 ∈u{b Ib隹 ，存在某个c隹M，使得 隹c，则 八c=0，令P是包含在 中的 任一极小素子群，因C隹M，则C隹P，由P之素性 ∈P，从而 ∈ⅣI 又对于V0Y∈u{b Ib隹M}，必然对于Vd隹M对于Y八d0，令 0={y}t0{yAdId隹 }uGw 直接验证易知 是G上的滤子，利用Zorn引理不难将 扩充成G上的超滤子 令 是 所对应的 极小素子群，则 ，但Y隹K0_CK，自然Y隹K，故Y隹N． 定义2 S是一个含最小元0的偏序集，o∈S称为原子元，如果 。覆盖0，S称为满足极小条件，如果S 中每个元都至少超过一个原子元． 从定义易知：z一群的极小条件是其降链条件(DCC)从有限向无限的一种 自然推广． 引理3 G是z一群，M∈F(G)，Ⅳ表示包含在 中的所有极小素子群之交．贝0N=a当且仅当{b Ib隹 满足极小条件． 收稿 日期 ：2oo6_05—08 作者简介：吕新民(1965一 )，男，博士，教授 维普资讯 第28卷第 1期 吕新民等：Z一群极小素子群的一种结构