Abstract
In her book on varieties of groups, Hanna Neumann posed the following problem [13, p. 166]: “Can a variety other than D contain an infinite number of non-isomorphic non-abelian finite simple groups?”The answer to this question does not seem to be known at present. However, in [7], Heineken and Neumann described an algorithm for determining whether or not there are any non-abelian finite simple groups satisfying a given law. They also outlined a way in which their algorithm could be used to show that “only finitely many of the known non-abelian finite simple groups can satisfy a given non-trivial law”; in this paper, we shall follow their suggestions, and prove theTHEOREM. Let g be a set of mutually non-isomorphic non-abelian finite simple groups, each of which is either an alternating group or a group of Lie type, and let g generate a proper subvariety of D. Then y is finite.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
