# Diagonal-in-square operator

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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$.