Structure theorem Bass-Serre theory Geometric group theory Structure theorem for finitely generated modules over a principal ideal domain Structured program theorem