Podgrupa Frattiniego

Szablon:Spis treści Podgrupa Frattiniego – część wspólna wszystkich maksymalnych podgrup danej grupy. W przypadku gdy dana grupa nie posiada podgrup maksymalnych, jest ona równa swojej podgrupie Frattiniego. Często stosuje się równoznaczną definicję tej podgrupy jako zbioru elementów niegenerujących.

Definicja

Niech $G$ będzie grupą. $H$ jest podgrupą maksymalną $G$ jeśli nie istnieje taka grupa $H^{\prime },$ że $H<H^{\prime }<G.$ Podgrupą Frattiniego $\mathrm{\Phi }(G)$ nazywamy część wspólną wszystkich podgrup maksymalnych $G.$

Zbiór elementów niegenerujących

Niech $S$ będzie zbiorem wszystkich elementów niegenerujących w $G,$ tj. takich $x\in G,$ że jeżeli pozdzbiór $M\subset G$ zawierający $x$ generuje $G$ to $M\mathrm{\setminus }\{x\}$ też generuje $G.$ Wówczas zbiór $S$ pokrywa się z $\mathrm{\Phi }(G).$

Dowód

• $S\subseteq \mathrm{\Phi }(G).$

Jeśli $G$ nie zawiera podgrup maksymalnych – inkluzja jest oczywista. Niech $x\in S.$ Niech $H$ będzie podgrupą maksymalną. Jeśli $x\notin H$ to $(x,H)=G$ ($H$ jest podgrupą maksymalną nie zawierającą $x,$ zatem wspólnie generują całą przestrzeń). Ale $(H)\ne G$ co stoi w sprzeczności z tym, że $x$ jest elementem niegenerującym. Czyli $x$ musi należeć do każdej podgrupy maksymalnej. Stąd $x\in \mathrm{\Phi }(G).$

• $\mathrm{\Phi }(G)\subseteq S$

Niech istnieje element $x\in \mathrm{\Phi }(G)$ który wraz z pewnym zbiorem $M$ generuje $G,$ lecz $(M)\ne G.$ Na mocy Lematu Kuratowskiego-Zorna istnieją podgrupy $H$ maksymalne wśród podgrup zawierających $M$ i niezawierających $x.$ Jest jasne, że wszystkie takie podgrupy są po prostu maksymalne, lecz wówczas zawierają one $\mathrm{\Phi }(G),$ a wraz z nią element $x$ co stoi w sprzeczności z konstrukcją.

Przykłady

• W grupie $\mathbb{Z},$ wszystkie podgrupy $(p)$ generowane przez liczbę pierwszą $p$ są maksymalne. Zatem $\mathrm{\Phi }(\mathbb{Z})=\{0\}.$
• W grupie $\mathbb{Q}$ wszystkie elementy są niegenerujące, dlatego $\mathrm{\Phi }(\mathbb{Q})=\mathbb{Q}.$

Bibliografia

• Szablon:Cytuj książkę

Linki zewnętrzne

• Szablon:Otwarty dostęp Frattini subgroup Szablon:Lang, Encyclopedia of Mathematics, encyclopediaofmath.org [dostęp 2024-10-05].