Definition talk:Semidirect Product

From ProofWiki
Jump to navigation Jump to search

Definition:Outer Semidirect Product redirects here -- is it an alternative term for this (in which case it needs to be documented in an "also see") or is there a subtlety (in which case it needs to be explained)? --prime mover (talk) 06:42, 11 July 2017 (EDT)

It means the same. Much like the 'external' in 'external direct product' is usually omitted whereas 'internal direct product' is not abbreviated. I edited the page. --barto (talk) 06:51, 11 July 2017 (EDT)