The Student Room Group

Maximal subgroups and generators

Show that xGx \in G lies in the intersection of all maximal subgroups of G if and only if it has the following property: if XGX \subseteq G contains xx and generates GG, then X{x}X\setminus\{x\} generates GG.

Maximal subgroups are defined to be the largest possible subgroups that are generated by a certain set.

So the first part of the exercise is alright. If x(Mi)x \in \bigcap(M_i), where MiM_i is the set of all maximal subgroups, then the cyclic subgroup generated by x is obviously also in the group generated by X{x}X\setminus\{x\}, so G=X=X{x}G = \langle {X} \rangle = \langle{X}\setminus\{x\}\rangle.

For the converse however, I have got into a little bit of a problem. Take for example the Klein 4-group. V4{a}=1,b,cb2=c2=1,bc=cb=a\langle V_4 \setminus \{a\}\rangle = \langle 1, b, c \enspace | \enspace b^2 = c^2 = 1, bc = cb = a \rangle , clearly generates {1,a,b,c} \{1,a,b,c\}, however ab,c a \notin \langle b \rangle, \langle c \rangle, so the converse is not always true?

Where have I gone wrong?
(edited 9 years ago)
Reply 1
Solved :tongue:

Quick Reply

Latest