Edited Group Theory by a lot, formatting and adding additional theorems