Diagonal-in-square operator

From Groupprops
Revision as of 16:13, 24 June 2009 by Vipul (talk | contribs) (Created page with '==Definition== The '''diagonal-in-square operator''' is an operator that takes as input a subgroup property and outputs a group property as follows. Suppose <math>p</ma...')
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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