Register to reply

The Center of a Ring and Subrings!

by lostinmath08
Tags: ring, subrings
Share this thread:
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
An interesting glimpse into how future state-of-the-art electronics might work
Tissue regeneration using anti-inflammatory nanomolecules
C2D2 fighting corrosion
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).
Feb28-08, 03:07 PM
Sci Advisor
HW Helper
P: 25,228
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)?

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:


and vice versa.

The above is just to satisfy the first axiom.
am i on the right track or completely off?
Feb28-08, 07:19 PM
Sci Advisor
HW Helper
P: 25,228
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.
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