Are there "binary operations" on graphs like in (https://en.wikipedia.org/wiki/Graph_product), which make the set of all graphs ("under consideration")

  • a (abelian) group or
  • a (commutative) ring or
  • a field or
  • some other algebraic structure ? By a graph I mean everything which might be considered a graph, for example a directed graph, undirected graph, graphs with no multiple edges, weighted graphs etc. If so, is there a reference on how the binary operations are construced? I managed to find




but don't have access to it.

  • 1
    $\begingroup$ You should require the operations to be natural in some sense; better yet would be to specify an appropriate sense of "natural". Otherwise, the answer is that any nonempty set admits binary operations making it a commutative ring. $\endgroup$ – Andreas Blass May 21 '16 at 20:24
  • $\begingroup$ All graphs do not form a set, they form just a class.But the groups etc. usually are defined to be sets with operations. $\endgroup$ – Ilya Bogdanov May 21 '16 at 20:33

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy