Implicit Hamiltonian systems with symmetry

Implicit Hamiltonian systems with symmetry are treated by exploiting the no tion of symmetry of Dirac structures. It is shown how Dirac structures can be reduced to Dirac structures on the orbit space of the symmetry group, le ading to a reduced implicit (generalized) Hamiltonian system. The approach is specialized to nonholonomic mechanical systems with symmetry.