To understand groups beyond the level of mere symbolic manipulations as above, more structural concepts have to be employed. What ideas are used to understand groups beyond symbols?