Editing Ring (mathematics) (section)

=== Commutative rings ===
* The prototypical example is the ring of integers with the two operations of addition and multiplication.
* The rational, real and complex numbers are commutative rings of a type called [[field (mathematics)|fields]].
* A unital associative [[algebra over a ring|algebra over a commutative ring]] {{mvar|R}} is itself a ring as well as an [[module (mathematics)|{{mvar|R}}-module]]. Some examples:
** The algebra {{math|''R''[''X'']}} of [[polynomial ring|polynomials]] with coefficients in {{mvar|R}}.
** The algebra <math>R[[X_1, \dots, X_n]]</math> of [[formal power series]] with coefficients in {{mvar|R}}.
** The set of all [[continuous function|continuous]] real-valued [[function (mathematics)|functions]] defined on the real line forms a commutative {{tmath|\R}}-algebra. The operations are [[pointwise]] addition and multiplication of functions.
** Let {{mvar|X}} be a set, and let {{mvar|R}} be a ring. Then the set of all functions from {{mvar|X}} to {{mvar|R}} forms a ring, which is commutative if {{mvar|R}} is commutative.
<!--* <math>\Z [c],</math> the integers with a real or complex number {{mvar|c}} adjoined. As a {{tmath|\Z}}-module, it is free of infinite rank if {{mvar|c}} is [[transcendental number|transcendental]], free of finite rank if {{mvar|c}} is an algebraic integer, and not free otherwise.
* <math>\Z [1/10],</math> the set of [[decimal fraction]]s.  Not free as a {{math|\Z}}-module.-->
* The ring of [[quadratic integers]], the integral closure of {{tmath|\Z}} in a quadratic extension of {{tmath|\Q.}} It is a subring of the ring of all [[algebraic integers]].
<!--* <math>\Z [i],</math> the [[Gaussian integer]]s.
* <math>\Z [\left(1 + \sqrt{-3}\right)/2],</math> the [[Eisenstein integer]]s. 
* The previous two examples are the cases {{math|1=''n'' = 4}} and {{math|1=''n'' = 3}} of the [[cyclotomic field|cyclotomic ring]] {{tmath|\Z[\zeta_n].}}
* The previous four examples are cases of the [[ring of integers]] of a [[number field]] {{mvar|K}}, defined as the set of [[algebraic integer]]s in {{mvar|K}}.-->
<!--* The set of all algebraic integers in {{tmath|\C}} forms a ring called the [[integral closure]] of {{tmath|\Z}} in {{tmath|\C.}}-->
* The ring of [[profinite integer]]s {{tmath|\widehat\Z,}} the (infinite) product of the rings of {{mvar|p}}-adic integers {{tmath|\Z _p}} over all prime numbers {{mvar|p}}.
* The [[Hecke algebra|Hecke ring]], the ring generated by Hecke operators.
* If {{mvar|S}} is a set, then the [[power set]] of {{mvar|S}} becomes a ring if we define addition to be the [[symmetric difference]] of sets and multiplication to be [[intersection (set theory)|intersection]]. This is an example of a [[Boolean ring]].