Ideals with subsets and divides

  • Thread starter Thread starter phyguy321
  • Start date Start date
  • Tags Tags
    Subsets
Click For Summary

Homework Help Overview

The discussion revolves around the relationship between ideals in the polynomial ring F[x], specifically examining the condition I ⊆ J and its equivalence to the divisibility of polynomials, g(x) dividing f(x).

Discussion Character

  • Conceptual clarification, Mathematical reasoning

Approaches and Questions Raised

  • Participants explore the implications of one ideal being a subset of another and the definitions of ideals and divisibility in the context of polynomials.

Discussion Status

Participants are actively engaging with the definitions and implications of ideals, with some confirming understanding and others seeking clarification on specific terms and concepts. There is a productive exchange regarding the relationship between the ideals and the polynomials involved.

Contextual Notes

Participants are discussing the definitions and properties of ideals in the context of polynomial rings, with a focus on the implications of these definitions for the relationship between the polynomials f(x) and g(x).

phyguy321
Messages
45
Reaction score
0

Homework Statement


Let I = <f(x)>, J =<g(x)> be ideals in F[x]. prove that I\subsetJ \leftrightarrow g(x)|f(x)

Homework Equations





The Attempt at a Solution


If I is a subset of J then does that mean that f is in J also and by definition of an ideal g*some b in J must equal something in J so g|f? because g|f means that f=bg for some b in J
 
Physics news on Phys.org
phyguy321 said:
If I is a subset of J then does that mean that f is in J
Correct.

also and by definition of an ideal g*some b in J must equal something in J so g|f? because g|f means that f=bg for some b in J
Sort of. I would just use the fact that J is generated by g(x).
 
what does it mean that J is generated by g(x)? in layman's terms
 
It means J = {a(x)g(x) : a(x) in F[x]}, in other words J is the set of all "multiples" of g(x).
 
So if f(x) is in J and J = {a(x)g(x): a(x) in F[x]} then f(x) = a(x)g(x) therefore g(x)|f(x)?
 
Correct.
 

Similar threads

Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
1K
Replies
1
Views
2K
  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K