szukanie zaawansowane
 [ Posty: 11 ] 
Autor Wiadomość
Kobieta Offline
 Tytuł: Grupy, podgrupy
PostNapisane: 4 lis 2018, o 13:15 
Użytkownik

Posty: 5
Lokalizacja: Polska
1. Udowodnić, że grupa jest skończona wtedy i tylko wtedy, gdy ma skończenie wiele podgrup.
2. Dla elementu a grupy G przez C_{G}(a) oznaczamy podzbiór grupy G złożony ze wszystkich elementów b takich, że
b \cdot a = a \cdot b.
Udowodnić, że zbiór C _{G}(a) jest podgrupą grupy G.

Czy ktoś mógłby podpowiedzieć jak się za te zadania zabrać?
Góra
Mężczyzna Offline
 Tytuł: Grupy, podgrupy
PostNapisane: 4 lis 2018, o 13:19 
Użytkownik

Posty: 15652
Lokalizacja: Bydgoszcz
1 popatrz na podgrupy generowane przez jeden element

2 sprawdź aksjomaty grupy
Góra
Mężczyzna Offline
 Tytuł: Grupy, podgrupy
PostNapisane: 4 lis 2018, o 17:58 
Administrator

Posty: 23332
Lokalizacja: Wrocław
a4karo napisał(a):
2 sprawdź aksjomaty grupy

A może zamkniętość na działanie?

JK
Góra
Mężczyzna Offline
 Tytuł: Grupy, podgrupy
PostNapisane: 4 lis 2018, o 18:35 
Moderator
Avatar użytkownika

Posty: 7920
Lokalizacja: Wrocław
Jan Kraszewski napisał(a):
A może zamkniętość na działanie?
A to wystarczy, żeby podzbiór był podgrupą?
Góra
Mężczyzna Offline
PostNapisane: 4 lis 2018, o 18:40 
Administrator

Posty: 23332
Lokalizacja: Wrocław
Jeżeli przez "sprawdź zamkniętość na działanie" rozumiemy sprawdzenie, czy

(\forall x,y\in C_G(a))xy^{-1}\in C_G(a),

to tak.

JK
Góra
Mężczyzna Offline
PostNapisane: 4 lis 2018, o 18:52 
Użytkownik
Avatar użytkownika

Posty: 3391
Lokalizacja: blisko
e \in C_{G(a)}

b \in C_{G(a)} \Rightarrow b^{-1} \in  C_{G(a)}

a \in  C_{G(a)}
Góra
Mężczyzna Offline
PostNapisane: 4 lis 2018, o 18:53 
Moderator
Avatar użytkownika

Posty: 7920
Lokalizacja: Wrocław
Zawsze myślałem, że to określenie znaczy tylko

(\forall x, y \in C_G(a)) \, x \cdot y \in C_G(a).

Ale nawet jeśli nie, to brakuje sprawdzenia, że e \in C_G(a). :p
Góra
Mężczyzna Offline
PostNapisane: 4 lis 2018, o 19:13 
Administrator

Posty: 23332
Lokalizacja: Wrocław
Dasio11 napisał(a):
Zawsze myślałem, że to określenie znaczy tylko

(\forall x, y \in C_G(a)) \, x \cdot y \in C_G(a).

No dobrze, dobrze, to tylko wynikający z mojego lenistwa skrót myślowy.

Dasio11 napisał(a):
Ale nawet jeśli nie, to brakuje sprawdzenia, że e \in C_G(a). :p

W mojej wersji nie brakuje, o ile tylko rozważany podzbiór nie jest pusty, a C_G(a) nie jest. Jeśli bowiem wspomniany przeze mnie warunek zachodzi, to ponieważ a\in C_G(a), więc e=a\cdot a^{-1}\in C_G(a).

JK
Góra
Mężczyzna Offline
PostNapisane: 4 lis 2018, o 19:39 
Moderator
Avatar użytkownika

Posty: 7920
Lokalizacja: Wrocław
W takim razie brakuje sprawdzenia, że C_G(a) jest niepusty - bo przecież fakt, że to bardzo łatwo sprawdzić, nie oznacza, że wszelki komentarz w tej sprawie można pominąć? :p
Góra
Mężczyzna Offline
PostNapisane: 4 lis 2018, o 19:44 
Administrator

Posty: 23332
Lokalizacja: Wrocław
Sprawdzenia nie brakuje - już sprawdziłem. Natomiast niewątpliwie brakowało uwagi o niepustości w poprzednim poście.

JK
Góra
Kobieta Offline
PostNapisane: 6 lis 2018, o 18:28 
Użytkownik

Posty: 5
Lokalizacja: Polska
Dziękuje bardzo za wszystkie odpowiedzi ;)
Góra
Utwórz nowy temat Odpowiedz w temacie  [ Posty: 11 ] 


 Zobacz podobne tematy
 Tytuł tematu   Autor   Odpowiedzi 
 Grupy izomorficzne i nieizomorficzne.  Miroslav  1
 warstwy grupy - zadanie 2  dzikaafryka  5
 Niech X będzie dowolnym zbiorem - grupy  grabeQ  1
 Dzielniki normalne grupy  Justyna2010  5
 Dwa proste pytania odnośnie grupy i macierzy.  MatPiotr  3
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [F.A.Q.] [Reklama] [Kontakt]
Copyright (C) Karpatka.pl