# Talk:Algebraic number theory

WikiProject Mathematics (Rated B-class, Top-priority)

## Recent content

Hi. I'm not sure adding a bunch of condensed versions of basic articles is the way to go with this article. The inclusion of the section "algebraic integer" is understandable, but basic notions such as "Extension fields" and "Minimal polynomials" are not specific to algebraic number theory, and simply clutter the "Basic notions" section. The "Basic notions" section should be about basic notions of algebraic number theory, not basic notions of field theory, or ring theory. Thoughts? RobHar (talk) 20:57, 23 October 2008 (UTC)

My rationale for adding these new sections is that they help to make the article more accessible. This is a second-level mathematics article, linked directly from number theory and from Portal:Mathematics. I believe the article should aim to give the reader a high-level overview of algebraic number theory, with examples and links to more detailed articles. It needs a lot of work before it can meet that goal. Many readers will not have come here via ring theory or field theory, so they will need a summary of basic concepts such as field extensions, minimal polynomials, algebraic integers, norms and units. Before I started adding sections, the first section under "Basic notions" started with the sentence:
"One of the first properties of Z that can fail in the ring of integers O of an algebraic number field K is that of the unique factorization of integers into prime numbers."
For the general reader who has come here straight from number theory, I don't believe this sentence will make any sense at all - that's why the article needs to start with simpler concepts, building up to factorisation in algebraic number fields and classes of ideals. Anyway, that's my 2c - let's see what others think. Gandalf61 (talk) 09:50, 24 October 2008 (UTC)
I have moved the subsections you created to a new section "Prerequisite notions", so as to avoid confusion.
I guess I don't feel like I should be able to click on a wikipedia article and understand it without clicking the inline links of concepts I don't understand. It is indeed nice to have some introductory material (which the basic notions section already had), and I guess we disagree as to how far back the introductory material has to reach (given how much of it there would need to be). The article as it is is far from complete, and will grow to be quite long, so I feel like adding all this material to it is overkill (the size of the article has almost doubled yet no really new content has been added the encyclopedia). Perhaps, we should consider making an "Introduction to..." article. RobHar (talk) 16:35, 25 October 2008 (UTC)
I am not yet convinced that we need an "Introduction to ..." article in addition to this overview article. However, I will put a note on Wikipedia talk:WikiProject Mathematics to see if other editors have views on this. Gandalf61 (talk) 10:26, 26 October 2008 (UTC)
I tend to agree with Rob. To draw an appropriate image of the domain, it is necessary to make clear what topics the theory builds on. This does not mean, however, that there are several little "stub-sub-articles" put here. It is challenging, but doable (I believe) to roughly outline the majority of notions in one or two sentences - simply take the first sentence of a (hopefully meaningful) lead section of the article, enriched with the relationship to the use etc. of the notion in this article. Often an example is a good way to achieve this, along with (if necessary) the remark that this example is/is not the only source of complication compared to a situation the reader already knows. This should be done in a somewhat inviting way so that the reader feels urged to click at the blue link. So, for example the quote above could be reworded to something like
"Any integer can be uniquely decomposed (or "factored") as a product of prime numbers. The corresponding statement fails for O_K, as the example ... shows. O_K is therefore not a UFD, which yields its treatment more complicated than Z. The class group is a measure for this complication."
I would completely eliminate the whole talk about units at that point. The point that there is the ambiguity in the unit factor is something that IMO clearly belongs to a subarticle. Otherwise you get just too much, as Rob points out. Drawing an image of Z[sqrt(-5)] would be another good way to enlighten the reader. Jakob.scholbach (talk) 11:46, 26 October 2008 (UTC)
It seems to that except for the material on unique factorization and places, the article is not coherent. If I knew lots of abstract algebra but had somehow never encountered a number field, then after reading the article I still wouldn't have a good grasp of what makes number fields interesting. I think this is closely related to the disagreement over the level of the article: If the article had a focused presentation, then it would be easy to decide whether to write "Introduction to ..." or not. As it is, it's hard to tell whether or not that will be useful because it's hard to tell what the article is about.
As always, this article should start with the history. Where did algebraic number theory come from, after all, but the study of the integers? If we explain how to get from Pell's equation and Fermat's Last Theorem to number fields, then number fields will look useful and interesting; then all of the machinery that comes with them will look interesting, too. There should be a discussion of quadratic reciprocity and other reciprocity laws, eventually leading to Artin reciprocity and its requisite machinery. And so on, piggybacking the motivation for sections of the article on the motivations of the great algebraic number theorists.
An aside: The article doesn't mention function fields at all. That'll have to be fixed at some point. Ozob (talk) 22:51, 26 October 2008 (UTC)
Just a quick comment here. The article is indeed far far far from done. It was made collaboration of the "month" in mid-july and pretty much no one has done anything (except mostly me) since then. Here's what it looked like before [1]. There is a lot to be added to the article, most notably history. But the discussion at hand is whether the recent additions are what is needed. RobHar (talk) 23:03, 26 October 2008 (UTC)
Okay. Consensus is obviously solidly against the new content I have added, so I have reverted the article to the October 18 version immediately before I started my additions. I am done here. Gandalf61 (talk) 09:27, 27 October 2008 (UTC)
carl-m pointed me at this article after I asked for something to help with. Anyway As you guys probably want some input from someone that is a "newb" to the type of math I fit that description. I'm a math major at a public university in the US, but I have not yet taken a course about this topic.
1. What strikes me immediately in the intro is mentioning topics that I have never heard of. "This is generally accomplished by considering a ring of algebraic integers O in an algebraic number field K/Q (i.e. a finite extension of the rational numbers Q), and studying the properties of these rings and fields (e.g. factorization, ideals, field extensions)." If we are going to mention these... and we aim to target the general reader (one that has no prior knowledge of this topic) perhaps we could be let in a little more easily?
2. There is no history of the topic, this with my level of knowledge (post calculas, some other unrelated courses after calc) I'm sure I can research up something of the history if you guys wish.
3. The rest of the article suffers from no easy intro or idea of what this is useful for. You have to understand what a "ring" of numbers is before you can access this article comfortably. If you guys are willing to solve the prior problems, I can try to help you with making the first parts of it accessible. (if that is your interest). I'll check back in a few days. —— nixeagle 03:05, 29 October 2008 (UTC)

Hey nixeagle. Indeed this article is lacking in several respects including its accessibility. The intro certainly needs to be rewritten and expanded, and a history section is strongly lacking. I have tried to focus my own efforts on getting certain concepts and facts up, but have not had the time to finish that, or move on to making the article accessible, and I haven't yet attempted to make a history section (though I really want one). Your help with any of this would be great! Cheers. RobHar (talk) 04:36, 29 October 2008 (UTC)

I don't have the knowledge to make it accessible, but I can write a history up, where should the history section be? You guys should consider me a general reader on this topic, one that knows calculus and a few other unrelated math areas. —— nixeagle 18:58, 29 October 2008 (UTC)
Sounds good. My opinion is that the history section should be pretty much the first section. Certainly, I would place the history section first now. I don't know how other people feel though... Thanks. RobHar (talk) 19:14, 29 October 2008 (UTC)
Ok, I'm going to work on it in /history I have to gather up some book sources, but I think I have some decent internet sources. Our main problem here is that this history of this topic also intertwines with other sub topics of number theory. —— nixeagle 18:29, 31 October 2008 (UTC)
Perhaps commutative algebra should be mentioned at some point in the article as algebraic number theory uses many of its techniques (not that the commutative algebra article is very enlightening...) LkNsngth (talk) 06:38, 20 June 2009 (UTC)

## What should be added?

I'm willing to contribute to this article, but can someone give me some hints which parts should be extended/added? Ringspectrum (talk) 21:06, 17 January 2009 (UTC)

Quite a bit. What I've tried to do so far was add some stuff on basic notions so that the rest of the article can be written and make sense (in a more complete version, I would expect much of what I've written to be placed in their own articles). From here, I think it would be useful to start incorporating more recent stuff to better delineate what algebraic number theory is these days such as galois representations, automorphic forms, Iwasawa theory, arithmetic geometry, for example. These each have their own articles (kinda) but some mention of them here would be good. Or maybe it's just that that is what would be easiest for me to add. I think anything that would add content to wiki relevant to algebraic number theory would be good. Do you have any ideas? If so, by all means go ahead. I also have some things I've thought of at User:RobHar/Sandbox3. And of course, the vast and important history of algebraic number theory should be addressed. Cheers. RobHar (talk) 22:15, 17 January 2009 (UTC)
I added a subsection on local fields. You could add things like curves over number fields or Dedekind schmes and Abelian varieties/schemes to your list. —Preceding unsigned comment added by Ringspectrum (talkcontribs) 22:32, 17 January 2009 (UTC)
The history and historical development of the subject is sorely missing from this article. Damien Karras (talk) 12:36, 29 January 2009 (UTC)
I also noticed that while mentioned once above, there is currently no talk about including open problems. Adding some would possibly help give the reader an idea of some of the motivating questions in the field. Also, Fermats last theorem is never mentioned in the article.LkNsngth (talk) 17:42, 20 June 2009 (UTC)
Another comment: somewhere in the article, someone should explain what the notation ${\displaystyle Z[{\sqrt {5}}]}$ means. I would add it but it seems to not fit anywhere LkNsngth (talk) 04:27, 25 June 2009 (UTC)
Perhaps someone can add a section talking about the Langlands program (I know there is another page on it, but it is kind of small). As I understand, this is a important subject in number theory. —Preceding unsigned comment added by LkNsngth (talkcontribs) 04:43, 25 November 2009 (UTC)
@LkNsngth:I inserted two footnotes to explain the notation for ${\displaystyle Z[i]}$ and ${\displaystyle Z[{\sqrt {5}}]}$.—Anita5192 (talk) 05:27, 15 April 2020 (UTC)

## Content

This article is very well written and covers a few important topics. However, in my opinion, algebraic number theory is a topic which can be explained (if done well) to a layman. I understand that one of the implications of this would be that the article is too basic, and sacrifices the formal definitions for "intutive discussions" (this occurs quite frequently with WP articles). Should there be some intent of explaining this concept in a manner which does not require people to have a good grasp of ring theory? I feel that this article should at least appeal to a student of linear algebra and number theory, who has seen some of the general ideas within algebra, and understands the basic questions within number theory. As a side note, I also wonder whether this article will, at some point, no longer be the mathematics collaboration of the month. --PST 08:35, 21 September 2009 (UTC)

Indeed, what is currently here was my attempt to throw a bunch of content onto wiki which was not present before, eventually moving the content to separate new articles. I figured step 1 of writing a nice article on algebraic number theory would be to have the details available via a wikilink. My view for this article would indeed be a much more layman-friendly description of the field of algebraic number theory, relegating the details to subarticles. For example, since my edits, Jakob.scholbach has much improved the algebraic number field article, which is probably a better place for details about algebraic number fields than this article. I think the subarticles should be somewhat specific like Unit group of an algebraic number field. If you'd like to move around the content to make room for a nice big-picture oriented article here, that would be appreciated (by me at least).
As for the collaboration of the month aspect, that project seems to be rather dead. If you'd like to revive it (and change the COTM), I don't think anyone would oppose that. There was some discussion on its talk page about how to make it more popular. Nothing conclusive though. RobHar (talk) 19:07, 21 September 2009 (UTC)

## Orphaned references in Algebraic number theory

I check pages listed in Category:Pages with incorrect ref formatting to try to fix reference errors. One of the things I do is look for content for orphaned references in wikilinked articles. I have found content for some of Algebraic number theory's orphans, the problem is that I found more than one version. I can't determine which (if any) is correct for this article, so I am asking for a sentient editor to look it over and copy the correct ref content into this article.

Reference named "Singh":

• From Fermat's Last Theorem: [Fermat's Last Theorem, Simon Singh, 1997, ISBN 1-85702-521-0
• From Modularity theorem: Fermat's Last Theorem, Simon Singh, 1997, ISBN 1-85702-521-0

Reference named "Elstrodt":

I apologize if any of the above are effectively identical; I am just a simple computer program, so I can't determine whether minor differences are significant or not. AnomieBOT 16:36, 22 October 2013 (UTC)

## Questionable source

I can find no book by William Stein named "A Computational Introduction to Algebraic Number Theory". Does the original editor mean this book instead: Algebraic Number Theory, a Computational Approach? Thatsme314 (talk) 13:13, 7 January 2018 (UTC)