2025/07/19 by Bavuma, Yanga, Russo, Francesco G., Spessato, Stefano
#05C25 #05C76 #05C90 #Algebraic Topology (math.AT) #Combinatorics (math.CO) #FOS: Mathematics #Group Theory (math.GR)
paper · doi:10.48550/arxiv.2507.14530
The subdirect product of two finite groups A and B is defined as a subgroup of the direct product A × B, which is a well-known notion in finite group theory. While it is clear that, under appropriate choices of sets of generators S, SA and SB, the Cayley graph Cay(A × B, S) corresponds to the Cartesian product Cay(A, SA) \square Cay(B, SB) of two graphs, there is no analogue at the level of graph product that reflects the notion of subdirect product of groups. This is precisely the problem which we discuss here. By using the concept of graph bundles and the corresponding pullbacks, we introduce an operation on graph bundles such that the Cayley graph of the subdirect product of two groups can be described as the total space of the product of the Cayley graphs. This allows us to define the so-called ``network K-theory group of a graph'', inspired by the notion of topological K-theory, and we are able to investigate an interesting functor from the category of graphs to the category of abelian groups.