|
|
iBac = materialul ULTRACOMPLET de pregătire pentru bac la mate. Dacă vrei poţi.
|
|
|
|
|
[1]
Autor |
Mesaj |
|
nu prea cred povestea cu necumutativitatea...
--- Anamaria
|
|
|
|
Cum gasim un astfel de exemplu?
|
|
Ma gandesc ca solutia Dvs. merge si intr-un caz mai general.
--- Anamaria
|
|
Lucrurile sunt deja incheiate, dar mai scriu ceva aici pentru Ionutz.
Folosesc calculatorul pentru a investiga mai bine grupul dat.
Grupul dat are un nume in matematica, este grupul matricilor unipotente superior triangulare de marime 3x3 peste corpul cu 3 elemente. Cuvantul "unipotent" este o prescurtare care lasa de dorit a combinatiei "unitate plus ceva nilpotent".
Din acest mod, voi folosi litera U pentru grupul dat.
Calculatorul ne permite repede sa descifram toata structura grupului dat.
El are desigur 27 de elemente. Scriu cod, spun ce face, apoi arat ce se obtine prin "rulare" (copy+paste in interpreterul sage).
F = GF(3)
U12 = matrix( F, 3, 3, [1,1,0, 0,1,0, 0,0,1] ) ; U12
U23 = matrix( F, 3, 3, [1,0,0, 0,1,1, 0,0,1] ) ; U23
N = matrix( F, 3, 3, [1,1,0, 0,1,1, 0,0,1] ) ; N
U = MatrixGroup( [ U12, U23 ] ) ; U
U.cardinality()
U.order()
ZU = U.center()
ZU.order()
ZU
U.module_composition_factors()
# U.module_composition_factors( method = 'verbose' )
UN = MatrixGroup( [ N ] ) ; UN
UN.order()
UN.center().order()
U.cayley_table()
# trecem la un grup in care sa putem lucra "mai bine"
G = U.as_permutation_group()
G.order()
G.is_abelian()
G.is_simple()
G.upper_central_series()
ZG = G.center()
ZG.is_normal(G)
ZG.order()
ZG
Q = G.quotient(ZG)
Q.order()
Q.is_abelian()
Q.upper_central_series()
Mi-am dat corpul F a fi corpul general (general field) cu trei elemente, unic pana la un izomorfism (unic.) Stiu ca grupul nostru, U (in loc de G ca in enunt), este generat de cele doua matrici unipotente
U12 = I + E12
U23 = I + E23
ce corespund "radacinilor" E12 si E23 din algebra Lie (spatiul tangent in I, identitate, la grupul U dat.) Mai tarziu am considerat doar in joc si matricea
N = I + E12 + E23
deoarece ea satisface NNN = I, generand astfel usor un (sub)grup cu 3 elemente.
Mi-am asociat U ca grupul generat de U12 si U23, masina calculeaza tot ce poate genera si da de 27 de elemente (cardinalitatea ca multime sau ordinul ca grup).
Deci U12 si U23 genereaza U, cel putin prin argumentul calculatoriu.
Problema noastra era de a vedea daca U este comutativ. Ei bine, o informatie si mai precisa putem s-o obtinem cerand centrul lui U, adica submultimea elementelor z a lui U, care individual comuta cu orice alt u din U, i.e.
Z = { z din U : pentru orice u din U are loc zu=uz }
Masina de calcul ne spune ca sunt doar trei astfel de elemente.
Deci U este "relativ departe" de comutativitate. Computerul ne-a si spus care este acest centru, el este generat de matricea I+E13, iar elementele lui sunt desigur
Z = { I, I + E13, I + 2 E13 } .
Un alt subgrup (comutativ) cu trei elemente, dar care sta "altfel" in U este grupul generat de N, el are trei elemente, I, N, NN.
Intrebare: Ce grup genereaza matricea U12? (respectiv U23)
Daca vrem sa vedem tabloul de multiplicare... nici o problema.
Problema intervine cand incercam sa-l citim...
Un grup in care masina de calcul lucreaza mai bine, este grupul de permutari asociat. Sage vine cu help corespunzator (mai lung decat ceea ce redau..)
Help on method as_permutation_group in module
sage.groups.matrix_gps.matrix_group:
as_permutation_group(self, method=None) method of
sage.groups.matrix_gps.matrix_group.MatrixGroup_gens_finite_field_with_category instance
This returns a permutation group representation for the group. In
most cases occurring in practice, this is a permutation group of
minimal degree (the degree begin determined from orbits under the
group action). When these orbits are hard to compute, the procedure
can be time-consuming and the degree may not be minimal. The
"method=smaller" option tries return an isomorphic group of lower
degree.
Pe acesta il notez cu G.
Elementele lui G se reprezinta foarte simplu ca produs de ciclii disjuncti.
Lungimea ciclilor divide ordinul lui G, care este 27. Deci ne asteptam la ciclii (netriviali) de lungime 3,9 si 27. Vom vedea ca nu apar cazuri "complicate" cu lungimea 9 sau 27.
Pentru astfel de grupuri se pot determina foarte usor (cu sage) proprietati interesante, de exemplu comutativitatea, daca avem de-a face cu un grup solubil, grupul de comutatori si faptul ca el coincide sau nu cu tot grupul ("simplicitatea"), etc.
Cerem centrul lui G. El are (ca si pentru izomorful lui, U) trei elemente. Acest centru este un subgrup normal. Putem forma catul. Catul are noua elemente, deci este fie grup comutativ ciclic cu noua elemente, deci izomorf cu ZZ/9, fie grup comutativ ciclic produs de doua grupuri (ZZ/3)x(ZZ/3), fie ceva mai complicat. Construim asadar catul si intrebam masina daca dam de ceva comutativ. Masina ne spune ca da si ne da si structura acestui cat, daca vrem.
Ma opresc aici, unde de fapt poate incepe incercarea de generalizare.
Rezultatele "rularii": titlu
sage: F = GF(3)
sage: U12 = matrix( F, 3, 3, [1,1,0, 0,1,0, 0,0,1] ) ; U12
[1 1 0]
[0 1 0]
[0 0 1]
sage: U23 = matrix( F, 3, 3, [1,0,0, 0,1,1, 0,0,1] ) ; U23
[1 0 0]
[0 1 1]
[0 0 1]
sage: N = matrix( F, 3, 3, [1,1,0, 0,1,1, 0,0,1] ) ; N
[1 1 0]
[0 1 1]
[0 0 1]
sage: U = MatrixGroup( [ U12, U23 ] ) ; U
Matrix group over Finite Field of size 3 with 2 generators:
[[[1, 1, 0], [0, 1, 0], [0, 0, 1]], [[1, 0, 0], [0, 1, 1], [0, 0, 1]]]
sage: U.cardinality()
27
sage: U.order()
27
sage: ZU = U.center()
sage: ZU.order()
3
sage: ZU
Matrix group over Finite Field of size 3 with 1 generators:
[[[1, 0, 1], [0, 1, 0], [0, 0, 1]]]
sage: U.module_composition_factors()
[[Finite Field of size 3, 1, True], [Finite Field of size 3, 1, True], [Finite Field of size 3, 1, True]]
sage: # U.module_composition_factors( method = 'verbose' )
sage: UN = MatrixGroup( [ N ] ) ; UN
Matrix group over Finite Field of size 3 with 1 generators:
[[[1, 1, 0], [0, 1, 1], [0, 0, 1]]]
sage: UN.order()
3
sage: UN.center().order()
3
sage: U.cayley_table()
* aa ab ac ad ae af ag ah ai aj ak al am an ao ap aq ar as at au av aw ax ay az ba
+---------------------------------------------------------------------------------
aa| ab ad ah aa ac ai ao ae aq av ag as an au ak ay af ax az ar am aw aj at ba al ap
ab| ad aa ae ab ah aq ak ac af aw ao az au am ag ba ai at al ax an aj av ar ap as ay
ac| ag aj af ac as ad al am at an au aa ap ab aq ah ay ae ar aw ax az ai ak ao ba av
ad| aa ab ac ad ae af ag ah ai aj ak al am an ao ap aq ar as at au av aw ax ay az ba
ae| ak aw aq ae al ab az au ax am an ad ba aa ai ac ap ah at av ar as af ao ag ay aj
af| al an ad af ar ac aa ap aw ab ax ag ah aj ay am ao as ae ai ak ba at au aq av az
ag| aj ac am ag af at aq as ay az al ar ab ax au ao ad ak ba ae ap ai an aw av aa ah
ah| ao av ai ah az aa as an ar au am ab ay ad af ae ba ac ax aj at al aq ag ak ap aw
ai| as au aa ai ax ah ab ay aj ad at ao ae av ba an ak az ac aq ag ap ar am af aw al
aj| ac ag as aj am ay au af ad ai aq ba ax ap al av at aw aa ak ab an az ae ah ar ao
ak| aw ae au ak aq ax ai al ap as az at aa ar an ag ab ao ay ah ba af am av aj ad ac
al| an af ap al ad aw ay ar ao ba aa ae aj ak ax aq ac au av as ah at ab ai az ag am
am| aq az at am ba ag ar ab ae ax ap aj ao ac ad as av af ak an aw aa ay al au ah ai
an| af al ar an ap ao ax ad ac at ay av ak ah aa az aw ai ag au aj ab ba as am ae aq
ao| av ah an ao ai ar af az ba al as ax ad at am ak aa ag ap ac ay aq au aj aw ab ae
ap| ay ba aw ap av al ae aj as ak ah an aq af ac ar az ad au ab ai ag ao aa ax am at
aq| az am ab aq at ae ad ba av aa ar ak ac aw ap au ag al ah af ao ay ax an ai aj as
ar| ax at ao ar ag an av ak au ah aj af az al aw ad am ap ai ba as ae ac ay aa aq ab
as| au ai ay as aa aj ba ax ak ap ab ac av ag at af ah am aw az ae ar ad aq al ao an
at| ar ax ag at ak am aj ao an ac aw aq as az av ab au ba af ay al ah ae ap ad ai aa
au| ai as ax au ay ak at aa ah ar ba aw ag ae ab al aj aq ao am av ad ap az an ac af
av| ah ao az av an ba am ai aa aq af ap at ay as aw ar aj ab ag ad au al ac ae ax ak
aw| ae ak al aw au ap an aq ab af ai ay ar ba az aj ax av ad ao aa am as ah ac at ag
ax| at ar ak ax ao au aw ag am ae av ai al as aj aa an ay aq ap az ac ah ba ab af ad
ay| ba ap aj ay aw as ac av az ag ae au af ai ah ax al aa am ad aq ao ak ab at an ar
az| am aq ba az ab av ap at ag ay ad ah aw ao ar ai ae an aj al ac ax aa af as ak au
ba| ap ay av ba aj az ah aw al ao ac am ai aq ae at as ab an aa af ak ag ad ar au ax
sage:
sage: # trecem la un grup in care sa putem lucra "mai bine"
sage: G = U.as_permutation_group()
sage: G.order()
27
sage: G.is_abelian()
False
sage: G.is_simple()
False
sage: G.upper_central_series()
[Permutation Group with generators [(1,9,8)(2,4,7)(3,6,5), (2,4,7)(3,5,6), (1,2,3)(4,6,9)(5,8,7)], Permutation Group with generators [(1,9,8)(2,4,7)(3,6,5)], Permutation Group with generators [()]]
sage: ZG = G.center()
sage: ZG.is_normal(G)
True
sage: ZG.order()
3
sage: ZG
Permutation Group with generators [(1,9,8)(2,4,7)(3,6,5)]
sage: Q = G.quotient(ZG)
sage: Q.order()
9
sage: Q.is_abelian()
True
sage: Q.upper_central_series()
[Permutation Group with generators [(1,2,4)(3,5,7)(6,8,9), (1,3,6)(2,5,8)(4,7,9)], Permutation Group with generators [()]]
--- df (gauss)
| [1]
Legendă:
|
Access general
|
Conţine mesaje necitite
|
47558 membri,
58582 mesaje.
|
|
|
|
|
|
|
© 2007, 2008, 2009, 2010 Pro-Didactica.ρ
|