Z^、整域でないけど互いに素とか定義される?