start blov post on the recursion theorem
groups: formatting tweak
rings: define two-sided ideals
rings: define ring homomorphisms, kernels for rings. prove that kernels are ideals.
groups: Prove that the image of a homomorphism is a subgroup of the target.
Add a proof of the first isomorphism theorem for groups.