Unit in a ring (abstract algebra)

Click For Summary
SUMMARY

The polynomial \(x^2 - 1\) is not a unit in the ring \(F[x]\), where \(F\) is a field. A unit is defined as an element that possesses an inverse within the same ring. The attempt to find an inverse through the Taylor expansion of \(\frac{1}{x^2 - 1}\) fails, as this expansion results in an infinite series, which is not a polynomial and thus not an element of \(F[x]\). The conclusion is that \(x^2 - 1\) does not have an inverse in \(F[x]\), confirming it is not a unit.

PREREQUISITES
  • Understanding of abstract algebra concepts, particularly ring theory.
  • Familiarity with polynomial rings, specifically \(F[x]\).
  • Knowledge of units and inverses in algebraic structures.
  • Basic comprehension of Taylor series and their properties.
NEXT STEPS
  • Study the properties of units in polynomial rings, focusing on \(F[x]\).
  • Learn about integral domains and their implications in ring theory.
  • Explore the concept of Taylor series and their convergence in relation to polynomials.
  • Investigate examples of units in various fields and their corresponding polynomial rings.
USEFUL FOR

Students of abstract algebra, particularly those studying ring theory, as well as educators and researchers seeking to deepen their understanding of polynomial units in fields.

cummings12332
Messages
38
Reaction score
0

Homework Statement


Is (x^2-1) a unit in F[x]? where F is a field.


2. The attempt at a solution
I might say yes, cause we can find the taylor expansion of 1/(x^2-1), is my idea right?
 
Physics news on Phys.org
cummings12332 said:

Homework Statement


Is (x^2-1) a unit in F[x]? where F is a field.


2. The attempt at a solution
I might say yes, cause we can find the taylor expansion of 1/(x^2-1), is my idea right?

The taylor expansion is not a polynomial. It has an infinite number of terms.
 
it has been a long time since I studied Ring Theory, but here is what I remember that might be relevant:

A unit is an element that has an inverse. So in order for ##x^2-1## to be a unit, there would have to exist an inverse of ##x^2-1## in your field. Your suggestion of ##\frac{1}{x^2-1}## is a reasonable candidate, but I do not believe it is an element of your field. This is because I always took ##F[x]## to represent the ring of finite degree polynomials over the field, F, and the Taylor expansion of ##\frac{1}{x^2-1}## is infinite.

In my opinion, the answer needs to be "no." I think proving this hinges on the fact that we're in a field (and hence an integral domain) so there is no terms that can multiply by ##x^2## to make the leading coefficient zero.

Good Luck!
 

Similar threads

  • · Replies 24 ·
Replies
24
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
2
Views
2K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 6 ·
Replies
6
Views
2K