This result establishes identity Component Is a Closed [Normal Subgroup](/page/Normal%20Subgroup). It identifies a precise structural fact about Lie groups that is used to move between group operations, smooth manifold structure, and infinitesimal data.