The non-Abelian tensor product of finite groups is finite (Q580504)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The non-Abelian tensor product of finite groups is finite |
scientific article |
Statements
The non-Abelian tensor product of finite groups is finite (English)
0 references
1987
0 references
Let \(M\) and \(N\) be groups equipped with compatible actions of \(M\) on \(N\) and \(N\) on \(M\). Then the non-Abelian tensor product \(M\otimes N\) is the group generated by the symbols \(m\otimes n\) with defining relations \[ mm'\otimes n=(^ mm'\otimes^ mn)(m\otimes n),\quad m\otimes nn'=(m\otimes n)(^ nm\otimes^ nn'),\text{ for all }m,m'\in M,\quad n,n'\in N. \] The author proves that \(M\otimes N\) is finite if \(M\) and \(N\) are finite groups.
0 references
crossed modules
0 references
Whitehead's universal quadratic functor
0 references
compatible actions
0 references
non-Abelian tensor products
0 references
relations
0 references
finite groups
0 references
0 references