Homomorphism, substructure, and ideal: Elementary but rigorous aspects of renormalization group or hierarchical structure of topological ordersRemoveYoshiki Fukusumi and Yuma FurutaPhys. Rev. B 113, 155103 (2026)