Czy zbiór jest podgrupą
: 20 maja 2015, o 17:57
Niech \(\displaystyle{ \left( G, \cdot \right)}\) będzie grupą macierzy nieosbliwych \(\displaystyle{ \RR ^{2x2}}\). Czy zbiór:
\(\displaystyle{ H=\left\{ \left[ \begin{array}{cc}1 & 0\\ a & b \end{array}\right] \in G : a \neq 0 \wedge b \in \RR\right\}}\)
Jest podgrupą grupy G.
Udowadniam że jest.
\(\displaystyle{ A=\left[\begin{array}{cc}1 & 0\\ a & b \end{array} \right]}\) \(\displaystyle{ B=\left[\begin{array}{cc}1 & 0\\ c & d \end{array} \right]}\)
\(\displaystyle{ A,B \in H}\)
\(\displaystyle{ B ^{-1} =\left[\begin{array}{cc}1 & 0\\ - \frac{c}{d} & \frac{1}{d} \end{array} \right] \in H}\)
\(\displaystyle{ A \cdot B ^{-1} = \left[\begin{array}{cc}1 & 0\\ a- \frac{bc}{d} & \frac{b}{d} \end{array} \right] \in H}\)
Podgrupa H ma element przeciwny. Więc może być podgrupą grupy G. Czy to wszystko czy przydało by się jeszcze kilka słów o tym?
No tak, ale nie istnieje element neutralny bo \(\displaystyle{ a \not \in 0}\) czyli nie ma macierzy identycznościowej więc?
\(\displaystyle{ H=\left\{ \left[ \begin{array}{cc}1 & 0\\ a & b \end{array}\right] \in G : a \neq 0 \wedge b \in \RR\right\}}\)
Jest podgrupą grupy G.
Udowadniam że jest.
\(\displaystyle{ A=\left[\begin{array}{cc}1 & 0\\ a & b \end{array} \right]}\) \(\displaystyle{ B=\left[\begin{array}{cc}1 & 0\\ c & d \end{array} \right]}\)
\(\displaystyle{ A,B \in H}\)
\(\displaystyle{ B ^{-1} =\left[\begin{array}{cc}1 & 0\\ - \frac{c}{d} & \frac{1}{d} \end{array} \right] \in H}\)
\(\displaystyle{ A \cdot B ^{-1} = \left[\begin{array}{cc}1 & 0\\ a- \frac{bc}{d} & \frac{b}{d} \end{array} \right] \in H}\)
Podgrupa H ma element przeciwny. Więc może być podgrupą grupy G. Czy to wszystko czy przydało by się jeszcze kilka słów o tym?
No tak, ale nie istnieje element neutralny bo \(\displaystyle{ a \not \in 0}\) czyli nie ma macierzy identycznościowej więc?