Definition
The definition uses the idea, explained on its own page, of a central series for a group. The following are equivalent formulations:
- A nilpotent group is one that has a central series of finite length.
- A nilpotent group is one whose lower central series terminates in the trivial subgroup after finitely many steps.
- A nilpotent group is one whose upper central series terminates in the whole group after finitely many steps.
For a nilpotent group, the smallest n such that G has a central series of length n is called the nilpotency class of G ; and G is said to be nilpotent of class n. (By definition, the length is n if there are n + 1 different subgroups in the series, including the trivial subgroup and the whole group.)
Equivalently, the nilpotency class of G equals the length of the lower central series or upper central series. If a group has nilpotency class at most m, then it is sometimes called a nil-m group.
It follows immediately from any of the above forms of the definition of nilpotency, that the trivial group is the unique group of nilpotency class 0, and groups of nilpotency class 1 are exactly the non-trivial abelian groups.
Read more about this topic: Nilpotent Group
Famous quotes containing the word definition:
“No man, not even a doctor, ever gives any other definition of what a nurse should be than this—”devoted and obedient.” This definition would do just as well for a porter. It might even do for a horse. It would not do for a policeman.”
—Florence Nightingale (1820–1910)
“The very definition of the real becomes: that of which it is possible to give an equivalent reproduction.... The real is not only what can be reproduced, but that which is always already reproduced. The hyperreal.”
—Jean Baudrillard (b. 1929)
“Perhaps the best definition of progress would be the continuing efforts of men and women to narrow the gap between the convenience of the powers that be and the unwritten charter.”
—Nadine Gordimer (b. 1923)