The Center of a Ring and Subrings!


by lostinmath08
Tags: ring, subrings
lostinmath08
lostinmath08 is offline
#1
Feb28-08, 02:12 PM
P: 12
[b]1. The problem statement

Let R be a ring. The center of R is defines as follows:

Z(R)= {x E R where xy = yx for all y E R}

Show that Z(R) is a subring of R



3. The attempt at a solution

I know that rings have to follow 4 axioms
a) its an abelian group under addition
b) Closure (ab E R)
c) Associativity ((ab)c =a(bc)
d) Distributivity a(b+c)=ab+ac and (b+c)a= ba+ca

Do the axioms apply to sub rings as well? and how would u go about solving it?
Phys.Org News Partner Science news on Phys.org
Simplicity is key to co-operative robots
Chemical vapor deposition used to grow atomic layer materials on top of each other
Earliest ancestor of land herbivores discovered
Mystic998
Mystic998 is offline
#2
Feb28-08, 03:07 PM
P: 206
In general, a subring of R is a subset of R which is a ring with structure comparable to R. So you don't actually have to show all the axioms because multiplication being associative and distributive is inherited just by being a subset of R. Similarly, some of the additive group structure is inherited from R (associativity, commutativity of addition in particular). In short, you just have to show that whatever subset that you're claiming is a subring is closed under addition, multiplication, and taking of additive inverses (or more compactly, closed under subtraction and multiplication).
Dick
Dick is offline
#3
Feb28-08, 03:07 PM
Sci Advisor
HW Helper
Thanks
P: 25,165
Exactly right. The axioms have to apply to the subring as well. Start proving them one by one. E.g. if a and b are in Z(R), is a+b in Z(R)?

lostinmath08
lostinmath08 is offline
#4
Feb28-08, 07:00 PM
P: 12

The Center of a Ring and Subrings!


i) (for all or any) x,y E R implies x+(-y) E R
ii) (for all or any) x,y E R implies xy E R ( R is closed under mulitplication)

so using the requirements of a subring...this is what i came up with:

x-y=y-x
-y-y=-x-x
-2y=-2x
y=x

and vice versa.

The above is just to satisfy the first axiom.
am i on the right track or completely off?
Dick
Dick is offline
#5
Feb28-08, 07:19 PM
Sci Advisor
HW Helper
Thanks
P: 25,165
Off. You know x+y is in R. R is already a ring. You just want to show for x and y in Z(R), x+y is in Z(R). To do that you have to show that for any w in R, (x+y)*w=w*(x+y). Remember you can use that x and y are in Z(R). So x*w=w*x and y*w=w*y.
frnkarich
frnkarich is offline
#6
Nov17-10, 05:06 PM
P: 1
By criterion theorem, S is a subring of R iff x-y E R and xy E R for all x, y E S so you must show these two are true.

So let x,y E Z(R) and r E R,

To show x-y E Z(R), you have to look at r(x-y).

by definition, rx=xr and ry=yr, so

r(x-y)= rx-ry = xr-yr= (x-y)r so x-yE Z(R). (This proves that Z(R) is an abelian subgroup of R under addition).

Next, you need to show xy E Z(R) by looking at r(xy).

r(xy)= (rx)y=x(ry)= (xy)r. (Proving Z(R) is closed under multiplication)

Thus by criterion theorem, Z(R) is a subgroup of R.


Register to reply

Related Discussions
Center of gravity (it's not center of mass!!!) General Physics 28
the geometric center of the Earth and the center of mass Classical Physics 9
Can two objects with the same center of mass oscillate about that center? Introductory Physics Homework 0
Fun problem in calculating the electric field in the center of a charged ring Introductory Physics Homework 5
The center of Mass perfectly match the center of Force-> General Physics 9