A Theory of Group Structures