Talk:Product of Subgroup with Itself

"Should this be $H \le G$?" I don't understand, that's what it says, yes? --prime mover (talk) 22:23, 8 April 2023 (UTC)

I mean $H \le \struct {G, \circ}$ looks wrong. It should be $H \le G$. --Usagiop (talk) 08:59, 9 April 2023 (UTC)

Looks fine to me. --prime mover (talk) 09:02, 9 April 2023 (UTC)

To expand: $\le$ in this context is dependent upon the group structure of $G$ not just on the elements of $G$. Hence it is important (or at least, useful) to emphasise that dependency by specifying $G$ in full. --prime mover (talk) 09:08, 9 April 2023 (UTC)

What does anybody else think? --prime mover (talk) 09:05, 9 April 2023 (UTC)

Then we should add the notation $H \le \struct {G, \circ}$ in Definition:Subgroup. Currently, only $H \le G$ is defined there. --Usagiop (talk) 13:12, 9 April 2023 (UTC)

Okay then if you think it's important. --prime mover (talk) 21:53, 9 April 2023 (UTC)