Notation of ideals in ring theory

  • Context: Graduate 
  • Thread starter Thread starter erraticimpulse
  • Start date Start date
  • Tags Tags
    Notation Ring Theory
Click For Summary

Discussion Overview

The discussion revolves around the notation of ideals in ring theory, specifically in the context of Principal Ideal Domains (PIDs). Participants explore the meaning of the notation and its implications for linear combinations and ideals.

Discussion Character

  • Homework-related, Conceptual clarification

Main Points Raised

  • One participant expresses confusion about the notation representing an ideal and seeks clarification on its meaning.
  • Another participant explains that refers to any linear combination of a and b, defined as {as + bt | s, t are in R}.
  • A participant shares their uncertainty regarding the assertion from Wolfram that is an ideal for any a and b, indicating a lack of verification in their resources.
  • One participant conjectures that if gcd(a,b) = d, then gcd(a,d) = d and gcd(b,d) = d, although they question the usefulness of this conjecture.

Areas of Agreement / Disagreement

Participants do not reach a consensus on the notation and its implications for ideals. There are competing views regarding its verification and utility in the context of PIDs.

Contextual Notes

Limitations include a lack of comprehensive information in the participant's text and notes on PIDs, as well as unresolved questions about the validity of the notation and its properties.

erraticimpulse
Messages
54
Reaction score
0
So right now I'm trying to solve this problem in ring theory for homework. The question pertains to proving that in a PID, D, if a,b are elements of D then the gcd of a and b can be written as a linear combination. In any event I know where I have to go but I'm stuck on this one bit of notation.

<a,b> = <d>.

I've never seen notation for an ideal like that with 2 elements separated by a comma. I'd appreciate any insight into this.

Oh and here's the site from wolfram where I originally discovered it:
http://mathworld.wolfram.com/PrincipalIdealDomain.html
 
Physics news on Phys.org
<a,b> is any linear combination of a and b.

That is, <a,b>={as+bt|s,t are in R}
 
Thanks man. You rock my socks!
 
Okay well, it turned out that the idea from wolfram was more confusing than helpful. There's a scarce amount of information in my text and notes on PID's. The only conjectures that I feel safe in making: if given gcd(a,b)=d then gcd(a,d)=d and gcd(b,d)=d. Not sure how helpful those are though. I think what I'm most confused about is Wolfram's assertion that <a,b> is an ideal for any a,b. I can't verify this anywhere.
 
Nevermind, I figured it out. Thanks for the insight Ziox!
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 16 ·
Replies
16
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 5 ·
Replies
5
Views
9K
  • · Replies 24 ·
Replies
24
Views
5K
  • · Replies 0 ·
Replies
0
Views
1K
  • · Replies 3 ·
Replies
3
Views
3K