Compatible pair of actions: Difference between revisions

Latest revision as of 22:38, 13 September 2013

Definition

Definition with left action convention

Suppose $G$ and $H$ are groups. Suppose $α : G \to A u t (H)$ is a homomorphism of groups, defining a group action of $G$ on $H$ . Suppose $β : H \to A u t (G)$ is a homomorphism of groups, defining a group action of $H$ on $G$ . For $g \in G$ , denote by $c_{g} : G \to G$ the conjugation map by $g$ . See group acts as automorphisms by conjugation. Then, we say that the actions $α, β$ form a compatible pair if both these conditions hold:

$β (α (g_{1}) (h)) (g_{2}) = c_{g_{1}} (β (h) (c_{g_{1}^{- 1}} (g_{2})))) \forall g_{1}, g_{2} \in G, h \in H$
$α (β (h_{1}) (g)) (h_{2}) = c_{h_{1}} (α (g) (c_{h_{1}^{- 1}} (h_{2}))) \forall h_{1}, h_{2} \in H, g \in G$

The above expressions are easier to write down if we use $\cdot$ to denote all the actions. In that case, the conditions read:

$(g_{1} \cdot h) \cdot g_{2} = g_{1} \cdot (h \cdot (g_{1}^{- 1} \cdot g_{2})) \forall g_{1}, g_{2} \in G, h \in H$
$(h_{1} \cdot g) \cdot h_{2} = h_{1} \cdot (g \cdot (h_{1}^{- 1} \cdot h_{2})) \forall h_{1}, h_{2} \in H, g \in G$

Here is an equivalent formulation of these two conditions that is more convenient:

$c_{g_{1}} (β (h) g_{2}) = β (α (g_{1}) h) (c_{g_{1}} (g_{2})) \forall g_{1}, g_{2} \in G, h \in H$ (the $g_{2}$ here is the $c_{g_{1}^{- 1}} g_{2}$ of the preceding formulation).
$c_{h_{1}} (α (g) h_{2}) = α (β (h_{1}) g) (c_{h_{1}} (h_{2})) \forall g \in G, h_{1}, h_{2} \in H$ (the $h_{2}$ here is the $c_{h_{1}^{- 1}} h_{2}$ of the preceding formulation)

In the $\cdot$ notation, these become:

$g_{1} \cdot (h \cdot g_{2}) = (g_{1} \cdot h) \cdot (g_{1} \cdot g_{2}) \forall g_{1}, g_{2} \in G, h \in H$ (the $g_{2}$ here is the $g_{1}^{- 1} \cdot g_{2}$ of the preceding formulation).
$h_{1} \cdot (g \cdot h_{2}) = (h_{1} \cdot g) \cdot (h_{1} \cdot h_{2}) \forall g \in G, h_{1}, h_{2} \in H$ (the $h_{2}$ here is the $h_{1}^{- 1} \cdot h_{2}$ of the preceding formulation)

Definition with right action convention

We can give a corresponding definition using the right action convention, but the literature uses the left action convention, so this definition is intended purely as an illustrative exercise. PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE]

Symmetry in the definition

Given groups $G$ and $H$ with actions $α : G \to A u t (H)$ and $β : H \to A u t (G)$ , $α$ is compatible with $β$ if and only if $β$ is compatible with $α$ . In other words, the definition of compatibility is symmetric under interchanging the roles of the two groups.

Particular cases

Trivial pair of actions is compatible: If both the actions are trivial, i.e., both the homomorphisms $α, β$ are trivial maps, then they form a compatible pair.
Compatible with trivial action iff image centralizes inner automorphisms: Suppose the homomorphism $α$ is trivial. In that case, the homomorphism $β$ is compatible with $α$ if and only if the image of $β$ in $A u t (G)$ is in the centralizer $C_{A u t (G)} (I n n (G))$ .
Conjugation actions between subgroups that normalize each other are compatible: If $G, H$ are both subgroups of some group $Q$ that normalize each other (i.e., each is contained in the normalizer of the other), and $α, β$ are the actions of the groups on each other by conjugation, then they form a compatible pair. Note that in this case, all the actions are just conjugation in $Q$ and checking the conditions simply amounts to checking two words to be equal.

@@ Line 14: / Line 14: @@
 Here is an equivalent formulation of these two conditions that is more convenient:
+* <math>c_{g_1}(\beta(h)g_2) = \beta(\alpha(g_1)h)(c_{g_1}(g_2)) \ \forall \ g_1,g_2 \in G, h \in H</math> (the <math>g_2</math> here is the <math>c_{g_1^{-1}}g_2</math> of the preceding formulation).
+* <matH>c_{h_1}(\alpha(g)h_2) = \alpha(\beta(h_1)g)(c_{h_1}(h_2)) \ \forall \ g \in G, h_1, h_2 \in H</math> (the <math>h_2</math> here is the <math>c_{h_1^{-1}}h_2</math> of the preceding formulation)
+In the <matH>\cdot</math> notation, these become:
 * <math>g_1 \cdot (h \cdot g_2) = (g_1 \cdot h) \cdot (g_1 \cdot g_2) \ \forall \ g_1,g_2 \in G, h \in H</math> (the <math>g_2</math> here is the <math>g_1^{-1} \cdot g_2</math> of the preceding formulation).
-* <math>h_1 \cdot (g \cdot h_2) = (h_1 \cdot g) \cdot (h_1 \cdot h_2) \ forall g \in G, h_1,h_2 \in H</math> (the <math>h_2</math> here is the <math>h_1^{-1} \cdot h_2</math> of the preceding formulation)
+* <math>h_1 \cdot (g \cdot h_2) = (h_1 \cdot g) \cdot (h_1 \cdot h_2) \ \forall g \in G, h_1,h_2 \in H</math> (the <math>h_2</math> here is the <math>h_1^{-1} \cdot h_2</math> of the preceding formulation)
+===Definition with right action convention===
+We can give a corresponding definition using the right action convention, but the literature uses the left action convention, so this definition is intended purely as an illustrative exercise. {{fillin}}
+==Symmetry in the definition==
+Given groups <math>G</math> and <math>H</math> with actions <math>\alpha:G \to \operatorname{Aut}(H)</math> and <math>\beta:H \to \operatorname{Aut}(G)</math>, <math>\alpha</math> is compatible with <math>\beta</math> if and only if <math>\beta</math> is compatible with <math>\alpha</math>. In other words, the definition of compatibility is symmetric under interchanging the roles of the two groups.
 ==Particular cases==
-* If both the actions are trivial, i.e., both the homomorphisms <math>\alpha,\beta</math> are trivial maps, then they form a compatible pair.
+* [[Trivial pair of actions is compatible]]: If both the actions are trivial, i.e., both the homomorphisms <math>\alpha,\beta</math> are trivial maps, then they form a compatible pair.
-* If <math>G,H</matH> are both subgroups of some group <math>Q</math> that [[normalizer|normalize]] each other (i.e., each is contained in the normalizer of the other), and <math>\alpha,\beta</math> are the actions of the groups on each other by conjugation, then they form a compatible pair. Note that in this case, all the actions are just conjugation in <math>Q</math> and checking the conditions simply amounts to checking two words to be equal.
+* [[Compatible with trivial action iff image centralizes inner automorphisms]]: Suppose the homomorphism <math>\alpha</math> is trivial. In that case, the homomorphism <math>\beta</math> is compatible with <math>\alpha</math> if and only if the image of <math>\beta</math> in <math>\operatorname{Aut}(G)</math> is in the [[centralizer]] <math>C_{\operatorname{Aut}(G)}(\operatorname{Inn}(G))</math>.
+* [[Conjugation actions between subgroups that normalize each other are compatible]]: If <math>G,H</matH> are both subgroups of some group <math>Q</math> that [[normalizer|normalize]] each other (i.e., each is contained in the normalizer of the other), and <math>\alpha,\beta</math> are the actions of the groups on each other by conjugation, then they form a compatible pair. Note that in this case, all the actions are just conjugation in <math>Q</math> and checking the conditions simply amounts to checking two words to be equal.