PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
sections
Encyclopædia
Papers
Books
Expositions

meta
Requests (194)
Orphanage
Unclass'd
Unproven (498)
Corrections (25)
Classification

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Legalese
About
Owner confidence rating: High Entry average rating: No information on entry rating
subnormal series (Definition)

Let $ G$ be a group with a subgroup $ H$, and let

$\displaystyle G = G_0 \rhd G_1 \rhd \cdots \rhd G_n = H$ (1)

be a series of subgroups with each $ G_i$ a normal subgroup of $ G_{i-1}$. Such a series is called a subnormal series or a subinvariant series.

If in addition, each $ G_i$ is a normal subgroup of $ G$, then the series is called a normal series.

A subnormal series in which each $ G_i$ is a maximal normal subgroup of $ G_{i-1}$ is called a composition series.

A normal series in which $ G_i$ is a maximal normal subgroup of $ G$ contained in $ G_{i-1}$ is called a principal series or a chief series.

Note that a composition series need not end in the trivial group $ 1$. One speaks of a composition series (1) as a composition series from $ G$ to $ H$. But the term composition series for $ G$ generally means a composition series from $ G$ to $ 1$.

Similar remarks apply to principal series.

Some authors use normal series as a synonym for subnormal series. This usage is, of course, not compatible with the stronger definition of normal series given above.



"subnormal series" is owned by mclase.
(view preamble)

View style:

See Also: subnormal subgroup, Jordan-Hölder decomposition theorem, solvable group, descending series, ascending series

Other names:  subinvariant series
Also defines:  composition series, normal series, principal series, chief series
Log in to rate this entry.
(view current ratings)

Cross-references: similar, contained, maximal normal subgroup, normal subgroup, subgroup, group
There are 8 references to this entry.

This is version 5 of subnormal series, born on 2003-10-04, modified 2007-04-03.
Object id is 4750, canonical name is SubnormalSeries.
Accessed 7461 times total.

Classification:
AMS MSC: 20D30 (Group theory and generalizations :: Abstract finite groups :: Series and lattices of subgroups)
Pending Errata and Addenda
None.
[ View all 2 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)