For real numbers $x > 1$, which forms the set $G$, it is given that the operation on $a,b$, being $a\ast b$, results in $ab - a - b + 2$ (where $ab$ is the ordinary multiplication of $a$ and $b$).
Given that $(G,\ast)$ is known to be an Abelian Group, how can it be shown that the group is closed, and has an identity element?
$G$ is closed if $a$, and $b$ $\in G$ implies: $a*b \in G$. $a*b = ab - a - b + 2 > 1 \iff ab - a - b + 1 > 0 \iff (a - 1)(b - 1) > 0$ which is true since $a > 1$ and $b > 1$.
$e$ is an identity of $G$ if: $x*e = x$ for all $x \in G \iff xe - x - e + 2 = x \iff (e - 2)(x - 1) = 0$ for all $x > 1$. This implies: $e = 2$.