Classifying Z_2(\alpha) and Z_2(\alpha)^* Groups

  • Thread starter Thread starter ehrenfest
  • Start date Start date
  • Tags Tags
    Groups
ehrenfest
Messages
2,001
Reaction score
1
[SOLVED] extension field

Homework Statement


Let E be an extension field of Z_2 and \alpha in E be algebraic of degree 3 over Z_2. Classify the groups <Z_2(\alpha),+> and <Z_2(\alpha)^*,\cdot> according to the fundamental theorem of finitely generated abelian groups.
Z_2(\alpha)^* denotes the nonzero elements of Z_2(\alpha).

Homework Equations


The Attempt at a Solution


The first group is obviously Z_2 cross Z_2 cross Z_2, right? I am using that theorem that says that every element of F(\alpha) can be uniquely expressed as a polynomial in F[\alpha] with degree less than 3. I am so confused about how to find the second group since they didn't give me explicitly the irreducible polynomial for \alpha over F? Is the problem impossible?
 
Last edited:
Physics news on Phys.org
The first group is indeed (Z_2)^3.

As for the second one: How many elements are in (Z_2(alpha))*?
 
8-1=7, so it has to be Z_7!
 
There are two things I don't understand about this problem. First, when finding the nth root of a number, there should in theory be n solutions. However, the formula produces n+1 roots. Here is how. The first root is simply ##\left(r\right)^{\left(\frac{1}{n}\right)}##. Then you multiply this first root by n additional expressions given by the formula, as you go through k=0,1,...n-1. So you end up with n+1 roots, which cannot be correct. Let me illustrate what I mean. For this...
Back
Top