The map Sn → A ⊂ GL(n, Z2) is a faithful representation.
映射Sn → A ⊂ GL(n, Z2)是一个群的忠实表示。