Is the Lorenz Gauge a Choice? Gauge Freedom and the Structure of Electrodynamics

Abstract: In undergraduate electromagnetism courses, the Lorenz gauge condition is often presented as a convenient mathematical choice that decouples the wave equations for the scalar and vector potentials. While true, this presentation may leave students with the impression that the condition is entirely arbitrary. This Note explores the fundamental structure of gauge invariance, demonstrating that the Lorenz condition is not an ad-hoc imposition but rather the most elegant and natural simplification afforded by the theory's inherent gauge freedom. We explicitly show how the gauge function itself transforms, proving that one can always choose a gauge in which the Lorenz condition holds. This approach aims to transform the topic from a formal trick into an instructive example of the structure of gauge theories.