Definition talk:Inner Semidirect Product

Is there a qualitiative difference between this and the inner direct product apart from the fact that one of the subgroups is normal? Inner direct product invokes inner semidirect product as an also known as. --prime mover (talk) 06:50, 11 July 2017 (EDT)

Yes. Here $H$ and $N$ need not commute. --barto (talk) 11:59, 11 July 2017 (EDT)

Which "also known as" are you referring to? I can't find it; but if it treats them as synonyms than that comment has to be thought about. --barto (talk) 12:00, 11 July 2017 (EDT)

They don't need to commute in internal group direct product either innit? --prime mover (talk) 12:04, 11 July 2017 (EDT)

They do: Conditions for Internal Group Direct Product. (They don't need to be abelian; maybe that was what you wanted to say.) --barto (talk) 12:11, 11 July 2017 (EDT)

Oh, FTS. --prime mover (talk) 13:37, 11 July 2017 (EDT)

No, it's no good, I'm going to have to return to my source works and see whether I've made a fundamental mistake in my understanding. Nightmare. I thought I had all this at one time. Sorry. --prime mover (talk) 05:02, 12 July 2017 (EDT)