equivariant

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

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

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

Last revised on March 10, 2019 at 10:31:45. See the history of this page for a list of all contributions to it.