Jump to content

User:TMM53/Subrings-2023-03-21

From Wikipedia, the free encyclopedia

In mathematics, a ring is a set and 2 binary operations, addition and multiplication with additive and multiplicative identites. A subring arises from a ring's subset by restriction of the ring's addition and multiplication operations to the ring's subset and sharing a common multiplicative identity. This transforms the ring's subset to a subring. The relationship between rings and subrings preserves the ring's structure. This means that for any shared elements of ring and subring, the sum or product of these elements in the subring matches a corresponding sum or product in the ring.

Properties

[edit]

A ring has the properties of a commutative additive group, and associative multiplication with a multiplicative identity element.[1]: 83  Associative multiplication with an identity element means that a ring has the properties of a multiplicative monoid.[1]: 3  Therefore, a subring contains an additive subgroup of the ring's additive group and a multiplicative submonoid of the ring's monoid.

A proper subring has a proper subset of the ring's set. An improper subring has an improper subset of the ring's set.

The subring-ring relationship is transitive.[2]: 228 

A ring and its subrings may not share identical properties. For example, a Noetherian ring may have a non-Noetherian subring.[3]

Examples

[edit]

Rings with subrings

[edit]

Rings without proper subrings

[edit]
  • The integers and the quotient rings have no proper subrings.[2]: 228 

Subring test

[edit]

Ring is a proper subring of ring if is non-empty, shares the same identity element of ring , is closed under multiplication and subtraction and is a proper subset of ring..[2]: 228 

Ring extensions

[edit]

Ring is a ring extension of ring is equivalent to ring is a subring of ring . Ring extension notation, , is similar to field extension notation.

Subring generated by a set

[edit]

The intersection of any family of subrings is a subring. The intersection of any family of subrings containing a common set is a subring. The smallest subring containing a common set is the intersection of all subrings containing the common set. Set generates ring in ring if is the smallest subring in containing set .[1]: 90 

See also

[edit]

Category:Ring theory

Notes

[edit]

References

[edit]
  • Iain T. Adamson (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.
  • Hartley, B.; Hawkes, T.O. (1974). Rings, modules and linear algebra: a further course in algebra describing the structure of Abelian groups and canonical forms of matrices through the study of rings and modules. London: Chapman & Hall. ISBN 978-0412098109.
  • Jacobson, Nathan (1989). Basic algebra (2nd ed.). New York: W.H. Freeman. ISBN 0-7167-1480-9.
  • Kuz'min, Leonid Viktorovich (2002). Encyclopaedia of mathematics. Berlin: Springer-Verlag. ISBN 1402006098.
  • Lang, Serge (2002). Algebra (3 ed.). New York. ISBN 978-0387953854.{{cite book}}: CS1 maint: location missing publisher (link)}
  • Larsen, Max D.; McCarthy, Paul J. (1971). Multiplicative theory of ideals (PDF). New York: Academic Press. ISBN 978-0124368507.
  • Rosenfeld, Boris (1997). Geometry of Lie Groups. Boston, MA: Springer US. ISBN 978-1-4419-4769-7.
  • David Sharpe (1987). Rings and factorization. Cambridge University Press. ISBN 0-521-33718-6.