有限单群分类的历史研究
详细信息    本馆镜像全文|  推荐本文 |  |   获取CNKI官网全文
摘要
群是近代数学的基本结构之一,而有限群则是整个群论的核心。正如素数是正整数乘法的“原子”或“积木块”一样,有限单群宛如有限群的“原子”或“积木块”。这样一来,对有限群的研究便分为两大部分:一是确定出所有有限单群;二是探索有限群如何由这些单群结合而成。前一部分乃是数学中绝无仅有的一项大工程——有限单群分类。
     本文在阅读大量专业文献与历史文献的基础上,以有限单群的类型为纲,以时间为轴,将对比法、关键点剖析法、分类法以及列表法相综合,对有限单群分类的历史进行了系统的梳理与总结。主要结果如下:
     1.考察了有限单群的产生背景以及它们在有限群论中占有至关重要地位的原因,揭示出对有限单群分类的研究是历史的产物。
     2.系统分析了若尔当和迪克森研究典型群的背景与方法,在详细考察原始文献的基础上,对二人工作进行纵横对比,揭示出他们的思想传承关系。
     3.在对谢瓦莱关于谢瓦莱群以及后人关于扭型谢瓦莱群的工作进行研究的基础上,揭示出一般的、统一的方法才是从本质上解决问题的关键,在一定程度上反衬出19世纪末霍尔德、米勒等人所采用的列举法的局限性。
     4.在查阅大量原始文献的基础上,系统总结了26个散单群的发现与确定过程,揭示了它们彼此之间的密切联系,以期读者能够从中借鉴到研究问题的思路与途径。
     5.深入研究了最早的散单群——马蒂厄群的历史,考察了它们的产生背景、构造方法及重大意义,强调了在一段时期内问题意识所产生的深刻影响。
     6.作为有限单群中最大的散单群,大魔群自20世纪70年代就以其复杂的结构和迷人的性质受到广泛关注。本文考察了人们对大魔群求索与认知的过程,分析了它与数学其他学科乃至物理学的关系,展现了它的广阔发展前景和重要意义。
     7.介绍了高林斯坦为分类所有有限单群而制定的16步计划,阐述了它的主要内容及进展情况,揭示出团结协作已成为当今社会进步的强劲推动力,成为顺利解决问题的一大方法。
     8.挖掘了分类定理最初证明中存在的弊端,提炼并概括出对分类定理进行二代证明的必要性与可行性,通过查阅最新研究资料,详细介绍了目前正在进行的GLS计划。
     9.概述了有限单群分类在数学内外所产生的重大影响,希望从事群论应用研究的读者能够有所借鉴。
     10.鉴于布饶尔在有限单群分类中做出的重大贡献,全面系统地评述了布饶尔的生平、思想、工作以及对我国数学产生的影响(附录1)。
Groups are one of the fundamental structures in modern mathematics, and finite groups are the core of the whole group theory. Along from being analogous with prime numbers for the multiplication of positive integers, finite simple groups serve as the“atoms”or“building blocks”for finite groups. As a result, the study on finite groups falls naturally into two parts: to determine all the finite simple groups and to find how finite groups are constructed by simple groups. In fact, the first part is a peerless and magnificent project in mathematics, i.e. the classification of finite simple groups.
     According to the chronological order and the types of finite simple groups, this dissertation tries to summarize and study the history of the classification of finite simple groups systematically, and in the process of which the methods of the comparison, analysis to the key points, classification and tabulation play an important role. The main results are as follows:
     1. This dissertation reviews the background of the appearance of finite simple groups, examines the reasons why finite simple groups are very important for finite groups, and points out it is the product of the history to study the classification of finite simple groups.
     2. C.Jordan and L.E.Dickson made outstanding contributions to classical groups. This dissertation analyzes their research background and methods systematically. On the basis of original literatures, the author compares Jordan’s work with Dickson’s, and reveals their inheritance relationship in mathematical ideas.
     3. Based on the study to the prominent achievements on Chevalley groups and twisted Chevalley groups acquired by Chevalley and others respectively, this dissertation points out that the general and unified approaches are the key to finish the classification of finite simple groups. Accordingly, we can realize the limits of the enumeration used by O.H?lder, G.A.Miller and others.
     4. There are close connections among 26 sporadic simple groups. Based on abundance of original literatures, this dissertation summarizes the process of the detection and determination of these sporadic groups. I hope that it can provide an effective way for the readers to consider and solve the general problems.
     5. This dissertation studies the history of the oldest sporadic groups, Mathieu groups, including their background, construction, significance and so on. The author emphasizes that problem awareness can influence our study profoundly in some period. 6. Since 1970s,the monster, which is the largest sporadic simple group, has drawn the
     society’s great attention because of its intricate structure and charming properties. This dissertation examines the process of the pursuit of it and the comprehension to it, analyzes the relations between it and other disciplines in mathematics and physics, and points out its broad prospects and significance.
     7. This dissertation formulates the 16-step program made by D.Gorenstein to classify all the finite simple groups, and examines its main contents and development. It indicates that the collaboration has become a strong driving force for the whole society to go ahead, and has been an important method to solve the problems successfully.
     8. In view of the disadvantages existing in the proof of the theorem of the classification, this dissertation analyzes the necessity and feasibility to give a second proof, and elaborates on the GLS Project according to the latest research information.
     9. The finish of the classification of finite simple groups has profound influence on mathematics and other fields. The author hopes that this dissertation can give some helpful hints for the readers who study the applications of groups.
     10. Given the great achievements acquired by R.D.Brauer in the process of classifying finite simple groups, this dissertation reviews Brauer’s life, ideas, work, as well as the impact on Chinese mathematics comprehensively and systematically (appendix 1).
引文
[1] Schreier O.über die Erweiterung von Gruppen, I[J]. Monatshefte für Mathematik, 1926(34): 165-180.
    [2] Silvesti R, Kline M. Simple Groups of Finite Order in the Nineteenth Century[J]. Archive History of Exact Science, 1979(20): 313-355.
    [3] Gallian J A. The Search for Finite Simple Groups[J]. Mathematics Magazine, 1976(49): 163-180.
    [4] Gorenstein D. The Classification of Finite Simple Groups[J]. Bulletin of the American Mathematical Society, 1979(1): 43-199.
    [5] Gorenstein D. Classifying the Finite Simple Groups[J]. Bulletin(New Series) of the American Mathematical Society, 1986(14): 1-98 (中译文:有限单群分类.数学译林, 1987(6): 263-289).
    [6] Gorenstein D. The Enormous Theorem[J]. Scientific American, 1985(253): 92-102.
    [7] Solomon R. On Finite Simple Groups and Their Classification[J]. Notices of the American Mathematical Society, 1995(42): 231-239.
    [8] Solomon R. A Brief History of the Classification of the Finite Simple Groups[J]. Bulletin of the American Mathematical Society, 2001, 38(3): 315-352.
    [9] Aschbacher M. An Introduction to the Classification of Finite Simple Groups[J]. Bulletin of the American Mathematical Society, 1979, 1(1): 39-41.
    [10] Aschbacher M. The Classification of the Finite Simple Groups[J]. The Mathematical Intelligencer, 1981(3): 59-65(中译文:有限单群分类.数学译林, 1982, 1(3): 215-225).
    [11] Aschbacher M. The Status of the Classification of the Finite Simple Groups[J]. Notices of the American Mathematical Society, 2004, 51(7): 736-740(中译文:有限单群分类的现状.数学译林, 2004, 23(4): 292-331).
    [12] Elwes R. An Enormous Theorem: the Classification of Finite Simple Groups[J/OL]. Plus Magazin, 2006(41). http://plus.maths.org/issue41/features/elwes/index.html.
    [13] Hurley J F, Rudvalis A. Finite Simple Groups[J]. American Mathematical Mothly, 1977, 84(9): 693-714(中译文:有限单群.数学译林, 1980,试刊(2): 23-35;试刊(3): 51-65).
    [14] Cartwright M. Ten Thousand Pages to Prove Simplicity[J]. New Scientist, 1985(109): 26-30.
    [15] Cipra B. Slimming an Outsized Theorem[J]. Science, 1995(267): 794-795.
    [16] Aschbacher M. Highly Complex Proofs and Implications of Such Proofs[J]. Philosophical Transactions of the Royal Society A, 2005(363): 2401-2406.
    [17] Aschbacher M. The Finite Simple Groups and Their Classification[M]. New Haven: Yale University Press, 1980.
    [18] Gorenstein D. Finite Simple Groups: An Introduction to Their Classification[M]. New York: Plenum Press, 1982: 58-59.
    [19] Gorenstein D. The Classification of Finite Simple Groups[M]. New York: Plenum Press,1983.
    [20] Gorenstein D, Lyons R, Solomon R. The Classification of the Finite Simple Groups, 1[M]. Providence, R. I.: American Mathematical Society, 1994.
    [21] Gorenstein D, Lyons R, Solomon R. The Classification of the Finite Simple Groups, 2[M]. Providence, R. I.: American Mathematical Society, 1996.
    [22] Gorenstein D, Lyons R, Solomon R. The Classification of the Finite Simple Groups, 3[M]. Providence, R. I.: American Mathematical Society, 1998.
    [23] Gorenstein D, Lyons R, Solomon R. The Classification of the Finite Simple Groups, 4[M]. Providence, R. I.: American Mathematical Society, 1999.
    [24] Gorenstein D, Lyons R, Solomon R. The Classification of the Finite Simple Groups, 5[M]. Providence, R. I.: American Mathematical Society, 2002.
    [25] Gorenstein D, Lyons R, Solomon R. The Classification of the Finite Simple Groups, 6[M]. Providence, R. I.: American Mathematical Society, 2005.
    [26] Carter R. Simple Groups of Lie Type[M]. London: Wiley-Interscience, 1972.
    [27] Aschbacher M. Sporadic Groups[M]. Cambridge: Cambridge University Press, 1994: 65-77.
    [28] Griess R L. Twelve Sporadic Groups[M[. Berlin: Springer, 1998: 1-2.
    [29] Feit W. The Current Situation in the Theory of Finite Simple Groups[C]. Actes du Congrès international des mathématiciens. Paris: Gauthier-Villars, 1971: 55-93.
    [30] Griess R L. The Sporadic Simple Groups and Construction of the Monster[C]. CiesielskiZ, Olech C. Proceedings of the International Conference of Mathematicians, August 16-24 1983, Warszawa. Warszawa: PWN-Polish Scientific Publishers, 1984:369-384.
    [31] Collins M J. Finite Simple Groups II[C]. London: Academic Press, 1980: 3-40.
    [32] Cipra B. What’s Happening in the Mathematical Sciences[M]. Providence, R. I.: American Mathematical Society, 1996: 82-99.
    [33] Odifreddi P. The Mathematical Century: The 30 Greatest Problems of The Last 100 Years[M]. Princeton University Press, 2004: 71-77.
    [34] Katz V J. A History of Mathematics Brief Version[M]. Boston : Pearson/Addison-Wesley, 2003: 503-504.
    [35]胡作玄,邓明立. 20世纪数学思想[M].济南:山东教育出版社, 1999: 255-287.
    [36]李文林.数学史概论(第二版)[M].北京:高等教育出版社, 2002: 353-354.
    [37]冯绪宁,袁向东.中国近代代数史简编[M].济南:山东教育出版社, 2003: 33-36, 57-60, 175-198.
    [38] Chevalley C. Sur Certains Groups Simples[J]. T?hoku Mathematical Journal, 1955, 7(1):14-66.
    [39] Wussing H. The Genesis of the Abstract Group Concept, A Contribution to the History of the Origin of Abstract Group Theory[M]. Cambridge, Mass: MIT, 1984: 71.
    [40] Taton R. Evariste Galois[G]//Dictionary of Scientific Biography, 1972(5): 259-265.
    [41] Smith D E. A Source Book in Mathematics[M]. New York: McGraw-Hill, 1929: 279-280.
    [42] Galois E. Sur la Théorie des Nombres[J]. Bulletin des Sciences Mathématiques Férussac, 1830(13): 428-435.
    [43]邓明立.置换群概念的历史演变[J].自然辩证法研究, 1995, 11(1): 14-19.
    [44] Weyl H. The Classical Groups, 2nd edition[M]. Princeton: University Press, 1946: 165.
    [45] Jordan C. Cours d'analyse de l'école Polytechnique[M]. Paris: Gauthier-Villars, Vol.1, 1909; Vol.2, 1913; Vol.3, 1915.
    [46] Jordan C. Commentaire sur le Memoire de Galois[J]. Comptes Rendus des Séances de l'Académie des Sciences, 1865(60): 770–774.
    [47] Jordan C. Commentaires sur Galois[J]. Mathematische Annalen, 1869, l(2): 141-160.
    [48] Jordan C. Traitédes substitutions et deséquations algébriques[M]. Paris: Gauthier-Villars,1870: 41, 42, 48, 171-172.
    [49] DieudonnéJ. Camille Jordan[G]//Dictionary of Scientific Biography, 1973(7): 167-169.
    [50] Van der Waerden B L. A History of Algebra, From al-Khwārizmīto Emmy Noether[M]. Berlin ; Springer-Verlag, 1985: 117, 122-123.
    [51] Serret J A. Cours d'algèbre supérieure, 3rd ed.[M]. Paris: Gauthier-Villars, 1866.
    [52] H?lder O. Zurückführung einer beliebigen algebraischen Gleinchung auf eine Kette von Gleichungen[J]. Mathematische Annalen, 1889(34): 26-56.
    [53] H?lder O. Die einfachenGruppen im ersten und zweiten Hundert der Ordnungszahlen[J]. Mathematische Annalen, 1892(40): 55-88.
    [54] Cole F N. Simple Groups from Order 201 to Order 500[J]. American Journal of Mathematics, 1892(14): 378-388.
    [55] Cole F N. Simple Groups as Far as Order 660[J]. American Journal of Mathematics, 1893(15): 303-315.
    [56] Burnside W. Notes on the Theory of Groups of Finite Order(continued)[J]. Proceedings of the London Mathematical Society, 1895(26): 325-338.
    [57] Miller G A, Ling G H. Proof that There is No Simple Group Whose Order Lies between 1092 and 2001[J]. American Journal of Mathematics, 1900(22): 13-26.
    [58] Brahana H R. George Abram Miller 1863-1951[J]. Bulletin of the American Mathematical Society, 1951(57): 381.
    [59] Miller G A. Historical Note on the Determination of Abstract Groups of a Given Order[C]. Collected Works, I, 1935: 96.
    [60] Siceloff L. Simple Groups from Order 2001 to Order 3640[J]. American Journal of Mathematics, 1912(34): 361-372.
    [61] Cole F. On Simple Groups of Low Order[J]. Bulletin of the American Mathematical Society, 1924(30): 489-492.
    [62] Miller G A. On the Simple Groups of Order 2520[J]. Bulletin of the American Mathematical Society, 1922(22): 98-102.
    [63] Brauer R. On Groups Whose Order Contains a Prime Number to the First Power, I[J]. American Journal of Mathematics, 1942(64): 401-420.
    [64] Michaels E. A Study of Simple Groups of Even Order[D]. University of Notre Dame,1963.
    [65] Hall M. A Search for Simple Groups of Order Less than One Million[M]//Leech J. Computational Problems in Abstract Algebra. New York: Pergamon Press, 1969: 137-168.
    [66] Hall M. Simple Groups of Order Less than One Million[J]. Journal of Algebra, 1972(20): 98-102.
    [67] Beisiegel B.über eingfache endliche Gruppen mit Sylow 2-Gruppen der Ordnung h?chstens 210[J]. Communications in Algebra, 1977(5): 113-17.
    [68] Moore E H. A Doubly-Infinite System of Simple Groups[J]. Bulletin of the New York Mathematical Society, 1893(3): 73-78.
    [69] Bell E T. Fifty Years of Algebra in America, 1888-1938[M]//Semicentennial Addresses of the American Mathematical Society, II. New York: American Mathematical Society, 1938: 1-34.
    [70]柳笛,汪晓勤.迪克森:多产的数学家、美国数学的先驱者[J].自然辩证法通讯, 2007, 29(1): 83-91.
    [71] Calinger R S. Leonard Eugene Dickson[G]//Dictionary of Scientific Biography, iv, New York: Scribner & Sons, 1970-1990: 82-83.
    [72] Albert A A. Leonard Eugene Dickson 1874–1954[J]. Bulletin of the American Mathematical Society, 1955(61): 331-345.
    [73] Fenster D D. Leonard Eugene Dickson(1874-1954): An American Legacy in Mathematics[J]. The Mathematical Intelligencer, 1999, 21(4): 54-59.
    [74] Dickson L E. The Analytic Representation of Substitutions on a Power of a Prime Number of Letters with a Discussion of the Linear Group[J]. Annals of Mathematics, 1897(11): 161-183.
    [75] Schottenfels I M. Two Non-Isomorphic Simple Groups of the Same Order 20160[J]. Annals of Mathematics, 2nd series, 1900(1): 147-152.
    [76] Dickson L E. Proof of the Non-Isomorphism of the Simple Abelian Group on 2m Indices and the Orthogonal Group on 2m+1 Indices for m>2[J]. Quarterly Journal of Pure and Applied Mathematics, 1900(32): 42-63.
    [77] Dickson L E. Linear Groups with an Exposition of the Galois Field Theory[M]. Leipzig: B.G.Teubner, 1901: iii-iv, 77, 89, 158.
    [78] Parshall K H. A Study in Group Theory: Leonard Dickson’s Linear Groups[J]. The Mathematical Intelligencer, 1991, 13(1): 7-11.
    [79] Artin E. Geometric Algebra[M]. New York: Interscience, 1957.
    [80] Artin E. The Orders of the Linear Groups[J]. Communication on Pure and Applied Mathematics, 1955(8): 355-366.
    [81] Artin E. The Orders of the Classical Simple Groups[J]. Communication on Pure and Applied Mathematics, 1955(8): 455-472.
    [82] DieudonnéJ. Sur les Groupes Classiques[M]. Paris: Hermann, 1948.
    [83] Jacobson N. Basic Algebra, I[M]. Freeman, San Francisco, 1974.
    [84] Dickson L E. Theory of Linear Groups in an Arbitrary Field[J]. Transacrions of the American Mathematical Society, 1901(2): 363-394.
    [85] Dickson L E. A New System of Simple Groups[J]. Mathematische Annalen, 1905(60): 137-150.
    [86] Bender H. Entwicklungslinien in der Thorie endlicher Gruppen[J]. Jber. Deutsch. Math-Verein, 1922: 77-123.
    [87]胡作玄.布尔巴基学派的兴衰——现代数学发展的一条主线[M].知识出版社, 1984: 6-15, 81-82.
    [88] DieudonnéJ, Tits J. Claude Chevalley (1909-1984)[J]. Bulletin of the American Mathematical Society, 1987, 17(1): 1-7(中译文: Claude Chevalley (1909-1984).数学译林, 1988, 7(4): 324-327).
    [89] Chevalley C. Theory of Lie Groups, I[M]. Princeton: Princeton University Press, 1946.
    [90] Chevalley C. Théorie des groupes de Lie, II[M]. Paris: Hermann, 1951.
    [91] Chevalley C. Théorie des groupes de Lie, III[M]. Paris: Hermann, 1955.
    [92] Carter R W. Simple Groups and Simple Lie Algebras[J]. The Journal of the London mathematical Society, 1965, 40(2): 193-240.
    [93]孟道骥.复半单李代数引论[M].北京:北京大学出版社, 1998: 10.
    [94]邓金E B.半单纯李氏代数的结构[M].曾肯成,译.科学出版社, 1954: 1-3.
    [95] Freudenthal H. Sophus Lie[G]// Dictionary of Scientific Biography, 1973(8): 323-327(中译文: Sophus Lie.数学译林, 1986, 5(1): 78-82).
    [96] Ronan M. Symmetry and the Monster, One of Greatest Quests of Mathematics[M]. 100Oxford University Press, 2006: 57-59, 157-229.
    [97] Coleman A J. Groups and Physics—Dogmatic Opinions of a Senior Citizen[J]. Notice of the American Mathematical Society,1997, 44(1): 8-17(中译文:群和物理——一位过来人的管窥之见.数学译林, 1997, 16(4): 286-295).
    [98] Babelon O, Bernard D, Talon M. Introduction to Classical Integrable Systems[M]. Cambridge University Press, 2003: 571-596.
    [99] Steinberg R. Variations on a Theme of Chevalley[J]. Pacific Journal of Mathematics, 1959(9): 875-891.
    [100] http://en.wikipedia.org/wiwi/Group_of_Lie_type.
    [101] Hertzig D. On Simple Algebraic Groups[R]. International of the Congress of Mathematicans, Edinburgh, 1958.
    [102] Suzuki M. The Nonexistence of a Certain Type of Simple Groups of Odd Order[J]. Proceedings of the American Mathematical Society, 1957(8): 686-695.
    [103] Aschbacher M, Bender H, Feit W, Solomon R. Michio Suzuki(1926-1998)[J]. Notices of the American Mathematical Society, 1999, 46(5): 543-551.
    [104] Suzuki M. A New Type of Simple Groups of Finite Order[J]. Proceedings of the National Academy of Sciences, 1960(46): 868-870.
    [105] Ree R. A Family of Simple Groups Associated with the Simple Lie Algebra of Type G2[J]. American Journal of Mathematics, 1961(83): 432-462.
    [106] Ree R. A Family of Simple Groups Associated with the Simple Lie Algebra of Type F4[J]. American Journal of Mathematics, 1961(83): 401-420.
    [107] Carter R. Simple Groups of Lie Type[M]. Wiley-Interscience, 1972.
    [108] Cameron P J. Permutation Groups[M]. Cambridge University, 1999: 188-190.
    [109] Burnside W. Theory of Groups of Finite Order, 2nd edition[M]. Cambridge: The University Press, 1911: 504.
    [110] Gorenstein D. Finite Groups[M]. New York: Harper & Row, 1968.
    [111] Dixon J D, Martimer B. Permutation Groups[M]. New York: Springer-Verlag, 1996: v.
    [112] Cauchy A L. Sur le nombre des valeurs qu’une function peut acquérir, Lorsqu’on y permute de toutes les manières possibles les quantités qu’élle renferme[J]. Journal de l’Ecole Polytechnique, 1815(10): 1-28.
    [113] Cauchy A L. Mémoire sur les arrangements que l’on peut former avec des letters données et sur les permutations ou substitutionsàl’aide desquelle on passéd’un arrangementàun autre[J]. Exercises d’Analyse et de Physique Mathématique, 1844(3): 151-252.
    [114] Cauchy A L. Mémoire sur les fonction? de 5 ou 6 varialbes, et spécialement sur cellesc qui sont doublement transitives[J]. Comptes Rendus de l'Académie des sciences, 1846(22): 2-31.
    [115] Duhem P. Emile Mathieu, His Life and Works[J]. Bulletin of New York Mathematical Society, 1891, 1(1): 156-168.
    [116] Grattan-Guinness I.é.Mathieu[G]//Dictionary of Scientific Biography, 1970-1990: 175.
    [117] Mathieu E. Mémoire sur le nombre de valeurs que peut acquérir une function[J]. Comptes Rendus des Séances de l'Académie des Sciences, 1859(48): 840-841.
    [118] Mathieu E. Mémoire sur le nombre de valeurs que peut acquérir une function quand on y permute ses variables de toutes les manières possibles[J]. Journal de mathématiques pures et appliqués, 2 series, 1860(5): 9-42.
    [119] Mathieu E. Mémoire sur Vétude des fonctions de plusieurs quantités, sur la manière de les former et sur les substitutions qui les laissent invariables[J]. Journal de mathématiques pures et appliqués, 1861(6): 241-323.
    [120] Mathieu E. Sur la fonction cinq fois transitive de 24 quantités[J]. Journal de mathématiques pures et appliqués, 1873(18): 25-46.
    [121] Miller G A. On the Supposed Five-Fold Transitive Function of 24 Elements[J]. Messenger of Matheatics, 1898(27): 187-190.
    [122] Miller G A. Sur plusieurs groupes simples[J]. Bulletin de la SociétéMathématique de France, 1900(28), 266-267.
    [123] Cole F N. List of the Transitive Substitution Groups of 10 and 11 Letters[J]. Quarterly Journal of Pure and Applied Mathematics, 1894(27): 48.
    [124] Miller G A. On the Simple Groups Which Can be Reprensented as Substitution Groups that Contain Cyclical Substitutions of Prime Degree[J]. American Mathematical Monthly, 1899 (6): 102-103.
    [125] Miller G A. Sur plusieurs groupes simples[J]. Bulletin de la SociétéMathématique deFrance, 1900(28): 266-267.
    [126] Stanton R G. The Mathieu-Groups[J]. Canadian Journal of Mathematics, 1951(3): 164-174.
    [127] Wong W. On Finite Groups Whose 2-Sylow Subgroups Have Cyclic Subgroups of Index 2[J]. Journal of the Australian Mathematical Society, 1964(4): 90-112.
    [128] Parrott D. On the Mathieu Groups M22 and M11[J]. Journal of the Australian Mathematical Society, 1970(11): 69-81.
    [129] Bryce N. On the Mathieu Group M23[J]. Journal of the Australian Mathematical Society, 1971(12): 385-392.
    [130] Biggs N L. T. P. Kirkman, Mathematician[J]. Bulletin of the London Mathematical Society, 1981(13): 97-12.
    [131] Lindner C C, Rosa A. Topics on Steiner Systems[M]. North-Holland, 1980: v.
    [132] Greenberg P J. Mathieu Groups[M]. New York University, 1973.
    [133] Brauer R. On the Structure of Groups of Finite Order[C]. Proceeding of the International Congress of Mathematics, 1, North-Holland, Amsterdam, 1954: 209-217.
    [134] Held D. A Characterization of Some Multiply Transitive Group, II[J]. Archiv der Mathematik, 1968(19): 378-382.
    [135] Wong W. A Characterization of the Mathieu Group M12[J]. Mathematische Zeitschrift, 1964(84): 378-388.
    [136] Brauer R, Fong P. A Characterization of the Mathieu Group M12[J]. Transactions of the American Mathematical Society, 1966(120): 18-47.
    [137] Janko Z. A Characterization of the Mathieu Simple Groups, I[J]. Journal of Algebra, 1968(9): 1-19.
    [138] Held D. Eine kennzelchnung der Mathieu-grouppe M22 und der alternierenden Gruppe A10[J]. Jounal of Algebra, 1968(8): 436-449.
    [139] Janko Z. A Characterization of the Mathieu Simple Groups, II[J]. Journal of Algebra, 1968(9): 20-41.
    [140] Held D. The Simple Groups Related to M24[J]. Journal of Algebra, 1969(13): 253-296.
    [141]维兰特H.有限置换群[M].王萼芳,译.科学出版社, 1984: 17-19.
    [142] Brauer R D, Fowler K A. On Groups of Even Order[J]. Annals of Mathematics,1955(62): 565-583.
    [143] Feit W. The Current Situation in the Theory of Finite Simple Groups[C]. Actes du Congrès international des mathématiciens, 1970: 55-93.
    [144] Feit W, Thompson J G. Solvability of Groups of Odd Order[J]. Pacific Journal of Mathematics, 1963(13): 775-1029.
    [145] Burnside W. On Transitive Groups of Degree n and Class n-1[J]. Proceedings of the London Mathematical Society, 1900(32): 240-246.
    [146] Burnside W. On Some Properties of Groups of Odd Order(second paper)[J]. Proceedings of the London Mathematical Society, 1901(33): 257-268.
    [147] Feit W, Hall M, Thompson J G. Finite Groups in Which the Centralizer of Any Non-Identity Element is Nilpoment[J]. Mathematische Zeitschrift, 1960(74): 1-17.
    [148] Janko Z, Thompson J G. On a Class of Finite Simple Groups of Ree[J]. Journal of Algebra, 1966(4): 274-292.
    [149] Ward H. On Ree’s Series of Simple Groups[J]. Transacrions of the American Mathematical Society, 1966(121): 62-89.
    [150] Janko Z. A New Finite Simple Group with Abelian 2-Sylow Subgroups[J]. Proceedings of the National of Sciences of the United States of America, 1965, 53(3): 657-658.
    [151] Janko Z. A New Finite Simple Group with Abelian Sylow 2-Subgroups and Its Characterization[J]. Journal of Algebra, 1966(3): 147-186.
    [152] Michler G. Theory of Finite Simple Groups[M]. Cambridge University Press, 2006: 432.
    [153] http://www.croatianhistory.net/etf/janko/index.html.
    [154] Janko Z. Some New Simple Groups of Finite Order, 1[C]. Istituto Nazionale di Alta Matematica Symposia Mathematica I, (Rome, 1967-1968), Academic Press, 1969: 25-64.
    [155] Hall M, Wales D. The Simple Group of Order 604800[J]. Journal of Algebra, 1968(9): 417-450.
    [156] http://en.wikipedia.org/wiki/Hall%E2%80%93Janko_group.
    [157] Higman G, McKay J. On Janko’s Simple Group of Order 50232960[J]. Bulletin of the London Mathematical Society, 1969(1): 89-94.
    [158] http://en.wikipedia.org/wiki/Held_group.
    [159] Lyons R. Evidence for a New Finite Simple Group[J]. Journal of Algebra, 1972(20): 540-569.
    [160] Schur I.über Darstellung der symmetrischen und alternierenden Gruppen durch gebrochenen linearen Substitutionen[J]. Crelle’s Journal, 1911(139): 155-250.
    [161] Brauer R, Suzuki M. On Finite Groups of Even Order Whose Sylow 2-Subgroup is a Quaternion Group[J]. Proceedings of the National Academy of Sciences, 1959(45): 1757-1759.
    [162] McLaughlin J. A Simple Group of Order 898128000[C]. Brauer R, Shah C H. Theory of Finite Groups(Symposium, Harvard University, 1968), New York: Benjamin, 1969: 109-111.
    [163] Janko Z. The Nonexistence of a Certain Type of Simple Groups[J]. Journal of Algebra, 1971(18): 245-253.
    [164] Sims C. The Existence and Uniqueness of Lyons’Group[C]. Gagen T, Hale M, Shult E. Gainesville Conference on Finite Groups, Amsterdam: North-Hohhand, 1972: 138-141.
    [165] Monastyrsky M. Modern Mathematics in the Light of the Fields Medals[M]. A K Peters, Ltd, 1998: 89-91.
    [166] Thompson J G. Finite Non-Solvable Groups[C]. Gruenberg K W, Roseblade J E. Group Theory, Essays for Philip Hall. London, New York: Academic Press, 1844: 1-12.
    [167] Thompson J G. A simple subgroup of E8(3)[C]. Abstracts of International Symposium of Theory of Finite Groups, Department of Mathematics, Hokkaido University, Sapporo, Japan, 1974.
    [168] Harada K. On the Simple Group F of Order 214? 36? 56? 7? 11? 19[C]. Scott W R, Gross F. Proceedings of the Conference on Finite Groups, Academic Press, 1976: 119-227.
    [169] Segev Y. On the Uniqueness of the Harada-Norton Group[J]. Journal of Algebra, 1992(151): 261-303.
    [170] O’Nan M. Some Evidence for the Existence of a New Simple Group[J]. Proceedings of the London Mathematical Society, 1976(32): 421-470.
    [171] Janko Z. A New Finite Simple Group of the Order 86775571046077562880 Which Possesses M24 and the Full Cover of M22 as Subgroups[J]. Journal of Algebra, 1976(42):564-596.
    [172] Norton S P. The Contruction of J4[J]. Proceedings of Symposia in Pure Mathematics, 1980(37): 271-278.
    [173] Ivanow A A, Meierfrankenfeld U. A Computer Free Construction of J4[J]. Journal of Algebra, 1999(219): 113-172.
    [174] Aschbacher M, Segev Y. The Uniqueness of Groups of Type J4[J]. Inventiones mathematicae, 1991(105): 589-607.
    [175] Higman D G. Finite Permutation Groups of Rank 3[J]. Mathematische Zeitschrift, 1964(86): 145-156.
    [176] Gorenstein D. Finite Simple Groups and Their Classification[J]. Israel Journal of Mathematics, 1974(19): 5-66.
    [177] Higman D G, Sims C. A Simple Group of Order 44352000[J]. Mathematische Zeitschrift, 1968(105): 110-113.
    [178] Higman G. On the Simple Group of D.G.Higman and C.C.Sims[J]. Illionis Journal of Mathematics, 1969(13): 74-80.
    [179] Parrott D, Wong S K. On the Higman-Sims Simple Group of Order 44,352,000[J]. Pacific Journal of Mathematics, 1970(32), 501-516.
    [180] Suzuki M. A Simple Group of Order 448345497600[C]. Brauer R, Shah C H. Theory of Finite Groups(Symposium, Harvard University, 1968), New York: Benjamin, 1969: 113-119.
    [181] Reifart A. A Characterization of the Sporadic Simple Group of Suzuki[J]. Journal of Algebra, 1975(33): 288-305.
    [182] Reifart A. A Characterization of the Suzuki Sporadic Group by the Sylow 2-Subgroup[J]. Journal of Algebra, 1975(36): 348-363.
    [183] Patterson N J, Wong S K. A Characterization of the Suzuki Sporadic Simple Group of Order 448345497600[J]. Journal of Algebra, 1976(39): 277-286.
    [184] Janko Z, Wong S K. A Characterization of MaLaughlin’s Simple Group[J]. Journal of Algebra, 1972(20): 203-225.
    [185] Rudvalis A. A New Simple Group of Order 214? 33? 53? 7? 13? 29[J]. Notices of the American Mathematical Society, 1973(20): A-95.
    [186] Frame J S. Computation of Characters of the Higman-Sims Group and Its Automorphism Group[J]. Journal of Algebra, 1972(20): 320-349.
    [187] Conway J, Wales D. The Construction of the Rudvalis Simple Group of Order 145926144000[J]. Journal of Algebra, 1973(27): 538-548.
    [188] Leech J. Notes on Sphere Packings[J]. Canadian Journal of Mathematics, 1967(19): 251-267.
    [189] Conway J. A Group of Order 8315533613086720000[J]. Bulletin of the London Mathematical Society, 1969(1): 79-88.
    [190] Hargittai I. John Conway-Mathematician of Symmetry and Everything Else[J]. The Mathematical Intelligencer, 2001, 23(2): 6-14.
    [191] Henderson H. Modern Mathematicians[M]. New York: Facts on File, 1996: 123-132.
    [192] Fischer B. Finite Groups Generated by 3-Transpositions, 1[J]. Inventiones Mathematicae, 1971, 13(3): 232-246.
    [193] Leon J S, Sims C C. The Existence and Uniqueness of a Simple Group Generated by {3,4}-Transpositions[J]. Bulletin of the American Mathematical Society, 1977, 83(5): 1039-1040.
    [194] Dyson F J. Unfashionable Pursuits[J]. The Mathematical Intelligencer, 1983, 5(3): 47-54.
    [195] Conway J H, Curtis R T, Norton S P, Parker R A, Wilson R A. Atlas of Finite Groups[M]. Oxford: Clarendon Press, 1985.
    [196] Griess R L. The Structure of the“Monster”Simple Group[C]. Scott W R, Gross F. Proceeding of the Conference on Finite Groups. New York: Academic Press, 1976: 113-118.
    [197] Conway J H, Norton S P. Monstrous Moonshine[J]. The Bulletin of the London Mathematical Society, 1979, 11(3): 308-339.
    [198] Griess R L. The Friendly Giant[J]. Inventiones Mathematicae, 1982, 69(1): 1-102.
    [199] Vita for R.L.Griess[EB/OL]. http://www.math.Isa.umich.edu/ ? rlg/DVI/vita 28sep04.pdf.
    [200] Tits J. On R.Griess’“Friendly Giant”[J]. Inventiones Mathematicae, 1984, 78(3): 491-499.
    [201] Conway J H. A Simple Construction for the Fischer-Griess Monster Group[J]. Inventiones Mathematicae, 1985, 79(3): 513-540.
    [202] Frenkel I, Lepowski J, Meurman A. Vertex Operator Algebras and the Monster[M]. Boston: Academic Press, 1988: vii.
    [203] Borcherds R E. What is the Monster?[J]. Notice of the American Mathematical Society, 2002, 49(9): 1076-1077.
    [204] Holmes P E, Wilson R A. A Computer Construction of the Monster Using 2-Local Subgroups[J]. Journal London Mathematical Society, 2003(67): 346-364.
    [205] Thompson J. The Uniqueness of the Fischer-Griess Monster[J]. The Bulletin of the London Mathematical Society, 1979, 11(3): 340-346.
    [206] Norton S P. The Uniqueness of the Fischer-Griess Monster[C]. McKay J. Finite Groups-Coming of Age. Providence. R. I.: American Mathematical Society, 1985: 271-285.
    [207] Griess R L, Meierfrankenfeld U, Segev Y. A Uniqueness Proof for the Monster[J], Annals of Mathematics, 1989, 130(3): 567-602.
    [208] Griess R L. The Monster and Its Nonassociative Algebra[C]. McKay J. Finite Groups-Coming of Age. Providence. R. I.: American Mathematical Society, 1985: 121-157.
    [209] Gannon T. Moonshine Beyond the Monster: The Bridge Connecting Algebra, Modular Forms and Physics[M]. New York: Cambridge University Press, 2006: 1.
    [210] Thompson J G. Some Numerology between the Fischer-Griess Monster and the Elliptic Modular Fuction[J]. Bulletin of the London Mathematical Society, 1979(11): 352-353.
    [211] Borcherds R E. What is the Moonshine?[J/OL]. Documenta Mathematica, 1998, Extra 1: 607-615.
    [212]李心灿.当代数学精英:菲尔兹奖得主及其建树与见解[M].上海:上海科技教育出版社, 2003: 228-134.
    [213] Griess R L. A Brief Introduction to the Finite Simple Groups[C], J.Lepowky. Vertex Operators in Mathematics and Physics Proceedings of a Conference November 10-17, 1983, S.Mandelstam, I.M.Singer, Springer-Verlag, 1985: 217-229.
    [214] Gorenstein D. The Classification of the Finite Simple Groups, A Personal Journey: TheEarly Years[M]//Peter A. Century of mathematics in America. American Mathematical Society, 1988: 447-476.
    [215] Powell M, Thwaites G. On the Nonexistence of Certain Types of Subgroups in Simple Groups[J]. Quarterly Journal of Mathematics, 1975, 26(2): 243-256.
    [216] Aschbacher M. On Finite Groups of Component Type[J]. Illionis Journal of Mathematics. 1975(19): 78-115.
    [217] Aschbacher M. Thin Finite Simple Groups[J]. Journal of Algebra, 1978(54): 50-152.
    [218] Aschbacher M. The Uniqueness Case for Finite Groups[J]. Annals of Mathematics, 1983, 117(2): 383-551.
    [219] Gorenstein D, Lyons R. The Local Structure of Finite Groups of Characteristic 2 Type (Memoirs of the American Mathematical Society)[M]. Providence, R. I.: American Mathematical Society, 1983.
    [220] Timmesfeld F G. Finite Simple Groups in Which the Generalized Fitting-Group of the Centralizer of Some Involution is Extraspecial[J]. Annals of Mathematics, 1978(107): 297-369.
    [221] Aschbacher M. Finite Groups of Rank 3, I[J]. Inventiones Mathematicae, 1981(63): 357-402.
    [222] Aschbacher M. Finite Groups of Rank 3, II[J]. Inventiones Mathematicae, 1983(71): 51-163.
    [223] Gilman R H, Griess R L. Finite Groups with Standard Components of Lie Type over Fields of Characteristic Two[J]. Journal of Algebra, 1983(80): 383-516.
    [224] Brauer R. Blocks of Characters and Structure of Finite Groups[J]. Bulletin of the American Mathematical Society (New Series), 1979(1): 21-38.
    [225] Laffey T J. Greet Moments in 20th Century Mathematics[J/OL]. Bulletin International center for mathematics, 2001: 15.
    [226] Aschbacher M, Smith S D. The Classification of Quasithin Groups, I. Structure of Strongly Quasithin K -groups[M]. Providence R.I.: American Mathematical Society, 2004: xiii-xiv.
    [227] Aschbacher M, Smith S D. The Classification of Quasithin Groups, II. Main Theorems: The Classification of Simple QTKE-Groups[M]. Providence R.I.: AmericanMathematical Society, 2004.
    [228] Gorenstein D. An Outline of the Classification of Finite Simple Groups[C]. Cooperstein B, Mason G. Proceedings of Symposia in Pure Mathematics. American Mathematical Society, 1979: 3-28.
    [229] Gruenberg K W, Roseblade J E. Group Theory: Essays for Philip Hall[M]. London: Academic Press, 1984: 1-12.
    [230] Graham R L. Gr?tschel M, Lovász L. Handbook of Combinatorics, 1[M]. Amsterdam; Elsevier, 1995: 611-628.
    [231] Hall P, Higman G. The p-Length of a p-Soluble Group and Reduction Theorem for Burnside’s Problem[J]. Proceedings of the London Mathematical Society, 1956, 6(3): 1-42.
    [232] Aschbacher M. Finite Group Theory[M]. Cambridge University Press, 2000: 242-246.
    [233] Aschbacher M. The Classification of the Finite Simple Group (by Daniel Gorenstein, Richard Lyons and Ronald Solomon)[J]. Bulletin of the American Mathematical Society (New Series), 1995, 32(4): 434-437.
    [234] Tits J, Weiss R M. Moufang Polygons[M]. Berlin ;New York : Springer, 2002.
    [235]胡作玄.近代数学史[M].济南:山东教育出版社. 2006: 632-637.
    
    ①Brauer R, Wong W J, Fong P. Richard Brauer: Collected papers[C]. The MIT Press, 1980: xv-xix.
    ②Feit W. Richard D. Brauer[J]. Bulletin of the American Mathematical Society, 1979, 1(1): 1-21.
    ①Burnside W. Theory of Groups of Finite Order[M]. Dover Publications, 1911: 269-170.
    ①Brauer R. Emil Artin[J]. Bulletin of the American Mathematical Society, 1967(73): 27-43.
    ①胡作玄.布尔巴基学派得兴衰——现代数学发展的一条主线[M].知识出版社, 1984: 88-94.
    ①Feit W. Richard D. Brauer[J]. Bulletin of the American Mathematical Society, 1979, 1(1): 1-21.
    ②Green J A. Richard Dagobert Brauer[J]. Bulletin of the London Mathematical Society, 1978(1): 316-342.
    ①Curtis C W. Pioneers of Representation Theory : Frobenius, Burnside, Schur, and Brauer[M]. Providence R.I.: American Mathematical Society, 1999.
    ②Curits C W. Representation Theory of Finite Groups from Frobenius to Brauer[J]. The Methematical Intelligencer, 1992, 14(4): 48-57.
    ①Feit W. Richard D.Brauer[J]. Bulletin of the American Mathematical Society, 1979, 1(1): 1-21.
    ①GorensteinD, Lyons R, Solomon R. The Classification of the Finite Simple Groups[M]. Province R. I.: American Mathematical Society, 1994: xiii-11.
    ①Solomon R. A Brief History of the Classification of the Finite Simple Groups[J]. Bulletin of the American Mathematical Society, 2001, 38(3): 315-352.
    
    ①段学复.段学复文集[C].北京:北京大学出版社, 1999.
    ②王萼芳,石生明,王杰.段学复[M] //中国现代数学家传.南京:江苏教育出版社, 1995: 227-243.
    ①冯绪宁,袁向东.中国近代代数史简编[M].济南:山东教育出版社, 2003: 33-36, 57-60, 175-198.

© 2004-2018 中国地质图书馆版权所有 京ICP备05064691号 京公网安备11010802017129号

地址:北京市海淀区学院路29号 邮编:100083

电话:办公室:(+86 10)66554848;文献借阅、咨询服务、科技查新:66554700