# Difference between revisions of "(n-1)th power map is endomorphism taking values in the center implies nth power map is endomorphism"

From Groupprops

(→Proof) |
|||

Line 5: | Line 5: | ||

==Related facts== | ==Related facts== | ||

+ | ===Applications=== | ||

+ | |||

+ | * [[Frattini-in-center odd-order p-group implies (mp plus 1)-power map is automorphism]] | ||

===Converse=== | ===Converse=== | ||

## Revision as of 20:08, 25 February 2011

## Statement

Suppose is a group and is an integer such that the map is an endomorphism of and is in the center of for all in . Then, the map is also an endomorphism of .

## Related facts

### Applications

### Converse

The precise converse is not true, but a partial converse is: nth power map is surjective endomorphism implies (n-1)th power map is endomorphism taking values in the center

## Proof

**Given**: A group , an integer such that the map is an endomorphism taking values in the center.

**To prove**: The map is an endomorphism of , i.e., for all .

**Proof**: We have the following for all .

Step no. | Assertion/construction | Given data used | Previous steps used |
---|---|---|---|

1 | |||

2 | is an endomorphism | ||

3 | Step (2) plugged into Step (1) | ||

4 | is in the center of , so commutes with | Step (3) | |

5 | Step (4) (simplified) |