1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Frattini subgroup

  1. Jul 3, 2007 #1
    1. The problem statement, all variables and given/known data
    Find
    [tex]Frat(D_{2n}),Frat(D_{\infty})[/tex]


    2. Relevant equations

    Frat is the set of all nongenerators of a group.

    3. The attempt at a solution
    I know that D_2n is generated by a rotation of 360/n with order n, and a reflection, f of order 2.

    So D_2n=<r,f> and any element that can be added to that would be a nongenerator. So the Frattini would be something like [tex]\{r^2,r^3,...,r^{n-1},rf,r^2f,r^3f,.....r^{n-1}f\}[/tex]

    I'm not sure if my reasoning here is correct. I'm still working on the generators for [tex]D_{\infty}[/tex]

    Please tell me if I'm on the right track here.
    CC
     
    Last edited: Jul 3, 2007
  2. jcsd
  3. Jul 3, 2007 #2
    It's been a while since I took Group theory, but is there a restriction on your term for generator? I mean, your reasoning is certainly correct for [tex]D_{2n}[/tex], but there is another way to reason about this.

    We see that every rotation can be generated by r, but every rotation can also be generated by [tex]r^m[/tex] where [tex]gcd(m,n)=1[/tex]. I might be wrong, I can't quite remember. But in this case we could take the generator subset to be [tex]< r^m, f > [/tex] which would generatate an isomorphic group to the one you presented above.
     
  4. Jul 3, 2007 #3
    For your [tex]Frat(D_\infty)[/tex], note that [tex]D_\infty[/tex] is isomorphic to the semidirect product of [tex]\mathbb{Z}[/tex] and [tex]\mathbb{Z}_2[/tex]. Furthermore, generators are mapped to generators (I should be able to scrape up a proof if you want). Thus if you can find the generators of the semidirect product, then you can get them for [tex]D_\infty[/tex]
     
  5. Jul 3, 2007 #4

    NateTG

    User Avatar
    Science Advisor
    Homework Helper

    Let's consider a simpler example like:
    [tex]Frat(\mathbb{Z}_7)=\{e\}[/tex]
    Since any non-identity element will generate the group.

    Similarly, if you look at:
    [tex]D_{2 \times 7}[/tex]
    Any one of the rotations will generate all seven rotations, so all of them are generators in combination with any one of the reflections.

    The 'non-generator' condition is that for any list of elements that
    generates the group will still generate the group of all of the non-generators are removed from it.
     
  6. Jul 3, 2007 #5
    Very good point. I apparently forgot what the problem was when doing my rationale. Though I believe I'm still right about the whole coprime argument (not that you're saying that I'm wrong). [tex]D_{2\times7}[/tex] has every rotation as a rotational generator since every power would be coprime to 7. Clearly this doesn't hold in [tex]D_{2\times 3}[/tex] Where [tex]\{ r^2, r^3, r^4 \}[/tex] are not generators. Thus I would dare say that

    [tex]Frat(D_{2n}) = < r^m | gcd(m,n)\neq1>[/tex]

    Any objections?
     
    Last edited: Jul 3, 2007
  7. Jul 3, 2007 #6
    I was just coming back on to asl that exact question. After I really started tearing it apart I saw the[tex]D_{2\times7}[/tex] counter example.

    I agree with your result. It's the same thing that I came up with. I hope it's correct.

    I'm still hjaving trouble on the [tex]D_{\infty}[/tex] one. I'm stuck on the semidirect product thing. I see that Z2 has generator 1 and Z has generators everything except 0. So does that mean that the semidirect product in generated by everything except 0 and 1? The semidirect product is still a very fresh idea to me.

    Next is:
    I tried to find the generators of [tex]D_{\infty}[/tex] by saying that
    [tex]D_{\infty}[/tex] is generated by a rotation of [tex]\frac{360}{k}[/tex] where k does not divide 360, and a reflection f of order 2. Now there are infinitely many k's (but does k have to be an integer? I think it does.....) that work as far as I can tell. So the only nongenerators of the r would be divisors of 360?

    Tell me what you think.
    CC
     
    Last edited: Jul 3, 2007
  8. Jul 3, 2007 #7
    The semidirect product result might be the wrong way to go about it, but you can continue trying it if you like. I realized this after thinking about it for a bit.

    I'm curious though how you might think that every non identity element of [tex]\mathbb{Z}[/tex] is a generator. Consider 3: 3 will never generate the number 2, and so 3 isn't a generator. As a matter of fact, for any positive [tex]n \neq 1[/tex], n will not generate any integer less than itself. Thus the only generator of [tex]\mathbb{Z}[/tex] is 1, which makes sense since [tex]\mathbb{Z}[/tex] is isomorphic to the infinite cyclic group.

    Thus if I had to guess about [tex]Frat(D_\infty)[/tex] I would say

    [tex]Frat(D_\infty)=<r^n | n \neq 1 >[/tex]
     
  9. Jul 3, 2007 #8
    It would have to be all rational multiples of a full rotation....I think.
    [tex]D_{\infty}[/tex] happens when the r is a nonrational multiple of a full rotation, according to wikipedia.
    So how to write that nicely....If it's right...
    CC
    EDIT:
    So would that be [tex]Frat(D_{\infty})=\{r^n|n\in \mathbb{R}\backslash \mathbb{Q}\}[/tex]?
     
    Last edited: Jul 3, 2007
  10. Jul 3, 2007 #9

    NateTG

    User Avatar
    Science Advisor
    Homework Helper

    In the context of [itex]D_\infty[/itex] what rotations will:
    [tex]r^n,r^{n-1}[/tex]
    generate?
     
    Last edited: Jul 3, 2007
  11. Jul 3, 2007 #10
    In all honesty, I'm not 100% sure. I don't see a problem in letting [tex]n \in \mathbb{Z}[/tex] since we still get an infinite set. Plus if we let [tex]r\in\mathbb{R}\setminus\mathbb{Q}[/tex] couldn't we get things that seemed to conflict with the multiplicative representation (since not all irrationals are transcedental)

    Edit: Did you change [tex]r\in\mathbb{R}\setminus\mathbb{Q}[/tex] to [tex]n\in\mathbb{R}\setminus\mathbb{Q}[/tex]? Then this clearly can't be correct since we don't have the notion of an irrational power in our definition of the binary operator
     
  12. Jul 3, 2007 #11
    I see what you're saying about Z. I just get so easily turned around.
    In your solution, wouldn't n=2 generate a noninfinite dihedral group? Or am I missing something?

    up above I edited my Frat. I meant for n, not r to be not rational.
     
    Last edited: Jul 3, 2007
  13. Jul 3, 2007 #12
    Instead of considering the abstract infinite cyclic group, let's instead think of [tex]\mathbb{Z}[/tex] under addition. The moving from multiplicative notation to additive, letting n = 2 is equivalent to saying the element 2n generates all integers, where [tex]n\in \mathbb{Z}[/tex]
     
  14. Jul 3, 2007 #13
    I understand about the Z generators now. The only possible generators for that semirect product are 1. So the infinite dihedral group only has 1 generator. I get confused because I'm used to thinking about the dihedral group itself, not the semidirect product.

    So we're saying that the infinite dihedral group has infinitely many generators? There's ONLY one generator for it?

    I have to wrap my mind around that from the dihedral group perspective.
     
  15. Jul 3, 2007 #14
    I'd say there's two. Don't forget f. Not to mention if there was only 1 generator, then [tex]D_\infty[/tex] would be isomorphic to [tex]C_\infty[/tex] (infinite cyclic group) which is clearly not true. Thus I'd say the only generators of [tex]D_\infty[/tex] are r and f.
     
    Last edited: Jul 3, 2007
  16. Jul 3, 2007 #15
    OK, so it has 2. So the generators for the semidirect product are 1 and 1, right? So then when we write down the Frat, since it's the same generator, we only have to name it once?
     
  17. Jul 3, 2007 #16
    No, since we have to take the disjoint union of the two generators, which means that although in each of their groups they represent the same number, they are not actually the same generator.
     
  18. Jul 3, 2007 #17
    I understand that. My confusion lies in that there is one 1 in the Frat. I think I need to walk away for a minute and let this settle in my head.
     
  19. Jul 3, 2007 #18
    Think about it this way. The isomorphism between the semidirect product and [tex]D_\infty[/tex] is

    [tex]\alpha: D_\infty \to \mathbb{Z}\times \mathbb{Z}_2 [/tex]
    [tex] (r^n f^m) \to (n, m [/tex] mod 2)

    Since (1,0) and (0,1) are the generators in the semi-direct product, then

    [tex]\alpha^{-1} (1,0) = r[/tex]
    [tex]\alpha^{-1}(0,1) = f [/tex]

    Edit : This could probably be better represented by limiting [tex]m \in \{0,1\} [/tex]. Otherwise I just know someone is going to rag on me about defining the inverse the way I did.
     
    Last edited: Jul 3, 2007
  20. Jul 3, 2007 #19
    Why didn't I just do that in the beginning? It probably would've made more sense.
     
  21. Jul 3, 2007 #20

    NateTG

    User Avatar
    Science Advisor
    Homework Helper

    It might help if you think of the Frattini subgroup as the intersection of maximal proper subgroups rather than as the set of non-generators.

    Now, if you apply that to the dihedral groups, it's clear that the set of rotations is a proper maximal subgroup, so the Frattini subgroup cannot contain any of the reflections.

    Moreover, for the finite dihedral groups, [itex]D_{2 \times n}[/itex], [tex]|r^p,f|[/itex] is a proper maximal subgroup for any prime factor [itex]p[/itex] of [itex]n[/itex].

    Clearly, substituting a non-prime power of the generating rotation will not generate a maximal proper subgroup. Thus
    [tex]Frat(D_{2xn})=\mathbb{Z}_k[/tex]
    where
    [tex]k=n \prod_{p | n} \frac{1}{p}[/tex]

    Now, for the infinite case, for any [itex]r^k \neq 1[/itex] there is some prime [itex]p>k[/tex] and [itex]|r^p,f| [/itex] is a maximal proper subgroup that does not contain it, so
    [tex]Frat(D_\infty)=\{1\}[/tex]
     
    Last edited: Jul 3, 2007
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?



Similar Discussions: Frattini subgroup
  1. Frattini subgroup (Replies: 0)

Loading...