A Short Guide to Groups