What Are the Subfields of F=F_{p^{18}} and Their Lattice Representation?

  • Context: Graduate 
  • Thread starter Thread starter mathsss2
  • Start date Start date
  • Tags Tags
    Field
Click For Summary
SUMMARY

The discussion focuses on identifying the subfields of the finite field F=F_{p^{18}}, where p is a prime number. It establishes that the order of any subfield must divide p^{18}, utilizing Lagrange's theorem to narrow down the possible orders. The participants confirm that the subfields of F_{p^n} are precisely F_{p^m} for all divisors m of n, which in this case includes m values that divide 18. A lattice representation of these subfields is also discussed as a necessary visualization.

PREREQUISITES
  • Understanding of finite fields, specifically F_{p^n}
  • Familiarity with Lagrange's theorem in group theory
  • Knowledge of subfield structures and their properties
  • Basic skills in drawing lattice diagrams for mathematical structures
NEXT STEPS
  • Study the properties of finite fields and their subfields in detail
  • Learn about Lagrange's theorem and its applications in field theory
  • Explore the construction of lattice diagrams for algebraic structures
  • Investigate the implications of field extensions in abstract algebra
USEFUL FOR

Mathematicians, students of abstract algebra, and anyone interested in the structure of finite fields and their subfields.

mathsss2
Messages
38
Reaction score
0
Identify all the subfields of a field [tex]F=F_{p^{18}}[/tex], with [tex]p^{18}[/tex] elements where [tex]p[/tex] is a prime. Draw the lattice of all subfields.

I am allowed to just use a theorem, but I don't know one to use.
 
Physics news on Phys.org
Start with Lagrange's theorem (which is for groups, but all fields are additive groups) to get that the order of any subgroup (and hence the order of any subfield) divides p18. This narrows down the possible orders of the fields you're looking for
 
Also, if you have a subfield K, its group of units K* is a subgroup of F* as well.

Don't you have a theorem that says the subfields of Fpn are exactly Fpm where m divides n?

This stuff belongs in the Abstract Algebra forum.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 31 ·
2
Replies
31
Views
3K
  • · Replies 21 ·
Replies
21
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
48
Views
6K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K