Talk:Ring theory
|
|
- Euclidean domain => Principal ideal domain => unique factorization domain => integral domain => Commutative ring.
Is the above a hierarchy of inclusion? If so, use the subset symbol. -- Tarquin
- It's inclusion, but it doesn't make much sense to use subset symbol, because there aren't any standard "symbols" for "the class of all Euclidean domains", e.g., unless you want to make up several just for this article. Writing "Euclidean domain contained in PID contained in UFD, etc." is misleading, because it makes it sound like a ED is set-theoretically contained in a PID, contained in a UFD, not the same. Revolver 02:08, 11 Jun 2004 (UTC)
A ring is called commutative if its multiplication is commutative. The theory of commutative rings resembles the theory of numbers in several respects, and various definitions for commutative rings are designed to recover properties known from the integers. Commutative rings are also important in algebraic geometry
- Except that the ring article contradicts this and requires commutativity, which adds credence to my belief that this shouldn't be required in the definition. Revolver 02:08, 11 Jun 2004 (UTC)
- No, multiplication in rings is not generally required to be commutative. I double-checked this in Herstein's Topics in Algebra as a sanity check. Isomorphic 02:19, 11 Jun 2004 (UTC)
- I was wrong, the ring article doesn't require it, it requires unity. My fault. (Although I disagree with unity requirement, as well, that's another matter.) Actually, I just disagree with these universal wikipedia definitions (rather than article by article basis).
- No, multiplication in rings is not generally required to be commutative. I double-checked this in Herstein's Topics in Algebra as a sanity check. Isomorphic 02:19, 11 Jun 2004 (UTC)