2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/149295We apply the Batalin-Tyutin Hamiltonian method to the Abelian Proca model in order to convert a second class constraint system into a first class one systematically by introducing the new fields. Then, according to the BFV formalism we obtain that the desired resulting Lagrangian preserving standard BRST symmetry naturally includes the well-known Stükelberg scalar related to the explicit gauge-breaking effect due to the presence of the mass term. Furthermore, we also discuss the nonlocal symmetry structure of this model in the context of the nonstandard BRST symmetry.17 pages, latex, no figures, References addHigh Energy Physics - Theorytext