Proving this non-empty set and binary operation is a group [duplicate]

group-theory finite-groups semigroups binary-operations associativity

Solution 1:

This result is false unless one assumes closure.

For example, let $P$ consist of any two distinct reflections of a regular polygon. Then, under the usual composition of symmetries, all the required conditions are satisfied but $P$ is not a group.

Related

Why do the triangular numbers initially form long cycles mod $2^k$?
What is $x$ if $x^{x^x} = {(1/2)}^{\sqrt 2}$?
Prove addition law from duplication formula (for power series associated to elliptic genus)
Size of a linear image of a cube in $\mathbb{Z}^d$
Does "zero dimensional domains are fields" require the Boolean Prime Ideal theorem?
Geometry problem using circular arcs
Show that Riemann sum equals integral
Is $f^{-1}\big( \sqrt{xf(x)} \big)$ convex (for large $x$) when $f(x) = o(x)$ is concave and strictly increasing?
Taxicab metric *with stoplights*; does it ever give the Euclidean metric?
Automatizing computational skills
Given particle undergoing Geometric Brownian Motion, want to find formula for probability that max-min > z after n days
How to divide a pizza into $n$ parts?