(adsbygoogle = window.adsbygoogle || []).push({}); [SOLVED] Identity in a subring

1. The problem statement, all variables and given/known data

In Dummit & Foote on the section on tensor product of modules (10.4 pp.359), the authors write

"Suppose that the ring R is a subring of the ring S. Throughout this section, we always assume that [tex]1_R=1_S[/tex] (this ensures that S is a unital R-module)."

Now, I just want to make sure I'm not missing something. Can R be a subring with identity whose identity 1_R is different from 1_S???

I would say "no" because S, together with its multiplication operation, forms a monoid... and in a monoid M, the identity e is the only element with the ability to do me=em=m for any and all m in M. So if 1_R were an identity for R different than 1_S, it would mean 1_R*r = 1_S*r = r and we would have two different element with the ability to act on the elements of r like an identity, which contradicts the fact that S is a (multiplicative) monoid.

So instead, perhaps a less confusing way to write the above quoted passage would be to say,

"Suppose that the ring R is a subring of the ring S. Throughout this section, we always assume that R contains [tex]1_S[/tex] (this ensures that S is a unital R-module)."

Yes? Thanks for the feedback.

**Physics Forums | Science Articles, Homework Help, Discussion**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Homework Help: Identity in a subring

**Physics Forums | Science Articles, Homework Help, Discussion**