How to Prove Subfield?

Theorem. Let p be a prime, k a positive integer and a a non-zero element of Fpk. The set of all integer powers of a together with the zero element is a subfield of F if and only if the order of a in the multiplicative group of Fpk is of the form pℓ−1 where j is a positive integer.

What is math subfield?

1 : a subset of a mathematical field that is itself a field. 2 : a subdivision of a field (as of study)

How do you prove fields?

In order to be a field, the following conditions must apply:
  1. Associativity of addition and multiplication.
  2. commutativity of addition and mulitplication.
  3. distributivity of multiplication over addition.
  4. existence of identy elements for addition and multiplication.
  5. existence of additive inverses.
Robert Thorne

Robert Thorne

Automotive & Future Transportation Editor

Robert Thorne covers electric vehicle innovations, autonomous driving systems, global mobility trends, and automotive engineering developments.