Power-cancellation of groups and modules.