The Group Properties Wiki (pre-alpha)

TIP: Learn how to better make use of textbook references

ABOUT US: We use a Creative Commons license. All our content is free to reuse, with attribution. Learn more

ALSO CHECK OUT: Topospaces: The Topology Wiki

From Groupprops

Contents 1 Definition 1.1 Symbol-free definition 1.2 Definition with symbols 2 Group properties satisfied 3 Subgroup properties satisfied 4 Effect of operators 4.1 Fixed-point operator 4.2 Free operator 5 Subgroup-defining function properties 5.1 Idempotence 6 In groups with additional structure 6.1 Topological group 7 Associated constructions 7.1 Associated quotient-defining function 7.2 Associated ascending series 8 Computation 8.1 The computation problem 8.2 GAP command 9 References 9.1 Textbook references 10 External links 10.1 Definition links

This article is about a basic definition in group theory. The article text may, however, contain more material. Rate its utility as a basic definition article on the talk page
VIEW: Definitions built on this | Facts about this | Survey articles about this
View a complete list of basic definitions in group theory | Go through a guided tour for beginners to this wiki

This article defines a subgroup-defining function, viz., a rule that takes a group and outputs a unique subgroup
View a complete list of subgroup-defining functions OR View a complete list of quotient-defining functions

Definition

Symbol-free definition

An element of a group is termed central if the following equivalent conditions hold:

1. It commutes with every element of the group
2. Its centralizer is the whole group
3. It is the only element in its conjugacy class. In other words, under the action of the group on itself by conjugation, it is a fixed point.
4. Under the action of the group on itself by conjugation, it fixes everything. In other words, it is in the kernel of the action of the group on itself by conjugation.

The center of a group is the set of its central elements. The center is clearly a subgroup.

Alternatively, the center of a group is defined as the kernel of the homomorphism from the group to its automorphism group, that sends each element to the corresponding inner automorphism.

Definition with symbols

Given a group G, the center of G, denoted Z(G), is defined as the set of elements g that satisfy the following equivalent conditions:

1. gx = xg for all x in G
2. C_G(g) = G
3. The conjugacy class of g in G is the singleton {g}. In other words, under the action of G on itself by conjugation, the orbit of g is a one-point set -- g is a fixed point.
4. For the action of G on itself by conjugation, g acts trivially on everything. In other words, conjugation by g fixes every element.

Alternatively, Z(G) is defined as the kernel of the map given by , where is conjugation by g.

Group properties satisfied

The center of any group must be an Abelian group. Conversely every Abelian group occurs as the center of some group (in fact, of itself).

Subgroup properties satisfied

The center must satisfy the following subgroup properties:

• Central factor
• Central subgroup
• Normal subgroup
• Characteristic subgroup
• Strictly characteristic subgroup: For full proof, refer: Center is strictly characteristic
• Bound-word subgroup
• Hereditarily normal subgroup

The center of a group need not, however, be fully characteristic. For full proof, refer: Center not is fully characteristic

Effect of operators

Fixed-point operator

A group equals its own center if and only if it is an Abelian group.

Free operator

A group whose center is trivial is termed a centerless group.

Subgroup-defining function properties

Template:Reverse monotone sdf

The center subgroup-defining function is reverse monotone. That is:

Let H ≤ G be groups. Then, Z(H) contains the group Z(G) ∩ H.

Idempotence

This subgroup-defining function is idempotent. In other words, applying this twice to a given group has the same effect as applying it once

The center of the center is the center. This is because the center is an Abelian group, and the center of any Abelian group is itself.

In groups with additional structure

Topological group

The center of a T0 topological group is always a closed subgroup. Thus, any topologically simple group must be either centerless or Abelian.

For full proof, refer: center is closed subgroup

Associated constructions

Associated quotient-defining function

The quotient-defining function associated with this subgroup-defining function is: Inner automorphism group

The quotient of a group by its center is isomorphic to the group of inner automorphisms, This is because the map fro ma group to its automorphism group that sends g to is a homomorphism, and its kernel is precisely the center Z(G).

Associated ascending series

The associated ascending series to this subgroup-defining function is: Upper central series

Start with a group G. Consider Z¹(G) = Z(G). Let Zⁱ(G), in general, be the inverse image in G of Z(G / Z^{i − 1}(G)) under the canonical projection . Essentially we are iterating the quotient-defining function that sends a group to the inner automorphism group, and taking the kernel at each step. However, we are pulling back that kernel all the way to G.

By convention (and commonsense) Z⁰(G) is the trivial group.

A group for which the upper central series terminates in finite length at the whole group, is termed a nilpotent group.

Computation

The computation problem

Fill this in later

GAP command

The command for computing this subgroup-defining function in Groups, Algorithms and Programming (GAP) is:Center
View other GAP-computable subgroup-defining functions

To compute the center of a group in GAP, the syntax is:

Center (group);

where

group

could either be an on-the-spot description of the group or a name aluding to a previously defined group.

We can assign this as a value, to a new name, for instance:

zg = DerivedSubgroup (g);

where

g

is the original group and

zg

is the center.

References

Textbook references

• Topics in Algebra by I. N. Herstein, ^{More info}, Page 47
• Groups and representations by Jonathan Lazare Alperin and Rowen B. Bell, ISBN 0387945261, ^{More info}, Page 14 (definition introduced in paragraph)
• Abstract Algebra by David S. Dummit and Richard M. Foote, ISBN 0471433349, ^{More info}, Page 50
• Algebra by Michael Artin, ISBN 0130047635, 13-digit ISBN 978-0130047632, ^{More info}, Page 52, Point (4.10)
• A Course in the Theory of Groups by Derek J. S. Robinson, ISBN 0387944613, ^{More info}, Page 26, Automorphisms
• Finite Group Theory (Cambridge Studies in Advanced Mathematics) by Michael Aschbacher, ISBN 0521786754, ^{More info}, Page 5 (definition in paragraph, as a special case of centralizer)
• Algebra by Serge Lang, ISBN 038795385X, ^{More info}, Page 14 (definition in paragraph)
• Algebra (Graduate Texts in Mathematics) by Thomas W. Hungerford, ISBN 0387905189, ^{More info}, Page 34 (definition introduced in Exercise 11)
• A First Course in Abstract Algebra (6th Edition) by John B. Fraleigh, ISBN 0201763907, ^{More info}, Page 75, Exercise 52(b) (definition introduced in exercise, as a special case of centralizer, defined implicitly)
• Contemporary Abstract Algeba by Joseph Gallian, ISBN 0618514716, ^{More info}, Page 61

External links

Search for "center+of+a+group"OR"centre+of+a+group" on the World Wide Web:
Scholarly articles: Google Scholar, JSTOR
Books: Google Books, Amazon
This wiki: Internal search, Google site search
Encyclopaedias: Wikipedia (or using Google), Citizendium
Math resource pages:Mathworld, Planetmath, Springer Online Reference Works
Math wikis: Topospaces, Diffgeom, Commalg, Noncommutative
Discussion fora: Mathlinks, Google Groups
The web: Google, Yahoo, Windows Live
Learn more about using the Searchbox OR provide your feedback

Definition links

• Wikipedia page
• Planetmath page
• Mathworld page