Groups: The basics