2
$\begingroup$

I've looked at a couple sources and neither of them state that rings are closed under addition and multiplication. For whatever reason, however, I believe that rings are defined to be closed under addition and multiplication. Am I correct? If so, why do authors not bother with this (in my opinion) crucial property?

$\endgroup$
  • $\begingroup$ Can you tell us some source? $\endgroup$ – Paul K Jan 8 at 16:43
  • $\begingroup$ @PaulK Wikipedia and Introduction to Abstract Algebra 6th Edition by Neal H. McCoy and Gerald J. Janusz $\endgroup$ – PiKindOfGuy Jan 8 at 16:45
  • 1
    $\begingroup$ At least in Wikipedia it is stated implicitly by saying that addition and multiplication are binary operations. $\endgroup$ – Paul K Jan 8 at 16:46
  • 3
    $\begingroup$ Closure is part of the definition of a binary operation. When we say a ring is a set $R$ with an operation $+$, we implicitly mean $+$ is a map from $R\times R$ to $R$. $\endgroup$ – Wojowu Jan 8 at 16:47
  • $\begingroup$ Thanks to both of you. The first answer here works for me and I'm waiting for enough time to pass so that I can accept it. $\endgroup$ – PiKindOfGuy Jan 8 at 16:48
6
$\begingroup$

99.999% of authors all include this property, at least implicitly.

Perhaps you are just not understanding where it appears implicitly.

"Closure" is implicit in the definition of a binary operation, so that is why most authors do not bother to mention it. It is not really important, it is just taken for granted that the reader understands the definition of binary operations on a set are necessarily "closed under the operation."

Addressing your sources:

Wikipedia:

In mathematics, a ring is one of the fundamental algebraic structures used in abstract algebra. It consists of a set equipped with two binary operations ...

and then

In mathematics, a binary operation on a set is a calculation that combines two elements of the set (called operands) to produce another element of the set.

(Sorry, I cannot seem to find the second book.)

While it is often used as an axiom for a binary operation on $X$ itself, it is useful to describe subsets of $X$ and their relation to the binary operation with "closure." Namely, a subset can be closed (or not) under the binary operation. That's why it becomes convenient to say things like "A subgroup $H$ of $G$ is a subset which is closed under the binary operation and inversion."

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.