Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Same symbol, different meanings? Subgroup index & field extension

  1. Jul 26, 2011 #1
    Hello,

    Say we have field (F,+,.) and field extension (E,+,.), then the degree of the field extension (i.e. the dimension of the vector field E across the field F) is given the symbol [itex] [E:F] [/itex].

    But we can also see F and E as the groups (F,+) and (E,+), and then the same symbol denotes the subgroup index (in relation to Lagrange's theorem).

    Is there any relation between these two cases, or is it just that the same symbol is used for two totally different things and it's assumed that the context makes clear what is meant?

    In any case they're not equal (doesn't mean there can't be some meaningful connection, however), because for example as fields [itex] [ \mathbb C : \mathbb R ] = 2 [/itex] while as groups [itex] [ \mathbb C : \mathbb R ] = 2^\aleph_0 [/itex] (anyway I think so, because [itex]\mathbb C = \cup_{r \in \mathbb R} (r.i + \mathbb R)[/itex])

    Then again for the rationals and irrationals they seem to coincide, but that might well be a coincidence.
     
    Last edited: Jul 26, 2011
  2. jcsd
  3. Jul 26, 2011 #2

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    Are you certain of this?? Doesn't this need to be

    [tex][\mathbb{C}:\mathbb{R}]=2^{\aleph_0}[/tex]

    since the reals have cardinality [itex]2^{\aleph_0}[/itex].

    In general if F is a field extension of K, then we can write [itex]F=K^n[/itex] as vector space (and where n is not necessarily finite).

    So, as groups, we have

    [tex][F:K]=|F/K|=|K^n/K|=|K^{n-1}|[/tex]

    while as fields (or vector spaces), we have

    [tex][F:K]=\dim_K{F^n}=n[/tex]

    In general, it seems obvious that [F:K] as fields is always smaller than [F:K] as groups. But I cannot quite see any other interesting relation.
     
  4. Jul 26, 2011 #3
    Well, there are several similarities. For a group, [itex] [G:H] [/itex] is the number of distinct left cosets of H in G, or equivalently, the number of elements in a set of coset representatives for left cosets of H in G. Similarly, [itex] [F:E] [/itex] is the number of elements in a basis for F as a vector space over E. Other results hold in both cases as well. For instance, if [itex] F \subseteq K \subseteq L [/itex] are fields or groups, then
    [tex]
    [L:F] = [L:K][K:F] \; .
    [/tex]
    I think there are other results that are true for both interpretations of the symbol [F:E], often involving divisibility.

    Also micromass is right: as a group under addition, [itex] \mathbb{C} \cong \mathbb{R}^2 [/itex] so [itex] [\mathbb{C}: \mathbb{R}] = |\mathbb{R}| = 2^{\aleph_0}[/itex].
     
  5. Jul 26, 2011 #4
    Indeed the cardinality was a typo (fixed it in my OP)

    thanks for the rest
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Same symbol, different meanings? Subgroup index & field extension
  1. Field extensions (Replies: 5)

Loading...