## Two-dimensional symmetry-protected topological orders and their protected gapless edge excitations

Topological insulators in free fermion systems have been well characterized and classified. However, it is not clear in strongly interacting boson or fermion systems what symmetry-protected topological orders exist. In this paper, we present a model in a two-dimensional (2D) interacting spin system with nontrivial onsite Z{sub 2} symmetry-protected topological order. The order is nontrivial because we can prove that the one-dimensional (1D) system on the boundary must be gapless if the symmetry is not broken, which generalizes the gaplessness of Wess-Zumino-Witten model for Lie symmetry groups to any discrete symmetry groups. The construction of this model is related tomore »