[gizmo686]

>x+3 is an element of Q[x].

I think this is incorrect.

Lets continue to assume we are working over Q. Without further context I would take "x+3=-1" to mean that x,3, and -1 are all elements of Q. 3 and -1 being the obvious elements; and x being an a-priori unknown elements which we can easility derive to be 2.

Notably, x+3 is not a polynomial in the technical sense. If we wanted to consider x+3 a polynomial, we would be asking for the t value such that (x+3)[t] = (-1)[t]. Where (-1) is also a polynomial, and (g)[t] is the map Q[x] X Q -> Q given by standard polynomial evaluation.

Sure, this question is equivalent, but I see nothing in the original equation "x+3=-1" to suggest any involvement of formal polynomials.

[sykh]

x+3 is an element of the polynomial ring Q[x]. More precisely it is syntactic sugar for the infinite tuple

(3, 1, 0, 0, ....)

A polynomial ring in one variable is an infinite direct sum of the base ring with addition component wise and multiplication defined in a certain way. The expression x+3 meets the definition of a polynomial.

[gizmo686]

I know what a polynomial ring is. I am not questioning that the string "x+3" can be interpreted as an element of Q[x].

What I am questioning is the necessity to interpret "x+3" as an element of Q[x].

>The expression x+3 meets the definition of a polynomial.

Only if you take x=(0,1,0,...) and adopt the convention that any member q of the base field Q is assumed to represent qx^0 = (q,0,0,...).

That is to say, x+3 only meets the definition of a polynomial because you insist on interpenetrating it as such.

However, we can also handle "x+3=-1" without ever defining the notion of a polynomial.

Eg, we can say, suppose x \in Q such that "x+3=-1". From this premise, we can derive presisly what specific element of Q x must be.

In a more general setting, we might only be able to derive a set of potential values that x could have, or derive that x cannot possibly exist.

As I mentioned in my prior comment, I see no reason to intererperet the "x+3" in "x+3=-1" as a polynomial. If we were to do so, the question would be asking: find t \in Q such that (x+3)[t]=(-1)[t]. Where (g)[t] is polynomial evaluation.

Applying the definition of polynomial evaluation, we would get that the above equation implies: t+3=-1.

Are you now going to insist that "t+3" is a polynomial. Bearing in mind that we have defined t to be an element of Q, which was necessary to apply it as the second argument of polynomial evaluation; and we only got "t+3" as the output of polynomial evaluation, which is defined to result in an element of the base field.

We could modify are notion of polynomial evaltuation to instead be of the form R[x] X R[x] -> R[x], which also gives us (for free) the ability to apply polynomials to other polynomials. But if we were to do this, then when we say that the solution to "x+3=-1", is -4, we are taking "-4" itself to be a polynomial.

In practice this is fine (we identify the base field with the subring of degree 0 polynomials all the time). However, this entire approach breaks down when you start working with functions that do not fit within the framework of polynomial rings.

For instance, suppose I said that "(x+3)! = 120". Are you still going to insist that "x+3" is a polynomial?

What if I define a function id: Q -> Q. In the equation "id(x+3) = 2, are you still going to insist that "x+3" is a polynomial?

[sykh]

Only if you take x=(0,1,0,...) and adopt the convention that any member q of the base field Q is assumed to represent qx^0 = (q,0,0,...). That is to say, x+3 only meets the definition of a polynomial because you insist on interpenetrating it as such.

That’s what we mathematicians do. In the context of the original post it is absolutely clear that x+3 is a polynomial. There is no other reasonable interpretation.

When you write things like:

Notably, x+3 is not a polynomial in the technical sense. If we wanted to consider x+3 a polynomial, we would be asking for the t value such that (x+3)[t] = (-1)[t]. Where (-1) is also a polynomial, and (g)[t] is the map Q[x] X Q -> Q given by standard polynomial evaluation.

it gives the impression that you don’t know what a polynomial is. The second sentence I quoted is not true. (EDIT: see note below, my interpretation of what was written was wrong.)

Of course if you change context then different interpretations arise. Which of course is the whole point of my original post. Like all spoken languages mathematical language is nuanced. Things must be interpreted in context.

When presented with the equation x+3=-1 x+3 is a polynomial. -1 is a polynomial.

I gather you do not think x^2 - x + 1 = 0 is a polynomial equation. Is x^3+4x a polynomial? Is there any other reasonable interpretation using accepted mathematical conventions? Perhaps you don’t think 2/(x+3) is a member of R(x). What is it a member of then?

Edit:

x+3 is a polynomial that defines a natural map from R to R. To solve the equation x+3=-1 is asking for the pre-image of -1 of this map. This is what it means to solve this equation. It’s solution set is an algebraic variety. I see no other reasonable interpretation. The whole branch of algebraic geometry is about precisely this. Studying zero sets of polynomial equations.

That we teach people rules they can apply to find the answer does not detract that what is really going is as I’ve described and as you did describe with the second quoted text.

[gizmo686]

>The second sentence I quoted is not true.

I assume you are refering to the sentence:

> If we wanted to consider x+3 a polynomial, we would be asking for the t value such that (x+3)[t] = (-1)[t]

Bearing in mind that the example I have in mind is the equation "x+3=-1" with the solution of "2", in what sense in the above sentence not true?

>When presented with the equation x+3=-1 x+3 is a polynomial. -1 is a polynomial.

Fair enough. In that case, I assume you would consider the equation "x+3=-1" to be false, as it is clear that (3,1,0,0,...) != (-1,0,0,...). Unless of course you are asking, as I had suggested, that you are looking for the particular element at which polynomial evalutation yields an equal result on both sides. If this is the case then, as far as I can tell, you are introducing the machinery of formal polynomials for the sole purposes of overloading the "=" symbol in a confusing way.

>I gather you do not think x^2 - x + 1 = 0 is a polynomial equation.

Define "polynomial equation" If you are asking if I would consider that an equation taking place in R[x], then (absent some other context) the answer is no. Even with other context I would say that "x^2 - x + 1 = 0" is false as a polynomial equation. You might be able to get me to call equations done in the quotient ring R[x]/<x^2-x+1> polynomial equations, in which case "x^2 - x + 1 = 0" would be both a polynomial equation and true at the same time.

If you are asking if I would call "x^2 - x + 1 = 0" in an informal setting, then the answer is yes. However, I do not see how this is relevant, as the whole point of this comment chain was the formal notion of polynomials.

>x^3+4x a polynomial?

Informally, yes. Formally, it depends on context. However, absent some context, I would not consider "x^3 +4x" to be a formal polynomial.

>Is there any other reasonable interpretation using accepted mathematical conventions?

Yes, x^3 +4x is the member of the base ring corresponding to "(x * x * x) + (4 * x)", where x is some other member of the ring.

>Perhaps you don’t think 2/(x+3) is a member of R(x). What is it a member of then?

I am glad you asked. I believe my above answer regarding x^3+4x still applies. However, let me ask you: Is x^3+4x a member of R(x)?

>What is it a member of then?

Again, depending on context. Without context, I would consider 2/(x+3) to be a member of R.

[sykh]

One of the points of my original comment was that when it comes to equations the = does not mean equal in the sense of stating two objects are the same. In the context of an algebraic equation to solve the = sign is really a question. It’s asking, what is the set of values that make the statement true?

I know of no mathematician who thinks x^2-x+1=0 is anything other than a polynomial equation. Specifically it’s shorthand notation for the variety of the ideal generated by x^2-x+1. And in general you don’t look associate this variety with the quotient ring of the ideal generated by the polynomial. You look at the quotient of the radical of that ideal.

Without any further information the only reasonable interpretation of x+3 is that it is a polynomial. Without any further context in an algebraic equation x is a variable and is not assumed to be an element of the base ring.

In the context of function spaces like C(R) it’s a different matter. And viewing x+3 as an element of C(R) the only reasonable interpretation of x+3=1 is that we are finding the pre-image of 1. And to do this for a complicated function means solving an equation. And solving an equation by hand, the context of my original comment, means reducing the equation to a simpler one. In the case I gave this means reducing x+3=1 to the simpler equation x=-2 whose solution is obtained by inspection. That’s the goal of all the algebraic manipulations we bore beginning algebra students with. Reduce complicated equation to simpler equation. One whose solution is obtained by inspection.

Your view of how to interpret x^3+4x is too simplistic because the only to way to algebraically manipulate that object is by considering it as an R[x] or R(x). You have to view the x as an indeterminate in some larger ring than the base ring.

[gizmo686]

>It’s asking, what is the set of values that make the statement true?

For this to be the case, there would need to be a statement in the first place. And that statement would involve the =, so you necessarily still have the = symbol representing something other than questioness. I would further say that the equation itself is still just a statement, and any "question" interpretation is based entirely on the context where the equation is presented.

Further, lets take seriously the notion that "x+1" is a polynomial in the formal sense. What does it mean to find the set of values for which x+1=2 is true? Normally, I would say that we are looking for the set of x values which makes that equation true. However, we are insisting that the LHS is a polynomial (again, in the formal sense). This means that there is no variable. The "x" in the LHS is literally a value. It makes no sense to ask what values of (0,1,0,0,...) make that equation true. The fact that we give (0,1,0,...) a standard name of x does not suddenly make the question sensical. Nor does the fact x is often used to represent variables.

>I know of no mathematician who thinks x^2-x+1=0 is anything other than a polynomial equation.

To be clear, outside of very particular contexts I would still call x^2-x+1=0 a polynomial equation, because it is extremly useful to talk about polynomials without invoking all of the machinery of formal polynomials.

>And viewing x+3 as an element of C(R) the only reasonable interpretation of x+3=1 is that we are finding the pre-image of 1.

I disagree. Viewing x+3 as an element of C(R), the only reasonable interpretation of x+3=1 is the statement (x↦x+3)=(x↦1).

Viewing x+3 as an element of R would allow us to treat the equation x+3=1 in the "obvious" way. We can prove that the statement x+3=1 implies that x=-2.

Further, I would agree with you that, absent other context, when given an equation which contains an "x" in it, there is some implication that we are supposed to solve for x.

>Your view of how to interpret x^3+4x is too simplistic because the only to way to algebraically manipulate that object is by considering it as an R[x] or R(x).

Why? Suppose I don't know what R[x] or R(x) is. We certainly don't teach highschoolers what either of those are, and they seem to be able to do "algebra" just fine.

Here is a simple approach to dealing with x^3+4x without considering it a member of R[x]. For concreteness, I want to solve x^3+4x=0.

Suppose x \in R such that x^3 +4x = 0.

By the distributive property, this equation is true iff x(x^2 +4x)=0.

By direct calculation, we can verify that x=0 is consistent with this equation, and therefore consistent with the original equation.

Consider the case where x != 0.

Note that the function f(n) = n/x is a bijection. Therefore, we have x(x^2 + 4)=0 iff f(x(x^2+4)) = f(0).

By direct computation, we get that this is true iff x^2+4 = 0.

We know that x^2 >=0, and 4>0.

Therefore, x^2+4 > 0.

This is a contradiction, which means that the case where x!=0 is impossible.

This means that we have proven that x=0.

Now, suppose we were working over C.

Continuing from x^2 + 4 = 0, we can show that:

x^2+4 = 0 iff

(x+2i)(x-2i) = 0 iff

x+2i = 0 OR x-2i = 0 iff

x=2i OR x=-2i

Since the cases x=0 and x!=0 are exhaustive, we have proven the statement x \in {0, 2i, -2i}.

I solved this using the method we teach school children and without invoking any notion of polynomials.