Simplicial tree-decompositions of infinite graphs, I

Abstract This paper is intended as an introduction to the theory of simplicial decompositions of graphs. It presents, in a unified way, new results as well as some basic old ones (with new proofs). Its main result is a structure theorem for infinite graphs with simplicial tree-decompositions into primes. The existence and uniqueness of such prime decompositions will be investigated in two subsequent papers.