equivariant

An *equivariant function* is a homomorphism between two G-sets:

$f \;\colon\; X \longrightarrow Y
\phantom{AAA}
f(g \cdot x) = g \cdot f(x)
\phantom{A}
\forall g \in G
\phantom{A}
\forall x \in X$

More generally, an *equivariant morphism* is a homomorphism of $G$-actions.

Last revised on May 28, 2019 at 05:15:46. See the history of this page for a list of all contributions to it.