もうゼミは終了したのではないかと思いますが、気になるので教えてください。
ISOという省略形は、「規格のISO」以外聞いたことがなかったので、Web検索をしてみると
Iso(2) be the group of isometries of the Euclidean plane E2
という表現がありましたからユークリッド面上でのアイソメトリー群を表す略号ではないかと想像しましたが実際のところいかがでしたか。そして、教科書のどこかで定義されていると想像したのですが。
逆質問になりましたがよろしくお願いします。
お礼
まったくその通りだそうです。 面白いのはISO(2)はミンコフスキー空間に作用する4×4行列なのに(つまり斉次変換なのに)E(2)の平行移動に対応する元があるということです。