An effective theory for the Standard Model with extra dimensions is constructed. We start from a field theory governed by the extra-dimensional Poincaré group ISO(1, 3 + n) and by the extended gauge group), which is characterized by an unknown energy scale Λ and is assumed to be valid at energies far below this scale. Assuming that the size of the extra dimensions is much larger than the distance scale at which this theory is valid, an effective theory with symmetry groups ISO(1, 3) and GSM(M 4 ) is constructed. The transition between such theories is carried out via a canonical transformation that allows us to hide the extended symmetries {ISO(1, 3 + n), GSM(M 4+n )} into the standard symmetries {ISO(1, 3), GSM(M 4 )}, and thus endow the Kaluza-Klein gauge fields with mass. Using a set of orthogonal functions {f (0) , f (m) (x)}, which is generated by the Casimir invariant P 2 associated with the translations subgroup T (n) ⊂ ISO(n), the degrees of freedom of {ISO(1, 3 + n), GSM(M 4+n )} are expanded via a general Fourier series, whose coefficients are the degrees of freedom of {ISO(1, 3), G(M 4 )}. It is shown that these functions, which correspond to the projection on the coordinates basis {|x } of the discrete basis {|0 , |p (m) } generated by P 2 , play a central role in defining the effective theory. It is shown that those components along the ground state f (0) = x|0 do not receive mass at the compactification scale, so they are identified with the Standard Model fields; but components along excited states f (m) = x|p (m) do receive mass at this scale, so they correspond to Kaluza-Klein excitations. In particular, it is shown that associated with any direction |p (m) = 0 there are a massive gauge field and a pseudo-Goldstone boson. Some resemblances of this mass-generating mechanism with the Englert-Higgs mechanism are stressed and some physical implications are discussed. We perform a comprehensive study of the couplings in all sectors of the effective theory, which includes a full catalog of Lagrangian terms that can be used to calculate Feynman rules.