In this paper we study the foundations of the algebraic treatment of classical and quantum field theories for Dirac fermions under external backgrounds following the initial contributions already present in various places in the literature. The treatment is restricted to contractible spacetimes of globally hyperbolic nature in dimensions \(d\ge 4\) and to external fields modelled with trivial principal bundles. In particular, we construct the classical Møller maps intertwining the configuration spaces of charged and uncharged fermions, and we show some of its properties in the case of a U(1) gauge charge. In the last part, as a first step towards a quantization of the theory, we explore the combination of the classical Møller maps with Hadamard bidistributions and prove that they are involutive isomorphisms (algebraically and topologically) between suitable (formal) algebras of functionals (observables) over the configuration spaces of charged and uncharged Dirac fields.
