© All Rights Reserved

11 views

© All Rights Reserved

- Electives Monsoon15
- Topics in Absolute Anabelian Geometry II
- an_introduction_to_group_theory.pdf
- Introduction to Differential Galois Theory
- Some Remarks on Prime Submodules in Weak Co-Multiplication Modules
- Chapter 1 Integrals and the Haar Measure
- 230197236-Gma3-4-2011-Continut.pdf
- Button - Philosophy & Model Theory
- FOR UPLOAD2.docx
- Lemma 20 Let G be a group with jGjenglish////.//..Lemma 20 Let G be a group with jGjenglish////.//..
- Microsoft Word - MA_QP
- Discrete Mathematical Structures Lec_37
- M 1 Sc Math Semister Wise Syllabus
- Some Covering Concepts in Graphs Plummer
- [William_J._Gilbert,_W._Keith_Nicholson]_Modern_al(BookFi).pdf
- Liao & Teh - Semi-Topological Galois Theory and the Inverse Galois Problem
- math 211 part 0 Intro.pdf
- 2_F.Y.B.sc. Computer Sci. Mathematics
- 2007Origins.pdf
- 52133

You are on page 1of 2

BOOK REVIEWS

AMERICAN MATHEMATICAL SOCIETY

Volume 21, Number 2, October 1989

1989 American Mathematical Society

0273-0979/89 $1.00 + $.25 per page

Subnormal subgroups of groups, by John C. Lennox and Stewart S. Stonehewer. Oxford Mathematical Monographs, Clarendon Press, Oxford,

1987, xiii + 253 pp., $69.00. ISBN 0-19-853552x

Normality is not a transitive relation for subgroups of a group; the transitive closure of this relation yields subnormality: The subgroup H of the

group G is called subnormal in G if there exists a finite chain {Ht} of subgroups Hi of G with H = H0<H{<

<Ht< Hi+{ < < Hn = G such

that Hi is a normal subgroup of Hi+{ for every / = 0 , . . . , - 1. The length

of a minimal such chain is the subnormal defect of H in G.In finite

groups G the subnormal subgroups are just those subgroups through which

passes some composition chain of G; and the Jordan-Holder theorem states

that the set of factors Hi+ \ /Hi of a composition chain of G does not depend

on the composition chain chosen. So subnormal subgroups somehow reflect the "normal structure" of the group G. It is almost obvious that the intersection of any two subnormal subgroups of a group G is also subnormal

in G. What about the join, i.e. the subgroup of G generated by these two

subnormal subgroups? The answer is simple, if the subnormal subgroups

/, K are so embedded in G that they permute, i.e., HK = KH = {H,K)9

in this case the subgroup HK is subnormal in G. This observation motivates the search for permutable (subnormal) subgroups of a group. Picking

up the above question of Remak's for groups with a (finite) composition

chain, in particular for finite groups, H. Wielandt proved in 1939 that the

join of two subnormal subgroups is again subnormal. So in finite groups

the subnormal subgroups form a sublattice of the lattice of all subgroups.

That this is not so for groups in general wasfirstpointed out by Zassenhaus;

further examples were produced by P. Hall, Derek Robinson, J. Roseblade

and St. Stonehewer

Wielandt proved in his work that, under his restrictions, a perfect subnormal subgroup //, i.e. one which is generated by the set of its commutators, permutes with every other subnormal subgroup. So the inner structure

of H reflects on the way H is embedded in G. J. Roseblade found in 1964

another proof of this result and a sweeping generalisation: If H and K

are any two groups, consider their maximal abelian factor groups H/Hf,

K/K' and their tensor product (over Z) H/H' <g> K/K'. These groups are

called orthogonal (to each other) if H/H' <g> K/K' = (0). In particular,

if H is perfect, then H/Hf is trivial and H is orthogonal to every group.

Roseblade showed that if two subnormal subgroups H and K of a group G

are orthogonal, then they permute and hence their join HK is subnormal

in G. Roseblade also gave a converse to this result: If the groups H and

K are not orthogonal, then there is a group G with subnormal subgroups

isomorphic to H and K which do not permute.

These two results set the themes for much subsequent research: What

structural properties of a group G ensure that the join of any two subnormal subgroups of G is again subnormal? Which inner properties of

the subnormal subgroups H and K of the group G ensure that {H, K) is

BOOK REVIEWS

347

again subnormal?A spectacular result in this second direction, generalising Roseblade's result, is due to J. P. Williams (1982): If the tensor

product HjH'^KjK' of the groups H and K has finite rank over its largest

divisible torsion subgroup, then in any group G any two subnormal subgroups isomorphic to H and K have subnormal join. Conversely, if the

tensor product H/H'^K/K' does not have this "smallness" property, then

the groups H and K may be embedded into some group G as subnormal

subgroups so that their join in G is not subnormal.

The book under review discusses most of the known results on subnormal subgroups in a very clear and pleasant fashion, very much with the

prospective reader in mind. Some of the key results are presented with

more than one proof; often the later result and its proof generalise the

earlier one. The questions mentioned are generalised to arbitrary sets of

subnormal subgroups of a group G. Another type of question is taken up:

How can one recognise whether a subgroup H of a group G is subnormal?

Here it seems some rather strong finiteness conditions are needed, or one

must generalise the notion of subnormal subgroup to that of serial subgroup where Hickin and Phillips have given a local characterisation. But

then a simple group may contain a proper serial subgroup: in a linearly

ordered group every convex subgroup is serial. Hartley observed 1971 that

in locally finite groups the serial subgroups form a complete sublattice of

the subgroup lattice.

If in the finite group G all subgroups are subnormal, then G is nilpotent

by an old result of Wielandt.1 Heineken and Mohamed gave an example

of a group with trivial centre in which every subgroup is subnormal. Quite

recently W. Mhres proved that without any finiteness assumptions on the

group G, the condition that every subgroup of G be subnormal forces G to

be soluble

On pp. 219/220 Lennox and Stonehewer mention a problem

on finite groups which has intrigued me very much over the years: Suppose

S is a subgroup of the finite group G such that for every prime p and every

Sylow p-subgroup P the intersection POS is a Sylow p-subgroup of S. Is S

subnormal in Gl It is not difficult to reduce this problem to the case where

the groups G and S both are nonabelian simple. Using the classification of

the finite simple groups and knowledge of their subgroup structure Peter

Kleidman has recently given an affirmative answer to this question.

Asking for the behaviour of subnormal subgroups of a group G seems

at the first glance asking for the workings of some formal machinery; the

Jordan-Holder theorem appears in this light. But indeed, one is dragged

deeply into the inner structure of the group G and has to consider the

structure of the subnormals as well as their embedding into G. Thus this

subject matter seems ideally suited for a graduate course on (infinite) group

theory, leading from formal considerations to structural insight. This book

is an ideal text for such a course; the many results mentioned without

proofs in the text can serve as informative (and demanding) exercises. A

beautiful invitation to group theory!

O. H. KEGEL

UNIVERSITY OF FREIBURG

1

This was generalised by Roseblade to infinite groups in which all subgroups are subnormal

with bounded defect.

- Electives Monsoon15Uploaded byKartik Dutta
- Topics in Absolute Anabelian Geometry IIUploaded byseanbyram
- an_introduction_to_group_theory.pdfUploaded byMiguel Naupay
- Introduction to Differential Galois TheoryUploaded bygermanschultze
- Some Remarks on Prime Submodules in Weak Co-Multiplication ModulesUploaded byAnonymous 7VPPkWS8O
- Chapter 1 Integrals and the Haar MeasureUploaded byosmancskn
- 230197236-Gma3-4-2011-Continut.pdfUploaded byLazar Mihai
- Button - Philosophy & Model TheoryUploaded byΧάρης Φραντζικινάκης
- FOR UPLOAD2.docxUploaded bycndymnch
- Lemma 20 Let G be a group with jGjenglish////.//..Lemma 20 Let G be a group with jGjenglish////.//..Uploaded byddanober
- Microsoft Word - MA_QPUploaded bySandeepRaj
- Discrete Mathematical Structures Lec_37Uploaded byVineetPandey
- M 1 Sc Math Semister Wise SyllabusUploaded byabhijithtej
- Some Covering Concepts in Graphs PlummerUploaded bySancrey Rodrigues Alves
- [William_J._Gilbert,_W._Keith_Nicholson]_Modern_al(BookFi).pdfUploaded byNaca Maja
- Liao & Teh - Semi-Topological Galois Theory and the Inverse Galois ProblemUploaded byAudrey Hernandez
- math 211 part 0 Intro.pdfUploaded byLance Ayapana
- 2_F.Y.B.sc. Computer Sci. MathematicsUploaded byAjit More
- 2007Origins.pdfUploaded byvanaj123
- 52133Uploaded byLuis Alberto Fuentes
- 63332.pdfUploaded byLuis Alberto Fuentes
- Partial OrdersUploaded byNeeraj Kalra
- Pairings for BeginnersUploaded byPvg Naveen
- u 02614201423Uploaded bymsmramansrimathi
- Group Theory SumaryUploaded byTeoria-M

- 64 Interview QuestionsUploaded byshivakumar N
- Intro to TensorsUploaded byjohnsmith37788
- Tensor Analysis for Students of Physics and Engineering. Read 02.24.2008Uploaded byScribd_rkc
- TensorUploaded byRex Bedzra
- 1+INTRO+CompiledUploaded byjohnsmith37788
- Chord ChartUploaded byAngeline Hazel
- Tensors Poor ManUploaded byJorge Arango
- On First Contact and ApotheosisUploaded byjohnsmith37788
- hw5Uploaded byjohnsmith37788
- HW7Uploaded byjohnsmith37788
- hw6Uploaded byjohnsmith37788
- HW1Uploaded byjohnsmith37788
- rudinsUploaded byAlexander Lopez
- Fulbright ETA 2017-18Uploaded byjohnsmith37788
- Fulbright Fondazione-Falcone NIAF 2017-18Uploaded byjohnsmith37788
- launchkey-daw-setup-guide.pdfUploaded bycatsarefunny
- AcknowledgementsUploaded byjohnsmith37788
- Ret MertensUploaded byjohnsmith37788
- Ret Lucent iUploaded byjohnsmith37788
- Retches EbroUploaded byjohnsmith37788
- Ret Brokaw v DuffyUploaded byjohnsmith37788
- § 7Duty - WestlawNextUploaded byjohnsmith37788
- § 1_2 dutyUploaded byjohnsmith37788
- Proximate CauseUploaded byjohnsmith37788
- § 321Duty to Act When Prior Conduct is Found to Be Dangerous - WestlawNextUploaded byjohnsmith37788
- § 322Duty to Aid Another Harmed by Actor's Conduct - WestlawNextUploaded byjohnsmith37788
- § 324Duty of One Who Takes Charge of Another Who is Helpless - WestlawNextUploaded byjohnsmith37788
- § 51General Duty of Land Possessors - WestlawNextUploaded byjohnsmith37788
- § 334Activities Highly Dangerous to Constant Trespassers on Limited Area - WestlawNextUploaded byjohnsmith37788

- Software Testing COGNIZANT NotesUploaded byapi-3722405
- Sculptris HELPUploaded byOlaru Vrajeala Penala Catalin-Mihail
- Edta Amino Acids InteractionUploaded byjazorel
- June 1970 Paper 1Uploaded byAvinash Boodhoo
- virtcineUploaded byapi-3759623
- 52784754-30-maths-starters.pdfUploaded byHeri Zo
- The best way to contour true thicknessesUploaded by11804
- 11.SortingUploaded bynayle_1990
- Factoring Polynomials PDFUploaded bySofia
- 3_IllustrExUploaded byAlen Suljic
- The Hermeneutic Approach in TranslationUploaded byashykyn
- snssnsnsUploaded byHazman Hassan
- 211ME1155Uploaded bysrinu85raju
- rvtiWomenAdmissionUploaded bySwapna Rasal
- CosetUploaded bytbrackman99
- analytic geometryUploaded byxxxxxooooo
- Dynamics of GyroscopesUploaded byLeo Kuts
- CrainThornton Language AcquisitionUploaded byluispgraca
- _INVENTOR Object LibraryUploaded byJose Alberto Torres Jaraute
- Dileep2012 1hindole to Indole-3-CarboxaldehydeUploaded byBrandon Timm
- 0037_An Advanced Computational Investigation on Bolt Tension of a Flanged Pipe Joint Subjected to Bending - Md. Riasat _Azim-p1.pdfUploaded bykmabd
- Spline InterpolationUploaded byLiaquatAli
- Interviewing @ Google Guide TokyoUploaded byirania
- 12 Chinese Remainder TheoremUploaded byQuinnie Anne Carreon
- Final POmUploaded byNamesh Nazar
- Cw 36587594Uploaded byAnonymous 7VPPkWS8O
- Pages From MAF Johnson ExamMLC3L StudySupplement October2012Uploaded byEsme Kurnali
- B.tech. Syllabus AE with short notesUploaded byAryan Kumar
- S.I and C.IUploaded byMumtazAhmad
- Free Sample of Portfolio OptimizationUploaded bypetrepetre2014