Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

It is well-known that a group cannot be written as the union of two its proper subgroups. Has anybody come across some consequences from this fact? The small one I know is that if H is a proper subgroup of G, then G is generated by the complement G-H.

share|improve this question

2 Answers 2

up vote 4 down vote accepted

A consequence is that if a finite group $G$ has only two proper subgroups, then the group itself must be cyclic. This is seen as follows: By the stated result the group has at least one element $g$ that does not belong to either of the proper subgroups. But if there are no other proper subgroups, then the subgroup generated by $g$ cannot be a proper one, and thus must be all of $G$.

This gives an(other) easy proof of the cyclicity of the group of order $pq$, where $p<q$ are primes such that $q\not\equiv 1\pmod p$. By the Sylow theorems there is only one subgroup of order $p$ and only one of order $q$, so the above result applies.

share|improve this answer

(A very late answer) For a group $G$, let $S_G$ be the set of self-centralizing subgroups, $S_G := \{H \le G \mid H = C_G(H) \}$.

Proposition: There is no group $G$ with $|S_G| = 0$ or $2$.

Proof: This follows from the characterization of self-centralizing subgroups as the maximal (among) abelian subgroups (which exist by Zorn's lemma). Thus $G$ is the union of its maximal abelian subgroups, as this union contains all cyclic subgroups.

Restating, this says that the map of the lattice of subgroups to itself, sending a subgroup to its centralizer, always has at least $3$ fixed points if $G$ is nonabelian (I don't know how useful this is though). One could also easily imagine generalizing such statements to other properties as well.

share|improve this answer
    
Thanks! A surprising application! –  Nicky Hekster Jan 20 at 17:57

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.