Uniqueness in Poincaré-Birkhoff-Witt Theorem over Algebraic Equivalence    

Any quantum groups can be filtered via PBW Theorem over a graded algebra where the structure representation for any supercommutator [𝗶,𝗷] when reduced asserts a linear monomial of a canonical origin. Thus, being independent on the swapping order, isomorphism can be seen for any injective takeovers giving the map ψ: ℓ ⟶ U(ℓ) with the Lie ℓ through the U(ℓ) group. This satisfies direct connectivity over 𝙊𝙨𝙥(𝙢,𝙣)⋂𝙊𝙨𝙥(𝙣,𝙢) in Kac-Moody algebras.