|
|
Viewing Correction to 'derived subgroup'
|
Generalisation of commutator subgroup by GrafZahl Correction id: 6744 Filed on: 2005-06-06 11:39:29 Status: Accepted on 2005-06-10 11:55:57 Type: Addendum
Correction text:
Hi yark,
since it's not already defined on PM, you might want to add the following generalisation of the commutator subgroup:
Given arbitrary subsets X1, X2 of G, one defines [X1,X2] as the subgroup of G generated by all elements of the form x^-1y^-1xy where x\in X1 and y\in X2. Moreover, given arbitrary subsets X1,...,Xn of G, one defines recursively [X1,...,Xn]=[[X1,...,Xn-1],Xn].
Regards, Alexander | No comment from object owner yark.
|
|
|
|
|
|
|
|
|
|