groups: add unique solvability proof. add Fundamentals header and move commutative group definition after that.
groups: Add a few things on subgroups. Also define order of groups. Whitelist group theory notes so it gets added to the website.