User talk:Ybab321/Sandbox/Notes

This is an extraordinarily neat presentation -- and as far as I know may well be unique (at least, I've never seen abstract algebra presented this way before). IMO it deserves to be entered as an official page in the database. --prime mover (talk) 20:27, 3 October 2013 (UTC)


 * It's neat, because it leaves out a lot of stuff that would compromise the linear flow. The table with checkmarks that we have somewhere seems a better fit to PW for me.


 * Not trying to take anything away from how it looks, but just sharing my take on it. &mdash; Lord_Farin (talk) 21:26, 3 October 2013 (UTC)


 * As said, this list could become very large and lose all purpose; the ones I've listed are just the ones the course I'm currently on will teach.


 * Another potential trouble is route picking: do I say a field is a ring with unity with an associated Abelian group or do I say it's a division ring with a commutative group product? Perhaps sometimes just listing its axioms is better, but when?. Might be worth standardising which symbols to use for the operators too.


 * Then transcluding needs to be considered; it's possible for each algebraic structure's definition page to have a small section identical to the one on this list, but then we have that the respective axioms for those definition pages are transcluded there in the first place, so definition pages will be listing a full set of axioms as well as the 1 or 2 added to whatever the definition is building from. Then again, I doubt it will be the case that these definitions need editing at all often, so transcluding may have little value here for the added complexity.


 * I'm touched; I didn't even expect this to be read by another pair of eyes :) --Ybab321 (talk) 21:44, 3 October 2013 (UTC)


 * Here's another page which attempts to do something similar: Sequence of Implications of Separation Axioms


 * I wouldn't bother to transclude, but I'd be lavish with the links.


 * Alternative routes through might need to be explored, to see what it looks like. --prime mover (talk) 21:55, 3 October 2013 (UTC)

Here's that checklist --Ybab321 (talk) 11:05, 4 October 2013 (UTC)