Simplicial tree-decompositions of infinite graphs. II. The existence of prime decompositions

Abstract In this last of three papers on simplicial tree-decompositions of graphs we investigate the extent to which prime factors in such decompositions are unique, or depend on the decomposition chosen. A simple example shows that a prime decomposition of a graph may have superfluous factors, the omission of which leaves a set of factors that can be rearranged into another decomposition of the same graph. As our main result we show that this possibility is the only way in which prime decompositions can vary: we prove that all prime decompositions of a countable graph without such superfluous members have the same set of factors. We also obtain a characterization theorem which identifies these factors among similar subgraphs by their position within the graph considered, independently of their role in any decomposition.