Grupa ilorazowa: Różnice pomiędzy wersjami

[wersja nieprzejrzana][wersja przejrzana]
Usunięta treść Dodana treść
drobne redakcyjne
drobne redakcyjne
Linia 1:
{{spis treści}}
'''Grupa ilorazowa''' – w [[teoria grup|teorii grup]] zbiór [[warstwa (teoria grup)|warstw]] danej [[grupa (matematyka)|grupy]] względem jej pewnej [[podgrupa normalna|podgrupy normalnej]], tj. szczególny [[podział zbioru|podział]] grupy (na warstwyniepuste (czyli[[podzbiór|podzbiory]]) uwzględniający jej strukturę), który sam tworzy grupę z naturalnie określonym działaniem napochodzącym od grupy warstwachwyjściowej. Z [[teoria mnogości|teoriomnogościowego]] punktu widzenia jest to [[relacja równoważności#Zbiór ilorazowy|zbiór ilorazowy]], w którym wprowadzono zgodne z działaniem w grupie działanie na klasach [[relacja równoważności|relacji równoważności]] wyznaczającej wspomniany podział.
 
== Motywacja ==
Linia 8:
* Druga kwestia dotyczy samego działania. Zasadniczym problemem wprowadzania działania na zbiorze <math>\scriptstyle \mathbb Z_n</math> jest to, czy dodawanie elementów tego zbioru jest dobrze określone; wtedy sprawdzenie, że <math>\scriptstyle \mathbb Z_n</math> jest grupą nie przedstawia większych problemów. Podobnie ma się rzecz z grupą ilorazową.
 
Okazuje się, że postawione zagadnienia są ze sobą blisko powiązane, i dlatego odpowiedzi na nie zostaną przedstawione równocześnie.
 
== Wprowadzenie ==