I am searching for good resources on topics related to construction of symmetries over a manifold. For example in Schwarzschild model when looking for spherical symmetry, in cosmology when applying homogeneity or isotropy. All types of symmetries are applied using Lie group actions on manifold but it seems that nowhere this operations were made rigorous. Really looking forward to recommendations of books and papers that contains these steps in detail.