# Center not is image-closed characteristic

This article gives the statement, and possibly proof, of the fact that for a group, the subgroup obtained by applying a given subgroup-defining function (i.e., center) doesnotalways satisfy a particular subgroup property (i.e., image-closed characteristic subgroup)

View subgroup property satisfactions for subgroup-defining functions View subgroup property dissatisfactions for subgroup-defining functions

## Statement

The center of a group need not be an image-closed characteristic subgroup, i.e., its image under a surjective homomorphism need not be a characteristic subgroup of the image.

## Proof

### Generic example

Let be an Abelian group and a centerless group such that is isomorphic to the quotient of by some normal subgroup . Consider the direct product .

Clearly, is the center of .

Now consider the quotient map by . Under this quotient map, the group maps to , with mapping to the direct factor in . By our assumption, is isomorphic to , so this quotient group looks like . Clearly, is not characteristic in this.

### Particular example

The particular example can be obtained from the generic example above by setting to be a cyclic group of order 2 and (the symmetric group on three letters). in this case is the subgroup of order three generated by a 3-cycle.