Today we'll be discussing how to prove that something is or isn't a group. In order to prove anything, we need to start off by undertanding what it is that defines that thing.
A group is defined by a set, , along with a binary operation, . We generally write this tuple as . The set can be any well-defined set and it can be finite or infinite. Additionally, the binary operation can be anything, it need not be limited to common addition or multiplication.
Finally, the set coupled with the binary operation must satisfy four axioms:
Closure. For any and , . This simply means that if we are to take any two elements from and apply the operation, the result must also be an element of .
Associativity. For any , . In order for something to satisfy this axiom, we should be able to move around the parentheses and still get the same answer.
Identity. For all , there must exist some such that .
Inverse. For all , there must exist some , such that .
Suppose we have a set with binary operation . In order to determine if is a group, we need to determine if it satisfies all four of the axioms or not.
Starting with closure, we need to know if given any , is also an element of . In this case, we know that is not an element of , so we need to know that will never result in a value of . How is this done? Well, we can see our equation equal to and then solve for and , seeing what we get.