Definition talk:Quotient Ring

The refactor request goes: "I would say the operations on the quotient ring deserve their prime definition here, and not on some theorem page." But aren't the operations:


 * $\left({x + J}\right) + \left({y + J}\right) = \left({x + y}\right) + J$
 * $\left({x + J}\right) \circ \left({y + J}\right) = x \circ y + J$

the operations you are talking about?

Not sure I understand what you are getting at here.

I'm having trouble determining how best to structure the pages on quotient ring here. What I'm trying to do is:
 * a) Show that a quotient ring arises from the quotient structure defined by the congruence relation induced by the ideal, to which end I've put together because it's important and often either glossed over in the literature or dismissed in a couple of lines that are difficult to catch.
 * b) From there it follows that a quotient ring can be defined either in terms of the congruence relation or the ideal, and the two are identical.

But what to use as a definition and what to demonstrate from a proof is tricky. The existing Quotient Ring is an Ideal is IMO inadequate, which is why I've been trying to split it up and thereby make it more rigorous and robust.

If you have any ideas as to how to improve this area, feel free. My time may be limited this weekend as I have a couple of paying projects to work on. --prime mover 02:42, 20 April 2012 (EDT)


 * I was pedantically ranting against the ', as here' clauses, which IMO should be pointing the other way around, from the thm to the def. I now realise that that may well have been unclear from the statement in the refactor template.
 * Considering the equivalence, would it be good to move both the implications to subpages of the equivalence (keeping the redirects in place), as we have been doing more lately (i.e., separating the implications of an iff). --Lord_Farin 03:21, 20 April 2012 (EDT)


 * For structural purposes, the pages this refactoring pertains to are (not claiming this list is complete):


 * Definition:Quotient Ring
 * Congruence Relation and Ideal are Equivalent
 * Congruence Relation on Ring Induces Ideal
 * Ideal Induces Congruence Relation on Ring
 * Quotient Group of Ideal is Coset
 * Quotient Ring Product
 * Quotient Ring is an Ideal


 * I would say that the first two of this list should be leading in how to structure the results. The elaborate Quotient Group of Ideal is Coset could IMO be replaced by a page Ideal is Additive Normal Subgroup of Ring after which all the theory of quotient groups can be directly applied as necessary.
 * My take at formulating Definition:Quotient Ring:


 * Define $R,J$
 * Take $R/J$ to be the additive (left) coset space
 * Simply define the operations $+,\circ$ on $R/J$
 * Call $(R/J, +, \circ)$ the quotient ring
 * Link to a page establishing $R/J$ is a ring (Quotient Ring is Ring, which incorporates from above list as necessary)


 * Does this sound as a good approach? If so, I will implement it. --Lord_Farin 03:49, 20 April 2012 (EDT)


 * Sounds like a good approach to me. --prime mover 07:41, 20 April 2012 (EDT)

I would say it only remains to complete the proof of Congruence Relation and Ideal are Equivalent; I myself not being too familiar with congruence relations, could you tie up this loose end? --Lord_Farin 10:40, 20 April 2012 (EDT)


 * I'll get to it but might not be immediately, I'm braindead at the moment. --prime mover 15:11, 20 April 2012 (EDT)


 * The idea is to lose Quotient Ring Product over time, so please update the links to point to either the defn or the well-defn. --Lord_Farin 16:52, 20 April 2012 (EDT)
 * Job done - at least on that one. Work progresses slowly. I'm still not thinking clearly tonight. --prime mover 17:38, 20 April 2012 (EDT)