Definition talk:Algebraic Number Field

They're only equivalent without the restriction to finite extensions in the first! --Linus44 17:42, 27 March 2011 (CDT)
 * That went so far over my head I didn't hear it whistle ... I think I need to do some reading. --prime mover 00:23, 28 March 2011 (CDT)

I understand now what I did wrong when I added the second definition for a number field - I quoted an unnecessarily loose sentence in.

I believe what needs to be done is that the second sentence should be extracted into a proof that such a number field is an element of the set of all number fields in that it has $\Q$ as a subfield - but this can not be used as a definition. --prime mover 00:40, 18 August 2011 (CDT)

Suggested rename to Algebraic Number Field
... why? --prime mover (talk) 21:13, 18 October 2012 (UTC)


 * I'm currently following a course on these; it's plainly called number field there as well. --Lord_Farin (talk) 21:25, 18 October 2012 (UTC)


 * Because "number field" makes "standard number field" sound like a special case of this. That's really it. --abcxyz (talk) 22:44, 18 October 2012 (UTC)


 * I argue a) not, and b) so what? --prime mover (talk) 05:24, 19 October 2012 (UTC)


 * Seems like you prefer the way it is, so let's just leave it like that then. --abcxyz (talk) 05:32, 19 October 2012 (UTC)


 * You have a point there; I suggest to at least add a note about possible confusion and your new proposed term. --Lord_Farin (talk) 08:15, 19 October 2012 (UTC)


 * Unhelpful linguistic note: in english, almost invariably nouns of the form " noun" are a special case of the noun. Counter-examples are unusually frequent in mathematics, for example skew field. It's still quite rare. --Linus44 (talk) 10:00, 19 October 2012 (UTC)

The difference between Definition:Number Field and Definition:Standard Number Field is indeed because the latter are a special case of a Definition:Number Field which includes things like $\Q (\sqrt 2)$, i.e. numbers of the form $a + b \sqrt 2$ where $a, b \in \Q$. There's an "also known as" which covers the "Algebraic Number Field" bit, so we're done.

I'm against just renaming a page because a particular book (or school) has it under a different name. There are options one way or another with a lot of these things, and we pick one, and by default that one is the de facto standard on this site. We would rename if a) it turns out that the one chosen by ProofWiki is a seriously minority definition (not sure that's the case here) or b) there are other related concepts which are often given the same name, and it is necessary for us to pick a naming scheme which has least ambiguity (the recent renaming of "neighborhood" to "open ball" in metric spaces is a case in point). Renaming is a nuisance and tedious, so it's only worth doing if there is an overwhelming need for it. In all other cases, an "also see" and a redirect page should cover it.

Also in this case, "algebraic" in this field of activity usually stands in counterpoint to "transcendental". Is the definition given on the Definition:Transcendental page an instance of this? If so, then maybe there is a case for "algebraic", but if it happens to be a coincidence of terminology, then certainly not. --prime mover (talk) 18:58, 19 October 2012 (UTC)


 * It's not quite a special case: a number field as defined must have finite degree over $\Q$. There was an example (I think on this page) that $[\R:\Q] = \infty$, so $\R$ is not a number field.


 * There is a case for algebraic number field, for the reason that you stated. The fact that $\R$ contains transcendental numbers is only possible because $[\R:\Q] = \infty$ (though this condition isn't sufficient to guarantee transcendental elements). There's a result (Finite Field Extension is Algebraic) that a finite extension of $\Q$ cannot contain transcendental elements.


 * I think it's not too important: "algebraic number fields" is also common terminology; but no-ones going to be totally thrown by either. In my experience, the use of "standard number field" for $\Q,\R,\C$ is less common. --Linus44 (talk) 19:07, 19 October 2012 (UTC)


 * "Standard number field" was me, so as to have a way to identify these three entities simply and more-or-less obviously. --prime mover (talk) 19:52, 19 October 2012 (UTC)


 * Got it. This is where we've gone wrong. Linus44 put this page up Mar 2011 as a finite extension of $\Q$. Prime Mover then posted up that a number field is a subfield of the complex numbers (that is, $\Q,\R,\C$ and e.g. $\Q \sqrt 2$) from the book he was studying. It was then pointed out that the two defs are not equivalent.


 * But a "number field" is, by intuition, a "field of numbers". So $\R$ ought to be a number field.


 * Bugger it, more domestic trivia to attend to. I swear I'm gonna have to kill myself. --prime mover (talk) 19:57, 19 October 2012 (UTC)


 * Okay I concede. This is one of the ambiguity cases. Call an "algebraic number field" the finite extension, and a "number field" a subfield (finite extension of $\Q$ or not) of $\C$. Standard number fields are a specialisation of number fields, as are algebraic number fields.


 * See, it's all in the way you explain what you mean. --prime mover (talk) 22:40, 19 October 2012 (UTC)