Abstract Algebra

Abstract Algebra: what is Ideal?

Ideal is defined by:

if R is a Ring and I is subring of R, then

if r in I, and x in R then

r*x in I and x*r both in I

example of Ideal:

let R = Z, I = 2Z

r in Z

x in 2Z

then r*x = z*2Z = 2*Z

x*r = 2Z*Z = 2*Z

hence  2Z is an Ideal

[ad] Empty ad slot (#1)!

abstract algebra: what is subring?

subring defined by:

if R is a ring,

1) I is subset of R

2) I is also a ring

example:

let R = Z  (integer)

I = 2Z is subring of R, since 2Z is also a ring,

is (2Z + 1) also a subring of R?, no

proof:

let a, b in Z

=> 2*a + 1 in 2Z + 1

=> 2*b + 1 in 2z + 1

let (2*a  + 1 )  + (2*b + 1)

=> 2*a + 2*b + 1 + 1

=> 2(a + b) + 2

=> 2(a + b + 1)

=> 2(a + b + 1) is not in 2Z + 1

hence 2(a + b + 1) is not closed under addition

so 2Z + 1 is not a ring,

abstract algebra: what is ring?

ring is defined by

1) two operator: addition(+) and multiplication(*)
if a, b in R, then a + b in R
if a, b in R, then a*b in R
2) there exists 0 such that if a in R, then a + 0 = a
there exists additive inverse -a such that if a in R, then a + (-a) = 0examples of ring:

Integer, real number, complex number.

[ad] Empty ad slot (#1)!