Knowledge

Talk:Ring (mathematics)/Archive 3

Source đź“ť

1838:
lay-reader has a genuine grasp of what this article is about, even if they read no further.) 2. Specifically, that it has addition and multiplication but not division. (This is understandable to almost everybody, no need to get technical about multiplicative inverses yet. The key is trying to capture the distinguishing essence that is specific to the topic, in a way that can be immediately understood without any background study, even at the risk of sacrificing minor precision e.g. element vs. number) 3. That it is a logical intermediate between "groups" and "fields". (This is useful because these two topics are already familiar to every first-year math student, noting that rings are a more esoteric topic generally encountered later, but even any layperson would be able to follow the links and understand either of those two topics at the most introductory level, and thereby by analogy has an idea of what kind of thing this page is dealing with too.) 4. If there is any important everyday application or a technology that used rings for its invention, this would be the place to mention it in passing. (So the reader should encounter the paragraph saying that rings are a hugely popular abstract mathematical subdiscipline and have had relevence to physics, before they hit any technical details, rather than after. Also start an article subsection "applications" to flesh out what these contributions are.) 5. New paragraph. (Now, by all means, proceed with introducing the topic as you would to an audience with the prerequisite background to be able to truly understand the topic. Ideally still keep it brief, and break most of it out into the first subsection, where it can be quickly passed over by experts who are just using the article for reference anyway.)
532:
Abelian groups. Workers in this branch of mathematics, talking and writing among themselves, could perhaps reasonably assume that when one of them says "group" s/he means "Abelian group", and perhaps even, when writing textbooks on their own special subject, define "group" to have this special sense. If on rare occasions a more general concept of group is required, one could then talk about a "possibly non-commutative group" or even coin a new word for it. But it would be a mistake for such an expert to write a general article on groups, giving a definition that requires a group to be Abelian, with a comment that some authors did not require commutativity. To do so would sow confusion where none had previously existed, and render explanations necessary whenever the properties of groups were under discussion. Whether this analogy is exact enough to be persuasive, I leave to you. A key question seems to me to be, "which references were writing about abstract algebra in general, and which were writing about some specialized field such as number theory?"
1622:.) But then I began wondering - OK, his edits have serious problems (as described above by Hans Adler and JohnBlackburne). These were glaring at me. But if I continue to revert edits, no matter what they are, of people who are making serious attempts to improve the article, I began wondering what would be the future of this article. Although most of the current introduction, as well as the rest of the article, seems to have been written by me (I hope this does not sound haughty - many other people gave suggestions and helped too, and without their suggestions this article would not be possible), I cannot continue to "protect" this article so to speak. I might retire from Knowledge tomorrow! I really do not know. Therefore, I decided, that in the best interests of this article and Knowledge, Rick's revisions should be kept. My hope was that this would encourage future editors to contribute. 90:
textbook on algebra (such as Lang's famous text) and select the most important topics from there. However, that would exclude several important topics in ring theory that are too advanced to be mentioned in a general algebra textbook. I would be interested to hear whether anyone has views on which topics we could add. I have composed a list below of possible topics which I think could be added (some may be perhaps too specialized), but if anyone has any other suggestions they are very much welcome. I have split the list into "commutative ring theory", "noncommutative ring theory" and "applications of ring theory" and indicated the "importance level" (in my opinion) in terms of stars (* indicates "low importance", ** indicates "mid importance" and *** indicates "high importance"); of course, importance is subjective and measures the importance of including the topic in
1376:
to someone who compalined about the article's inaccessability, and I think the attitude that anyone who doesn't know math (and chemistry) should go back to grade school is harsh. "Knowledge is not a children's encyclopedia." Someone who looks this article up on Knowledge instead of, say, Mathworld may very well have heard a mathematician use the word and wonder what it means. (I remember John Campbell asking if, when mathematiciand talk about open and closed setd, is that like a lawyer talking about an open and shut case.) But your points about getting the word in the first sentence and keeping the introduction brief are well taken, and I'll edit accordingly.
1117:. While I think that Rick's edits were good, this revert by an experienced editor made me wonder whether there needs to be a general consensus that these edits are good. (And e.g., address the above concerns.) This needs to occur before the edits are reinstalled since this article is quite frequently viewed and we probably do not want to make big changes to it before they are fully discussed on the talk page, agreed upon, and referenced. When that is done and the added material is written in an encyclopaedic tone, the edits can immediately be reinstalled. Hopefully this can be done quickly since as I mentioned above, the edits were very reasonable. 2046:
concerned regarding laymen reading this article, and I agree with Rick Norwood that the earlier details in the third paragraph were somewhat technical. However, mathematicians are reading this article as well! It seems fair to me, that since especially nearly everything after the lede is explained to the point of triviality, having about two paragraphs on the context of ring theory in mathematics seems reasonable. Bear in mind, as well, that the history of ring theory is something that should be part of any encyclopedia and that this can be understood to anyone who does not have any mathematical background necessarily. Again, please see
486:
the "some authors" who define a ring without requiring a multiplicative identity do not in fact constitute a very large majority. Certainly if you were to talk or write about "rings", and what you said applied only to rings with unity, you would have to make this quite clear. If a single word is required to describe a ring with unity, mathematicians such as the author are free to come up with one, provided that it has not been done already. But let this word be at least pronounceable, as opposed to the "rng" that we are apparently supposed to use to describe what is usually referred to as a ring. Perhaps "uring" might pass these days.
3115:. I think the question should not be whether the article is longer than one is accustomed to, but whether the content is appropriate (and if so then where). If you really think those materials are nice for the encyclopedia and yet unsuited to the page, two other options are to preserve them here on the talk page or spin them out into another article. It's the wholesale obliteration of content that is most likely to draw opposition (i.e. rollbacks), so usually you likely can boldly go ahead making major edits unopposed provided you leave opportunities for other editors to rescue without difficulty any content they considered useful. 928:
article. We will try our best to improve this article, and hopefully, one day, it will become very good. But for now, the suggestions I gave you in the above paragraph seem to be the best possible. (Yes, I am a mathematician, and indeed I do read the literature on ring theory and research the subject - however, it is not my primary research speciality. But I will admit that I know virtually nothing about medical physics! I would not be able to read an article on a topic of analogous difficulty to "ring (mathematics)" in medical physics.)
1963: 1731:. The reason for doing this is that, over a finite field for example, many "formally different polynomials" could be equal as functions defined on the field. I know this is a small and bothersome technicality that few people would consider, but it is certainly a concern, in my opinion, if mathematically incorrect statements are propogated in the introduction itself. On the other hand, I like the image very much. It might be non-trivial to find a similar image that is mathematically correct 2193:
theory and, in particular, to hew Ring (mathematics) to the line of Group (mathematics). (I should also point out that there is no general consensus that the so-called "GA process" adds value to our articles — an argument has been made that, on the contrary, it often turns into a charade of satisfying various formal requirements and dumbing down the content to appease the egos of "Category 4" readers in Hans Adler perspicacious classification, at the expense of everyone else.)
1743:) but that does not make much sense since this article is about rings, and not groups! (Note that while the image does not explicitly describe the addition and multiplication of two curves (which might not be obvious, especially to a lay reader), the only possible interpretation seems to be addition and multiplication pointwise, especially since the graphs are depicted geometrically. And as I mentioned above, this is not the way polynomials are added and multiplied, in general.) 1868:, a type '3' reader (like myself) is stupefied by the use of jargon, and generally doesn't have the requisite months to familiarize themselves with related subjects to trudge through the similarly problematic articles references for background (read: this is a systematic problem in mathematics articles). What is 'lost' by adding an extra couple of sentences on background, is surely gained by the order-of-magnitude larger audience that would be addressed. 31: 1578:, so I feel, and this is only my opinion, that there is no need to discuss cutting a couple of lines out in the introduction when the rest of the article is seriously lacking for the more advanced mathematical readers. We can discuss it, of course, and I am more than happy to do so, but I think we should take advantage of the recent surge of activity in the talk page to discuss some more significant problems with the article. 2042:, a featured article, where the 4th paragraph is similar in structure to this one. Once the history section of this article is expanded to a reasonable size, please feel free to delete the history part of the 4th paragraph. However, deleting it now is not fruitful, in my opinion, since there is no mention of many of the concepts in the 4th paragraph later in the article. (E.g., noncommutative geometry is not mentioned.) 1626:
the end, I am inclined to agree with Hans Adler and JohnBlackburne. However, I hope that this does not deter other editors to contribute to this article in the future. In my mind, this is the most significant problem the article has at the moment. The sad part is that we cannot simply "accept" every edit that is made to this article, and most edits do have serious problems. (My edits have problems as well, of course!)
3150:
discussing. IMO, the representative types at least contain headers for: field, commutative ring, integral domain, semisimple ring, nonassociative ring. Important subtypes (e.g. UFD, Dedekind or Prufer domains) could be mentioned beneath these headers, but again some restraint needs to be shown to prevent this from becoming a phonebook of ring types. Looking for feedback on what parts of this shift would be OK.
1762:, but the introduction in the latter article is much bigger than this one, and since the latter article is a featured article, it seems reasonable to believe that the introduction should be slightly longer. And as I mentioned in my second point above, there are several key points missing in the introduction. We should not sacrifice quality of writing and coverage for brevity, in my opinion. Also, per 2500:
practical usages. For example, the importance of matrix rings, in the major part, comes from its appearance in structure theorems in non-commutative ring theory (which you know much more than I). Also, there could be more than one variable in a polynomial ring. In particular, there could be infinitely many variables, and that's a very important source of manufacturing good (or bad) examples. --
1802:. I think that the current introduction also prepares the article for future expansions. Ultimately, the article will grow bigger, and there is no point in trimming the introduction now and then expanding it as the article grows. We should monitor the growth of the article and decide on this basis how to improve the lead. However, this is just my opinion. Other comments are welcome. 1611:
about experienced contributors here. (At least 5 have failed in the last 20 months after making major attempts.) Now it has mainly been me reverting their edits and telling them that their edits have certain serious problems that cannot be fixed. I really dislike doing this - I know they put much effort into trying - but I simply cannot hide the truth of what their edits really are.
1185:
that needs fixing we can do so here. I have to be honest - my general view is that there are some (perhaps minor) stylistic problems with your introduction. However, since I greatly appreciate your work and since these can probably be easily fixed, I feel that your revision should be kept, and we will tweak it as necessary to fix up the introduction on a whole. How does that sound?
1820:
education e.g. history was sometimes mentioned but never thought important and examined. I also tend to think in terms of paragraphs, and the sentences on history don't seem to fit in with the mathematical content. I must say though it does now look much better than a few days ago, with the first two paragraphs in particular a much better introduction.--
1066:. Perhaps more importantly, it needs to be a view shared by several important references. Therefore, I suggest that the first two sentences are changed so as to still give context for the rest of the paragraph, and to still explain intuitively what an algebraic structure is, but to also propogate a view that can be backed up by several reliable sources. 1735:. The earlier image depicting addition in projective space is correct but is simply not intelligible to many people. That might include, for instance, undergraduate students learning ring theory for their first time. (And who might not know projective geometry.) I think we need to think about this more - another possibility could be addition on an 561:
Maybe I'm biased because I'm a number theorist, but number theorists certainly have plenty of non-commutative rings that they study, they just don't call them that. If I may add, it seems like the term "ring" comes from the number theory side of things and did originally mean something with commutative multiplication. Anyway, given what is said at
834:, I should note that a large part of the introduction was written by me. I did put a great deal of effort into making the introduction as accessible as possible - above this section there are several users who requested that the introduction be made accessible, and most of their criticizms were incorporated each time I revised the introduction. 1305:. It assumes that the reader knows what RNA is, what a molecule is, and what a nucleotide is, and that's just as it should be. A reader unfamiliar with any of these concepts has no chance to understand the article in any meaningful way and should follow the links to learn about the prerequisites first. I am not personally familiar with 1230:. And the introduction is too long: it was on the long side at four paragraphs and is too long now. This is especially important for a technical subject - a reader should be able to quickly read the introduction to get an overview of the topic. Too much technical detail is very discouraging and makes the article far less accessible. -- 3186:
while basic topics don't. (if the readers know modules, there is no point getting into the details in ideals.) Also, an article like this is expected to be read linearly: from the easy stuff to the difficult ones. So, it makes sense and is in fact necessarily to discuss basic examples before introduced more advanced concepts. --
3145:
OK, well I have a concrete recommendation I'm going to start with, but I'm going to run it by everyone here first. It is mainly about organization. Firstly, it is nonsensical to put "domain" in the "basic concepts" section, which mostly covers ring constructions and features. Secondly, Prufer domains
3095:
Despite recent extensive activity (ahm who did that?), the current article still remains too long in my opinion. Thus, I really want to cut down some nice but tangent materials; in particular, I would like to suggest we get rid of the Lie ring section and some para in the finite ring section and some
2789:
I think we disagree on the fundamental level. To me, "zero-divisor" is non-negotiable; without defining it how can you introduce domains? In my view the article has to define "all" the basic concepts carefully. I mean where can you/should you find such anywhere but here? What you're asking seems like
2259:
these sets are called "rings" (unless there is one and I missed it, in which case I'm sorry for the intrusion). I mean this in a very intuitive, matter-of-factly way. Why were they named "rings" in the first place? There must have been a reason, or else they could have been named "chicken soup", or
2037:
However, this is not just an article for laymen. This article is for mathematicians as well. There needs to be something about how ring theory evolved and what its implications are in mathematics in the introduction. The 4th paragraph seems best for this, since if the laymen can get through the first
1917:
The length of the lede should depend on how much must be said to give the general reader an idea of what rings are all about. I've taken out some things that seem to me to be too technical for the lede and which are already in later sections of the article. I think the history paragraph in the lede
1330:
While I certainly appreciate the point @HansAdler is making, I wanted to provide an alternate viewpoint. I'm a graduate student in physics, I'm not an expert in mathematics (by any means), but lets say I'm versed in the basics. The 'ring' introduction, as it currently reads, is not only opaque, but
1202:
Thanks. I've made some changes as discussed above. I am not sure about including this in the introduction: "A ring can be formed from a group by the addition of a second operation, usually called multiplication. A field is more specialized than a ring in that it has certain additional properties.
1080:
primarily concerns the more general version of "ring of integers", the last sentence could potentially be more confusing than helpful to a layman. The best suggestion I can offer is to modify this sentence slightly while still retaining the essential idea. For instance, "The classic example of a ring
1061:
The first two sentences appear to be setting context for what an algebraic structure is. I believe that this is really important and should be there before "algebraic structure" is mentioned - thank you Rick! However, the point of view taken is that algebraic structures are types of "number systems".
3341:
Not being as versed in the lingo (like the average reader) and this being an encyclopoedia rather than a mathematics textbook, calling an identity element "an identity" doesn't sound so natural, and to some extent triggers an association with the concept where the word refers to an equation ("a ring
3039:
I don't mean to sound rude when I point out some of your contributions. Lots of your contributions in articles are just great! However, I also saw a lot that looked like random facts that happened to be on your mind which leapt onto the page before you considered if they fit or not. In an article as
3005:
Again I disagree :) I think it's about one's taste. Why is for example "The integers, however, form a Noetherian ring which is not Artinian." in here? I don't see why it's not one of 175 billion. (why 175?) In any rate, we do agree some other parts of the article are more problematic, so I will move
2937:
I'm not brave enough to have a shot at the commutative algebra section. Right now it looks like a cut-and-paste of the domain article, and is sorely in need of trimming. Domains should definitely be mentioned, but it really just does not seem like going all the way into details about UFD's and PIDS.
2734:
A part of the purpose of rewriting is to cut down verbosity; that should create more spaces. Also, the article is meant to be elementary; we need to mention the very basic stuff familiar to algebrists like the kernel of a homomorphism is an ideal or define zero-divisors; this was not done before. --
2225:
The use of the picture at the beginning of the article is another issue that needs to be carefully thought through. As pointed out above, the picture should be self-explanatory and to illustrate the concept well; graphs of functions fail on both counts. It is better to have no picture at all than to
1891:
How the figure relates to geometric addition is not explained, either in the caption or the text. The connection to the topic Ring is not spelled out, although one might surmise that "geometric addition" is some form of "addition" that is one of the two binary operations of a ring. A lay reader will
1629:
At the very beginning of this talk page, I have suggested some possible topics that could be added to this article. Perhaps those should be our primary inspiration now. There is absolutely no mention of topics like "scheme" or "sheaf" and similarly nothing (or very little) about the algebraic number
1573:
Yes the introduction is somewhat long but this is normal for articles in the transition to becoming "good articles". The current article is far from it, of course. I agree that we should discuss these things - however, in my mind, the most important thing is to look at the quality of the article and
1375:
I made similar changes to the other articles but they were reverted by people who agree with Hans Adler, whose point seems to be that anyone who comes to this article will already know what a ring is and want further information on the subject. I'm not sure that's true. I made the edit in response
1252:
I agree that the current introduction has serious problems. Knowledge is not a children's encyclopedia. Article leads should be as accessible as possible, but this includes accessibility by an article's most likely audience. It is not OK to dumb things down beyond reason, to the point that those who
1184:
Rick, apologies for all the confusion with the reverts. I think that, at least for the time being, your revision of the article should be kept. I have reverted my revert of your revisions. I think that we should maintain your revisions. Perhaps if we discuss some of the minor points of your revision
972:
The first sentence of the article: "In mathematics, a ring (sometimes called associative ring,see below) is an algebraic structure which generalizes the main properties of the addition and the multiplication of integers, real and complex numbers, as well as that of square matrices." What does "that"
915:
I agree with you and wish it were possible to make this article as accessible as possible. A couple of users, including me, are trying our best to do exactly this. But doing something like this is hard work - it cannot be done overnight. I want to try my best to help you and surely others do to. The
840:
Unfortunately, this is the best advice I can offer you. I have been editing this article for approximately 1.5 years and quite frequently have been updating the introduction. Your criticizm is very welcome and I shall try my best to incorporate it should I get the time to revise the introduction the
485:
Planetmath is correct. The definition given in this article under "formal definition" conflicts with normal mathematical usage. It also conflicts with the less formal definition given in the introduction, and with the table of definitions immediately following the introduction. I question whether
2483:
I don't find the presentation and notation of these two sections to be very useful, and I'm pretty sure they detract from the topic more than they contribute at the moment. I'm recommending abbreviating them to be more conceptual and less notational. The main articles can take care of the notation.
2341:
The explanation, while it could be better, can only be as nifty as the actual reason is. Also, I could probably come up with an operation to perform on numbers that yields caesar salads. Anyway, rings didn't exist back then and it seems that the idea is that he ways looking at certain submodules of
2229:
I am aware that the bulk of the changes was the work of a single editor. In spite of his best intentions, I think that most of them were counterproductive and if a high quality encyclopaedic article is the goal, they need to be reconsidered and rolled back. Local problems can be fixed, but I see no
2221:
The theory of vector spaces may have many aspects, but this isn't one of them. Whoever wrote this, got the relation between vector spaces and modules over general noncommutative rings backwards. What he was likely trying to express was that the notion of a field has a generalization in the form of
2196:
Some unintended effects are farcical, e.g. an attempt to pimp ring theory as playing an important role in relativity and quantum chemistry or the list of "ubiqutuos rings" starting with the cohomology ring of a topological space, and some are annoying: anyone who needs a detailed description of the
2139:
and hence it should not be merged with this article. I suspect more than 80% of people who view this article will have at least an undergraduate knowledge of mathematics and that is the reason most of the emphasis given in most mathematics articles should be on the more advanced mathematics topics.
1887:
The lead figure is striking as an artistic creation, but it is not accessible to the lay reader. It introduces in its caption a bunch of technical terms (projective space, geometric addition, algebraic geometry) that are not relevant as explanation of the figure. Instead, the caption is hijacked to
1819:
I think we just have different views on this: I view 4 paragraphs as an upper limit not a recommendation, and this topic as one that's relatively straightforward mathematically so does not need a long introduction. And I think historic information is unnecessary in the introduction, maybe due to my
1625:
But what was going to happen was inevitable. Rick's revisions had serious problems and that cannot be denied. Consequently, his edits were reverted. I do not have any say in whose edits should be kept - the community does. I gave my best attempt to encourage others to contribute to this article. In
866:
specifically says the lead should be understandable to the lay reader, and the best place to go into the technical details is after the table of contents. I appreciate that some of the material before the table of contents is not too technical, but before getting there, I'm totally lost. The fourth
785:
a prerequisite to understanding rings. I could point for example to numerous introductory algebra books that cover rings before delving into groups (e.g. Hungerford's baby algebra book). I feel like Drkirkby is right in saying that the first paragraph is needlessly technical. The point of a ring is
630:
I'm not a mathematician, but I have a BSc in Electrical and Electronic Engineering, an MSc. Microwaves and Optoelectronics and have a Ph.D in Medical Physics. So I'm not a total idiot at maths. But just reading the first paragraph, I was totally lost! If someone with a science Ph.D gets lost in the
531:
Whatever the rights and wrongs of this question, the inconsistency between the definitions in various places, noted in my first edit, need to be attended to. As regards the question itself, consider the following scenario. In some specialized branch of mathematics, the only groups that feature are
435:
Thanks Salix! I certainly do not intend to write a section on each of these topics (that would, as you say, make the article too long). Rather, we could write a brief paragraph outlining some of the major results in certain areas (for instance, a well-written paragraph outlining commutative algebra
89:
I think that the article has reached a stage at which it is appropriate to add some more advanced topics in ring theory. However, ring theory is such a vast subject that it is difficult to assert what exactly should be included in the article. One possibility would be to choose a well-known general
2821:
Actually, when describing a domain to a layperson, I couldn't imagine why it would be useful to define a zero divisor. I would just say (and do say) "In such a ring, nonzero things multiply to nonzero things." At any rate, there should probably be a lot more people than just the two of us thinking
2697:
Relations to geometry: in the commutative case, maybe mention schemes. In in the noncommutative case, the noncommutative geometry (the idea alluded in the lede.) (Many concepts in commutative algebra have geometric interpretations (e.g., Eisenbud) I don't think this is a place to go into this. So,
1993:
and that's what the image is suggesting, with a link, as well as a suggestion how it works: adding and multiplying polynomials is pretty elementary, covered here first at at GCSE (age 16), so it's an accessible illustration of how rings are useful. It is a replacement for the one at right, which I
1344:
Mathematicians classify sets of numbers in various ways (a mathematician would use the word "element" here instead of the word "number"). One such classification scheme is called abstract algebra, and it differs from ordinary algebra in considering more complicated mathematical constructs than the
1282:
Mathematicians classify sets of numbers in various ways (a mathematician would use the word "element" here instead of the word "number"). One such classification scheme is called abstract algebra, and it differs from ordinary algebra in considering more complicated mathematical constructs than the
916:
best suggestion I can give you if you want to learn about rings is to either take a proper algebra textbook and learn about the subject from there. (If you want recommendations, please feel free to contact me on my talk page and I would be more than happy to oblige.) Or, you could read the article
896:
I'm told). An understanding of rings and fields is pretty essential to using Sage for many problems. So I was rather hoping Knowledge might at least give me some understanding, but I was totally lost after just two sentences. Fortunately, there do seem to be some web articles that cover this topic
560:
where it may be saying that rings are not assumed to be commutative on wikipedia). There was a time when a "field" need not have been commutative, but non-commutative fields are now always called something else (skew-fields, or division rings). That has not happened with rings as far as I believe.
3149:
My solution is to collapse these things under "features", "constructions" and "types" headers, probably in that order. Things like products, localization and completion would go under constructions. "Types" would contain prominent types with mention of important subtypes. The types will take some
2664:
I've thinking of rewriting the entire article in order to (i) eliminate repetitions (some introduced by myself) (ii) to improve the structure of the article (in my opinion, this article is very confusing, structurally speaking. for example, basic examples should be discussed before advanced ones)
1837:
I think Rick's kind of introduction is a far better idea for the first paragraph of the article than the current one. My suggestion (about three sentences) would be: 1. Start by explaining that this topic is about a generalisation of the concept of numbers in mathematics. (Now the most uneducated
1752:
is no doubt a very professional mathematician, to have his name in the introduction but not David Hilbert's or Emmy Noether's name, does little justice to the subject. I feel that the history section should be added back - the introduction is for that sort of thing - describing the history of the
1675:
I also moved the image and template into the large gap next to the TOC as that seemed sensible, swapping their order as they look better with the larger template on top, but I'm still unsure where the image should go: as Brews notes it's connected to more advanced examples of ring theory, and the
758:
It seems that the first paragraph is written to be mathematically rigorous, but little or no thought given to make it accessible to a larger number of readers. I used to work with a guy who was a mathematician, but he always seemed to be able to explain things to me in a way that did not leave me
3185:
The reason basic/advanced split is to make prerequisites clearer for the readers. This article is to cover all basic topics and some advanced ones. The tones and style of writing them cannot be the same; some advanced topics would assume substantial backgrounds in the module theory for instance,
2576:
The previous version said something about a ring being "closed" under addition and multiplication. The word "closed" seemed inaccessable to a non-mathematician, while "well-defined", while not strictly necessary, says the same thing (and more) and has an intuitive meaning that is not unlike the
2192:
I have looked over the article and it reminded me of Calculus textbooks: large in volume, verbose, glitzy, but often light on content and not terribly accurate, especially beyond the very basics. I think that it was a mistake to imitate the structure of the articles Group (mathematics) and Group
2074:
Can we find a picture that illustrates ring theory the way a Rubic's Cube illustrates group theory? We could use a picture of a clock (the ring of integers modulo 12) but that seems too prosaic. We could use the multiplication table for the integers mod 4, but that doesn't seem visual enough.
1610:
The sad part is that this article has not progressed very much for roughly 20 months. (I have been watching this article for about that long.) I really do want people to come and contribute this article - but it is becoming such that whoever comes to try, fails, and goes away. And we are talking
1556:
I've done it - replaced what's there with the above. It still looks a bit long as an introduction, I think as it goes into too much detail in the last two paragraphs, though it's not obvious to me what should be cut. Perhaps the historic information could be moved down to its section as it's not
748:
Thank you Salix. Since you say understanding groups is an essential prerequisite to understanding rings, that would be useful to state in the introductory paragraph. Further down I just read that the concept of a ring first arose from attempts to prove Fermat's last theorem. Again, that could be
645:
There should be at least a sentence in the lead of the article to give the lay reader some idea of the place the subject holds in mathematics, what (if anything) it is good for, and what needs to be learned first in order to understand the article. A better place for going into technical details
2942:
be nice to talk about them, but using a bird's-eye view instead of the detail currently there. I also want to renew my complaint about having all the structure details about polynomials and matrix rings spelled out. The main articles do that just fine: short prompts would really be better here.
2212:
It's not clear to me what the division of material should be between Ring (mathematics) and Ring theory, but long sections on principal ideal domains, unique factorization domains and other classes of commutative rings would fit more naturally into Commutative algebra or Commutative ring. Also,
2960:
I think I'm beginning to see the point you have been trying to make. But needless to say I prefer my version: I don't understand why you removed an argument with Euclidean division. That kind of a short argument is the best way to illustrate the concept. (it also generalizes very easily) Also,
2045:
The third paragraph has now been trimmed to one line. In my view, that does not merit a new paragraph. Therefore, I would think that either the third paragraph is merged with one of the first two paragraphs, or the old material in the third paragraph reinstalled. I know there is a reason to be
1468:
Some of it was fixed while I was typing, but it still is too long: it should be no more than four paragraphs, especially as the concept of a ring is not a complex one and should be more easily introduced. And the definition is still split over two paragraphs. For me the definition given in the
1452:..." could be replaced with "In mathematics, " to deal with this, though it would still be a bit long. No ideas on a better image – it doesn't add much but it's an abstract topic that's not usually presented visually. Maybe the image could be moved down and associated with a related example. -- 1145:
Should we call the elements in a ring "numbers"? I didn't use the word lightly, and of course I know that I'm using "numbers" in a very broad sense. But I could not think of another word that would convey anything to the lay reader. The correct word, "elements", probably suggests carbon and
688:
In mathematics, a ring is an algebraic structure consisting of a set together with two binary operations (usually called addition and multiplication), where each operation combines two elements to form a third element. To qualify as a ring, the set together with its two operations must satisfy
2858:
Well there may well be room for it, but the edit on preimages of prime ideals is a case in point of what I mean. That preimages of prime ideas are prime ideals is one of 175 billion random facts that could exist in the article. It is not even directly a fact about rings: it's a fact about two
2669:
Introduction (This will not be the expanded lede but a place to introduce elementary concepts (e.g., division algorithm) with examples, historically or otherwise. I understand we don't want to give ring axioms right after the lede, and it makes sense to have some prose intended to the general
2499:
I couldn't agree more. A polynomial ring is just the set of polynomials with the obvious addition and multiplication that high school students know. Saying it is something else is not only misleading unhelpful but wrong :). The same goes to the matrix ring. It's more important to stress their
927:
You are obviously highly qualified and and the topics in which you have a background are indeed connected to mathematics in many ways. You should understand that it is in no way your fault that this article is not immediately accessible to you - it is more the fault of the contributors of the
3167:
Let me amend my suggestion above about "advanced/basic" splits by saying that like the "advanced examples" part, because it looks like a great place to mention ring examples which show how far-flung rings are into other fields of mathematics. I would also like to oppose any major trimming of
2749:
I'm on board with the cutting down on verbosity but I don't think it's a good idea at all to mention things as granular as zero divisors if the article is this big (but ideals are certainly fair game). What it really needs is a good sampling of the uses/origins of rings, good examples, and a
2134:
does not have too many advanced topics, but it needs to be there so that mathematicians can visit it. For example, where is the Artin-Wedderburn theorem? The notion of a central simple algebra? The Hilbert basis theorem? What about Nakayama's lemma? Scheme theory? I think these all belong to
900:
I don't know your background, but I expect you have a maths degree and would not be surprised if you studied for a Ph.D in a similar area. You need to realise only a very very small subset of the population have that background, yet there are many more like myself, who would like to get some
501:
This terminology does not conflict with normal mathematical usage in that there is no normal mathematical usage. Being a number theorist, my rings have unity and are commutative. If I wish to speak of non-commutative rings, I might say that, or use the term "algebra". If I want to speak of a
2961:
characteristic: again the point is to illustrate the isomorphism theorem. A very typical example of a bad exposition is to state theorems or define concepts but never use them in concrete ways. We can't just define principal ideals or state isomorphisms without concrete illustrations. --
1021:
to write an introduction. I expect this will take at least one month (perhaps much, much more), since there needs to be not only a general consensus that the introduction addresses all of the concerns above, but the introduction also needs to conform to certain Knowledge standards, e.g.,
2794:
is the article for that purpose. For example, we can streamline much of the discussion of ideals if we use the language of modules. (basically we don't have to do a thing). But I think there is a reason why we don't that here. In any case, I'm not going to make drastic changes soon. --
2557:
It's my impression that "binary operation" is almost always defined as a function, and so mentioning well-definedness here would be overcomplicated. I'm going to have to find a little time to look into the numbers, but it would be nice if everyone chipped in here on that point, too.
2144:
because it is something that even non-mathematicians may come across. That is why we have "dumbed down" this article to the point of triviality. To satisfy the majority of the population who will really need this concept, we have an article on the "advanced topics" in ring theory -
2541:
I have tried to make the lead shorter and more accessable, by leaving technical details for the body of the article. I would also like to move the last three sentence of the lead down into the body of the article, but I don't want to make too many changes at one time. Comments?
2204:
would be better off picking up a truly elementary book on ring theory; for the benefit of people wanting to get an encyclopaedic presentation of rings, it's better to talk about many standard examples in a few lines and move onto higher level aspects. Here, for comparison, is an
3040:
long as ring (mathematics), this is more important to keep under control. When an article becomes like War and Peace it is very hard to read... At any rate I'm not trying to discourage you from editing it: I'm just trying to help keep the quality under control as changes grow.
2717:
I have been seeing all the things go in, and I have been feeling like it's too much "stuff." I think it's already too big. I think the article needs to get "back to basics," and we need to avoid trying to mention the hundreds of elementary things that are possible to mention.
3074:
That's a good point. I have Lang's algebra in my bookshelf; it should work perfectly as a referenece (although I didn't really read it myself). I think we should avoid old books like Jacobson's basic algebra (again I haven't read it; I'm simply assuming it's too old.) --
3305:. Therefore, there is impossible to provide any mathematics notion that is not related, in some way, to numbers. On the other hand, if you want rings whose elements are not some kind of numbers nor finite sets of numbers, the simplest example is probably the ring of the 2213:
summary style, rather than carbon copies of other articles should be employed, especially due to quality control issues. For an illustration, consider the following sentence, which is a part of a paragraph of questionable value lifted wholesale from Noncommutative ring:
809:
One could probably also throw in a sentence summarizing the history. In a subsequent paragraph one could delve into the specifics of the algebraic structure, but I think what I've written does a much better job of placing rings in context than what is currently written.
94:, and I would appreciate hearing the views of others. Note that some topics may already be covered to some extent in the article, and the lists are of course not intended to be comprehensive; they merely serve to give some representative suggestions for possible topics. 689:
certain conditions—namely, the set must be an abelian group under addition and a monoid under multiplicationa such that multiplication distributes over addition. Certain variations of this definition are sometimes employed, and these are outlined later in the article.
845:
the introduction, i.e., the motivation section, has been written so that it should be accessible to virtually anyone who knows basic arithmetic. Therefore, you might gain a better appreciation of the introductory paragraphs if you read the motivation section first.
719:. We could expand the intro to include this, however I would say understanding groups is an essential prerequisite to understanding rings, so there is a good case for linking this term rather than spelling it out and introducing 4 more terms into the intro. 1473:
paragraph would make a pretty good introductory one, as it's precise but uses mostly elementary language. The example in the first paragraph is too early as without formal definitions it's difficult to know what it means. And anyone who wants to know what
949:
Just restating what already said, but this article is completely inaccessible to anybody that doesn't already know the subject. Honestly i wonder if it is useful for anybody, since I guess (hope) that matematicians do not learn this subject on Knowledge.
731: 1892:
know possibly what "addition" is in high-school algebra, maybe in vector algebra, but I'd say "geometric addition" is a concept they never will have encountered, and they will be unable to see how the figure relates in any way to addition of any kind.
1766:, if the article size is more than 30,000 characters (which it is - I think the size is double this), the lead should be about 4 paragraphs. There are certain things that probably should be deleted in the article, but it is certainly not the case that 1045:. A ring can be formed from a group by the addition of a second operation, usually called multiplication. A field is more specialized than a ring in that it has certain additional properties. For example, in a field every number except zero has a 634:
I have enough knowledge to know this is a non-trivial subject, and do not expect the article to be dummed down so a 5-year old can understand it all. But I can't help feeling it could be better written. There's a section in Knowledge about how to
786:
to abstract and generalize the addition and multiplication in the integers, not to have a structure that is an abelian group under one operation and a monoid under another. Perhaps something like the following would be a better first paragraph:
1253:
actually have the necessary prerequisites for understanding the subject of an article have to wade through walls of text, searching for tiny bits of relevant information that may be hiding somewhere in the haystack. Why is the following in the
1942:
I agree that most readers will know what a polynomial is. I don't think this new lead figure illuminates in any way what a ring is, however. The caption says polynomials form a ring, but the figure is just a graph of a few polynomials, and is
3146:
are too specific to have a heading. Thirdly putting ring types in "concepts" sections is haphazard. It's like calling a section "stuff" and putting random things in it. Lastly it doesn't seem like a basic/advanced split is very necessary.
1164:
I strongly believe that there should be some uniformity among the articles "group", "ring", and "field". It won't be easy. In the past, I've treid to get some uniformity among the articles "parabola", "hyperbola", and "elipse" without
3168:
noncommutative rings until the bigger issue of verbosity in the initial example paragraphs is tackled. I'm not saying noncommutative rings don't need trimming, but I think there are longer sections which would be easier to trim first.
2518:
You overestimate my ability with commutative algebra, but I know what you're getting at! I plan on taking a look at it in a few days if nothing is done, but don't let that deter you from starting if you have a good idea to improve it.
555:
My point, which perhaps I didn't make clearly, was that the notion of a ring does not have a universally accepted definition in mathematics. So that one has to pick a definition (which as you mention hasn't been done here, see however
1313:
that it is another crucial prerequisite and that I would have to read about it first before continuing with the article I am (in this hypothetical case) interested in. I have no doubt that it would be possible to rewrite the lead of
798:
of the integers, specifically the two operations of addition and multiplication. Rings appear as a basic concept in most fields of mathematics, though the study of them for their own sake is part of abstract algebra — specifically
867:
paragraph is a lot more understandable than the first two sentences. That seems a bit backwards to me. The truth is, people are not likely to ever read to paragraph 4, if they are totally lost by the first two sentences!
1225:
Unfortunately the introduction as it stands has two serious problems. The article's title needs to be the subject of the first sentence: the reader should not have to skip a paragraph and sentence to find it. See e.g.
1017:. I wish to thank Rick Norwood for this. While I do not wish to give the impression that I think Rick Norwood has not put any thought into writing the introduction, it is important to note that a great deal of thought 1658:
merging the following two statements, which in practice meant picking one (the second) and removing the unencyclopaedic bit in the middle, but don't have any particular preference – they both seem a bit imprecise.
1654:
moving the historical information out - I looked at merging it with the History section but the only thing that was in the lede and not the section and so was moved was the date and reference, which I tidied up
920:. (Which is far, far better written than this one - although I am one of the primary contributors to this article, I am not in any way pretending that the article, at this stage, is of the same high quality as 1037:, and it differs from ordinary algebra in considering more complecated mathematical constructs than the ordinary numbers of arithmetic. Three important classes of numbers considered in abstract algebra are 2038:
three paragraphs comfortably, they should be motivated to read through the rest of the article and skip the 4th paragraph. Hence my inclusion of the 4th paragraph. Again, I emphasize the connection between
502:
non-commutative ring without unity, I'd probably call it a non-unital algebra. People in different fields mean different things when they say "ring". This article has simply picked one of those meanings.
3342:
with an identity" can be interpreted ambiguously). I would prefer the use of the more long-winded phrase "identity element" in general (except in stock phrases such as "rings with identity"). Comment? —
2140:
It is near impossible to explain something like Nakayama's lemma (or any of the other topics in ring theory I mentioned) to someone who does not know mathematics. The exception is given in articles like
1085:
Of course, as is evident from my above criticizms, there are not too many problems in the introductory paragraph. In particular, Rick Norwood has done an excellent job and this should too be emphasized.
2233:
To summarize, I think that this article has moved in the wrong direction. I recommend pruning it by getting rid of verbose explanations, checking for mathematical accuracy, and using the summary style.
1354:
is incredibly clear and informative. If such a pedagogical, introductory-introduction isn't included in 'the introduction', I strongly recommend in be include somewhere.... e.g. a 'background section.
1770:
should be deleted. Since the article contains 60,000 characters, the introduction needs to be bigger. (The article size is definitely correct - in fact, it needs to be longer. For example, the article
862:
I'll take your advice and just skips the words I don't understand. That might be some help to me. But it is certainly now how the article should be written. The section in the Knowledge guidelines on
1421:
Those who are so ignorant that they think when they don't understand anything without bothering to follow the links and learn about the basics first, then it's because the article is badly written.
2843:
I think zero-divisor is an important elementary concept and easily understood. A simple example might be that in military time, 2 time 1200 hours = 0000 hours, so 2 and 1200 are zero divisors.
3221:
Ok so are there any purely theoretical rings in common use, as in algebraic rings that are not identical to modular arithmetic systems or complex numbers, integers, real numbers and the like?
464:
Planetmath defines a ring without the identity element. Some reasons for this are historical and if the identity is a requirement in the definition, morphisms must preserve identity elements.
1318:
so that it starts with bees and flowers, progresses through Gregor Mendel's experiments, gives a rough description of the basics of chemistry, etc., but that would be totally inappropriate.
2173:
What you propose sounds reasonable to me, but in that case, somebody in ring theory needs to work on that article. As it stands, it doesn't seem much more advanced than this article.
1409:
problem. Basically, our well written technical articles (obviously not all our technical articles are well written, and this problem does need addressing) have four kinds of readers:
1298:
Actually, it's not just inappropriate, I guess it's also blatantly false from the POV of most readers who have the appropriate level of mathematical maturity for reading this article.
3289:
I do not understand what you mean as a "theoretical ring", nor by "have no bearing on our number system". In any case, all modern mathematics (including the modern presentation of
2923:
When I get a chance I'll try to help filter. There is, of course, no easy rule to give you, but I'm going to suggest: "If it's not about rings directly, maybe it shouldn't go in."
2983:
We definitely need characteristic back in (I said that in an edit summary.) The only thing I disagreed with was its placement. The isomorphism theorem already is demonstrated in
1758:
I agree the introduction should be short, but now, at least in my opinion, it is too short! I am not necessarily suggesting that the introduction should be identical to that of
837:
My advice would be to read through the introduction in such a way that you skip terms with which you are not familiar. Put differently imagine you are reading another language!
2767:
seems to be a reasonable model for what I mean. At any rate, please start removing some of the cruft. I see some really hyperspecific stuff in there that isn't worth keeping.
1444:
It's still too long and still doesn't say what a ring is in the first sentence: having it bolded further down where the definition actually appears is confusing and against
2264:
silly, but as a lay reader I think that such an explanation should be forthcoming in the article, maybe accompanied by a graphic if applicable. Thanks in anticipation.
863: 640: 636: 2980:
that the ideals of the integers are all principal. Using the Euclidean algorithm is an excursion we can do without. It is probably done in a more appropriate article.
1748:
Where did the history section in the introduction go? Could you please add it back to the history section? I think this is important. My other concern is that, while
588:. They all asume a ring has unity, namely that it is a monoid with multiplication. If one wants to talks of "rings without unity" one should call them like that. 1994:
think is showing something similar but is far less obvious, at least to me - even with the overlong caption it does not relate the diagram to ring or ring theory.--
1029:
That being said, I do wish to note some of my concerns of the revised introduction which I hope Rick Norwood will address. The first paragraph reads as follows:
662:
are all in the first two sentences of the article. I doubt few people who have not studied for a mathematics degree would know what any of those terms are.
1798:, it can be 4 paragraphs if necessary. (And "ring" is a concept where a slightly longer introduction may be necessary.) Compare also to the introduction of 1651:
I've had another go at it myself, to get the length down to what I think's reasonable without losing any of the mathematical content. The main changes were
1603:
The first thing I would like to say is that the current revision has gone "back to square one". Before Rick Norwood made his edits, the article looked like
1076:
The last sentence of the paragraph is slightly debatable. "Ring of integers" has other meanings in algebra, especially algebraic number theory, and since
610:
This article also assumes that a ring has a unity (a footnote mention that some authors do not assume unity). Thus I do not see what has to be changed.
2889:
ok, so where is the line? The pre-image of an idea an ideal can be in? But not a prime ideal? (In my view it's an important fact since it implies
2346:
such that if you took powers of any element you would end up back in the original submodule. This is of course not true of any given submodule of
2382:
has the least emptiness, just the single element, while a generic ring can be expected to have a significant opening. For some reason authors on
421:
article might be a better place for these topics, it article is getting a bit on the long side and the other one could do with some expansion. --
1774:
is more than 3/2 this article size and it is a featured article. Please do not think that we need to trim the article, at least at this stage!)
533: 1081:
is the set of all integers together with the two operations of addition and multiplication." could work but more thought might be necessary.
2001: 1827: 1703: 1696:
as that establishes the connection, but even without that it's clearer I think as adding and multiplying polynomials is high school math.--
1683: 1564: 1533: 1459: 1237: 1944: 957: 565:, I think you can assume that wikipedia assumes that rings are not-necessarily commutative and you can make the appropriate adjustments. 471: 3153:
As for things that could maybe disappera, can we consider "Rings in context as algebraic structures" and its table, and "finite ring"?
1331:
virtually indecipherable because of its precision, use of jargon, and lack of pedogogical introduction. The introduction, as given by
1071:
The rest of the paragraph is very good but perhaps it can be written slightly more formally, while still retaining an "informal style".
517:
Actually, the article has picked out two of those meanings, with major sources for both, but it is good to have a specialist weigh in.
3274: 3228: 2319: 2271: 595: 2859:
features of rings (prime ideals and homomorphisms.) Can we draw the lines a little more clearly before this collection grows larger?
2987:, so I don't think there is any lack of demonstration going on here. It can be introduced in a simpler way in the subring section. 2647: 76: 64: 59: 1914:
I think the new picture is much better than the old. Many readers will be familiar with the idea of the graph of a polynomial.
228: 2034:
now - there is a balance between encyclopedic brevity and coverage - and I think Rick's changes in this direction were very good.
2688:
Advanced examples (what is now "examples of the ubiquity of rings"); we need the ring of differential operators to be discussed.
3267:
Hmmm interesting! Are there any purely theoretical rings that have no bearing on our number system that are currently in use?
1574:
its coverage. (See the first discussion in this talk page at the very top.) The introduction is about the same size as that of
2162: 2056: 1808: 1784: 1640: 1584: 1191: 1123: 1092: 934: 852: 446: 406: 1778:
I think the above three points need to be addressed. However, if I get a chance, I will try to address some of them myself.
897:
with less buzz words, and written so one does not need a maths degree to understand the contents of the first two sentences.
2439: 1509:
of the set to form a third element in the set. To qualify as a ring, the set must satisfy the ring axioms: it must be an
901:
understanding of a subject like this, but who will not appreciate it when they can't understand the first two sentences.
2463:). It follows that the image by this homomorphism of the addition and multiplication identities are similar identities. 1418:
Those who don't have the necessary background for understanding an article, but enough to realise that this is the case.
889: 877: 3006:
on. (The current ideal section is much closer to my version than it was originally; it definitely covers basics.) --
2607:
relation. IMO, the most common definition of "binary operation" assumes both of these, that it is a function into S.
2217:
The theory of vector spaces is one illustration of a special case of an object studied in noncommutative ring theory.
1390:
I've shortened the introduction. I think it could be shorter still. Also, I think a better picture could be found.
1345:
ordinary numbers of arithmetic. Three important classes considered in abstract algebra are groups, rings, and fields.
1283:
ordinary numbers of arithmetic. Three important classes considered in abstract algebra are groups, rings, and fields.
876:
BTW, just to fill you in on my motivation for wanting this. I spend some of my spare time developing the open-source
699:
is there to put the rings in context, as one of a whole family of other structures, each with different definitions.
1136:
My long experience editing Knowledge tells me that if we wait a month to make a change, no change will ever be made.
723:
is a less frequently important operation so expanding this might be of uses. All these details are spelt out in the
189: 2694:
Application to the representation theory of a finite group (a good illustration of the non-commutative ring theory)
38: 2599:"closed" and "well-defined" are completely different concepts. "Closed" means that the binary operation on S×S is 1607:. JohnBlackburne's edits were very good, although it appears that they just returned the article to an old state. 3255:) immediately come to mind. But the list will be huge, with examples scattered over many areas of mathematics. — 2413:
follow from associativity and commutativity of addition in the set of all integers." is less than obvious to me.
2304:
Thanks, but it's not very informative. I mean, a number, when subjected to an operation, produces (tadaaaaaaaa)
2157: 2051: 1803: 1779: 1635: 1579: 1186: 1118: 1087: 929: 847: 749:
moved further up, to make it more accessible, as most people looking at the page will probably know what that is.
441: 401: 356: 330: 210: 195: 2253:
I sort of glanced at this article and while I'm sure it is soundly written, I expected to see an explanation of
1614:
This is exactly the case with Rick Norwood here. First, I reverted his edits. (As well as his similar edits to
1204: 1046: 979: 581: 537: 317: 306: 284: 183: 152: 146: 3130:
Anything that is nice but tangental should be moved to a more technical article, with a link in this article.
2152:
However, the above is just my understanding of the matter. You should probably consult some of the editors at
580:
I think the definition should be changed to be consistent with the others articles that refer to a ring. See
475: 3314: 2323: 2275: 1288:
And does anybody really think that the following example of hand-holding is appropriate for an encyclopedia?
961: 599: 585: 171: 47: 17: 3278: 3232: 3201:
Yeah that makes sense. Let's remove enough of the cruft so that someone would dare to read it linearly :)
3191: 3135: 3101: 3080: 3011: 2966: 2913: 2898: 2879: 2848: 2800: 2740: 2707: 2582: 2547: 2505: 2178: 2089: 1932: 1856:
said. This article is still very confusing, and unclear. The broad background, efficiently delivered by
1395: 1381: 1212: 1175: 1062:
This is true in some sense, but if this view is to be emphasized, it needs to be a prominent theme of the
522: 344: 290: 128: 2643: 2371: 1952: 1900: 1873: 1794:
I have revised the introduction. While at first glance, it might look long, this is deceiving since per
1506: 1360: 1315: 1310: 1302: 222: 122: 1962: 3270: 3224: 3120: 3064: 2635: 2427: 2315: 2267: 1865: 1843: 1548: 1545: 1434: 1431: 1322: 1319: 1266: 985: 953: 739: 591: 545: 491: 467: 426: 350: 1155:
I'm happy with your change from "ring of integers" to "integers together with the two operations..."
3310: 2379: 2153: 2108: 2047: 2039: 2027: 2023: 2019: 1996: 1860:, is completely missing - and without that context, the article is out-of-reach. Referring to the 1822: 1799: 1771: 1759: 1698: 1678: 1619: 1615: 1575: 1559: 1528: 1454: 1262: 1258: 1232: 1227: 1111: 1107: 1103: 1042: 1038: 1033:
Mathematicians classify sets of numbers in various ways. One such classification scheme is called
975: 921: 917: 902: 795: 760: 670: 651: 371: 258: 206: 2431: 2230:
point in doing it unless we agree on the overall structure, lest the job becomes a fool's errand.
639:. It even covers the fact that this may be particularly difficult in mathematics, in a section on 3326: 3290: 3206: 3173: 3158: 3112: 3045: 2992: 2948: 2928: 2864: 2827: 2772: 2755: 2723: 2612: 2563: 2524: 2489: 2468: 2141: 2120: 2104: 2031: 1979: 1445: 906: 764: 674: 615: 540:) 02:56, 27 September 2011 (UTC) Sorry, that 222.153.145.205 was me (JHJ47). I forgot to log in. 164: 841:
near future. (Or another user may perhaps do so.) One thing to keep in mind is that the section
541: 487: 2691:
Application to the algebraic number theory (a good illustration of the commutative ring theory)
1662:
Ring theory studies those properties which must be true for any set that obeys the ring axioms.
323: 158: 3343: 3318: 3256: 3252: 3187: 3131: 3097: 3096:
verbosity from "Noncommutative rings" rings and "Definition and illustration". Objections? --
3076: 3059:
Hey, if you two are going through the article anyway, how about adding some inline citations?
3007: 2962: 2909: 2894: 2875: 2844: 2796: 2736: 2703: 2628: 2578: 2543: 2501: 2460: 2435: 2391: 2174: 2085: 1928: 1895:
So, bottom line, if the figure is retained, a digression to explain its content is necessary.
1857: 1692:
A quick search on commons turned up another image which I've put in its place, with a link to
1494: 1490: 1391: 1377: 1332: 1208: 1171: 1014: 1000: 518: 3028:
The Artinian-Noetherian thing is appropriate by both our standards. It illustrates important
2459:
mod 4 transforms addition and multiplication into addition and multiplication mod 4 (it is a
669:
is a lot more understandable, though I believe a skilled editor could do an even better job.
3248: 3244: 2639: 2355: 2291: 2239: 1971: 1948: 1896: 1869: 1521:
over addition. An example is the set of integers with the usual addition and multiplication.
1518: 1482: 1475: 1356: 1306: 1274: 1077: 1050: 1034: 815: 570: 507: 394: 278: 2103:
is supposed to be an article on the advanced topics in ring theory that are not covered in
1415:
Those who don't know the contents but have the necessary background for understanding them.
3348: 3330: 3298: 3282: 3261: 3236: 3210: 3195: 3177: 3162: 3139: 3124: 3116: 3105: 3084: 3068: 3060: 3049: 3015: 2996: 2970: 2952: 2932: 2917: 2902: 2883: 2868: 2852: 2831: 2804: 2776: 2759: 2744: 2727: 2711: 2651: 2616: 2586: 2567: 2551: 2528: 2509: 2493: 2472: 2443: 2395: 2359: 2327: 2295: 2279: 2243: 2182: 2167: 2093: 2061: 2030:
is a mathematics featured article. I like the first two paragraphs of the introduction to
2005: 1990: 1989:
The problem is there is no image of a general ring as it's too abstract. One example is a
1956: 1936: 1904: 1877: 1853: 1847: 1839: 1831: 1813: 1789: 1740: 1707: 1693: 1687: 1665:
Modern ring theory—a very active mathematical discipline—studies rings in their own right.
1645: 1589: 1568: 1551: 1537: 1463: 1437: 1399: 1385: 1364: 1325: 1241: 1216: 1196: 1179: 1128: 1097: 1002: 989: 965: 939: 910: 880:. My interest is in using Sage in preference to the expensive closed-source products like 857: 819: 768: 743: 735: 678: 619: 603: 574: 549: 526: 511: 495: 479: 451: 430: 422: 411: 264: 246: 234: 177: 134: 3302: 3294: 2375: 1795: 1763: 1736: 1502: 440:
should be expanded along these lines and I hope to do so at some point in the future.
3322: 3306: 3202: 3169: 3154: 3041: 2988: 2944: 2924: 2860: 2823: 2768: 2751: 2719: 2608: 2559: 2520: 2485: 2464: 1557:
necessary for the definition and is still easily found by anyone interested in it ?--
1510: 1270: 1049:. This is not necessarily the case in a ring. The classic example of a ring is the 1023: 884:, which I've used quite extensively. My contributions have been mainly on porting to 831: 655: 611: 382: 252: 140: 116: 1925:
that does not seem to have anything not in this article. Should it be merged here?
2387: 2309: 2260:"carburettor", or "bedroom", or whatever. It may sound silly, and it may actually 2114: 2071:
I never proposed taking history out of the lede, just (maybe) shortening it a bit.
1749: 997: 388: 296: 174:, "Lying over", "Lying down" etc. and other fundamental theorems in integrality (*) 643:
but it does have some suggestions, which could perhaps be implemented. To quote,
436:
without going into too much detail). However, I certainly agree that the article
2791: 2383: 2351: 2287: 2235: 2146: 2136: 2131: 2124: 2100: 2079: 1975: 1967: 1922: 893: 885: 881: 811: 800: 566: 503: 437: 418: 240: 218: 214: 110: 46:
If you wish to start a new discussion or revive an old one, please do so on the
1715:
Thanks JohnBlackburne! Your changes were very good. A few things come to mind:
1412:
Those who basically know most of the contents and just come here for reminders.
1861: 1406: 362: 2665:
More precisely, I propose the article roughly has the following structure.
1478:
is can follow the link. So I would replace the first two paragraphs with:
1013:
Recently, there has been a serious attempt to rewrite the introduction by
2764: 2423:
follow from associativity of plain addition in the set of all integers?
1498: 666: 562: 557: 1448:, and it should also not be italicised. Everything up to the second "A 1207:. This is not necessarily the case in a ring." Should we take it out? 372:
Burnside's theorem on groups of order divisible by no more than 2 primes
2022:? While the content of this lede should not necessarily be the same as 2222:
noncommutative division rings. Now this mess needs to be fixed twice.
2822:
about this, so it might be good to advertise this project at WPMath.
2350:, but is true of rings of integers, which is what he was looking at. 1514: 659: 104: 368:
Various algebraic constructions in classical algebraic geometry (**)
2378:
excludes the zero of the ring and perhaps much more. The case of a
892:
is particularly strong in the field of number theory (way ahead of
2685:
Advanced concepts: tensor products, localizations, completions etc
1961: 973:
refer to? Could that be clarified? (Is "as well as that of" -: -->
1301:
As an example from an unrelated field, let's look at the lead of
646:
might be in the body of the article, after the Table of Contents.
2312:? There has to be a niftier explanation for the nomenclature. 1947:, in fact worth less than the caption itself (a dozen words). 1102:
However, I notice that Rick Norwood has made identical edits to
2790:
a survey article for those who already know abstract algebra;
2406:
The statement "Associativity and commutativity of addition in
626:
Could the start be made more readable for a non-mathmatician ?
25: 2874:
And in this case I agree. Preimages of prime ideals can go.
2111:, at the very top of the page you will notice the statement: 2673:
Definition/basic examples (we should keep the current ones?)
2226:
splash something irrelevant or misleading next to the lead.
2209:
of the article which does not have any of these drawbacks.
2113:
This article covers basic notions. For advanced topics, see
1719:
The image is great! One concern is that in ring theory, one
794:
is a mathematical concept abstracting and generalizing the
695:
I agree that the current introduction is a quite advanced.
2026:, the format should, at least to a certain extent, since 1426:
If we try to make category 4 happy, we are going to fail
2627:
One opinion: I think this is a huge improvement, thanks
2206: 1604: 1203:
For example, in a field every number except zero has a
1115: 2893:
induces the map between the sets of prime ideals.) --
1544:
On first sight this looks like an excellent proposal.
2750:
historical overview with pointers towards subtopics.
2370:
There is a very intuitive reason: a ring is like an
1888:become a marginal note to connect to other topics. 732:
Advice on using Knowledge for mathematics self-study
3032:concepts (my standard) and it is a concrete simple 1676:
connection might be clearer with a simpler image.--
781:I would say that understanding groups is certainly 3111:Someone might have pointed this out already, but: 1753:concept is one important part of the introduction. 1293:The definition of a ring is necessarily technical. 2286:See the second paragraph of the history section. 1257:of the article on rings, rather than the article 2682:Basic examples: Polynomial rings, PID, UFD, etc. 2479:The presentation of polynomial and matrix rings 1852:Over a year later, I would like to second what 1670:reorganising what's left into three paragraphs. 1618:; another user reverted his duplicate edits to 1342: 1291: 1280: 1031: 1966:An image illustrating geometric addition on a 1634:are being deterred from reading this article. 1517:under multiplication, and multiplication must 1405:This seems to be just a variation of the old 1146:oxygen, or maybe earth, air, fire, and water. 8: 2908:My suggestion is to do what you think best. 2603:. Well defined means that the relation is a 2308:. Of course. What else would it produce, a 1945:worth a good deal less than a thousand words 2679:Basic concepts: ideals, homomorphisms, etc. 2416:How can associativity of mod 4 addition in 1918:is also too long, but I did not change it. 996:Fixed as suggested, as this is correct. — 209:, the most important concepts such as the 1727:- one adds and multiplies polynomials as 2537:Rewrites to the introduction (continued) 2374:in that it has a central emptiness: the 2119:An analogous relationship holds between 1309:, but it's clear to me from the lead of 1630:theory side of ring theory. Currently, 864:articles that are unavoidably technical 641:articles that are unavoidably technical 2402:Erroneous statement in Second example? 637:make technical articles understandable 631:first paragraph, something is wrong. 44:Do not edit the contents of this page. 3297:are immediately defined from sets as 2156:- they know more about these things. 1505:), where each operation combines two 1110:. One of the primary contributors to 7: 684:For context the current intro reads 2976:I don't think it is a good idea to 1978:has many important applications in 888:and on improving quality control. 734:which has been recently written.-- 24: 3337:"identity" vs. "identity element" 1723:add and multiply two polynomials 563:MOS:MATH#Mathematical conventions 558:MOS:MATH#Mathematical conventions 307:Wedderburn-Artin structure theory 85:Possible topics to add to article 2698:this section comes at very end.) 2386:gloss over this obvious feature. 29: 3293:) are based on set theory, and 2660:Rewriting of the entire article 1057:My concerns are the following: 229:Krull's principal ideal theorem 3309:and all its variants (ring of 575:03:28, 27 September 2011 (UTC) 550:03:28, 27 September 2011 (UTC) 527:21:02, 26 September 2011 (UTC) 512:01:58, 26 September 2011 (UTC) 496:00:47, 26 September 2011 (UTC) 1: 3349:16:04, 28 December 2012 (UTC) 3331:22:56, 11 December 2012 (UTC) 3283:20:13, 11 December 2012 (UTC) 3262:20:03, 11 December 2012 (UTC) 3237:19:48, 11 December 2012 (UTC) 3211:00:57, 22 November 2012 (UTC) 3196:19:06, 21 November 2012 (UTC) 3178:18:15, 20 November 2012 (UTC) 3163:18:05, 20 November 2012 (UTC) 3140:12:47, 20 November 2012 (UTC) 3125:00:37, 20 November 2012 (UTC) 3106:00:03, 20 November 2012 (UTC) 3085:00:03, 20 November 2012 (UTC) 3069:23:38, 19 November 2012 (UTC) 3050:22:09, 19 November 2012 (UTC) 3016:19:24, 15 November 2012 (UTC) 2997:18:08, 15 November 2012 (UTC) 2971:03:12, 15 November 2012 (UTC) 2953:01:50, 15 November 2012 (UTC) 2933:00:48, 15 November 2012 (UTC) 2918:23:03, 14 November 2012 (UTC) 2903:22:25, 14 November 2012 (UTC) 2884:20:54, 14 November 2012 (UTC) 2869:19:24, 14 November 2012 (UTC) 2853:15:50, 14 November 2012 (UTC) 2832:14:31, 14 November 2012 (UTC) 2805:20:35, 13 November 2012 (UTC) 2777:18:35, 13 November 2012 (UTC) 2760:18:30, 13 November 2012 (UTC) 2745:15:36, 13 November 2012 (UTC) 2728:14:42, 13 November 2012 (UTC) 2712:14:22, 13 November 2012 (UTC) 2652:04:43, 5 September 2012 (UTC) 2617:16:03, 5 September 2012 (UTC) 2587:22:53, 4 September 2012 (UTC) 2568:14:27, 4 September 2012 (UTC) 2552:13:21, 3 September 2012 (UTC) 2396:19:46, 18 December 2011 (UTC) 2360:01:23, 18 December 2011 (UTC) 2328:13:22, 17 December 2011 (UTC) 2296:06:51, 17 December 2011 (UTC) 2280:02:45, 17 December 2011 (UTC) 2244:19:48, 6 September 2010 (UTC) 1878:05:15, 3 September 2012 (UTC) 1848:00:13, 20 December 2010 (UTC) 1365:05:10, 3 September 2012 (UTC) 727:section just under the intro. 703:means that additions has and 667:the ring article on Mathworld 337:Applications of ring theory: 3243:Yes, extensively. Matrices, 1009:Rewrites to the introduction 271:Noncommutative ring theory: 2529:16:21, 30 August 2012 (UTC) 2510:16:02, 30 August 2012 (UTC) 2494:14:56, 30 August 2012 (UTC) 2183:11:50, 31 August 2010 (UTC) 2168:23:06, 30 August 2010 (UTC) 2094:14:14, 30 August 2010 (UTC) 2062:00:06, 30 August 2010 (UTC) 2006:19:20, 29 August 2010 (UTC) 1957:18:09, 29 August 2010 (UTC) 1937:12:55, 29 August 2010 (UTC) 1905:17:18, 28 August 2010 (UTC) 1832:11:56, 29 August 2010 (UTC) 1814:00:59, 29 August 2010 (UTC) 1790:00:23, 29 August 2010 (UTC) 1708:19:20, 28 August 2010 (UTC) 1688:19:00, 28 August 2010 (UTC) 1646:23:26, 27 August 2010 (UTC) 1590:23:26, 27 August 2010 (UTC) 1569:21:33, 27 August 2010 (UTC) 1552:21:13, 27 August 2010 (UTC) 1538:20:52, 27 August 2010 (UTC) 1464:20:41, 27 August 2010 (UTC) 1438:20:30, 27 August 2010 (UTC) 1400:20:27, 27 August 2010 (UTC) 1386:20:15, 27 August 2010 (UTC) 1326:18:19, 27 August 2010 (UTC) 1242:16:18, 27 August 2010 (UTC) 1217:16:00, 27 August 2010 (UTC) 1197:13:29, 27 August 2010 (UTC) 1180:12:07, 27 August 2010 (UTC) 1129:04:50, 27 August 2010 (UTC) 1098:22:02, 26 August 2010 (UTC) 940:04:34, 27 August 2010 (UTC) 911:11:18, 26 August 2010 (UTC) 858:10:00, 26 August 2010 (UTC) 830:Without intending to claim 820:22:30, 25 August 2010 (UTC) 769:19:41, 25 August 2010 (UTC) 759:lost after two sentences. 744:17:40, 25 August 2010 (UTC) 725:Definition and illustration 679:11:03, 25 August 2010 (UTC) 3364: 2473:15:40, 17 April 2012 (UTC) 2444:06:35, 17 April 2012 (UTC) 460:disagreement on definition 2107:. If you see the article 1921:There is a short article 1430:alienate categories 1–3. 1003:12:57, 27 June 2012 (UTC) 990:09:26, 27 June 2012 (UTC) 878:Sage mathematics software 480:03:21, 30 June 2010 (UTC) 331:Golod-Shafarevich theorem 318:Polynomial identity rings 190:Hilbert's Nullstellensatz 97:Commutative ring theory: 3315:differentiable functions 3091:Toward a shorter article 1632:real mathematics readers 966:11:59, 16 May 2012 (UTC) 711:, the operation is both 620:19:43, 25 May 2012 (UTC) 604:17:21, 25 May 2012 (UTC) 582:Characteristic (algebra) 452:03:21, 28 May 2010 (UTC) 431:13:57, 27 May 2010 (UTC) 412:03:23, 27 May 2010 (UTC) 357:Dirichlet's unit theorem 285:Jacobson density theorem 196:Hilbert's syzygy theorem 172:"Going up", "Going down" 2197:operations on the ring 730:You might like to read 707:, every element has an 586:Glossary of ring theory 363:Local ring of a variety 345:Algebraic number fields 291:Central simple algebras 184:Hilbert's basis theorem 18:Talk:Ring (mathematics) 2577:mathematical meaning. 1983: 1883:Figure in introduction 1347: 1295: 1285: 1055: 129:Lasker-Noether theorem 2670:math-minded readers.) 2372:annulus (mathematics) 2018:Could you please see 1965: 1910:New picture, new text 1764:Knowledge:LEAD#Length 1513:under addition and a 1316:small interfering RNA 1311:small interfering RNA 1303:small interfering RNA 123:Primary decomposition 42:of past discussions. 3311:continuous functions 2078:Thoughts on merging 1267:algebra over a field 1114:reverted the edit - 351:Class number formula 302:Dimension theory (*) 259:Cohen-Macaulay rings 2380:field (mathematics) 2154:Group (mathematics) 2109:Group (mathematics) 2082:into this article? 2048:group (mathematics) 2040:group (mathematics) 2028:group (mathematics) 2024:group (mathematics) 2020:group (mathematics) 1800:group (mathematics) 1772:group (mathematics) 1768:half of the article 1760:group (mathematics) 1620:group (mathematics) 1616:field (mathematics) 1576:Group (mathematics) 1263:field (mathematics) 1259:group (mathematics) 1112:Group (mathematics) 1108:Field (mathematics) 1104:Group (mathematics) 922:Group (mathematics) 918:Group (mathematics) 796:algebraic structure 697:algebraic structure 652:algebraic structure 378:"Advanced" topics: 313:"Advanced" Topics: 207:Homological algebra 202:"Advanced" topics: 165:Integral extensions 3319:analytic functions 3291:Euclidean geometry 2142:Ring (mathematics) 2121:Ring (mathematics) 2105:Ring (mathematics) 2032:ring (mathematics) 1984: 1980:algebraic geometry 417:It seems like the 3273:comment added by 3253:geometric algebra 3227:comment added by 2655: 2638:comment added by 2461:ring homomorphism 2447: 2430:comment added by 2318:comment added by 2270:comment added by 1999: 1825: 1701: 1681: 1562: 1531: 1495:binary operations 1457: 1333:User:Rick Norwood 1235: 1015:User:Rick Norwood 956:comment added by 594:comment added by 470:comment added by 324:Goldie's theorems 82: 81: 54: 53: 48:current talk page 3355: 3299:cardinal numbers 3285: 3249:Clifford algebra 3245:exterior algebra 3239: 3036:(your standard.) 2654: 2632: 2446: 2424: 2330: 2282: 2188:Some impressions 2165: 2160: 2059: 2054: 1995: 1972:projective space 1821: 1811: 1806: 1787: 1782: 1697: 1677: 1643: 1638: 1587: 1582: 1558: 1527: 1497:(usually called 1483:abstract algebra 1476:abstract algebra 1453: 1307:RNA interference 1275:abstract algebra 1231: 1194: 1189: 1126: 1121: 1095: 1090: 1078:ring of integers 1051:ring of integers 1035:abstract algebra 992: 974:"and" correct?) 968: 937: 932: 855: 850: 650:The three terms 606: 482: 449: 444: 409: 404: 395:Sheaf cohomology 340:"Basic" topics: 279:Jacobson radical 274:"Basic" topics: 265:Gorenstein rings 178:Dedekind domains 159:Nakayama's lemma 135:Noetherian rings 100:"Basic" topics: 73: 56: 55: 33: 32: 26: 3363: 3362: 3358: 3357: 3356: 3354: 3353: 3352: 3339: 3303:ordinal numbers 3295:natural numbers 3268: 3222: 3219: 3093: 2662: 2633: 2539: 2481: 2425: 2422: 2412: 2404: 2313: 2265: 2251: 2203: 2190: 2163: 2158: 2130:At the moment, 2057: 2052: 2004: 1991:polynomial ring 1912: 1885: 1830: 1809: 1804: 1785: 1780: 1741:abelian variety 1733:in all contexts 1706: 1694:Polynomial ring 1686: 1641: 1636: 1585: 1580: 1567: 1536: 1462: 1240: 1192: 1187: 1124: 1119: 1093: 1088: 1011: 983: 951: 935: 930: 853: 848: 628: 589: 534:222.153.145.205 465: 462: 447: 442: 407: 402: 235:Krull dimension 87: 69: 30: 22: 21: 20: 12: 11: 5: 3361: 3359: 3338: 3335: 3334: 3333: 3307:real functions 3265: 3264: 3218: 3215: 3214: 3213: 3183: 3182: 3181: 3180: 3151: 3147: 3128: 3127: 3092: 3089: 3088: 3087: 3057: 3056: 3055: 3054: 3053: 3052: 3037: 3021: 3020: 3019: 3018: 3000: 2999: 2981: 2958: 2957: 2956: 2955: 2906: 2905: 2872: 2871: 2841: 2840: 2839: 2838: 2837: 2836: 2835: 2834: 2812: 2811: 2810: 2809: 2808: 2807: 2782: 2781: 2780: 2779: 2747: 2731: 2730: 2700: 2699: 2695: 2692: 2689: 2686: 2683: 2680: 2677: 2674: 2671: 2661: 2658: 2657: 2656: 2624: 2623: 2622: 2621: 2620: 2619: 2592: 2591: 2590: 2589: 2571: 2570: 2538: 2535: 2534: 2533: 2532: 2531: 2513: 2512: 2484:Any thoughts? 2480: 2477: 2476: 2475: 2420: 2410: 2403: 2400: 2399: 2398: 2376:group of units 2367: 2366: 2365: 2364: 2363: 2362: 2334: 2333: 2332: 2331: 2306:another number 2299: 2298: 2250: 2247: 2219: 2218: 2201: 2189: 2186: 2171: 2170: 2150: 2128: 2069: 2068: 2067: 2066: 2065: 2064: 2043: 2035: 2011: 2010: 2009: 2008: 2000: 1997:JohnBlackburne 1960: 1959: 1911: 1908: 1884: 1881: 1835: 1834: 1826: 1823:JohnBlackburne 1776: 1775: 1755: 1754: 1745: 1744: 1737:elliptic curve 1729:formal objects 1713: 1712: 1711: 1710: 1702: 1699:JohnBlackburne 1682: 1679:JohnBlackburne 1673: 1672: 1671: 1668: 1667: 1666: 1663: 1656: 1601: 1600: 1599: 1598: 1597: 1596: 1595: 1594: 1593: 1592: 1563: 1560:JohnBlackburne 1532: 1529:JohnBlackburne 1524: 1523: 1522: 1503:multiplication 1466: 1458: 1455:JohnBlackburne 1441: 1440: 1424: 1423: 1422: 1419: 1416: 1413: 1374: 1372: 1371: 1370: 1369: 1368: 1367: 1341: 1340: 1339: 1338: 1337: 1336: 1299: 1296: 1289: 1286: 1278: 1247: 1246: 1245: 1244: 1236: 1233:JohnBlackburne 1220: 1219: 1169: 1168: 1167: 1166: 1159: 1158: 1157: 1156: 1150: 1149: 1148: 1147: 1140: 1139: 1138: 1137: 1083: 1082: 1073: 1072: 1068: 1067: 1064:entire article 1010: 1007: 1006: 1005: 988:comment added 976:Olli Niemitalo 971: 947: 946: 945: 944: 943: 942: 925: 898: 871: 870: 869: 868: 843:directly below 838: 835: 827: 826: 825: 824: 823: 822: 807: 806: 805: 774: 773: 772: 771: 753: 752: 751: 750: 728: 693: 692: 691: 665:I believe the 627: 624: 623: 622: 578: 577: 515: 514: 461: 458: 457: 456: 455: 454: 399: 398: 392: 386: 376: 375: 369: 366: 360: 354: 348: 335: 334: 327: 321: 311: 310: 303: 300: 294: 288: 282: 269: 268: 262: 256: 250: 247:Hensel's lemma 244: 238: 232: 226: 211:tensor product 200: 199: 193: 187: 181: 175: 168: 162: 156: 150: 144: 141:Artinian rings 138: 132: 126: 120: 114: 108: 86: 83: 80: 79: 74: 67: 62: 52: 51: 34: 23: 15: 14: 13: 10: 9: 6: 4: 3: 2: 3360: 3351: 3350: 3347: 3346: 3336: 3332: 3328: 3324: 3320: 3316: 3312: 3308: 3304: 3300: 3296: 3292: 3288: 3287: 3286: 3284: 3280: 3276: 3272: 3263: 3260: 3259: 3254: 3250: 3246: 3242: 3241: 3240: 3238: 3234: 3230: 3226: 3216: 3212: 3208: 3204: 3200: 3199: 3198: 3197: 3193: 3189: 3179: 3175: 3171: 3166: 3165: 3164: 3160: 3156: 3152: 3148: 3144: 3143: 3142: 3141: 3137: 3133: 3126: 3122: 3118: 3114: 3110: 3109: 3108: 3107: 3103: 3099: 3090: 3086: 3082: 3078: 3073: 3072: 3071: 3070: 3066: 3062: 3051: 3047: 3043: 3038: 3035: 3031: 3027: 3026: 3025: 3024: 3023: 3022: 3017: 3013: 3009: 3004: 3003: 3002: 3001: 2998: 2994: 2990: 2986: 2982: 2979: 2975: 2974: 2973: 2972: 2968: 2964: 2954: 2950: 2946: 2941: 2936: 2935: 2934: 2930: 2926: 2922: 2921: 2920: 2919: 2915: 2911: 2904: 2900: 2896: 2892: 2888: 2887: 2886: 2885: 2881: 2877: 2870: 2866: 2862: 2857: 2856: 2855: 2854: 2850: 2846: 2833: 2829: 2825: 2820: 2819: 2818: 2817: 2816: 2815: 2814: 2813: 2806: 2802: 2798: 2793: 2788: 2787: 2786: 2785: 2784: 2783: 2778: 2774: 2770: 2766: 2763: 2762: 2761: 2757: 2753: 2748: 2746: 2742: 2738: 2733: 2732: 2729: 2725: 2721: 2716: 2715: 2714: 2713: 2709: 2705: 2702:Thoughts? -- 2696: 2693: 2690: 2687: 2684: 2681: 2678: 2675: 2672: 2668: 2667: 2666: 2659: 2653: 2649: 2645: 2641: 2637: 2630: 2626: 2625: 2618: 2614: 2610: 2606: 2602: 2598: 2597: 2596: 2595: 2594: 2593: 2588: 2584: 2580: 2575: 2574: 2573: 2572: 2569: 2565: 2561: 2556: 2555: 2554: 2553: 2549: 2545: 2536: 2530: 2526: 2522: 2517: 2516: 2515: 2514: 2511: 2507: 2503: 2498: 2497: 2496: 2495: 2491: 2487: 2478: 2474: 2470: 2466: 2462: 2458: 2454: 2450: 2449: 2448: 2445: 2441: 2437: 2433: 2429: 2419: 2414: 2409: 2401: 2397: 2393: 2389: 2385: 2381: 2377: 2373: 2369: 2368: 2361: 2357: 2353: 2349: 2345: 2340: 2339: 2338: 2337: 2336: 2335: 2329: 2325: 2321: 2317: 2311: 2307: 2303: 2302: 2301: 2300: 2297: 2293: 2289: 2285: 2284: 2283: 2281: 2277: 2273: 2269: 2263: 2258: 2257: 2249:Why a "ring"? 2248: 2246: 2245: 2241: 2237: 2231: 2227: 2223: 2216: 2215: 2214: 2210: 2208: 2200: 2194: 2187: 2185: 2184: 2180: 2176: 2169: 2166: 2161: 2155: 2151: 2148: 2143: 2138: 2133: 2129: 2126: 2122: 2118: 2116: 2110: 2106: 2102: 2098: 2097: 2096: 2095: 2091: 2087: 2083: 2081: 2076: 2072: 2063: 2060: 2055: 2049: 2044: 2041: 2036: 2033: 2029: 2025: 2021: 2017: 2016: 2015: 2014: 2013: 2012: 2007: 2003: 1998: 1992: 1988: 1987: 1986: 1985: 1981: 1977: 1973: 1969: 1964: 1958: 1954: 1950: 1946: 1941: 1940: 1939: 1938: 1934: 1930: 1926: 1924: 1919: 1915: 1909: 1907: 1906: 1902: 1898: 1893: 1889: 1882: 1880: 1879: 1875: 1871: 1870:All Clues Key 1867: 1864:reference by 1863: 1859: 1855: 1850: 1849: 1845: 1841: 1833: 1829: 1824: 1818: 1817: 1816: 1815: 1812: 1807: 1801: 1797: 1792: 1791: 1788: 1783: 1773: 1769: 1765: 1761: 1757: 1756: 1751: 1747: 1746: 1742: 1739:(which is an 1738: 1734: 1730: 1726: 1722: 1718: 1717: 1716: 1709: 1705: 1700: 1695: 1691: 1690: 1689: 1685: 1680: 1674: 1669: 1664: 1661: 1660: 1657: 1653: 1652: 1650: 1649: 1648: 1647: 1644: 1639: 1633: 1627: 1623: 1621: 1617: 1612: 1608: 1606: 1591: 1588: 1583: 1577: 1572: 1571: 1570: 1566: 1561: 1555: 1554: 1553: 1550: 1547: 1543: 1542: 1541: 1540: 1539: 1535: 1530: 1525: 1520: 1516: 1512: 1511:abelian group 1508: 1504: 1500: 1496: 1492: 1488: 1484: 1480: 1479: 1477: 1472: 1467: 1465: 1461: 1456: 1451: 1447: 1443: 1442: 1439: 1436: 1433: 1429: 1425: 1420: 1417: 1414: 1411: 1410: 1408: 1404: 1403: 1402: 1401: 1397: 1393: 1388: 1387: 1383: 1379: 1366: 1362: 1358: 1357:All Clues Key 1353: 1352: 1351: 1350: 1349: 1348: 1346: 1334: 1329: 1328: 1327: 1324: 1321: 1317: 1312: 1308: 1304: 1300: 1297: 1294: 1290: 1287: 1284: 1279: 1276: 1272: 1271:division ring 1268: 1264: 1260: 1256: 1251: 1250: 1249: 1248: 1243: 1239: 1234: 1229: 1224: 1223: 1222: 1221: 1218: 1214: 1210: 1206: 1201: 1200: 1199: 1198: 1195: 1190: 1182: 1181: 1177: 1173: 1163: 1162: 1161: 1160: 1154: 1153: 1152: 1151: 1144: 1143: 1142: 1141: 1135: 1134: 1133: 1132: 1131: 1130: 1127: 1122: 1116: 1113: 1109: 1105: 1100: 1099: 1096: 1091: 1079: 1075: 1074: 1070: 1069: 1065: 1060: 1059: 1058: 1054: 1052: 1048: 1044: 1041:, rings, and 1040: 1036: 1030: 1027: 1025: 1020: 1016: 1008: 1004: 1001: 999: 995: 994: 993: 991: 987: 981: 977: 969: 967: 963: 959: 958:82.150.248.29 955: 941: 938: 933: 926: 923: 919: 914: 913: 912: 908: 904: 899: 895: 891: 887: 883: 879: 875: 874: 873: 872: 865: 861: 860: 859: 856: 851: 844: 839: 836: 833: 829: 828: 821: 817: 813: 808: 804: 802: 797: 793: 788: 787: 784: 780: 779: 778: 777: 776: 775: 770: 766: 762: 757: 756: 755: 754: 747: 746: 745: 741: 737: 733: 729: 726: 722: 718: 714: 710: 706: 702: 701:abelian group 698: 694: 690: 686: 685: 683: 682: 681: 680: 676: 672: 668: 663: 661: 657: 656:abelian group 653: 648: 647: 642: 638: 632: 625: 621: 617: 613: 609: 608: 607: 605: 601: 597: 593: 587: 583: 576: 572: 568: 564: 559: 554: 553: 552: 551: 547: 543: 539: 535: 529: 528: 524: 520: 513: 509: 505: 500: 499: 498: 497: 493: 489: 483: 481: 477: 473: 472:72.93.178.132 469: 459: 453: 450: 445: 439: 434: 433: 432: 428: 424: 420: 416: 415: 414: 413: 410: 405: 396: 393: 390: 387: 384: 383:Scheme theory 381: 380: 379: 373: 370: 367: 364: 361: 358: 355: 352: 349: 346: 343: 342: 341: 338: 332: 328: 325: 322: 319: 316: 315: 314: 308: 304: 301: 298: 295: 292: 289: 286: 283: 280: 277: 276: 275: 272: 266: 263: 260: 257: 254: 253:Grobner Basis 251: 248: 245: 242: 239: 236: 233: 230: 227: 224: 220: 216: 212: 208: 205: 204: 203: 197: 194: 191: 188: 185: 182: 179: 176: 173: 169: 166: 163: 160: 157: 154: 151: 148: 145: 142: 139: 136: 133: 130: 127: 124: 121: 118: 117:Primary ideal 115: 112: 109: 106: 103: 102: 101: 98: 95: 93: 84: 78: 75: 72: 68: 66: 63: 61: 58: 57: 49: 45: 41: 40: 35: 28: 27: 19: 3344: 3340: 3275:86.185.99.78 3269:— Preceding 3266: 3257: 3229:86.185.99.78 3223:— Preceding 3220: 3184: 3132:Rick Norwood 3129: 3094: 3058: 3033: 3029: 2985:Homomorphism 2984: 2977: 2959: 2939: 2910:Rick Norwood 2907: 2890: 2876:Rick Norwood 2873: 2845:Rick Norwood 2842: 2701: 2663: 2634:— Preceding 2604: 2600: 2579:Rick Norwood 2544:Rick Norwood 2540: 2482: 2456: 2452: 2426:— Preceding 2417: 2415: 2407: 2405: 2347: 2343: 2320:62.1.130.172 2314:— Preceding 2310:Caesar salad 2305: 2272:62.1.136.208 2266:— Preceding 2261: 2255: 2254: 2252: 2232: 2228: 2224: 2220: 2211: 2207:old revision 2198: 2195: 2191: 2175:Rick Norwood 2172: 2115:Group theory 2112: 2099:The article 2086:Rick Norwood 2084: 2077: 2073: 2070: 1929:Rick Norwood 1927: 1920: 1916: 1913: 1894: 1890: 1886: 1851: 1836: 1793: 1777: 1767: 1750:Alain Connes 1732: 1728: 1724: 1720: 1714: 1631: 1628: 1624: 1613: 1609: 1602: 1486: 1470: 1449: 1427: 1392:Rick Norwood 1389: 1378:Rick Norwood 1373: 1343: 1292: 1281: 1254: 1228:WP:BOLDTITLE 1209:Rick Norwood 1183: 1172:Rick Norwood 1170: 1101: 1084: 1063: 1056: 1032: 1028: 1019:is necessary 1018: 1012: 970: 952:— Preceding 948: 842: 791: 789: 782: 724: 720: 716: 712: 708: 704: 700: 696: 687: 664: 649: 644: 633: 629: 596:186.22.56.37 590:— Preceding 579: 530: 519:Rick Norwood 516: 484: 463: 400: 389:Sheaf theory 377: 339: 336: 312: 297:Brauer group 273: 270: 241:Flat modules 201: 147:Localization 99: 96: 92:this article 91: 88: 70: 43: 37: 3251:(including 3113:WP:NOTPAPER 2792:ring theory 2640:AllCluesKey 2384:ring theory 2147:Ring theory 2137:Ring theory 2132:Ring theory 2125:Ring theory 2101:Ring theory 2080:Ring Theory 1976:Ring theory 1968:cubic curve 1949:Brews ohare 1923:Ring theory 1897:Brews ohare 1446:WP:BOLDFACE 984:—Preceding 894:Mathematica 882:Mathematica 801:ring theory 717:commutative 713:associative 466:—Preceding 438:Ring theory 419:Ring theory 223:resolutions 219:Ext functor 215:Tor functor 111:Prime ideal 36:This is an 3117:Cesiumfrog 3061:Cesiumfrog 2605:functional 2050:. Cheers, 1866:Hans Adler 1862:Royal Road 1854:Cesiumfrog 1840:Cesiumfrog 1519:distribute 1407:Royal Road 1205:reciprocal 1047:reciprocal 225:etc. (***) 153:completion 1725:pointwise 1655:slightly. 1493:with two 832:ownership 77:Archive 4 71:Archive 3 65:Archive 2 60:Archive 1 3323:D.Lazard 3271:unsigned 3225:unsigned 3203:Rschwieb 3170:Rschwieb 3155:Rschwieb 3042:Rschwieb 2989:Rschwieb 2945:Rschwieb 2925:Rschwieb 2861:Rschwieb 2824:Rschwieb 2769:Rschwieb 2765:topology 2752:Rschwieb 2720:Rschwieb 2648:contribs 2636:unsigned 2609:Rschwieb 2560:Rschwieb 2521:Rschwieb 2486:Rschwieb 2465:D.Lazard 2451:The map 2440:contribs 2428:unsigned 2316:unsigned 2268:unsigned 1721:does not 1507:elements 1499:addition 1165:success. 954:unsigned 903:Drkirkby 761:Drkirkby 705:identity 671:Drkirkby 612:D.Lazard 592:unsigned 468:unsigned 217:", the " 3345:Quondum 3258:Quondum 3034:example 2676:History 2432:Tbtietc 2388:Rgdboer 2075:Ideas? 1796:WP:LEAD 998:Quondum 986:undated 886:Solaris 709:inverse 213:, the " 39:archive 3321:, ... 3217:Rings? 2978:derive 2601:into S 2352:RobHar 2288:RobHar 2236:Arcfrk 1515:monoid 1471:second 1277:, ...? 1043:fields 1039:groups 1024:WP:MOS 812:RobHar 721:monoid 660:monoid 567:RobHar 504:RobHar 105:Module 3317:, of 3313:, of 2940:would 2002:deeds 1828:deeds 1704:deeds 1684:deeds 1565:deeds 1549:Adler 1534:deeds 1489:is a 1460:deeds 1435:Adler 1323:Adler 1238:deeds 736:Salix 542:JHJ47 488:JHJ47 423:Salix 347:(***) 137:(***) 113:(***) 107:(***) 16:< 3327:talk 3279:talk 3247:and 3233:talk 3207:talk 3192:talk 3188:Taku 3174:talk 3159:talk 3136:talk 3121:talk 3102:talk 3098:Taku 3081:talk 3077:Taku 3065:talk 3046:talk 3030:ring 3012:talk 3008:Taku 2993:talk 2967:talk 2963:Taku 2949:talk 2929:talk 2914:talk 2899:talk 2895:Taku 2880:talk 2865:talk 2849:talk 2828:talk 2801:talk 2797:Taku 2773:talk 2756:talk 2741:talk 2737:Taku 2724:talk 2708:talk 2704:Taku 2644:talk 2629:Rick 2613:talk 2583:talk 2564:talk 2548:talk 2525:talk 2506:talk 2502:Taku 2490:talk 2469:talk 2436:talk 2392:talk 2356:talk 2324:talk 2292:talk 2276:talk 2240:talk 2179:talk 2123:and 2090:talk 1953:talk 1933:talk 1901:talk 1874:talk 1858:Rick 1844:talk 1605:this 1546:Hans 1501:and 1487:ring 1485:, a 1450:ring 1432:Hans 1396:talk 1382:talk 1361:talk 1320:Hans 1255:lead 1213:talk 1176:talk 1106:and 980:talk 962:talk 907:talk 890:Sage 816:talk 792:ring 765:talk 740:talk 715:and 675:talk 658:and 616:talk 600:talk 584:and 571:talk 546:talk 538:talk 523:talk 508:talk 492:talk 476:talk 427:talk 397:(**) 391:(**) 385:(**) 374:(**) 365:(**) 359:(**) 353:(**) 329:The 309:(**) 305:The 281:(**) 237:(**) 192:(**) 186:(**) 180:(**) 170:The 167:(**) 161:(**) 149:(**) 143:(**) 119:(**) 3301:or 2938:It 2631:. 2256:why 1970:in 1491:set 1481:In 1428:and 1026:. 982:) 783:not 742:): 429:): 333:(*) 326:(*) 320:(*) 299:(*) 293:(*) 287:(*) 267:(*) 261:(*) 255:(*) 249:(*) 243:(*) 231:(*) 221:", 198:(*) 155:(*) 131:(*) 125:(*) 3329:) 3281:) 3235:) 3209:) 3194:) 3176:) 3161:) 3138:) 3123:) 3104:) 3083:) 3067:) 3048:) 3014:) 2995:) 2969:) 2951:) 2931:) 2916:) 2901:) 2882:) 2867:) 2851:) 2830:) 2803:) 2775:) 2758:) 2743:) 2726:) 2710:) 2650:) 2646:• 2615:) 2585:) 2566:) 2550:) 2527:) 2508:) 2492:) 2471:) 2455:→ 2442:) 2438:• 2394:) 2358:) 2326:) 2294:) 2278:) 2262:be 2242:) 2181:) 2159:PS 2092:) 2053:PS 1974:. 1955:) 1935:) 1903:) 1876:) 1846:) 1805:PS 1781:PS 1637:PS 1581:PS 1526:-- 1398:) 1384:) 1363:) 1273:, 1269:, 1265:, 1261:, 1215:) 1188:PS 1178:) 1120:PS 1089:PS 964:) 931:PS 924:.) 909:) 849:PS 818:) 790:A 767:) 677:) 654:, 618:) 602:) 573:) 548:) 525:) 510:) 494:) 478:) 443:PS 403:PS 3325:( 3277:( 3231:( 3205:( 3190:( 3172:( 3157:( 3134:( 3119:( 3100:( 3079:( 3063:( 3044:( 3010:( 2991:( 2965:( 2947:( 2927:( 2912:( 2897:( 2891:f 2878:( 2863:( 2847:( 2826:( 2799:( 2771:( 2754:( 2739:( 2722:( 2706:( 2642:( 2611:( 2581:( 2562:( 2546:( 2523:( 2504:( 2488:( 2467:( 2457:x 2453:x 2434:( 2421:4 2418:Z 2411:4 2408:Z 2390:( 2354:( 2348:C 2344:C 2322:( 2290:( 2274:( 2238:( 2202:4 2199:Z 2177:( 2164:T 2149:. 2127:. 2117:. 2088:( 2058:T 1982:. 1951:( 1931:( 1899:( 1872:( 1842:( 1810:T 1786:T 1642:T 1586:T 1394:( 1380:( 1359:( 1335:, 1211:( 1193:T 1174:( 1125:T 1094:T 1053:. 978:( 960:( 936:T 905:( 854:T 814:( 803:. 763:( 738:( 673:( 614:( 598:( 569:( 544:( 536:( 521:( 506:( 490:( 474:( 448:T 425:( 408:T 50:.

Index

Talk:Ring (mathematics)
archive
current talk page
Archive 1
Archive 2
Archive 3
Archive 4
Module
Prime ideal
Primary ideal
Primary decomposition
Lasker-Noether theorem
Noetherian rings
Artinian rings
Localization
completion
Nakayama's lemma
Integral extensions
"Going up", "Going down"
Dedekind domains
Hilbert's basis theorem
Hilbert's Nullstellensatz
Hilbert's syzygy theorem
Homological algebra
tensor product
Tor functor
Ext functor
resolutions
Krull's principal ideal theorem
Krull dimension

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.

↑