Low quality sentence examples
Kategoria Ab grup abelowych jest podkategorią pełną kategorii Gr grup.
Shouwu Zhang uogólnił twierdzenie Grossa-Zagiera z krzywych eliptycznych na przypadki modularnych rozmaitości abelowych.
Istnieje wyszukana teoria schematów grupowych, która przykładowo wkracza we współczesną teorię rozmaitości abelowych.
Skończenie generowane grupy przemienne, wraz z homomorfizmami grupowymi stanowią kategorię przemienną, będącą podkategorią Serre'a kategorii grup abelowych.
Zbiór wszystkich grup abelowych wraz z homomorfizmem między nimi stanowi kategorię A b,{\displaystyle\mathbf{Ab},} prototyp kategorii abelowej.
Rozwój teorii ciał dostarczył szczegółowych informacji na temat rozszerzeń abelowych ciał liczbowych, ciał funkcji krzywych algebraicznych ponad ciałami skończonymi i ciałami lokalnymi.
Jeśli grupa Galois jest grupą rozwiązalną to rozszerzenie Galois jest również rozwiązalne tj. jest zbudowana z szeregu grup abelowych, które odpowiadają rozszerzeniu pośredniemu.
Dlatego zaskakującym jest, że studentka Alfreda Tarskiego, Wanda Szmielew, udowodniła(1955), że teoria pierwszego rzędu grup abelowych, w przeciwieństwie do nieabelowych, jest rozstrzygalna.
Istnieje funktor kowariantny T{\displaystyle\operatorname{T}} z kategorii grup abelowych w kategorię grup torsyjnych, który odwzorowuje każdą grupę na jej podgrupę torsyjną, a każdy homomorfizm na jego zawężenie do podgrupy torsyjnej.
Dla każdej liczby pierwszej p{\displaystyle p} istnieje funktor T p{\displaystyle\operatorname{T}_{p}} z kategorii grup abelowych w kategorię p-potęgowych grup torsyjnych, który odwzorowuje każdą grupę na jej p-potęgową podgrupę torsyjną i zawęża każdy homomorfizm do p-potęgowych podgrup torsyjnych.
Z tego względu podgrupę torsyjną grupy A{\displaystyle A} oznacza się czasem symbolem T ( A).{\displaystyle\operatorname{T}(A).} Istnieje również inny funktor kowariantny z kategorii grup abelowych w kategorię grup beztorsyjnych przekształcający każdą grupę w jej iloraz przez jej podgrupę torsyjną i każdy homomorfizm w odpowiednio indukowany homomorfizm który jest dobrze określony, co dość łatwo sprawdzić.
Niech G{\displaystyle G} będzie grupą abelową.
Grupa abelowa- grupa, w której działanie jest przemienne.
W szczególności, każda skończona grupa abelowa jest skończenie generowana.
Niech A{\displaystyle A} oznacza dowolną grupę abelową.
Matematycznie, elektrodynamika kwantowa jest abelową teorią cechowania z grupą symetrii U1.
Część torsyjna(największa podgrupa torsyjna) grupy abelowej jest podgrupą całkowicie charakterystyczną.
Każdy pierścień jest ex definitione grupą abelową ze względu na działanie dodawania.
Niech M będzie grupą abelową a R pierścieniem wyposażonymi w łączne działanie.
Kategoria Ab, której obiektami są grupy abelowe, a morfizmy są ich homomorfizmami.