Vipul at 20:54, 29 January 2014

2014-01-29T20:54:40Z

← Older revision		Revision as of 20:54, 29 January 2014
Line 1:		Line 1:
			{{particular curing}}

	==Definition==		==Definition==

Line 4:		Line 6:

	The adjective ''rational'' is used in the name in circumstances where there may be potential confusion with the [[ring of integers in a number field]].		The adjective ''rational'' is used in the name in circumstances where there may be potential confusion with the [[ring of integers in a number field]].

			This ring is the initial object in the category of [[commutative unital ring]]s.

			==Ring properties==

			{\| class="sortable" border="1"
			! Property !! Meaning !! Satisfied? !! Explanation
			\|-
			\| [[satisfies property::integral domain]] \|\| zero is not a product of nonzero elements \|\| Yes \|\|
			\|-
			\| [[satisfies property::Euclidean domain]] \|\| admits a [[Euclidean norm]] \|\| Yes \|\| See [[ring of rational integers is Euclidean with norm equal to absolute value]] (the standard choice of norm is the absolute value); see also [[ring of rational integers is Euclidean with norm equal to binary logarithm of absolute value]]
			\|-
			\| [[satisfies property::principal ideal domain]] (PID) \|\| every [[ideal]] is a [[principal ideal]] \|\| Yes \|\| Follows from being Euclidean and [[Euclidean implies PID]]
			\|-
			\| [[satisfies property::unique factorization domain]] \|\| every element has a unique factorization into irreducibles (same as primes) up to units \|\| Yes \|\| Follows from being a PID and [[PID implies UFD]]
			\|-
			\| [[satisfies property::Noetherian domain]] \|\|[[integral domain]] \|\| Yes \|\| Follows from being a PID
			\|-
			\| [[satisfies property::Bezout domain]] \|\| \|\| Yes \|\| Follows from being a PID
			\|-
			\| [[satisfies property::Dedekind domain]] \|\| \|\| Yes \|\| Follows from being a PID
			\|-
			\| [[satisfies property::interpolation domain]] \|\| \|\| Yes \|\| For any <math>n</math>, there exists a tuple of <math>n + 1</math> elements such that evaluation at these defines a bijection between the polynomials of degree at most <math>n</math> in the [[ring of integer-valued polynomials]] and <math>R^{n+1}</math>.
			\|}

Vipul: Created page with "==Definition== The ring $\mathbb{Z}$ , called the '''ring of rational integers''' or sometimes simply the '''ring of integers''', is the ring whose elements are the..."

2014-01-29T20:37:24Z

Created page with "==Definition== The ring <math>\mathbb{Z}</math>, called the '''ring of rational integers''' or sometimes simply the '''ring of integers''', is the ring whose elements are the..."

New page

==Definition==

The ring <math>\mathbb{Z}</math>, called the '''ring of rational integers''' or sometimes simply the '''ring of integers''', is the ring whose elements are the rational integers, with the usual addition and multiplication. Explicitly, the underlying set is <math>\{ \dots, -2, -1, 0, 1, 2, \dots \}</math> and the addition and multiplication are the usual ones.

The adjective ''rational'' is used in the name in circumstances where there may be potential confusion with the [[ring of integers in a number field]].

Ring of rational integers - Revision history

Vipul at 20:54, 29 January 2014

Vipul: Created page with "==Definition== The ring \mathbb{Z}, called the '''ring of rational integers''' or sometimes simply the '''ring of integers''', is the ring whose elements are the..."

Vipul: Created page with "==Definition== The ring $\mathbb{Z}$ , called the '''ring of rational integers''' or sometimes simply the '''ring of integers''', is the ring whose elements are the..."