2x2の行列のある部分集合Fは次の性質を持つ。
 ・Fの任意の元 a,b について、a-bはFに属する。
  そして、Fの任意の元 aは、a-a=0 となる。
 ・また、Fの任意の元a,bについてa*bはFに属する。
  そして、Fのある元eは次のような性質を持つ
   ・任意のFの元aについて a*e = e*a であり、これはFに属する。
   ・e*e=e
   ・-e * -e =e という等式が成り立つ。
 ・さらに、Fのある元iについて次の等式が成り立つ、i * i = -e
元、e,iを求めよ。