# Homomorphism commutes with word maps

From Groupprops

## Statement

Suppose is a word in the letters (these are just formal symbols). Suppose is a homomorphism of groups. Then, commutes with , i.e.:

where the on the left is the word map in (i.e., it evaluates the word for a tuple of values of the letters in and the on the right is the word map in .

## Related facts

### Applications

## Proof

A formal proof can be given by inducting on the length of the word.**PLACEHOLDER FOR INFORMATION TO BE FILLED IN**: [SHOW MORE]