Von den Ringaxiomen musst du für den Unterring natürlich nicht alle
nachprüfen; denn sowas wie Assoziativität, Distributivität etc, gilt für alle, also auch im Unterring.
Zu prüfen ist
1. Abgeschlossenheit: Seien also zwei Elemente von S:
\(Q:= \begin{pmatrix}a & -b \\\overline{b} & \overline{a} \end{pmatrix} \quad und P:= \begin{pmatrix}c & -d \\\overline{d} & \overline{c} \end{pmatrix} \quad a,b,c,d \in \mathbb{C}\)
Dann ist deren Summe :
Q+P = \(= \begin{pmatrix}a+c & -b+(-d) \\\overline{b}+\overline{d} & \overline{a}+\overline{c} \end{pmatrix} \quad=\begin{pmatrix}a+c & -(b+d) \\\overline{b+c} & \overline{a+c} \end{pmatrix} \quad \)
Also auch wieder in S.
Entsprechend für die Multiplikation prüfen.
Dann muss noch das 0 Element in S sein (klar a=b=0 )
und zu jeder Matrix die additive und die multiplikative Inverse.