Necessary and sufficient conditions for two Poincaré concepts of nondegeneracy of integrable Hamiltonian systems (Q1594022)

A Hamiltonian system on a manifold is called C-integrable if it is completely Liouville integrable and the invariant submanifolds corresponding to a constant level of the first integral are compact. The main result states that a Liouville integrable Hamiltonian system is C-integrable and Poincaré nondegenerate iff the Lie algebra of all symmetries of the system is Abelian.