a,bを実数とする。 ( a 1-a)(1-a a) の形で書けるすべての二次正方行列の集合は、乗法に関して可換群になります。 また、この集合において、 ( a 1-a)(1-a a) と ( b 1-b)(1-b b) の和を、 ( a+b-1/2 -a-b+3/2)(-a-b+3/2 a+b-1/2) と定義すると、加法に関し…