Diagonal-in-square operator

From Groupprops
Jump to: navigation, search

Definition

The diagonal-in-square operator is an operator that takes as input a subgroup property and outputs a group property as follows.

Suppose p is a subgroup property. The diagonal-in-square operator on p gives the property of being a group G such that, in the external direct product G \times G, the diagonal subgroup \{ (g,g) \mid g \in G \} satisfies property p.

Examples