Thompson replacement operation

BEWARE! This term is nonstandard and is being used locally within the wiki. [SHOW MORE]
For its use outside the wiki, please define the term when using it. If you are aware of an equivalent standard term, please leave a comment on the talk page
VIEW: Definitions built on this | Facts about this: (facts closely related to Thompson replacement operation, all facts related to Thompson replacement operation) |Survey articles about this | Survey articles about definitions built on this
VIEW RELATED: Analogues of this | Variations of this | Opposites of this |
Learn more about terminology local to the wiki | view a complete list of such terminology

This is the replacement operation underlying Thompson's lemma on product with centralizer of commutator with abelian subgroup of maximum order, which in turn is used to prove Thompson's replacement theorem for abelian subgroups.

Definition

Suppose $P$ is a group of prime power order. Let ${\mathcal {A}}(P)$ denote the set of abelian subgroups of maximum order in $P$ . Suppose $A\in {\mathcal {A}}(P)$ . Suppose $x\in P$ is such that the commutator $[x,A]$ is an abelian subgroup $M$ of $P$ .

The Thompson replacement operation for $x$ is defined as:

$A\mapsto MC_{A}(M)$ .

The Thompson replacement operation can roughly be thought of as a way of moving from a less normal element of ${\mathcal {A}}(P)$ to a more normal element of ${\mathcal {A}}(P)$ .

Facts

Directly relevant facts

By Thompson's lemma on product with centralizer of commutator with abelian subgroup of maximum order, the image of this is also an abelian subgroup of maximum order.
If $x\in N_{P}(A)$ , then the Thompson replacement operation for $x$ sends $A$ to itself. In particular, if $A$ is normal in $P$ , then it is fixed by the Thompson replacement operation for every element of $P$ .
The smallest order for which the Thompson replacement operation results in an actual replacement (i.e., does not send the subgroup to itself) is for a group of order $p^{5}$ . This is because for groups of order up to $p^{4}$ , every abelian subgroup of maximum order is normal.

Applications of the operation