User talk:Ovenhouse/sandbox

From ProofWiki
Jump to navigation Jump to search

Is this the same as the Definition:Internal Group Direct Product which, according to that page, is also called the semidirect product? --prime mover (talk) 23:16, 29 December 2014 (UTC)

Yes, good call. I'm only familiar with the terminology "internal/external semidirect product", and so did not notice it. --Ovenhouse