These notes concern aspects of various graphs whose vertex set is a group G and whose edges reflect group structure in some way (so that, in particular, they are invariant under the action of the automorphism group of G). The particular graphs I will chiefly discuss are the power graph, enhanced power graph, deep commuting graph, commuting graph, and non-generating graph.My main concern is not with properties of these graphs individually, but rather with comparisons between them. The graphs mentioned, together with the null and complete graphs, form a hierarchy (as long as G is non-abelian), in the sense that the edge set of any one is contained in that of the next; interesting questions involve when two graphs in the hierarchy are equal, or what properties the difference between them has. I also consider various properties such as universality and forbidden subgraphs, comparing how these properties play out in the different graphs. (There are so many papers even on the power graph that a complete survey is scarcely possible.)I have also included some results on intersection graphs of subgroups of various types, which are often in a "dual" relation to one of the other graphs considered. Another actor is the Gruenberg-Kegel graph, or prime graph, of a group: this very small graph has a surprising influence over various graphs defined on the group. I say little about Cayley graphs, since (except in special cases) these are not invariant under the automorphism group of G.Other graphs which have been proposed, such as the nilpotence, solvability, and Engel graphs, will be touched on rather more briefly. My emphasis is on finite groups but there is a short section on results for infinite groups.Proofs, or proof sketches, of known results have been included where possible. Also, many open questions are stated, in the hope of stimulating further investigation.The graphs I chiefly discuss all have the property that they contain twins, pairs of vertices with the same neighbours (save possibly one another). Being equal or twins is an equivalence relation, and the automorphism group of the graph has a normal subgroup inducing the symmetric group on each equivalence class. For some purposes, we can merge twin vertices and get a smaller graph. Continuing until no further twins occur, the result is unique independent of the reduction, and is the trivial 1-vertex graph if and only if the original graph is a cograph. So I devote a section to cographs and twin reduction, and another to the consequences for automorphism groups. In addition, I discuss the question of deciding, for each type of graph, for which groups is it a cograph. Even for the groups PSL(2, q), this leads to difficult number-theoretic questions.There are briefer discussions of general Aut(G)-invariant graphs, and structures other than groups (such as semigroups and rings).