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.
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.
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 .
Alcsoport kapcsoló
Sok különböző mű .
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 .