Minimal Group Theory Definition