Renormalization theory is a venerable subject put to daily use in many branches of physics. Here, we focus on its applications in quantum field theory, where a standard perturbative approach is provided through an expansion in Feynman diagrams. Whilst the combinatorics of the Bogoliubov recursion, solved by suitable forest formulas, has been known for a long time, the subject regained interest on the conceptual side with the discovery of an underlying Hopf algebra structure behind these recursions.Perturbative expansions in quantum field theory are organized in terms of one particle irreducible (1PI) Feynman graphs. The goal is to calculate the corresponding one-particle irreducible Green functions order by order in the coupling constants of the theory, by applying Feynman rules to these 1PI graphs of a renormalizable theory under consideration. This allows to disentangle the problem into an algebraic part and an analytic part.For the former one studies Feynman graphs as combinatorial objects which lead to the Lie and Hopf algebras discussed below. Feynman rules then assign analytic expressions to these graphs, with the analytic structure of finite renormalized quantum field theory largely dictated by the underlying algebra.The objects of interest in quantum field theory are the 1PI Green functions. They are parameterized by the quantum numbers, -masses, momenta, spin and such-, of the particles participating in the scattering process under consideration. We call a set of such quantum numbers an external leg structure r. For 1