This is the fifth volume of a comprehensive and elementary treatment of finite p -group theory. Topics covered in this volume include theory of linear algebras and Lie algebras.
The book contains many dozens of original exercises (with difficult exercises being solved) and a list of about 900 research problems and themes.
Frequently asked questions
How do I cancel my subscription?
Simply head over to the account section in settings and click on āCancel Subscriptionā - itās as simple as that. After you cancel, your membership will stay active for the remainder of the time youāve paid for. Learn more here.
Can/how do I download books?
At the moment all of our mobile-responsive ePub books are available to download via the app. Most of our PDFs are also available to download and we're working on making the final remaining ones downloadable now. Learn more here.
What is the difference between the pricing plans?
Both plans give you full access to the library and all of Perlegoās features. The only differences are the price and subscription period: With the annual plan youāll save around 30% compared to 12 months on the monthly plan.
What is Perlego?
We are an online textbook subscription service, where you can get access to an entire online library for less than the price of a single book per month. With over 1 million books across 1000+ topics, weāve got you covered! Learn more here.
Do you support text-to-speech?
Look out for the read-aloud symbol on your next book to see if you can listen to it. The read-aloud tool reads text aloud for you, highlighting the text as it is being read. You can pause it, speed it up and slow it down. Learn more here.
Is Groups of Prime Power Order. Volume 5 an online PDF/ePUB?
Yes, you can access Groups of Prime Power Order. Volume 5 by Yakov G. Berkovich, Zvonimir Janko in PDF and/or ePUB format, as well as other popular books in Matematica & Teoria degli insiemi. We have over one million books available in our catalogue for you to explore.
Ā§ 225 Nonabelianp-groups in which anys(a fixed sā{3,...,p +1}) pairwise noncommuting elements generate a group of maximal class
The nonabelian 2-groups G all of whose two-generator subgroups are of maximal class, have classified. Indeed, if M ā¤ G is minimal nonabelian, then it is of maximal class so of order 8. Now the classification of such 2-groups follows from Theorem 90.1. For an independent proof, see Appendix 96. For p > 2, see [GMS1].
Let s ā {3,..., p. 1} be fixed. In this section we classify the nonabelian p-groups in which any s pairwise noncommuting elements generate a p-group of maximal class.
Remark 1. Let G be a nonabelian p-group. Assume that {x1, x2,..., xs} be a set of pairwise noncommuting elements of G and 1 < s < p. 1. Then
by Lemma 116.3 (a). Take
Then {y, x1, x2,..., xs} is the set of s+ 1 pairwise noncommuting elements. It follows that any set of s < p. 1 of pairwise non-commuting elements of a (nonabelian) p-group G is a subset of a set of p. 1pairwise noncommuting elements of G.
Theorem 225.1.Let s be a fixed member of the set {3,..., p. 1} and p > 2. If any s pairwise noncommuting elements of a nonabelian p-group G generate a p-group of maximal class, then G is also of maximal class with abelian subgroup of index p.
Proof. (a) We claim that G is of maximal class. Let A ā¤ G be a minimal nonabelian subgroup of the least order. If A.G, thenany s pairwise noncommuting elements of G generate G (see the second paragraph of the section) so G is of maximal class. Next we assume that A < G. As d(A) = 2 and s > 2, there are pairwise noncommuting a1,..., asā1 ā A that generate A. Let A < B ā¤ G, where | B: A| = p. Then d(B) ā¤ d(A) + 1 = 3. By Remark 1, there is as ā Bā A such that elements a1,..., asā1, asare pairwise noncommuting and these elements generate B. By hypothesis, B is of maximal class. Thus, all subgroups of G containing A as a subgroup of index p, areof maximal class. In that case, by Exercise 10.10, G is of maximal class, as required.
(b) It remains to prove that G has an abelian subgroup of index p. One may assume that |G| > p4. Assume that G1, the fundamental subgroup of G (see Theorem 9.6), is nonabelian. By definition, G1 is not of maximal class. Then, by (a), the subgroup G1 contains s pairwise noncommuting elements that do not generate the subgroup of ma...
