집합 T의 원소 P=(pq)와 집합 S의 원소 A=(ab)에 대하여
ㄱ. PA=(pq)(ab) =(paqapbqb)
이므로 (pa)(qb)−(pb)(qa)=0이다. 즉 PA는 역행렬을 갖지 않는다. (참)
ㄴ. 집합 S의 원소 B=(cd)에 대하여
PB=(pq)(cd)=(pcqcpdqd)
이고 PA=PB이므로
pa=pc, pb=pd
qa=qc, qb=qd (p=0,q=0)
이다. 따라서
a=c, b=d
즉, A=B이다. (참)
ㄷ. PA(11)=(paqapbqb)(11)=(pa+pbqa+qb)=(11)
이므로 p(a+b)=1, q(a+b)=1, (a+b=0)
p=a+b1, q=a+b1
이다. 즉 T의 원소 P=(pq)=(a+b1a+b1)이 존재한다. (참)
따라서 ㄱ,ㄴ,ㄷ 모두 참이다.