Difference between revisions of "Crossed modules"
From Encyclopedia of Mathematics
(Importing text file) |
m (Added category TEXdone) |
||
(One intermediate revision by one other user not shown) | |||
Line 1: | Line 1: | ||
− | A concept arising from the concept of a | + | {{TEX|done}} |
− | + | A concept arising from the concept of a $G$-module (see [[Module|Module]]). A group $M$ (not necessarily Abelian) with a group of operators $G$ and homomorphism $f : M \rightarrow G$ such that for any $g \in G$ and all $x,y \in M$, | |
− | + | $$ | |
− | + | f(gx) = g f(x) g^{-1}, \ \ \ f(x)y = x y x^{-1} \ . | |
− | is called a crossed | + | $$ |
+ | is called a crossed $(G,f)$-module. $M$ is a $G$-module (i.e. its underlying group is Abelian) if and only if $f$ is constant, equal to $e \in G$. |
Latest revision as of 13:46, 12 December 2013
A concept arising from the concept of a $G$-module (see Module). A group $M$ (not necessarily Abelian) with a group of operators $G$ and homomorphism $f : M \rightarrow G$ such that for any $g \in G$ and all $x,y \in M$, $$ f(gx) = g f(x) g^{-1}, \ \ \ f(x)y = x y x^{-1} \ . $$ is called a crossed $(G,f)$-module. $M$ is a $G$-module (i.e. its underlying group is Abelian) if and only if $f$ is constant, equal to $e \in G$.
How to Cite This Entry:
Crossed modules. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Crossed_modules&oldid=11880
Crossed modules. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Crossed_modules&oldid=11880
This article was adapted from an original article by M.I. Voitsekhovskii (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article