Group theory of heaven4