Jotz, M.Ratiu, T. S.Zambon, M.2012-06-082012-06-082012-06-08201210.1007/s10711-011-9618-8https://infoscience.epfl.ch/handle/20.500.14299/81449WOS:000304157200002This paper completes a proof of the Dirac reduction theorem by involutive tangent subbundles. As a consequence, Dirac reduction by a proper Lie group action having one isotropy type is carried out. The main technical tool in the proof is the notion of partial connections on suitable vector bundles.Dirac manifoldReductionConnectionLie group actionHamiltonian-SystemsReductiontext::journal::journal article::research article