What is the Characteristic of a Field with Order 2^n?

Click For Summary

Homework Help Overview

The discussion revolves around the characteristics of a field with order 2^n, specifically focusing on proving that the characteristic of such a field is 2. Participants are exploring the relationship between the field's order and its characteristic.

Discussion Character

  • Conceptual clarification, Assumption checking, Mathematical reasoning

Approaches and Questions Raised

  • Participants are examining the implications of a field being an integral domain and questioning how the characteristic relates to the order of the field. There is discussion about whether the characteristic must divide the order of the field and whether it can only be a prime number.

Discussion Status

The discussion is active, with participants offering insights about Lagrange's theorem and the structure of additive groups within fields. Some are questioning the implications of the characteristic on the additive subgroup orders, while others are reinforcing the connection between the field's order and its characteristic.

Contextual Notes

There is an underlying assumption that the characteristic must be either 0 or a prime number, which is being explored in the context of fields of order 2^n. Participants are also considering the implications of additive group properties on the characteristic.

dmatador
Messages
120
Reaction score
1

Homework Statement



Let F be a field with order 2^n. Prove that char (F) = 2.

Homework Equations





The Attempt at a Solution



My reasoning is that since a field is an integral domain, its characteristic must be either 0 or prime. After that I get confused, because would the char (F) need to somehow be related to the order of the field? Is there some reasoning that since it must divide the order of the field (just spit balling) and it must be prime, that it could just be 2? I know this is by no means a proof, but I am having difficulty finding some strong ideas to finish this.
 
Physics news on Phys.org
Consider the subfield generated by 1. Its order must divide the order of the field, by Lagrange's theorem, since a field is an additive group. What does this tell you?
 
If char(F)=m then doesn't that mean the field has an additive subgroup of order m?
 
TMM said:
Consider the subfield generated by 1. Its order must divide the order of the field, by Lagrange's theorem, since a field is an additive group. What does this tell you?

so the order of any element of the field must divide 2^n... so it should be a number of the form 2m (m being an integer)?
 
A field is an additive group. The additive order of any element must divide the order of the field. Period.
 

Similar threads

Confusion about definition of a splitting field
  • · Replies 1 ·
Replies
1
Views
2K
Prove ##|\{ q\in\mathbb{Q}: q>0 \} |=|\mathbb{N}|##.
  • · Replies 3 ·
Replies
3
Views
2K
Show that k is an odd integer, except when k=2
  • · Replies 9 ·
Replies
9
Views
2K
Do field homomorphisms preserve characteristic
  • · Replies 4 ·
Replies
4
Views
5K
Congruence and Primes: Proving the Order of an Integer Modulo a Prime
  • · Replies 4 ·
Replies
4
Views
2K
Prove every subset of countable set is either finite or else countable
  • · Replies 1 ·
Replies
1
Views
2K
Strong Induction: Proving Every Int n>1 is a Product of Primes
  • · Replies 5 ·
Replies
5
Views
2K
Some true or false Field extension theory questions
  • · Replies 1 ·
Replies
1
Views
2K
Proving piecewise function is k-differentiable
  • · Replies 5 ·
Replies
5
Views
2K
Least Upper Bound Property ⇒ Archimedean Principle
  • · Replies 1 ·
Replies
1
Views
2K