Csoportelmélet szószedet
Ez a cikk összefoglalja a csoportelméletben használt főbb kifejezéseket . A dőlt betű a szószedetre mutató belső hivatkozást jelöli. A végén található a csoportelméletben használt
fő jelölés
P
-Csoport
Olyan csoport, amelyben minden elem sorrendje megegyezik egy prímszám valamely hatványával (nem feltétlenül minden elemre azonos).
Primer csoportról is beszélnek (lásd
véges csoport ).

A
Abeli csoport
Ugyanaz, mint a
kommutatív csoport .
abelianizálás
A hányadoscsoport a
származtatott részcsoporthoz viszonyítva, azaz a ―csoporthoz.

![G/[G,G]](https://wikimedia.org/api/rest_v1/media/math/render/svg/169489000a5a3370a8d0a56d35924011e53b6ab1)
Additív gyűrűcsoport
Olyan csoport, amelynek minden eleme az adott gyűrű elemei, és működése megegyezik az összeadás műveletével a gyűrűben.
Csoportos antihomomorfizmus
A csoportok leképezése olyan, hogy tetszőleges és in (hasonlítsa össze
egy homomorfizmussal ).





Teljesen rendes -csoport

Egy véges -csoport, amelyben , ahol az elemeinek hatványaiból alkotott részcsoport .




G
Csoportgenerátor
1. Csoportábrázolás
generátor , infinitezimális operátor.
2. Egy csoport generáló halmazának eleme .
Csoport genetikai kód
Ugyanaz, mint a
csoportos feladat .
Az alcsoportok fő sora
Alcsoportok sorozata, amelybena sorozat összestagjának maximális
normál alcsoportja .


Holomorf
Egy adott
csoport esetében egy csoport párok felett ( egy csoport
automorfizmusainak csoportja ), amelynek csoportösszetételi művelete a következőképpen van definiálva: .






Csoporthomomorfizmus
A csoportok leképezése olyan, hogy tetszőleges a -ra és b - re G -ben .

Csoport
Egy nem üres halmaz , amelyen
egy asszociatív bináris művelet van definiálva , amelyben van egy
semleges elem -ben, azaz mindenre , és minden elemre van egy
inverz elem , úgy, hogy .






Schmidt csoport
Nem nilpotens csoport, amelynek valamennyi megfelelő
alcsoportja nilpotens.
Miller csoport – Moreno
Nem Abel -csoport, amelynek mindegyik megfelelő alcsoportja Abeli-féle.
Csoportalgebra
Egy
mező feletti
csoportnál ez egy feletti
vektortér , amelynek generátorai az elemek , és a generátorok szorzása megfelel az elemek szorzásának .



D
Csoportos akció
A csoport bal oldalon cselekszik a halmazonha
adott a homomorfizmus , ahola
szimmetrikus csoport . A csoport jobbról cselekszik a halmazon, ha adott a homomorfizmus, ahola
csoport inverz csoportja.






Számos alcsoport hossza
Szám
az alcsoportok számának meghatározásában .
E
Természetes homomorfizmus
Egy csoport
homomorfizmusa egy
hányadoscsoportra egy
normál alcsoport által, amely a csoportminden elemét
egy kosettel társítja .
Ennek a homomorfizmusnak a magja az alcsoport.


W
Csoportos feladat
A
csoport meghatározását
egy generátorkészlet és a generátorok közötti kapcsolatok halmazának megadásával jelöli . Más néven csoportgenetikai kód , csoportreprezentáció (kétértelműség létrehozása
lineáris csoportreprezentációval ), csoportko - reprezentáció .


És
Csoportizomorfizmus
Bijektív homomorfizmus .
Izomorf csoportok
Csoportok, amelyek között legalább egy
izomorfizmus van .
Invariáns alcsoport
Ugyanaz, mint a
normál alcsoportnál .
inverz csoport
A bináris művelet argumentumainak felcserélésével kapott csoport, azaz a for művelettel egy olyan művelettel rendelkező csoport , amely minden elemre .





Alcsoport index
Egy adott alcsoporton belüli csoportok egyes (jobbra vagy balra) bővítéseiben található
kosetek száma .
Számos alcsoport indexei
Indexek az
alcsoportok szubnormális sorozatának meghatározásában .
K
Nilpotencia osztály
Nilpotens
csoport esetén az alcsoportok központi sorozatának minimális hossza .
Szomszédsági osztály
Az elemnél a bal oldali coset (vagy coset)
alcsoportonként a halmaz , a jobb oldali coset alcsoportonként a halmaz , az alcsoportonkénti kettős coset a halmaz (a kettős kosettek halmazát jelöli ).






Konjugácia osztály
Egy elem esetében az összes
konjugált elemének halmaza : .


Elkötelezett
A és halmazokon ható csoport esetén olyan leképezés , hogy bármely és .






kommutátor
A csoport összes kapcsolója által generált
alcsoportot általában vagyjelöli.
![[G,G]](https://wikimedia.org/api/rest_v1/media/math/render/svg/6ddf7a724a331d1e12ffa6571ba246ebf08f1335)
kommutatív csoport
Csoport kommutatív bináris művelettel ( ); Abel-csoportnak is nevezik .

Kapcsoló elemek
Azok az elemek , amelyeknél a
kommutátor egyenlő a csoport azonossági elemével, vagy ennek megfelelően azok az elemek , amelyeknél .


Kapcsoló
Elemeknél az elem .

![[g,h]=ghg^{-1}h^{-1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1961e7629b74db72c10639ec6f71fdf70a4c6163)
Alcsoport kapcsoló
Sok különböző mű .
![\{[g,h]\mid g\in G,h\in H\}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d3a75a7242183b9e48fca814839e37e66e4aad91)
kompozíció sorozat
Egy csoport esetében
alcsoportok sorozata, amelyben az összes
tényezőcsoport egyszerű
csoport .
végcsoport
Egy csoport véges számú elemmel.
Terminál - csoport

- véges
rendű csoport .

Véglegesen adott csoport
Egy csoport, amelynek véges számú
generátora van, és ezekben a generátorokban véges számú
reláció határoz meg ; végesen bemutatott csoportnak is nevezik .
Véglegesen generált Abel-csoport
Abeli csoport véges
generátorrendszerrel .
véges generált csoport
Egy csoport, amelynek véges
generátorrendszere van .
Csoportos bemutató
Ugyanaz, mint a
csoportos feladat .
Csavarás
A kommutatív és
nilpotens csoportokhoz használt véges
rendű elemek alcsoportja, amelyet jelöl .
L
helyi ingatlan
Egy csoportról azt mondjuk, hogy rendelkezik valamilyen helyi tulajdonsággal , ha bármely
véges generált alcsoport rendelkezik ezzel a tulajdonsággal. Ilyen például a lokális végesség, a lokális nilpotencia.



Lokális tétel
Egy bizonyos lokális tételről azt mondjuk, hogy igaz a csoportok bizonyos tulajdonságaira, ha minden olyan csoport, amely
lokálisan rendelkezik ezzel a tulajdonsággal , szintén rendelkezik ezzel. Például: egy lokálisan Abel-csoport Abel-csoport, de egy lokálisan véges csoport lehet végtelen.
M
Maximális alcsoport
Olyan
alcsoport , amelyben nincs más alcsoport, amely tartalmazza (nem esik egybe magával a csoporttal).
Metabeli csoport
Egy csoport, amelynek
kommutátora Abel -féle, egy ilyen csoport
megoldhatósági osztálya 2.
Metanilpotens csoport
2.
oldhatósági osztályú polinilpotens csoport .
Metaciklikus csoport
Olyan csoport, amelynek van egy
ciklikus normál alcsoportja , amelynek
faktorcsoportja is ciklikus. Minden olyan véges csoport, amelynek
sorrendje négyzetmentes ( vagyis nem osztható egyetlen szám négyzetével sem), metaciklikus.
Minimális normál alcsoport
A legkisebb (befoglalás alapján) nem-identitás (azaz nem csak az identitáselemből álló)
normál alcsoport .
H
semleges elem
A csoport definíciójában megadott elem , amelynek bináris műveletben történő használata a másik argumentumot változatlanul hagyja.
Nilpotens csoport
Olyan csoport, amelynek
központi alcsoportjai vannak . Az ilyen sorozatok hosszának minimumát
nilpotencia osztálynak nevezzük .
Csoportnorma
Egy csoport elemeinek halmaza, amely az összes
alcsoporttal permutál , vagyis az összes alcsoportja normalizálóinak metszéspontja .
Normalizáló
Egy alcsoportnál - ez a maximális alcsoport , amelyben
normális . Más szóval, a normalizáló
stabilizátor , ha az alcsoportjainak halmazára
konjugációkkal hat , azaz .




Normál alcsoport

egy normál
alcsoport , ha bármely elemre , azaz a jobb
és bal oldali coset azonos. Más szóval, ha . Invariáns alcsoportnak is nevezik , normál osztónak .





normál osztó
Ugyanaz, mint a
normál alcsoportnál .
Alcsoportok normál sorozata
Alcsoportok sorozata, amelyekben
normál érték asorozat összes tagjára.
Oh
Pálya
A halmaz egy eleméhez, amelyre a csoport
balról intézkedik, az elemre vonatkozó összes művelet halmaza: .


P
Permutációs elemek
Pár olyan elem , hogy .


Csoportos időszak
Egy adott csoport
elemsorrendjének legkisebb közös többszöröse . Ugyanaz, mint
kitevő ,
csoportkitevő .
Periodikus csoport
Olyan csoport, amelyben minden elemnek véges sorrendje van .
Alcsoport
A csoport egy részhalmaza , amely a következőben meghatározott művelet szempontjából
csoport .



Torziós alcsoport
Ugyanaz, mint a
torzió .
Egy halmaz által generált alcsoport
Egy tetszőleges részhalmaz esetén a legkisebb alcsoportot jelöli , amely tartalmazza a .



Thompson
Az összes Abel -alcsoport által generált
alcsoport ; van feltüntetve .
Illeszkedő alcsoport
Az összes nilpotens normál alcsoport által generált alcsoport ; van feltüntetve .
Frattini alcsoport
Az összes
maximális alcsoport metszéspontja, ha létezik ilyen, vagy egyébként maga a csoport; van feltüntetve .


Csoportpontszám
Ugyanaz, mint a
kitevő ,
csoportperiódus .
Polinilpotens csoport
Olyan csoport, amelynek véges
normális sorozata van, amelynek faktorai
nilpotensek .
Semidirect termék
Csoportok és
homomorfizmus felett (különböző módon jelölve, beleértve a ) - olyan művelettel felruházott halmazt , amely bármely , .







Csoport generáló halmaza
Egy csoport olyan részhalmaza, amelyben a csoport minden eleme felírható a halmaz véges számú elemének és azok inverzeinek szorzataként.
Csoportos rendelés
Ugyanaz, mint a csoport
halmazának számossága (
véges csoportok esetén a csoport elemeinek száma).
Elemek sorrendje
Egy elemnél az a minimális természetes szám , hogy . Ha ez nem létezik, akkor végtelen sorrendűnek tekintjük.





Majdnem- -Csoport

Csoportelméleti tulajdonság esetén egy olyan csoport, amelynek véges
indexű részcsoportja van , amelynek a tulajdonsága ; így beszélhetünk szinte
nilpotens , szinte
megoldható , szinte
policiklusos csoportokról.


Csoportos nézet
1.
Egy csoport lineáris reprezentációja, egy adott csoport
homomorfizmusa egy vektortér nem degenerált lineáris transzformációinak csoportjába .
2. Ugyanaz, mint a
csoportos feladatnál .
egyszerű csoport
Olyan csoport, amelyben a triviálison (csak az identitáselemből álló) és a teljes csoporton kívül nincsenek normális alcsoportok.
Elsődleges csoport
Olyan csoport, amelyben minden elem sorrendje megegyezik egy prímszám valamely hatványával (nem feltétlenül minden elemre azonos).
Véges csoportról is beszélünk .
közvetlen termék
Csoportokra és - a komponensenkénti szorzás műveletével felruházott párok halmazára : .



R
Csoportbővítés
Az adott csoportot
normál alcsoportként tartalmazó csoport .
Megoldható csoport
Olyan csoport, amelynek
normális alcsoportjai vannak
Abel - tényezőkkel . Az ilyen sorozatok legkisebb hosszát a megoldhatósági lépésének nevezzük .
Megoldható gyök
Az összes megoldható normál alcsoport által generált alcsoportot jelöli .
Számos alcsoport
Az alcsoportok véges sorozata olyan , hogy mindenre . Az ilyen sorozatokat a formában
vagy a formában írják .





Rendszeres csoport

Egy véges -csoport , bármely
elempárhoz , és amelyhez az alcsoport ezen elemek által generált
származtatott alcsoportjának van olyan eleme, hogy .



C
Szuperoldható csoport
Olyan csoport, amelynek
normális alcsoportjai vannak
ciklikus tényezőkkel .
ingyenes csoport
Valamilyen halmaz által meghatározott csoport , amelynek nincs más kapcsolata, mint a csoportot meghatározó relációk.
Az egyenlő hatványú halmazok által generált összes szabad csoport
izomorf .
ingyenes munka
E csoportok elemei által meghatározott csoport , amely az egyes csoportokat meghatározó kapcsolatokon kívül az elemek között nincs további kapcsolattal.
Sylow alcsoport
-alcsoport sorrendben,aholésa számok
legnagyobb közös osztója , ésegyenlő 1-gyel.



Szimmetrikus csoport
Egy adott véges halmaz összes
bijekciójának (vagyis az összes
permutációnak ) csoportja a kompozíciós művelethez képest .
Hányados
Olyan identitás, amelyet a csoportok generátorai elégítenek ki (ha
egy csoportot generátorok és relációk határoznak meg).
Konjugált elem
Egy elemnél az űrlap eleme egyeseknél . Gyakran használják a rövid jelölést .




Csoportos plexus
és(jelölése ) csoportok koszorúterméke , ahol a csoportvalamilyen halmazra hat, a félig közvetlen szorzat, ahol a csoport a csoportmásolatainak közvetlen szorzata vagy közvetlen összege, amelyet a csoportelemei indexelnek. a készlet; az első esetben a plexust derékszögű (vagy teljes) plexusnak nevezik, és szintén jelölik, a másodikban - közvetlen plexus.









Stabilizátor
A halmaz egy eleméhez , amelyre a csoport hat - egy alcsoport , amelynek minden eleme a helyén marad: .




A megoldhatóság mértéke
Az adott csoportra vonatkozó Abel- tényezős alcsoportok normálsorozatának legkisebb hossza .
Alcsoportok szubnormális sorozata
Olyan alcsoportok sorozata, amelyekben az alcsoportnormális az alcsoportban, a sorozat összes tagja esetében.
F
Tényezőcsoport
Egy csoporthoz és normál alcsoportjához az alcsoport cosetjeinek halmaza szorzással a következőképpen definiálva: .


Szubnormális sorozattényezők
Tényezőcsoportok alcsoportok szubnormális sorozatának meghatározásában.
X
Jellegzetes alcsoport
Egy alcsoport , amely invariáns a csoport összes automorfizmusa alatt.
Hall alcsoport
Olyan alcsoport , amelynek a sorrendje a teljes csoportban az indexéhezképest viszonylag magasabb .
C
Csoportközpont
A csoport egyes elemeivel ingázó elemek maximális csoportja : . Egyfajta "abeli mérték": egy csoport akkor és csak akkor Abel-féle, ha a középpontja egybeesik az egész csoporttal.
Központosító
A maximális alcsoport, amelynek minden eleme egy adott elemmel ingázik : .
Az alcsoportok középső sora
Alcsoportok normál sorozata , amelybena sorozat összes tagjára.
A csoport központi eleme
A csoport közepén lévő elem .
Ciklikus csoport
Egy generáló elemből és annak összes egész hatványából álló csoport. Véges, ha a generáló elem sorrendje véges.
E
Kiállító
Egy véges csoport numerikus karakterisztikáját , amely egyenlő a csoport összes elemének rendjének legkisebb közös többszörösével , jelöli . Ugyanaz, mint a csoport periódusa , csoportkitevője .
elemi csoport
Olyan csoport, amely véges vagy Abel -féle, vagy véges és Abel-csoportokból nyert alcsoportok , epimorf képek, közvetlen határok és kiterjesztések felvételének műveletsorával .
Csoportepimorfizmus
Az epimorfizmus homomorfizmus , ha az f leképezés szürjektív .
I
Homomorfizmus kernel
Egy semleges elem inverz képe a homomorfizmus alatt . A kernel mindig egy normál alcsoport , és bármely normál alcsoport valamilyen homomorfizmus kernelje.
Szimbólumtábla
Ez a rész a csoportelméletről szóló publikációkban használt jelöléseket tartalmazza. Egyes jelöléseknél az általános algebra más részeiben (gyûrûk elmélete, mezõk) a megfelelõ fogalmak is feltüntetésre kerülnek. A jelzett szimbólumokon kívül esetenként tükörképeik is használatosak, például ugyanazt jelenti, mint .


Szimbólum ( Τ Ε Χ )
|
Szimbólum ( Unicode )
|
Név
|
Jelentése
|
Kiejtés
|
Csoportelméleti szimbólumok
|
|
⊲
|
Normál alcsoport , gyűrű ideális
|
azt jelenti, hogy " egy csoport normál alcsoportja ", ha egy csoport, és " egy gyűrű (kétoldalú) ideálja ", ha egy gyűrű.
     |
„normál”, „… ideális…”
|
|
[ : ]
|
Alcsoport index , meződimenzió
|
azt jelenti, hogy " egy csoport alcsoportjának indexe ", ha egy csoport, és "a mező mérete a mező felett ", ha és mező.
       |
"index ... in ...", "dimenzió ... felett ..."
|
|
×
|
Csoportok közvetlen terméke
|
jelentése "a csoportok közvetlen terméke és ".
  |
„… és… közvetlen terméke”
|
|
⊕
|
Az alterek közvetlen összege
|
azt jelenti, hogy "a tér alterek közvetlen összegére bomlik és ".
   |
"Közvetlen összeg... és..."
|
|
⊗
|
Tensor termék
|
jelentése "tenzorok tenzorszorzata és " .
  |
„… és… tenzorszorzata”
|
|
[ , ]
|
Csoport elem kapcsoló
|
jelentése "elemek és csoportok kommutátora ", azaz elem .
    |
"váltás...és..."
|
|
G'
|
kommutátor
|
jelentése "csoportkommutátor ".
 |
"kapcsoló..."
|
|
⟨⟩n _
|
Ciklikus csoport
|
jelentése " az elem által generált ciklikus sorrendi csoport ".
  |
"A ciklikus rendelési csoport létrejött "
  |
|
A T
|
Transzponált mátrix
|
"transzponált mátrixot " jelent.
 |
"transzponált mátrix..."
|
|
E i, j
|
Mátrix egység
|
"mátrix -egyet" jelent, azaz olyan mátrixot , amelynek a helyén egy , a többi helyen pedig nullák találhatók.
  |
"mátrix egység..."
|
|
*
|
Adjunkt operátor Dual space Multiplikatív mezőcsoport
|
azt jelenti, hogy " lineáris operátor adjoint " , ha egy lineáris operátor. jelentése " lineáris tér dual to (dual to )", ha - lineáris tér. jelentése "a mező többszörös csoportja ", ha - mező.
         |
"operátor konjugálva..."; „a tér konjugálva…”; "multiplikatív csoport..."
|
Egyes csoportok szabványos jelölése
|
|
S n
|
fokú
szimmetrikus csoport |
jelentése "fokozatú szimmetrikus csoport (vagy permutációs csoport) .
 |
"es..."
|
|
A n
|
Váltakozó csoport -edik fokozat
 |
jelentése "változó csoport (vagyis páros permutációk csoportja) fokozatban ".
 |
"egy…"
|
|
ℤ/nℤ
|
Ciklikus rendelési csoport
|
jelentése "ciklikus sorrendű csoport (egyenértékű: maradékok modulo addíciós csoportja )".
 |
|
GL n (F)
|
A teljes lineáris csoport nem degenerált lineáris operátorok csoportja
|
jelentése "nem degenerált lineáris dimenziós operátorok csoportja egy mezőn " (az általános lineáris szóból ).
  |
“ugyanaz a sör… vége…”
|
|
SL n (F)
|
Egy speciális lineáris csoport az 1
-es determinánssal rendelkező lineáris operátorok csoportja |
jelentése "lineáris dimenziós operátorok csoportja egy mezőn 1-es determinánssal" (a speciális lineáris szóból ).
  |
"es el... vége..."
|
|
UT n (F)
|
Felső háromszög mátrixok csoportja
|
jelentése "a felső háromszögrendű mátrixok csoportja egy mező felett " (a felső háromszögből ).
  |
"a felső háromszög mátrixok csoportja a sorrendben... felett..."
|
|
SUT n (F)
|
Felső egyháromszögű mátrixok csoportja
|
jelentése "egy mező feletti felső egységháromszög rendű mátrixok csoportja " (a speciális felső háromszögből ), azaz felső háromszög mátrixok, amelyeknek a főátlóján vannak.
  |
"a felső egyháromszögű mátrixok csoportja, amelyek sorrendje ... felett ..."
|
|
PGLn ( K)
|
projektív csoport
|
jelentése "egy dimenziós projektív tér transzformációinak csoportja, amelyeket a tér nem degenerált lineáris transzformációi indukálnak .
  |
"Projektív sorrend... vége..."
|
|
D n
|
Diéder csoport -th fokozat
 |
fokú diédercsoportot jelent (azaz egy szabályos -gon szimmetriacsoportját).
  |
"de..."
|
|
V 4
|
Klein négyes csoport
|
jelentése "négyszeres Klein-csoport".
|
"négyen"
|
Irodalom
- Vinberg E. B. Algebra tanfolyam. - 3. kiadás - M . : Factorial Press, 2002. - 544 p. - 3000 példányban. — ISBN 5-88688-060-7 .
- Melnikov O. V., Remeslennikov V. N., Romankov V. A. . fejezet II. Csoportok // Általános algebra / Az általános alatt. szerk. L. A. Szkornyakova . - M . : Nauka , 1990. - T. 1. - S. 66-290. — 592 p. — (Referencia matematikai könyvtár). — 30.000 példány. — ISBN 5-02-014426-6 .