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 .