2
$\begingroup$

Any other definition for algebraic number than the root of algebraic equation?

$\endgroup$
7
  • $\begingroup$ What do you mean? Do you want a definition equivalent to the one you give or you want to ask if there are some texts where algebraic number means something else? $\endgroup$ Mar 7, 2013 at 12:25
  • $\begingroup$ Perhaps the OP is looking for some other characterisation of algebraic numbers than "is the root of a monic rational polynomial"? $\endgroup$ Mar 7, 2013 at 12:29
  • 4
    $\begingroup$ @Gerald: You might want to eliminate the first syllable of "independent". $\endgroup$
    – Lee Mosher
    Mar 7, 2013 at 12:59
  • 4
    $\begingroup$ Eigenvalues of a rational matrices. $\endgroup$
    – Name
    Mar 7, 2013 at 13:03
  • 1
    $\begingroup$ @Lee: I noticed the error, but have to wait for 2.0 to edit comments. $\endgroup$ Mar 7, 2013 at 13:18

2 Answers 2

12
$\begingroup$

In model theory, an object is algebraic in a structure $M$ if it satisfies a property that only finitely many other objects in $M$ exhibit, where by "property" here we mean one that is expressible in the first-order language of the structure. This is a weakening of definability, since $a$ is definable in $M$ if it satisfies a property that no objects other than $a$ have.

More generally, we say that $a$ is algebraic in $M$ over $A$, where $A\subset M$, to mean that one may use parameters from $A$ in describing the property. Thus, $a$ is algebraic in $M$ over $A$ if there is some first-order formula $\varphi$ and parameters $\vec c$ in $A$ such that $M\models \varphi(a,\vec c)$ and $\{b\in M\mid M\models\varphi(b,\vec c)\}$ is finite.

This general notion of an algebraic object is often illuminating in diverse mathematical structures, such as graphs, digraphs, orders, lattices and so on, where one has no polynomials.

Meanwhile, it agrees with the usual notion in the structure $\langle\mathbb{R},{+},{\cdot},0,1\rangle$, for example, and similarly for $\langle\mathbb{C},{+},{\cdot},0,1\rangle$, where the algebraic elements are precisely the solutions of (nondegenerate) integer polynomial equations. Of course, any such solution set is finite, but conversely, it follows from Tarski's deep theorem on elimination of quantifiers in real-closed fields, that every finite definable set in these structures turns out to be describable as a solution set of such polynomials. It is quite remarkable that quantification is so powerless in real-closed fields, and polynomial equations already capture the full expressive power of the language.

$\endgroup$
5
  • 1
    $\begingroup$ In any sufficiently saturated structure, an object is algebraic if and only if it has finite orbit under the action of the automorphism group. But these concepts are not equivalent in an arbitrary structure, for non-algebraic elements can nevertheless be fixed by every automorphism, as they are in $\langle\mathbb{R}, {+},{\cdot},0,1,\lt\rangle$. But meanwhile, an element is algebraic if and only if it has finite orbit in every elementary extension of the structure. $\endgroup$ Mar 7, 2013 at 18:37
  • $\begingroup$ This is very unfirmative, but I can't help feeling it answers a different question from the one intended by the OP $\endgroup$
    – Yemon Choi
    Mar 7, 2013 at 18:58
  • $\begingroup$ Oh, I'm very sorry if my answer has caused any looseness! :-) I probably agree with you, though, since I am unsure myself what kind of answer the OP may have had in mind. Meanwhile, I took the opportunity to mention a notion of algebraicity that I suspect is not so widely known outside logic, but which I find to be very interesting and easy to understand (and which answers the question). $\endgroup$ Mar 8, 2013 at 0:24
  • $\begingroup$ Joel: stubby fingers have undone me again :) (It was meant to be "informative", as you no doubt guessed $\endgroup$
    – Yemon Choi
    Mar 8, 2013 at 1:47
  • $\begingroup$ Joel, your answer or the definition by model theory is so universal, I am wondering whether there is any linkage between transcendental number theory and such a definition. $\endgroup$ Oct 29, 2014 at 12:17
8
$\begingroup$

Assuming ZFC, one can characterize the algebraic numbers in $\mathbb{C}$ as those numbers which lie in finite orbits under the action of ${\rm Aut}(\mathbb{C})$ on $\mathbb{C}$.

$\endgroup$
1
  • $\begingroup$ Thank you Stefan,I think I should accept your post as an answer either,but it is only possible to accept one. $\endgroup$ Mar 8, 2013 at 0:34

Not the answer you're looking for? Browse other questions tagged or ask your own question.