Notation of ideals in ring theory

In summary, the conversation is about solving a problem in ring theory for homework, specifically proving that in a Principal Ideal Domain (PID), the greatest common divisor of two elements can be written as a linear combination. The question arises about the notation <a,b> for an ideal with two elements separated by a comma, which is mentioned on a website from Wolfram. The individual seeking help eventually figures out the problem and thanks the other person for their insights.
  • #1
erraticimpulse
55
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
  • #2
<a,b> is any linear combination of a and b.

That is, <a,b>={as+bt|s,t are in R}
 
  • #3
Thanks man. You rock my socks!
 
  • #4
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.
 
  • #5
Nevermind, I figured it out. Thanks for the insight Ziox!
 

FAQ: Notation of ideals in ring theory

1. What is an ideal in ring theory?

An ideal in ring theory is a subset of a ring that satisfies certain properties. It is a generalization of the concept of a normal subgroup in group theory. Ideals are used to study the structure and properties of rings, and are important in the study of algebraic structures.

2. How are ideals denoted in ring theory?

Ideals are typically denoted by a single letter, usually I or J, and can also be denoted as (a), where a is an element of the ring. In some cases, ideals are denoted by a boldface letter, such as 𝘯.

3. What is the difference between a left ideal and a right ideal?

A left ideal is a subset of a ring that is closed under left multiplication by any element of the ring, while a right ideal is a subset that is closed under right multiplication. In other words, a left ideal absorbs elements from the left, while a right ideal absorbs elements from the right. A two-sided ideal is a subset that is closed under both left and right multiplication.

4. How are ideals related to subrings?

An ideal is a special type of subring, where the ideal is also closed under multiplication by any element of the ring. In other words, every ideal is a subring, but not every subring is an ideal. Subrings may also contain units, while ideals do not.

5. How are ideals used in ring theory?

Ideals are used to define quotient rings, which are important in the study of ring homomorphisms and isomorphisms. They are also used to define the concept of prime and maximal ideals, which have important applications in algebraic geometry and commutative algebra. Ideals are also used to study factorization and divisibility in rings.

Similar threads

Replies
16
Views
3K
Replies
1
Views
2K
Replies
1
Views
2K
Replies
4
Views
3K
Replies
5
Views
9K
Replies
24
Views
4K
Replies
6
Views
3K
Replies
4
Views
4K
Replies
3
Views
2K
Replies
7
Views
3K
Back
Top