Join operator

From Groupprops
Jump to: navigation, search

This is a binary subgroup property operator, viz an operator that takes as input two subgroup properties, and outputs one subgroup propertyTemplate:Property existentialization


BEWARE! This term is nonstandard and is being used locally within the wiki. [SHOW MORE]

Definition

Definition with symbols

Given two subgroup properties p and q, the join of p and q, denoted as \langle p,q \rangle, is defined as follows: a subgroup H satisfies property \langle p, q \rangle in G if there exist subgroups K_1,K_2 of H such that K_1 satisfies p in G, K_2 satisfies q in G, and H = <K_1,K_2>.