Algebraic Structures in Noncommutative Geometry: A Study of Hopf Algebras, Hopf-Galois Extensions, and Hopf Algebroids