Talk:Ring Homomorphism Preserves Subrings

From ProofWiki
Jump to navigation Jump to search

These pages should really be bundled under Homomorphism Preserves Algebraic Substructures (on which one even may put a general proof). Thoughts? --Lord_Farin 11:17, 4 June 2012 (EDT)

Sounds like a good idea. Presumably it could look something like the Trigonometric Identities page? Feel free to put that together - it's a good direction to take the site in IMO. --prime mover 14:00, 4 June 2012 (EDT)
Putting it on my to do list; I have exams in the coming one and a half week. After that, summer break starts and I will have plenty of time to edit PW. --Lord_Farin 15:16, 4 June 2012 (EDT)
In order for a satisfactory contribution in this direction, I will need to rework Definition:Algebraic Substructure and get bogged down laying the foundations for interpreting an algebraic structure (or indeed, any other appropriate collection of relations, functions and axioms) as a (set-theoretic) model for a Definition:Mathematical Theory. But I have noticed that there is a vast number of pages with small amounts of text present in this area already (cf. Category:Definitions/Logic c.s.). I will start wading through, checking the references which I manage to locate. If we strive for an axiomatic approach (which we do) then this important part of PW needs to be regularised and more intertwined. Currently I am reading on categorial models for logic (toposes) and am thus more naturally interested in bringing this up to standard. --Lord_Farin 14:09, 14 June 2012 (EDT)