The non-abelian tensor product of two groups captures the interaction between their commutator structures and mutual actions. Given groups G and H that act compatibly on each other, the non-abelian ...

The intersection of the set of those who understand the topic, with the set of those who can write, is likely very small. It may not be what you are looking for, but I personally like the following ...