Definition talk:Field (Abstract Algebra)

Not sure yet how to do internationalization. Maybe as a table: language, translation, literal meaning. Ideas welcome. --prime mover 17:09, 22 September 2011 (CDT)
 * I've added a couple of templates: Template:Languages (for the heading) and Template:Language (for the contents). I may think about imposing a Table structure on it so as to make it all line up neatly, which will require that an end template be generated. Tomorrow. --prime mover 16:58, 23 September 2011 (CDT)


 * The spacing of the last axiom suggests it is a bit awkward; and indeed, the axiom $D$ is longer than it need be, since we have commutativity of the operations given. Should I shorten it? --Lord_Farin 22:56, 7 August 2012 (UTC)
 * How about you split it into two -- one for left distributivity and one for right distributivity. --Andrew Salmon 23:01, 7 August 2012 (UTC)

Also a good suggestion; I'd like to have PM's opinion since he brought the source works. --Lord_Farin 23:03, 7 August 2012 (UTC)


 * You only need the one, now I think about it, the other one follows directly through commutativity. So we can shorten this axiom in this context to just be the left (or right) distributivity.
 * Unfortunately that means there is less portability to a non-commutative structure (some of the messy ringoid structures) and so the "D" axiom can not necessarily be ported directly.
 * The real issue is not that the axiom is too long, so much as we need to be able to neatly handle longer-than-one-line axioms. --prime mover 05:23, 8 August 2012 (UTC)