Everything about the subring test is straightforward from the subgroup test, but the multiplicative operation of the subring, S, of ring, R, needs to be closed wrt multiplication, *. How do you prove S is closed wrt * if the only assumption about * is associativity and distributivity over addition in R? Please let me know if I need to clarify.(adsbygoogle = window.adsbygoogle || []).push({});

EDIT: I found the answer. Apparently * is assumed to be closed in a ring. My algebra book made no mention of this and it seems many sources don't! The ring axioms on proofwiki.org assume * is closed in a ring, thus a subring, making my question easy to answer.

**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!

# Multiplicative closure for subring test?

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