Intereting Posts

show invertibility of linear transformations
How prove this integral equation $\int_{a}^{b}\frac{1}{\sqrt{|f(x)|}}dx=\int_{c}^{d}\frac{1}{\sqrt{|f(x)|}}dx$
A continuous function and a closed graph
Can the identity $ab=\gcd(a,b)\text{lcm}(a,b)$ be recovered from this category?
How to compute the sum $ 1+a(1+b)+a^2(1+b+b^2)+a^3(1+b+b^2+b^3)+\cdots$
Why 4 is not a primitive root modulo p for any prime p?
Proof of $\lim_{x \to 0^+} x^x = 1$ without using L'Hopital's rule
Can I construct a complete (as a Boolean algebra) saturated elementary extension of a given Boolean algbera?
hint to find the second derivative
Projective space, explicit descriptions of maps.
Vector bundle transitions and Čech cohomology
If $T(x) = 0$ implies that $S(x) = 0,$ show that there is a constant $c$ such that $S(x) = c \cdot T(x)$ for all $x \in X.$
Matching Hats AND Coats Problem
Isomorphism between $V$ and $V^{**}$
Question Concerning Vectors

An equation of form $x^{2}+ax+b=0$ might have infinite amount of solutions in a ring $(R,+,\cdot)$.

Now I am a bit lost here.

The definition for ring is that $(R,+)$ is Abel and $(R,\cdot)$ is a monoid.

- Prove that the group $G$ is abelian if $a^2 b^2 = b^2 a^2$ and $a^3 b^3 = b^3 a^3$
- Solving the Mordell equation $y^2 = x^3 − 2$; what would be a general strategy?
- Example of a group where $o(a)$ and $o(b)$ are finite but $o(ab)$ is infinite
- Is the localization of a PID a PID?
- Help me prove equivalently of regular semigroup and group.
- Motivation behind the definition of GCD and LCM

I just wonder what in earth they are after in this exercise?

I should find a equation of that form and show that it has infinite amount of solutions. But it feels just a bit absurd.

After receiving these very good answers. I feel that I should write an example.

Let’s look at matrix ring $(M_{2}(\mathbb{Z}/4\mathbb{Z}),+,\cdot)$, which has the usual matrix addition and multiplication. Now, when $n>1$, the $n \times n$ matrix is not commutative. Now we can calculate that

$$

\begin{bmatrix}

2 & 0\\

0 & 0

\end{bmatrix}\cdot

\begin{bmatrix}

2 & 0\\

0 & 0

\end{bmatrix}

=

\begin{bmatrix}

4 & 0\\

0 & 0

\end{bmatrix}

=

\begin{bmatrix}

0 & 0\\

0 & 0

\end{bmatrix}

$$

so we have solution to a equation

$$

X^{2}=0.

$$

We can find an example of infinite ring that has infinitely many solutions to the equation above.

For example such is matrix ring $(M_{2}(\mathbb{R}),+,\cdot)$ where infinitely many solutions can be found using matrix of form

$$

\begin{bmatrix}

0 & a\\

0 & 0

\end{bmatrix}

$$

where $a\in\mathbb{R}$.

- What is a good book for a second “course” in group theory?
- A question about the equivalence relation on the localization of a ring.
- How many normal subgroups?
- Finding the Ideals of a Direct Product of Rings
- What does $b_i\mid b_{i+1}$ mean in this context?
- Non-invertible elements form an ideal
- Similar matrices and field extensions
- find all the members of A4/K
- Center of dihedral group
- Why is the commutator defined differently for groups and rings?

Remember that a ring may have zero divisors.

For example, if $M_2(R)$ is a $2\times 2$ matrices ring, over any non-zero ring $R$ including a nilpotent element of the form $a^2=0$, then, even the equation

$$

x^2=\mathbf{0}=

\begin{bmatrix}

0 & 0 \\

0 & 0

\end{bmatrix}

$$

has an infinite number of solutions. In fact, any matrix

$$

x=

c\begin{bmatrix}

a & 0 \\

0 & 0

\end{bmatrix}=

\begin{bmatrix}

ca & 0 \\

0 & 0

\end{bmatrix}

$$

for any $c\in R$, is a solution of the above.

**P.S.:** If you want a concrete example of the above idea, take any infinite ring $R$ with zero divisors $b,d$, such that $bd=0$ and $db\neq 0$ (matrix rings provide a host of such examples). Then the element $a=db\neq 0$ is nilpotent, since $a^2=(db)^2=d(bd)b=0$. Now, your required ring will be $M_2(R)$ and inside it, the equation $x^2=\mathbf{0}$, will have an infinite number of solutions of the above form.

An even simpler example has already been mentioned in an update of OP: Take $R=\mathbb{R}$. Then the equation $x^2=\mathbf{0}$ will have an infinity of solutions inside the ring $M_2(\mathbb{R})$, of the form:

$$

\begin{bmatrix}

0 & a\\

0 & 0

\end{bmatrix}

$$

for any $a\in\mathbb{R}$.

HINT: Let $R$ be the ring of infinite sequences of zeroes and ones with coordinatewise addition and multiplication modulo $2$.

Example

$$x^2+1=0\;,\;\;x\in\Bbb H=\text{Hamilton’s Quaternions}$$

Consider the ring $R=\mathbb{Z}\times \mathbb{Z}$ and the equation $(a,0)x=(0,0)$ with $a \in \mathbb{Z}$ over $R$. It has infinitely many solutions of the form $\{(0,n):n \in \mathbb{Z}\}$. Try to use this idea.

Summarizing a bit all the answers here: If $R$ is an integral domain (i.e. it is commutative and does not have divisors of $0$), then you may consider its field of fractions $Q(R)$ and then embed this one in its algebraic closure $\overline {Q(R)}$. Since $\overline {Q(R)}$ is commutative and algebraically closed, any $2$nd degree equation will have at most $2$ distinct roots. Since $R \subseteq \overline {Q(R)}$, it follows that any equation of the form $x^2 + ax + b = 0$ with $a,b \in R$ will also have *at most* $2$ distinct roots in $R$, clearly not what you want.

In order to avoid the conclusion obtained above, it follows that you must look for a ring which is not an integral domain. There are two possible approaches: either look for a non-commutative ring (rings of matrices, for instance), or for a ring with divisors of $0$ (products of integral domains, rings of matrices).

- Generating function for planted planar trees
- The sum of a polynomial over a boolean affine subcube
- Subgroups and quotient groups of finite abelian $p$-groups
- Variance of random variable
- Why formulate continuity in terms of pre-images instead of image?
- Separated scheme
- Prove $\sum_{n=1}^\infty(e-\sum_{k=0}^n\frac1{k!})=1$
- Proving that additive groups are isomorphic $(n\mathbb{Z}$ and $m\mathbb{Z}$) or not ($\mathbb{Q}$ and $\mathbb{Z}$)
- Simple property of a valuation on a field
- Calculate $ \lim \limits_{x \to 0} \left( \dfrac{\sqrt{1 + 4x} – \sqrt{1 + 6x}}{x^2} \right). $
- Express the sequence which alternates three positive ones and three negative ones $1,1,1,-1,-1,-1,\dots$
- $f$ is continuous at $a$ iff for each subset $A$ of $X$ with $a\in \bar A$, $f(a)\in \overline{ f(A)}$.
- How many ways to divide group of 12 people into 2 groups of 3 people and 3 groups of 2 people?
- Prove that there exist linear functionals $L_1, L_2$ on $X$
- Is Koch snowflake a continuous curve?