I kind of have an idea that "having the Identity in the set" part of the definition of a group should be used to disprove it but I am having trouble formalising the proof. Any help would be really appreciated!
Thanks!
I kind of have an idea that "having the Identity in the set" part of the definition of a group should be used to disprove it but I am having trouble formalising the proof. Any help would be really appreciated!
Thanks!
A group needs to have a well-defined multiplication rule. In other words, you should be able to "multiply" any two elements and get another element of the group. In this case, the natural group operation would be given by composition, ie. you apply one transformation, then you apply the second, and the resulting transformation is the product.
What happens if you compose a reflection with itself? (ie, do the same reflection twice).
What happens if you compose a glide reflection with itself?
Edit: Now that the OP has figured it out, I should point out that this is what people refer to when they say a group should be "closed under its operation." I avoided this term, because I hate that this phrase is often included as a group axiom: a group operation is defined to be map $G\times G\to G$, so of course its image is in $G$. But here's an example where the operation takes you outside the underlying set, so the set is not closed under the operation.