Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Given an infinite group which is finitely generated, is there a proper maximal normal subgroup?

share|improve this question
    
Two trivial comments, not worth a full answer. (1) Obviously, the group itself is a maximal normal subgroup. I assume you want to exclude that. (2) The language "can one find" strikes me as a little ambiguous: I don't know whether you mean "does one exist?" or "is one computable/constructible?" I'm sure the answer to the second is "no", because almost everything in finitely presented groups is not computable. The first question is a nice problem. –  David Speyer Nov 4 '09 at 14:29
    
I think that the title of the question (if indeed not the body) suggests that the question is "does one exist". –  José Figueroa-O'Farrill Nov 4 '09 at 14:35
    
Yes, Iam interested in lesser goal : does one exists. –  arun s Nov 4 '09 at 14:38
    
Regarding David Speyer's comment above, I think it's common practice to use "maximal" as shorthand "maximal proper" in many contexts. (For example, this is how Hungerford's Algebra uses it in "maximal ideal", etc.) –  Mark Meckes Nov 4 '09 at 14:40
2  
I assume the thing you're worried about is the union of a chain of proper normal subgroups being whole group. If you know that doesn't happen, you get existence of a maximal one by Zorn's lemma. –  Anton Geraschenko Nov 4 '09 at 14:51

4 Answers 4

up vote 13 down vote accepted

If you mean nontrivial maximal normal subgroup (not 1 or the whole group), then the answer is no.

Higman constructed a finitely generated infinite group G with no subgroups of finite index. You then get a finitely generated group with no nontrivial normal subgroups by taking the quotient by a maximal normal subgroup.

Higman's group G is < a,b,c,d | a^-1 b a = b^2, b^-1cb = c^2, c^-1dc=d^2, d^-1ad=a^2 >

See Higman, Graham. A finitely generated infinite simple group. J. London Math. Soc. 26, (1951). 61--64.

Edit:

If you mean does it have a proper maximal normal subgroup, then the answer is yes:

Finitely generated groups have a (possibly trivial) maximal normal subgroup. Higman's reference for this is B.H. Neumann, "Some remarks on infinite groups ", Journal London Math. Soc, 12 (1937), 120-127.

share|improve this answer
4  
But I think {1} should count as nontrivial. Otherwise, any finite simple group is a counter-example. I think an interesting question would be "Does Higman's group have a maximal proper normal subgroup?" –  David Speyer Nov 4 '09 at 14:47
5  
Note that this uses the fact that finitely generated groups have a (possibly trivial) maximal normal subgroup. Higman's reference for this is B.H. Neumann, "Some remarks on infinite groups ", Journal London Math. Soc, 12 (1937), 120-127. –  Richard Kent Nov 4 '09 at 14:48
    
Our comments crossed. So I change my answer to yes (see Neumann's paper). –  Richard Kent Nov 4 '09 at 14:49
    
thank you anyway... –  arun s Nov 4 '09 at 14:53
2  
Nice! And Neumann's paper is online jlms.oxfordjournals.org/cgi/reprint/s1-12/2/120 . –  David Speyer Nov 4 '09 at 15:16

Check out the Tarski monster. It is 2-generated and simple.
Unless I misunderstood your question and you exclude infinite simple groups altogether.

share|improve this answer
1  
Downvoted: If the "proper" in the initial question does include the trivial subgroup, then this example does not qualify. If it does not, than the question is not interesting as any finitely-generated simple group will do, trivially. In any case, nothing from the monster properties is required here. –  Pasha Zusmanovich Nov 5 '09 at 18:43
    
You are right, of course. I had been thinking about this group sometime before I saw the question, hence the unnecessarily complicated "counter"example! –  Sonia Balagopalan Nov 5 '09 at 20:58

So many answers! I'm comletely lost. The paper of "B.H. Neumann, "Some remarks on infinite groups ", Journal London Math. Soc, 12 (1937), 120-127" stated results for the existence of maximal subgroups, not maximal normal subgroup. Is this existence question of nontrivial normal subgroup still unsolved?

share|improve this answer
2  
A maximal subgroup M of G is either normal or self-normalizing. In the latter case, the union U of a chain of normal subgroups contained in M will be normal and cannot equal G, as it lies in M. So U will be a maximal normal subgroup of G. –  Richard Kent Nov 5 '09 at 3:19
2  
This argument is flawed. For example, $Sym(6)$ is a maximal subgroup of $Sym(7)$. The only normal subgroup of $Sym(7)$ which is contained in $Sym(6)$ is the identity subgroup, which clearly is not a maximal proper normal subgroup. –  Simon Thomas May 17 '10 at 0:31
    
Oops, you're right, Simon. –  Richard Kent May 17 '10 at 2:18

Assuming you mean "does a maximal normal subgroup always exist?" (and that you don't care about computing it), here is a way to restate the problem. Notice that if G has no maximal normal subgroups, that means that every proper normal subgroup H of G is contained in a larger proper normal subgroup K of G. In particular, this means that the group G/H must not be finite; if it were, we could only find a finite chain of normal subgroups between H and G. So the question "does a maximal normal subgroup always exist" is the same as "must a finitely generated group have any finite nontrivial quotients?" I'm not sure what the answer to that is, but it seems like a useful restatement.

share|improve this answer
    
Well, it's not equivalent -- a group with an infinite simple group as a proper quotient has a maximal normal subgroup. –  Tom Church Nov 4 '09 at 16:57
    
Yes, good point. What I meant to say is that if finitely generated groups always have at least one finite nontrivial quotient, then they must have a proper maximal subgroup. –  Gabe Cunningham Nov 4 '09 at 18:54

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.