Talk:Product of Subgroup with Itself
Jump to navigation
Jump to search
"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)