Let M be smooth symplectic closed manifold and L a closed Lagrangian submanifold of M. It was shown by Ozan that Ham(M,L): the relative Hamiltonian diffeomorphisms on M fixing the Lagrangian submanifold L setwise is a subgroup which is equal to the kernel of the restriction of the flux homomorphism to the universal cover of the identity component of the relative symplectomorphisms. In this thesis we show that Ham(M,L) is a non-simple perfect group, by adopting a technique due to Thurston, Herman, and Banyaga. This technique requires the diffeomorphism group be transitive where this property fails to exist in our case.