Czy zbiór jest podgrupą

Grupy, pierścienie, ciała, rozkładalność, klasyczne struktury algebraiczne...
kamaz08
Użytkownik
Użytkownik
Posty: 23
Rejestracja: 14 sty 2015, o 02:34
Płeć: Mężczyzna
Lokalizacja: PL

Czy zbiór jest podgrupą

Post autor: kamaz08 » 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?

Awatar użytkownika
yorgin
Gość Specjalny
Gość Specjalny
Posty: 12762
Rejestracja: 14 paź 2006, o 12:09
Płeć: Mężczyzna
Lokalizacja: Kraków

Czy zbiór jest podgrupą

Post autor: yorgin » 20 maja 2015, o 19:44

kamaz08 pisze: \(\displaystyle{ B ^{-1} =\left[\begin{array}{cc}1 & 0\\ - \frac{c}{d} & \frac{1}{d} \end{array} \right] \in H}\)
A co, gdy \(\displaystyle{ d=0}\)? Definicja \(\displaystyle{ H}\) dopuszcza taką możliwość.

kamaz08 pisze: No tak, ale nie istnieje element neutralny bo \(\displaystyle{ a \not \in 0}\) czyli nie ma macierzy identycznościowej więc?
Zapis \(\displaystyle{ a\notin 0}\) nie ma sensu. W \(\displaystyle{ H}\) jest zawarta macierz jednostkowa.

Awatar użytkownika
jutrvy
Użytkownik
Użytkownik
Posty: 1202
Rejestracja: 24 lis 2014, o 18:04
Płeć: Mężczyzna

Czy zbiór jest podgrupą

Post autor: jutrvy » 20 maja 2015, o 20:01

W ogóle ten zbiór nie jest podzbiorem macierzy odwracalnych, bo z definicji \(\displaystyle{ H}\) wynika, że

\(\displaystyle{ \left[\begin{array}{cc}1 & 0\\ 1 & 0 \end{array} \right]\in H}\),

więc jak mamy tu mówić o podgrupie? o_O

kamaz08
Użytkownik
Użytkownik
Posty: 23
Rejestracja: 14 sty 2015, o 02:34
Płeć: Mężczyzna
Lokalizacja: PL

Czy zbiór jest podgrupą

Post autor: kamaz08 » 21 maja 2015, o 10:50

No d nie może być 0 bo wtedy wyznacznik byłby równy zero, a są to macierze nieosobliwe, czyli wyznacznik musi być różny od 0. Chodziło mi o \(\displaystyle{ a \neq 0}\)

Awatar użytkownika
yorgin
Gość Specjalny
Gość Specjalny
Posty: 12762
Rejestracja: 14 paź 2006, o 12:09
Płeć: Mężczyzna
Lokalizacja: Kraków

Czy zbiór jest podgrupą

Post autor: yorgin » 21 maja 2015, o 11:58

Ale \(\displaystyle{ b}\) może być zerem i dostajesz macierz, którą wypisał jutrvy. A ona nie należy do \(\displaystyle{ G}\).

Awatar użytkownika
Medea 2
Użytkownik
Użytkownik
Posty: 2491
Rejestracja: 30 lis 2014, o 11:03
Płeć: Kobieta

Czy zbiór jest podgrupą

Post autor: Medea 2 » 21 maja 2015, o 13:08

jutrvy pisze:W ogóle ten zbiór nie jest podzbiorem macierzy odwracalnych, bo z definicji \(\displaystyle{ H}\) wynika, że

\(\displaystyle{ \left[\begin{array}{cc}1 & 0\\ 1 & 0 \end{array} \right]\in H}\),

więc jak mamy tu mówić o podgrupie? o_O
Możemy, bo definicja \(\displaystyle{ H}\) zaczyna się od \(\displaystyle{ \{ M \in G : \dots}\), więc ta macierz z pewnością nie należy do \(\displaystyle{ H}\).

Awatar użytkownika
jutrvy
Użytkownik
Użytkownik
Posty: 1202
Rejestracja: 24 lis 2014, o 18:04
Płeć: Mężczyzna

Czy zbiór jest podgrupą

Post autor: jutrvy » 21 maja 2015, o 14:53

No doooobra, niech Ci będzie :p

Awatar użytkownika
yorgin
Gość Specjalny
Gość Specjalny
Posty: 12762
Rejestracja: 14 paź 2006, o 12:09
Płeć: Mężczyzna
Lokalizacja: Kraków

Czy zbiór jest podgrupą

Post autor: yorgin » 21 maja 2015, o 18:49

Dlaczego takie proste rzeczy mi umykają... Medea 2, dobrze, że pilnujesz "starszych kolegów".

Awatar użytkownika
Medea 2
Użytkownik
Użytkownik
Posty: 2491
Rejestracja: 30 lis 2014, o 11:03
Płeć: Kobieta

Czy zbiór jest podgrupą

Post autor: Medea 2 » 21 maja 2015, o 19:01

Odpowiedź jednak się nie zmieni, prawda? Gdyby \(\displaystyle{ H}\) miała element neutralny, to byłby on neutralny także dla \(\displaystyle{ G}\). Problem w tym, że warunek \(\displaystyle{ a \neq 0}\) wszystko psuje. O elemencie odwrotnym możemy więc tylko pomarzyć.

ODPOWIEDZ