これは、整数環zの素数 "p" による局所化に成分を持つ、位数2の単模行列全体からなる。