Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.
Nástěnka
❗22. 8. 2021 (L) Přecházíme zpět na doménu forum.matweb.cz!
❗04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
❗23.10.2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.
Nejste přihlášen(a). Přihlásit
Ahoj,
nechť minimální počet generátorů nějaké grupy G je k (tj. existuje k prvků z G, které generují G, ale žádných k-1 prvků G negeneruje). Nechť |G|=n. Označme r(g) řád prvku g z G (tj. počet prvků podgrupy G generované prvkem g). Označme m=max{r(g); g z G}. Existuje potom nějaký netriviální horní a/nebo dolní odhad pro hodnotu m (např. v závisosti na n,k, případně na nějakých dalších "veličinách")?
Děkuji
Offline
Offline
Offline
Offline
Ahoj ↑ check_drummer:,
Studoval si pripad cyclickych grup (ine meno monogena grupa)?
Tieto groupy su generovane jednym prvkom...
Mozno toto
Offline
↑ check_drummer:,
Ak chces mozme tu zacat studovat dost blizky problem co chces studovat cf↑ check_drummer:
generatory konecnych abelovskych grup(cize komutativnych)
Je to v teorii grup ist ako po autostrade ... a az potom zacat vseobecne studium generatov vseobecnych grup.
Co si o tom myslis?
Offline
↑ vanok:
Zdravím členy fóra,
pokusím se vyjádřit konkrétněji co nejdřív, ale úloha, kterou ↑ check_drummer: uvedl, je mi povědomá.
Pamatuji si, že se pro šetření takových otázek zaváděly určité funkce.
Téma je průřezově zpracováno zde.
Asi nebudu mít večer moc času, ještě uvidím.
Offline
↑ constr:,
To ma zaujima.
Offline
↑ vanok:
Určitě je přínosné začít od specifického a pokračovat k obecnému. Lze obecně generátory abelovských grup nějak charakterizovat, či je dokonce pro každou abelovskou grupu nějak jednoduše určit?
Offline
↑ check_drummer: a vsetci iny,
O KOMUTATIVNYCH KONECNYCH GRUPACH
UVOD
Tu ukazeme pre komutitavne konecne grupy 3 teoremy o dekompozicii komutativnej konecnej grupy G
*na p-grupy (nie povinne cyklicke)
*na cyklicke p-grupy
*na cyklicke grupy take ze rad deli radpre
Prva teorema co nas informuje o dekompozicii komutativnej konecnej grupy G na p-grupy (nie povinne cyklicke) : p-zlozky grupy G (Rad sa da vyjadrit ako funkcia radu ...to doplnim neskor) je
teorema 1
Kazda komutativna konecna grupa G je priamy sucet (somme directe) p-grup na mnozine prvociselnych delitelov radu grupy :
Offline
vanok napsal(a):
Term p-grupa, znamena ze vsetki prvky takej grupy maju periodu, nejaku mocninu p.
priklady:
je 2-grupa radu 4.
Tedy p je dle definice prvočíslo?
Uvažujeme grupy s operací "+" nebo s jinou operací?
Periodou je zde myšlena libovolná perioda nikoli nejmenší, že? Např. prvek 0 má (pokud se jedná o grupy se sčítáním) periodu 1, ovšem tedy i kteroukoliv další vyšší, že?
Offline
↑ check_drummer:
Dakujem.
Prva poznamka:
ano p je prvocislo, dal som to explicitne do definicie
Tvoja druha poznamka:MAS ZASA PRAVDU
Term p-grupa, znamena ze vsetki prvky takej grupy maju periodu, nejaku mocninu p (p>0 prvocislo).
ze medzi ich periodami je jedna taka ako ze...
Prave to bol problem pre mna, ako to napisat aby aj neutralny prvok bol v tom.....
Pridam, prioritne, pred tym ako pojdem dalej aj pojem priamej sumy ( a tiez overim ci sa tento vyraz v Cz a Sk pouziva)
Offline
↑ vanok:
Ke cvičení 1) V mají prvky řád 1 nebo 3 a v mají prvky řád 1,3 nebo 9 (tipuji), přičemž řád 1 nastane jen u prvků 0. Takže pro (i,j) j=0 máme řád 1 nebo 3 a pro j<>0 máme řád 3 nebo 9 (řád prvku v grupě dané první složkou dělí řád prvku v grupě dané druhou složkou). Takže dle mého jde o 9-grupu řádu 27. Snad jsem tu úvahu moc neodbyl a něco neopomenul.
Offline
↑ vanok:
Ke cvičení 2) co třeba vyjít ze cvičení 1) a sestrojit např.:
Offline
↑ check_drummer:,
cvicenie 1).
Nie je 3-grupa... podla definicie vysie.
Vsetki prvky maju rad nejaku mocninu 3roch
cvicenie 2)
Ano je to dobra myslienka... potrebuje to len trochu viac formalizovat.
Dam trochu iny priklad:
Polozme kde
Prvky su postupnosti ,
polozme .
G s tymto zakonom je nekonecna 5-grupa.
Zda sa mi ze si chcel urobit nieco podobne.
pridal som cvicenie 3)
Offline
↑ vanok:
Ano, pardon, je to 3-grupa nikoli 9-grupa (9 je už mocnina 3).
K té konstrukci - Tvá je jednodušší - "opakuješ" v kartézském součinu stejnou strukturu, ta moje je komplikovanější a důkaz, zda je to p-grupa, by byl složitější (pokud to vůbec p-grupa je).
Offline
↑ vanok:
Ke cvičení 3 - takhle bez přemýšlení bych řekl, že pro n, která jsou mocninou nějakého prvočísla.
Offline
↑ check_drummer:,
Ano, dobra intuicia, a mozes urobit dokaz...
Offline
Řešením pro konečné komutativní grupy je tedy řád Sylowovy p-podgrupy.
- na základě věty o primárním cyklickém rozkladu modulů (kde obor hlavních ideálů se položí ) a definice Sylowovy grupy.
Nechť řád grupy je , přičemž druhý činitel je s nesoudělný. Protože každá konečná p-grupa má za řád určitou mocninu , musí každá p-grupa, která je podgrupou grupy , mít za řád určitého dělitele mocniny . Potom p-grupa s maximálním možným řádem se nazývá Sylowova p-podgrupa grupy . Z této definice vyplývá, že grupa je Sylowova p-podgrupa grupy právě tehdy, když řád grupy je mocninou prvočísla a index je s nesoudělný.
Z věty o cyklickém rozkladu, kterou uvádí ↑ vanok: vyplývá, že konečná komutativní grupa je izomorfní direktní sumě konečného počtu podgrup p-grupy .
Každý faktor je -podgrupa, takže jeho řád je nějaká mocnina . Tedy řád grupy je . To ukazuje, že k-tice prvočísel obsahuje všechny prvočíselné dělitele čísla . Z toho vyplývá, že každá podgrupa je Sylowova -podgrupa grupy . Tato podgrupa byla definovaná tak, že obsahuje všechny prvky grupy , jejichž řád je nějaká mocnina , tedy musí obsahovat každou -podgrupu grupy . Speciálně je jediná -podgrupa řádu , takže je jedinou Sylowovou -podgrupou grupy .
Shrnutím pak skutečně můžeme tvrdit:
Nechť je prvočíslo, které dělí řád konečné abelovské grupy . Grupa obsahuje právě jednu Sylovowu p-podgrupu, kterou stručně budeme značit . Tato podgrupa obsahuje všechny p-podgrupy grupy a je direktní sumou (bisoučinem, bisúčinem, biproduct) svých .
Offline
Dnes som pridal pojem priamej sumy grup
cvicenie 4)
+ esteticke upravy
Offline
↑ vanok:
ke cvičení 4) - podle mého je zřejmé, jen je nutné uvažovat i k=0 a definovt, co je .
ke cvičení 5) - implikace "=>" je zřejmá (neformálně): a) každý prvek z G získáme nějakým součtem, b) součet je jednoznačný - v případě, že by průnik v bodu b) obshoval další prvek, je jednoznačnost porušena.
cvičení 5) implikace "<=": existence vyjádření x z definice přímého součtu plyne z a), jednoznačost: platí-li
, pak je i
pro . Pokud jsou všechna , tvrzení platí. Dále lze (pro spor) předpokládat, že jsou všechna . Pro je h inverzí ke , ovšem tím jsme inverzi k vyjádřili pomocí sumy prvků ostatních grup a to je spor s b).
Offline
↑ check_drummer:,
Dakujem:
Ano treba uvazovat pochopitelne aj k=0 .... opravil som to
Dnes vecer pridam moj formalny dokaz vety1... ale nasiel si metodu dokazu (to je to najtazsie). :-)
Offline
↑ vanok:
Důkaz 3 mě napadá, ale spíš jen myšlenka - a ani nevím, zda správná: indukcí podle k, kde velikost grupy G je . Pro k=1 zřejmě platí, protože p je prvočíslo, pro obecné k tvoří G celkem p kopií velikosti , tj. po aplikaci kroků (pro nějaké m) získáme iterací prvku x prvek . Je-li c=0 jsme hotovi a není-li uvažujeme další iteraci prvku opět o kroků a přesně po p iteracích získáme prvek x (vlastně teď iterujeme v grupě o velikosti p, kde každou považujeme za jeden prvek a získáme po každé iteraci různou hodnotu c). Je to ale dost neformální vyjádření.
Obrácená implikace je jasná - pro n=a.b obsahují a,b různého prvočíselnéh odělitele a a,b iterujeme b,a kroky a neexistuje násobek b,a obsahující stejného prvočíselného dělitele.
Offline
Ahoj ↑ check_drummer:,
Ja to vidim jednoduchsie.
je p-grupa pre kazde , kde je prvocislo.
A reciprocne:
Ak n nema tuto forme existuju dve prvocisla p, q a mame prvok radu p, radu q .....
Myslis ze to staci? to moje riesenie.
Ty ides dalej ako ja, lebo chces riesit vo vseobecnejsom pripade ako je ten problem.
Offline
dnes som pridal uplne riesenie cvicenia 5), co je vlastne dokaz vety
Offline