ring of rational integers

Summary

ring of rational integers is a ring of algebraic integers^[1].

Key Facts

• ring of rational integers's instance of is recorded as ring of algebraic integers^[2].
• ring of rational integers's instance of is recorded as Euclidean domain^[3].
• ring of rational integers's instance of is recorded as unique factorization domain^[4].
• ring of rational integers's has part is recorded as addition^[5].
• ring of rational integers's has part is recorded as multiplication^[6].
• ring of rational integers's has part is recorded as zero^[7].
• ring of rational integers's has part is recorded as 1^[8].
• ring of rational integers's has part is recorded as opposite number^[9].
• ring of rational integers's different from is recorded as ring of algebraic integers^[10].
• ring of rational integers's defining formula is recorded as (\mathbb Z,+,\cdot,0,1)^[11].
• ring of rational integers's studied by is recorded as mathematics^[12].
• ring of rational integers's maintained by WikiProject is recorded as WikiProject Mathematics^[13].
• ring of rational integers's ProofWiki ID is recorded as Definition:Ring_of_Integers^[14].
• ring of rational integers's in defining formula is recorded as (\mathbb Z,+,\cdot,0,1)^[15].
• ring of rational integers's in defining formula is recorded as \mathbb Z^[16].
• ring of rational integers's in defining formula is recorded as +^[17].
• ring of rational integers's in defining formula is recorded as \cdot^[18].
• ring of rational integers's in defining formula is recorded as 0^[19].
• ring of rational integers's in defining formula is recorded as 1^[20].
• ring of rational integers's Group Properties article ID is recorded as Ring_of_integers^[21].
• ring of rational integers's underlying structure is recorded as set of integers^[22].
• ring of rational integers's Metamath statement ID is recorded as df-zring^[23].