To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Added in 24 Hours
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.

From Wikipedia, the free encyclopedia

In mathematics, a subring of R is a subset of a ring that is itself a ring when binary operations of addition and multiplication on R are restricted to the subset, and which shares the same multiplicative identity as R. (Note that a subset of a ring R need not be a ring.) For those who define rings without requiring the existence of a multiplicative identity, a subring of R is just a subset of R that is a ring for the operations of R (this does imply it contains the additive identity of R). The latter gives a strictly weaker condition, even for rings that do have a multiplicative identity, so that for instance all ideals become subrings (and they may have a multiplicative identity that differs from the one of R). With definition requiring a multiplicative identity (which is used in this article), the only ideal of R that is a subring of R is R itself.

YouTube Encyclopedic

  • 1/5
    137 624
    252 230
    232 247
    18 726
    1 190
  • Ring Theory | Subring | Theorems & Examples Of Subring | Abstract Algebra
  • Ring Definition (expanded) - Abstract Algebra
  • Ring Examples (Abstract Algebra)
  • Ring | Subring | Discrete mathematics
  • Abstract Algebra | 12. Subrings



A subring of a ring (R, +, ∗, 0, 1) is a subset S of R that preserves the structure of the ring, i.e. a ring (S, +, ∗, 0, 1) with SR. Equivalently, it is both a subgroup of (R, +, 0) and a submonoid of (R, ∗, 1).


The ring and its quotients have no subrings (with multiplicative identity) other than the full ring.[1]: 228 

Every ring has a unique smallest subring, isomorphic to some ring with n a nonnegative integer (see Characteristic). The integers correspond to n = 0 in this statement, since is isomorphic to .[2]: 89–90 

Subring test

The subring test is a theorem that states that for any ring R, a subset S of R is a subring if and only if it is nonempty and closed under multiplication and subtraction.[1]: 228 

As an example, the ring Z of integers is a subring of the field of real numbers and also a subring of the ring of polynomials Z[X].

Ring extensions

If S is a subring of a ring R, then equivalently R is said to be a ring extension of S, written as R/S in similar notation to that for field extensions.

Subring generated by a set

Let R be a ring. Any intersection of subrings of R is again a subring of R. Therefore, if X is any subset of R, the intersection of all subrings of R containing X is a subring S of R. S is the smallest subring of R containing X. ("Smallest" means that if T is any other subring of R containing X, then S is contained in T.) S is said to be the subring of R generated by X. If S = R, we may say that the ring R is generated by X.

Relation to ideals

Proper ideals are subrings (without unity) that are closed under both left and right multiplication by elements of R.

If one omits the requirement that rings have a unity element, then subrings need only be non-empty and otherwise conform to the ring structure, and ideals become subrings. Ideals may or may not have their own multiplicative identity (distinct from the identity of the ring):

  • The ideal I = {(z,0) | z in Z} of the ring Z × Z = {(x,y) | x,y in Z} with componentwise addition and multiplication has the identity (1,0), which is different from the identity (1,1) of the ring. So I is a ring with unity, and a "subring-without-unity", but not a "subring-with-unity" of Z × Z.
  • The proper ideals of Z have no multiplicative identity.

Profile by commutative subrings

A ring may be profiled[clarification needed] by the variety of commutative subrings that it hosts:

See also



  • Adamson, Iain T. (1972). Elementary rings and modules. University Mathematical Texts. Oliver and Boyd. pp. 14–16. ISBN 0-05-002192-3.
  • Dummit, David Steven; Foote, Richard Martin (2004). Abstract algebra (Third ed.). Hoboken, NJ: John Wiley & Sons. ISBN 0-471-43334-9.
  • Lang, Serge (2002). Algebra (3 ed.). New York. ISBN 978-0387953854.{{cite book}}: CS1 maint: location missing publisher (link)
  • Sharpe, David (1987). Rings and factorization. Cambridge University Press. pp. 15–17. ISBN 0-521-33718-6.
This page was last edited on 13 November 2023, at 05:15
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.