1. Groups have four basic properties: uniqueness of the identity, cancellation, uniqueness of inverses, and the "shoes and socks" property relating inverses of products.
2. Uniqueness of the identity means that a group has only one identity element. Cancellation means that if ba=ca then b=c, and similarly for left cancellation.
3. Uniqueness of inverses means that for each element a, there is a unique inverse b such that ab=ba=e. The "shoes and socks" property states that the inverse of a product ab is b^-1a^-1.