Talk:Algebraic number/Archive 1

Archive 1

Examples

[Discussion from before July 2001]

This is a subject where it is easy to give examples- like sqrt(2) etc. Let me be the first to suggest this. And also what are not algrebraic numbers, i.e. transcendental numbers. I see there is an entry for this. Nevertheless, you could mention them on the algebraic number page and link. RoseParks

I've added some. -- Jan Hidders----

Lookin good...RoseParks

Not algebraic

What do you call numbers which can be obtained from the integers by a finite series of additions, multiplications, divisions and root extractions? I know they are not algebraic numbers, since solutions to polynomials of degree five or higher cannot be obtained in this way, and yet they are by definition algebraic numbers. -- Simon J Kissane

An equation whose roots are numbers of the form you describe is said to be "solvable by radicals". My guess would be that the class of numbers would be the "radical expressions" or something, but I don't know. -- Carl Witty

I've been asking professors and others the same question and I suggest calling them solvable numbers. It's clearly a subfield. Richard Peterson

Definition

Looking at MathWorld - Algebraic Integer, I think there might be something wrong with the definition of algebraic integers here.

QZ 13:55, 2004 Mar 19 (UTC)

Don't see it. Charles Matthews 15:26, 19 Mar 2004 (UTC)

I think you need to say that the coefficients are all integers. Otherwise, I can say 2/3 is an algebraic integer, because it's a solution of 1*x - 2/3 = 0, which is a monic polynomial. Not entirely sure, so not changed. Jonpin 08:26, Oct 1, 2004 (UTC)

Well, it says all the a_i are integers at the top of the page; still applies. Charles Matthews 18:37, 1 Oct 2004 (UTC)

It doesn't anymore; it was changed on 4 Oct 2004. --RRM 06:43, 8 Mar 2005 (UTC)

Link suggestions

An automated Wikipedia link suggester has some possible wiki link suggestions for the Algebraic_number article, and they have been placed on this page for your convenience.
Tip: Some people find it helpful if these suggestions are shown on this talk page, rather than on another page. To do this, just add {{User:LinkBot/suggestions/Algebraic_number}} to this page. — LinkBot 01:01, 18 Dec 2004 (UTC)

I added the links that made sense. Edward 00:24, 22 Dec 2004 (UTC)

Ring of Integers redirect

"Ring of Integers" currently redirects to this article, but I'm going to move it so it redirects to Ring (mathematics), which I consider a more suitable target. --Malcohol 09:49, 8 Jun 2005 (UTC)

p-adic algebraic numbers

While I think it's important to point out that p-adic numbers can also be algebraic, I'm a bit concerned if we don't specify precisely what an "algebraic number" is when no field is specified. For instance, statements like "the algebraic numbers form a field" or "the algebraic numbers are countable" are false if we leave it open like that. Also, many other pages that link here and describe properties of algebraic numbers would have to be qualified, since many of these statements don't work for p-adic algebraic numbers.

I'll try to do something about this issue, but other suggestions are welcome. AxelBoldt 18:56, 14 May 2006 (UTC)

As far as I can think of the term "algebraic number" is reserved for a root of a polynomial with coefficients in the rationals. The p-adic numbers are not algebraic, specifically because they are obtained by the analytic process of completing the rational numbers. One can speak of elements that are algebraic over a p-adic number field, but then one enters the more general concept of algebraic elements. For this reason, I will modify the introduction of this article, I'll also make some changes to the rest. RobHar 20:50, 22 December 2006 (UTC)

No, that's not right. The algebraic closure of the rationals in the p-adic field is quite large. All those numbers are algebraic. There is no essential difference, abstractly, between those numbers and the algebraic closure of the rationals in the complex numbers. Charles Matthews 22:53, 22 December 2006 (UTC)

Ah I see, I thought it was being said that the p-adic numbers were algebraic, but what was pointed out was that certain p-adic numbers are algebraic. Actually, any field of characteristic zero contains the rationals, so perhaps I shall replace "complex number" in the definition with something more general. Something like an algebraic number is a root of a polynomial over the rationals, it is often taken in the complex numbers but can be in any field of charateristic zero. Does that sound good? RobHar 00:53, 23 December 2006 (UTC)

Yes, this is a very important point, both theoretically and computationally. The definition needs to be changed, and I prefer to just leave it as a root of a polynomial, without reference to any particular field that the root lives in.

An algebraic number can always be viewed as a number in some algebraically closure of the rational numbers, and all of these closures are isomorphic fields. However, there is no canonical description of such a closure. Any such closure can be viewed as embedded in the complex numbers, but again, there is no canonical way to view this embedding. Thus, an algebraic number can generally be thought of as a complex number, but not in a canonical way, and in general it is just an element of some algebraic closure of the rationals.

Since all algebraic closures are isomorphic, this may seem like a trivial point, but it's not. It plays a serious role in trying to write computational number theory programs. For instance, viewing the rational numbers as embedded in the complexes in the usual way, the roots of x3 − 2 can be thought of as the real number \sqrt[3]{2} and the two non-real roots \zeta \sqrt[3]{2}, \zeta^2 \sqrt[3]{2}, where ζ is a cube root of unity. Here, one intuitively sees a huge distinction between the three roots -- the first is real, and the second two aren't. However, this distinction is an artifact of having fixed the complex numbers as an algebraically closed field containing the rationals, and having an intuitive feel for the distinction between real and non-real numbers.

To work with these numbers algebraically in a computer, you cannot ahead of time "explain" the intuitive notion of the complex numbers to the computer ahead of time, and then allow it to work with algebraic numbers of arbitrarily large degree by working within this field (at least, as far as I know no one can do this). Instead, all you tell the computer is that you are working with a root of x3 − 2. Not only does the computer have no way to distinguish between the three roots from this description, there is no way for the computer to single out an algebraically closed field containing these roots.

Avoiding thinking of algebraic numbers as living in the complex numbers with a particular embedding is also important for theoretical reasons. Doing this is sort of like "fixing a basis" for a vector space when you don't have to -- working in a coordinate-free manner can often be important.

The above discussion is rather technical, from the point of view of someone who doesn't know much or anything about algebraic numbers and wants to learn from this page. To avoid much confusion, especially in the first sentence of the page, how about just referring to the algebraic number as a root of a polynomial. Discussion of what field to view this number in can be deferred until later in the article, at least not in the introduction. Any thoughts —Preceding unsigned comment added by B2smith (talk • contribs) 18:20, 7 December 2008 (UTC)

irrational number may or may not be algebraic

... An irrational number may or may not be algebraic. For example ... 31/3/2 (half the cube root of 3) are algebraic because they are the solutions of ... 8x3 − 3 = 0, ... Is this right? Not 2x3 - 3 = 0 ?

No the article states it correctly, since

x = (3/8)^1/3 = 3^1/3/2

— Preceding unsigned comment added by Payxystaxna (talk • contribs) 23 November 2006 (UTC)

"Numbers defined by radicals" section

Please, can some expert clarify "Numbers defined by radicals" Section? Specially the part about n>=5 ---Thanks, AlfC

Examples

In the examples section on this page, the statement is made that "an irrational number may or may not be algebraic". Examples of the positive are given, but no counter-examples. Could π be such a counter-example? I think it is, but for the life of me I cannot prove it.

I think a counter-example has to be given to clarify the statement, if someone has one (with proof) please add it. Thanks payxystaxna 15:42, 23 November 2006 (UTC)

If Infinity an algebraic number?

It would seem so from the article, as 1÷0 gives infinity. Worth spelling out? quota 09:50, 12 February 2007 (UTC)

1/0 does not give infinity. --176.199.192.165 (talk) 04:57, 23 January 2016 (UTC)

Reread the definition: algebraic numbers are complex numbers. Infinity is not a complex number, so it can't be an algebraic number. --Zundark 13:01, 12 February 2007 (UTC)

A better answer perhaps is simply that infinity is not a root of a polynomial. It could be said to be a solution to 1/x=0 (for example in the context of the Riemann sphere), but 1/x is not a polynomial. RobHar 04:26, 3 May 2007 (UTC)

Contradiction between Algebraic numbers and Transcendental number

The article Transcendental number states that

In mathematics, a transcendental number is a real or complex number which is not algebraic, i.e., not a solution of a non-zero polynomial equation with integer coefficients.

whereas in the article Algebraic numbers the following is stated:

In mathematics, an algebraic number is a complex number that is an algebraic element over the rational numbers. In other words, an algebraic number is a root of a non-zero polynomial with rational (or equivalently, integer) coefficients.

Is it only integer coefficients or rational coefficients? Hakeem.gadi 09:27, 10 April 2007 (UTC)

It makes no difference, since you can change the rationals to integers without changing the roots of the polynomial (just multiply through by the lowest common denominator). --Zundark 10:04, 10 April 2007 (UTC)

Except it does make a difference, in the context of what's written on the page now. It says that if there exists a monic polynomial of degree 1 with x as a root, then that's equivalent to x being rational. That's true if the coefficients of the polynomial are rational, but obviously false if the coefficients are integer.24.91.135.162 23:03, 28 May 2007 (UTC)

Yes, the minimal polynomial is defined to be a polynomial over Q, not Z, since we want it to be monic. I've edited the article to make this clearer. There may be other places in the article where such clarification is needed - my comment above is only about the definition of algebraic numbers. --Zundark 08:59, 29 May 2007 (UTC)

Non-zero

I don't understand the qualification that it must be a non-zero polynomial. What is a zero polynomial? What would be (wrongly) included in the definition of an algebraic number if this qualifier were dropped? What does it exclude? --DavidConrad 19:48, 31 July 2007 (UTC)

The zero polynomial is 0. Every complex number is a zero of this polynomial. --Zundark 20:07, 31 July 2007 (UTC)

"Constant" or "real number"?

I changed "The real numbers $\pi$ and $e$ are not algebraic numbers" to "The constants $\pi$ and $e$ are not algebraic numbers" and was reverted by with summary "real numbers" is preferable to "constants", this is math, not physics.. The pi and e (mathematical constant) articles begin with "Pi or π is a mathematical constant and a transcendental (and therefore irrational) real number..." and "The mathematical constant e is the unique real number such that...", so I can see a case for both. Opinions? —METS501 (talk) 14:31, 3 August 2007 (UTC)

Hi, I'm the one that reverted it back to real number. I guess I read the change and was sort of surprised to read that. Perhaps the article on algebraic numbers is the one where I would least want pi and e to be called constants since the article discusses in some sense what numbers actually are. That the articles for pi and e refer to them as mathematical constants, I am definitely fine with since people will be looking up those definitions with all sorts of various fields in mind. However, I feel that in this case, pi and e are mentioned halfway through an article on what is definitely pure math (and where no functions are mentioned), and thus within the scope of this article I would rather refer to them as real numbers. Even more specifically, the section that they are mentioned in have a clear sentence pattern rational->irrational->complex->real that seems odd with constant instead of real. But yes I would like to see some discussion on this, as I actually don't know anything about what wikipedia thinks of the scope (and context) of referring to things. Sorry if my revert may have surprised you, I was quite happy with your cleanup, though. RobHar 19:09, 3 August 2007 (UTC)

I've a preference for the real number $\pi$, ... as it emphasise the fact that there exist real numbers which are not algebraic. --Salix alba (talk) 19:37, 3 August 2007 (UTC)

OK, no problem. —METS501 (talk) 20:19, 4 August 2007 (UTC)

Technically a constant is an atomic name (e.g. "$\pi$" but not "$\pi +1$") for a specific value. The truly pedantic usage is as in "the real number $\pi$ is 3.14…" as distinct from "the constant '$\pi$' has value 3.14…." The reasoning is that with the quotes you're speaking about the name, without them the value of the name. In practice hardly anyone observes this nicety, and quotes that should have been there are routinely dropped. That everyone is used to this makes "constant" tolerable when referring to a specific value by its atomic name.

That said, this particular bit of pedantry comes at negligible cost (three extra characters), whence there is no excuse for Wikipedia to be sloppy; it should use "real number" here. (Incidentally variables are also atomic names, but not of a specific value, and hence do not qualify as constants. All this is equally applicable to Boolean algebra and other systems of nonnumeric values.) --Vaughan Pratt (talk) 20:50, 21 December 2008 (UTC)

Holding place to develop notion of "representation of numbers by decimals"

> Given an algebraic number a₀xⁿ + a₁x^n-1 + a₂x^n-2+ ... + a_n-1*x¹ + a_n = 0

It is quite possible for certain ordered collections of coefficients (a₀,a₁,a₂,...a_n-1,a_n) that an x satisfying the equality will be a positive whole number, and every coefficient will be less than x. For example:

7*x³ + 3*x² + 9*x¹ - 7390 = 0 is statisfied by x = 10, i.e. the collection of four coefficients (7, 3, 9, 5) is less than 10, and 10 satisfies the equation

(a) 7*10³ + 3*10² + 9*10¹ + 5 - 7390+5 = 0

Any number whatever, given an unbounded sequence of digits (if required), can be expressed as an algebraic number with an integer part and a fractional part.

A rigorous treatment requires the notion of whole numbers (counting numbers, more accurately) as tally marks (such as would be generated by repeated appliction of the successor function), and a process of "division" as defined by e.g. the accumulation in place called Q of the number of successive subtractions of a divisor D until the numerator N (minuend) is less than or equal to the divisor (subtrahend) D; at this point what is left of the numerator N -D -D ... -D = R is defined as the remainder (or residue) and placed in a place called R:

• Start: (given N, number to be divided, D the divisor, Q is the quotient, R is the residue)
• 1 empty quotient Q ;i.e. 0 => Q
• 2 IF N<D THEN step 6
• 3 N-D => N
• 4 increment Q
• 5 goto step 2
• 6 copy N to R
• 7 HALT

This presupposes that "subtaction" and "less than" have defintions. But for this we will assume that they do (as primitive recursive functions.)

The first version is customarily written as: M -S*Q -R =0 the tally-count of S-subtractions is Q.

Example: 7395 tally marks in N, divisor is 10 ( |||||||||| tally marks, for instance): After 739 subtractions of 10 tally marks, Q will have 739 tally marks in it, and R will have 5 leftovers in it.

To do a full conversion of a number of unknown "size", the process must repeat until the quotient Q is less than the divisor D. This requires that we "index" our residues R₀, R₁, R₂, ... R_n.

Per our example, the first round starts with 7395 counts, divides these into [Q] = 739 groups of 10 with a residue of 5, so R₀ = 5.

This process can proceed again with the quotient 739, and again with 73, and again using 7, until at last the computation arrives at the quotient Q less than the divisor D: 7 < 10.

As before, start with 7395 tally marks in the place called "N" (numerator)

N = 7395 => Q

• First division of N=173 by D=10 yields (Quotient, Remainder) = (Q, R) = (739, 5). Put "5" (5 tally marks) into place called "R₀".

Move the quotient [Q] = 739 into N

• Second division of N=739 by D=10 yields (Q, R) = (73, 9). Put "9" into place called R₁.

Move the quotient [Q]=73 into N

• Third division of N=73 by D=10 yields (Q, R) = (7, 3). Put "3" into place called R₂.

Move the quotient [Q]=7 into N

• Fourth division of N=7 by D=10 yields (Q, R) = (0, 7). The algorithm escapes the loop. Put "7" into place called R3

HALT

List as an ordered-tuple (R₀,R₁,R₂,R₃) = (5,9,3,7). These are the coefficients written backwards, i.e. we can rewrite as follows:

R₃*10³ + R₂*10² + R₁*10¹ + R₀*10⁰ - N = 0

a₀*10³ + a₁*10² + a₂*10¹ + a₃*10⁰ - N = 0

[?? doesn't look right]] This can be derived from the general form: N_n+1 - D*(Q_n - R_n) - R_n+1 = 0, i.e.

Q₀ = 0, and N₁ - D*(Q₀ - R₀) - R₁ = 0

Example:

• 7 -0*10 -7 = 0;
• 73 -10*(0*10 -7) -3 =0
• 739 -10*(10*(0*10 -7) -3) -9 =0
• 7395 -10*(10*(10*(0*10 -7) -3) -9) -5 =0
• 7395 -10*10*10*7 -10*10*3 -10*9 -5 = 0 or 7395 - 10³*7 - 10²*3 -10¹*9 -5 = 0

>We reduce any finite number (i.e. one that we can write) to its "mantissa" (basically a string of digits and a decimal point) times its base" to a integer-power in either one of two ways:

1234567.890123456789 = .1234567890123456789 *10⁷

1234567.890123456789 = 1234567890123456789. *10^-12

> Theorem 135 p. 111 in Hardy and Wright to the effect that any positive number ξ can be expressed as "a decimal" that extends infinitely to the right. This number will have an "integer part" (customarily written to the left of a "decimal point") and a "fractional part" (customarily written to the right of the decimal point).

> Any postive, whole-number divisor D > 1, aka "base" can be used (even non-whole numbers could be used -- these represent "unit measures" repeatedly subtracted from "the pile" [??])

wvbailey Wvbailey 21:30, 16 October 2007 (UTC)

The new definition

I don't really like how the definition in the introductory paragraph has changed. Using the fuzzy term "number" is really not preferable. One can't say that numbers that aren't algebraic are transcendental, for example, is aleph_0 transcendental? Also, the writing is cumbersome, with all the parenthetical remarks. I intend on putting the old definition back, and editing many of the recent additions to make the writing style less cumbersome. RobHar 08:06, 14 October 2007 (UTC)

You're just messing with something that comes verbatim from a quoted source. What I recommend you do is try to improve what's there. Cf Hardy and Wright. I will just revert your reversion unless you provide sources. aleph_0 is not a number, it's a 2nd order concept. Bill Wvbailey 16:28, 14 October 2007 (UTC)

Hardy and Wright was written 70 years ago, it will thus phrase things in ways that aren't as good as more recent books. I simply intend on replacing the definition with what it was, and include a reference which actually has that definition verbatim, coincidently. My comment related to aleph_0 is about internal consistency, the wiki article on "Number" mentions all sorts of numbers, such as cardinals. The fact is, you came to this article and made major changes (to things that, in my opinion, didn't need them) without discussing the changes first. Thus the changes are being discussed afterwards. RobHar 19:06, 14 October 2007 (UTC)

RE: your perceived ownership of this article: Read Wikipedia:Be bold.

RE: lead paragraph: This is from the transcendental number article:

In mathematics, a transcendental number is a real or complex number which is not algebraic, that is, not a solution of a non-zero polynomial equation, with rational coefficients.

Bill Wvbailey 20:21, 16 October 2007 (UTC)

I in no way feel that I own this article, and I believe in the "be bold" credo, but if one is bold one must expect people to disagree. I've expressed my disagreement with the replacement of the term "complex number" with just the term "number". I could've easily just reverted your change, but because I do not feel entitled to run this article, I decided to post a discussion about it instead. Basically, your editing of the lead paragraph is essentially the following two actions: 1. replace "complex number" with "number", and 2. replace "with rational coefficients (or equivalently integer coefficients)" with "with integer coefficients". I disagree with these changes and strongly disagree with the first one. You have simply taken away information. Can you tell me what was wrong with the lead paragraph before? RobHar 04:43, 17 October 2007 (UTC)

Cantor etc.

I removed "The fact that most numbers, indeed almost all, are "transcendental" is proven by use of the Cantor diagonal method.". "Almost all" in math means "all but a finite number", and clearly there are infinitely many rational numbers and infinitely many algebraic numbers. Moreover, Cantor's Diagonal Method proves that the set of the rational numbers is aleph 0, i.e. the same order as the set of the integers. It says nothing about irrational algebraic numbers, e.g. square roots. --Sky Diva 23:11, 1 December 2007 (UTC)

While the term almost all can be used in that sense, it is also frequently used in the sense of almost everywhere, that is, something is true for "almost all" cases if the exceptions form a set of measure zero.

Cantor's diagonal argument does not show that anything is countable. It proves that a set is uncountable. You may be thinking of the argument that the rationals are countable which works by arranging them into a square grid and following diagonals. In contrast, the diagonal argument shows that the set N^N of sequences of natural numbers is uncountable by assuming for contradiction that the sequences can be enumerated as the list

α₀, α₁, α₂, …

and constructing a sequence Δ = (α_i + 1)_i which differs from the ith sequence in the ith place (i.e., on the "diagonal" you'd see if you were to write out all these sequences). Since Δ differs from every α_i, it cannot appear anywhere in the list, giving the desired contradiction.

I don't see anything that prevents the diagonal argument from being used to show that there are uncountably many transcendental numbers. After all, it can be used to show that there are uncountably many complex numbers, and it is straightforward to prove that the algebraic closure of the rationals is countable. Michael Slone (talk) 01:35, 2 December 2007 (UTC)

Firstly, the example that was removed was followed by an explicit reference. Looking up that reference, one can see the proof given that indeed uses Cantor diagonalization (in one of its standard uses that shows that the reals are uncountable; having previously shown the algebraic numbers are countable, the result follows). Almost all means for all but a set of measure zero; in the case of counting measure, this is indeed "all but finitely many", but for the standard Lebesgue measure on R, other "bigger" sets have measure zero (e.g. any countable set, or the Cantor set), and looking up almost all on wiki gives this definition. I'm undoing the edit. Thanks for your concern, but please be more careful next time. RobHar 05:13, 2 December 2007 (UTC)

References

Decimal representation

I think I read somewhere that the decimal representation (or in another base) of an irrational real algebraic number would look like a random sequence of digits (bits, trits, whatever). This would immediately imply that numbers like 0.1010010001... and the non-rational elements of the Cantor set are transcendent. Is this true? If so, where is the source? Albmont (talk) 16:37, 6 July 2009 (UTC)

According to the normal number article, this is merely a conjecture. --Zundark (talk) 16:53, 6 July 2009 (UTC)

Hunted down by my mathematical trauma again

I love mathematics, I honestly do, I just wish someone would go through the effort of explaining it exhaustively. Take for instance the first example of an algebraic number on this page. x=a/b=sqrt(bx-a), which always adds up to sqrt(0)=a/b which is nonsense. And there's nothing which would have prevented me from making this mistake it seems. —Preceding unsigned comment added by 145.18.26.117 (talk) 15:36, 12 May 2010 (UTC)

It is not the square root of bx − a. a/b is a root of the polynomial f(x) = bx − a, i.e. a number r such that f(r) = 0. RobHar (talk) 17:26, 13 May 2010 (UTC)

Radical

Nowhere in the section "Numbers defined by radicals" does the term radical appear. Isn't that odd? 82.75.140.46 (talk) 08:35, 7 February 2011 (UTC)

2 recent reversions

Hi, RobHar. You've reverted two of my recent edits, and I'd like to discuss them.

First, you've reverted

an algebraic number is a complex number, real or non-real,...

to

an algebraic number is a number...

The purpose of my edit is that the non-mathematician reader who does not know about this will probably interpret "a number" as referring to a real number. You say (if I understand you correctly) that keeping it purposely vague is good because it avoids making it too specific; but I think that the effect on the typical reader is going to be just the opposite -- making it seem more specific (real numbers only) than it is intended to be.

Second, you've reverted

...a root of a non-zero polynomial in one variable with rational coefficients. Since polynomials with rational coefficients can be multiplied through by the lowest common multiple of the rational coefficients to get a polynomial with integer coefficients but having the same roots, this definition can also be restated to specify that the polynomial has integer coefficients.

to the original shorter version

...a root of a non-zero polynomial in one variable with rational coefficients (or equivalently integer coefficients).

saying it's unnecessary in lede to expound upon equivalence of rational/integer coeffs. The problem here is that the original wording is bound to be baffling to a reader who doesn't know this material, leading the reader to wonder "Well, which is it, rational coefficients or integer coefficients -- I thought rational and integer coefficients were not synonyms." Can we come up with a wording that is both non-baffling and non-wordy? How about this?:

...a root of a non-zero polynomial in one variable with rational coefficients, and therefore also the root of such a polynomial with integer coefficients.

Duoduoduo (talk) 21:55, 7 January 2012 (UTC)

Hi, Duoduoduo. Regarding the first reversion: I guess my opinion is that when the typical reader sees "number" they will think "number", whereas if they see "complex number" they will think "oh, this is complicated". In some sense, the laymam has an intuitive notion of numbers, and while it's true that that intuition likely does not consider complex numbers, it is also not really thinking of real numbers in the way that you and I think of them. I think it's worth pointing out that not all algebraic (complex) numbers are real, but I don't think it's necessary to do so in the first sentence of the article.

Regarding the second reversion: I'd just like to keep parenthetical comments out of the lede. One option is to include your explanation as a footnote. I think I'd rather remove any mention of integer coefficients in the lede than expound upon why the two are equivalent in the main text of the lede.

Best, RobHar (talk) 22:14, 7 January 2012 (UTC)

Hi Duoduoduo and RobHar. Thanks for working on this very good article, and I'd like to add my opinion to your conversation.

1st revert: 3Duo says "...the non-mathematician reader who does not know about this will probably interpret "a number" as referring to a real number." Well, I certainly do, so I go along with 3Duo: you should mention that complex numbers are meant. Instead of 3Duos "...a complex number, real or non-real, ..." I suggest "real or complex number" - seems simpler to me, and isn't this common usage?

2nd revert: I find 3Duos sentence "Since polynomials ..." fine, but RobHar also has a point about parenthetical comments in the lede. The current version (or equivalently — by clearing denominators — with integer coefficients) is an excellent compromise: the added "by clearing denominators" is absolutely necessary.

3Duo is right to keep the general reader in mind. May be not grandma, since she won't come here anyway, but scientists and engineers (to be) in general.

Keep up the good work. --Herbmuell (talk) 12:56, 25 January 2015 (UTC)

Interpreting the drawing

It isn't clear (to me at last) what that drawings are supposed to ilustrate. Is it supposed the drawing represent the complex numbers and the colored ones are the algebraic? How was it generated, has anyone the algorithm? — Preceding unsigned comment added by 186.22.168.237 (talk) 18:45, 25 October 2012 (UTC)

Click on the drawings for a more detailed description. They were presumably generated by iterating through low-order polynomials with integer coefficients and obtaining their roots. It's not clear to me that the article should be clarified in this respect, but if you have some concrete suggestions in this regard you could raise them here. — Quondum 05:11, 26 October 2012 (UTC)

The fact that the previous image used different sizes for differents points somewhat confused me, so I made a new image representing the algebraic numbers. It's ugglier than the previous, but I hope it helps. — Preceding unsigned comment added by Arathron (talk • contribs) 06:56, 27 October 2012 (UTC)

Subfields

@Nxavar: Note our definition of subfield:

Let L be a field. A subfield of L is a subset K of L that is closed under the field operations of L and under taking inverses in L. In other words, K is a field with respect to the field operations inherited from L.

The algebraic numbers are a subfield of the complex numbers; we need not verify the field axioms. — Arthur Rubin (talk) 16:49, 27 January 2016 (UTC)

The problem is that it is not mentioned that the complex numbers are a field, which makes the argument incomplete. Nxavar (talk) 08:40, 28 January 2016 (UTC)

Assessment comment (2006)

The comment(s) below were originally left at Talk:Algebraic number/Comments, and are posted here for posterity. Following several discussions in past years, these subpages are now deprecated. The comments may be irrelevant or outdated; if so, please feel free to remove this section.

The introduction defines algebraic numbers as being over the rational numbers, then says that they can be over other fields. Lacks discussion of very rich history and motivation, this article will be a little confusing to anyone that is not a mathematician shotwell 16:23, 7 October 2006 (UTC)

Last edited at 22:13, 19 April 2007 (UTC). Substituted at 01:45, 5 May 2016 (UTC)