Intereting Posts

A ‘strong’ form of the Fundamental Theorem of Algebra
A “Cantor-Schroder-Bernstein” theorem for partially-ordered-sets
Is there a formula for $\sin(xy)$
How to prove $\lim_{n \to \infty}a_n=1 \rightarrow \lim_{n \to \infty}\sqrt a_n=1$
Concecutive last zeroes in expansion of $100!$
The equivalence of an integral and a sum of integrals
Recomputing arc center
Glueing morphisms of sheaves together – can I just do this?
Group actions in towers of Galois extensions
Showing that a group of order $pq$ is cyclic if it has normal subgroups of order $p$ and $q$
How can I get the negation of $\exists!$ (unique existential quantification)?
Local solutions of a Diophantine equation
Diagonalizable Matrices: How to determine?
Squares in arithmetic progression
Proving $(p \to (q \to r)) \to ((p \to q) \to (p \to r))$

I was messing with the ring $k[x_1,\dots,x_n,\dots]$ of polynomials in numerable many variables in order to solve an exercise of Atiyah, and the following question came to me and made me curious:

Is there a commutative unitary ring $A$ isomorphic to $A[X]$ but not isomorphic to $A[x_1,\dots,x_n,\dots]$ the ring of polynomials with coefficients in $A$ and numerable many variables?

- Question about the Euclidean ring definition
- Let f be an r-cycle in $S_n$. Given any $h \in S_n$, show that $hfh^{-1} = (h(x_1), h(x_2), \dots, h(x_r))$
- Can $G≅H$ and $G≇H$ in two different views?
- Let $G$ a group, with … Show that $G$ is a cyclic group.
- Idempotents in $\mathbb Z_n$
- Does the equation $x^4+y^4+1 = z^2$ have a non-trivial solution?

- Let $M$ and $N$ be two normal subgroups of $G$. Show that $M \cap N$ is also normal in $G$. Then show that $G/(M \cap N) \cong (G/M) \times (G/N)$
- What nice properties does exponentiation have?
- Non-associative, non-commutative binary operation with a identity
- Showing that a group of order $21$ (with certain conditions) is cyclic
- Determining whether two groups are isomorphic
- Transcendence degree of $K$
- Coordinate ring of zero locus of unit circle
- $M_1$ and $M_2$ are subgroups and $M_1/N=M_2/N$. Is $M_1\cong M_2$?
- $\mathbb{Q}(\sqrt2,\sqrt3,\sqrt{(2+\sqrt{2})(3+\sqrt{3})})$ is Galois over $\mathbb{Q}$
- Every minimal normal subgroup of a finite solvable group is elementary abelian

Let $\Gamma$ be the set of sequences $a_1 a_2 a_3 \cdots $ of nonnegative integers which are eventually constant. A typical element of $\Gamma$ looks like $3921726666666\cdots$. Note that $\Gamma$ is a commutative semigroup under addition. Let $A$ be the semigroup algebra $\mathbb{Z}[\Gamma]$. I claim that $A \cong A[t]$ but $A \not \cong A[t_1, t_2, t_3, \ldots]$.

The semigroup $\Gamma$ is isomorphic to $\mathbb{Z}_{\geq 0} \times \Gamma$, by the map $a_1 a_2 a_3 \cdots \mapsto (a_1, a_2 a_3 \cdots)$. So $\mathbb{Z}[\Gamma] \cong \mathbb{Z}[\Gamma \times \mathbb{Z}_{\geq 0}]$ or, in other words, $A \cong A[t]$.

Let $z$ denote the sequence $11111\cdots$ and let $x_i$ denote the sequence $000\cdots01000\cdots$ with the lone $1$ in the $i$th position. Note that $\Gamma$ embeds in the free abelian group generated by $z$ and the $x_i$, so $A$ embeds in the Laurent polynomial ring $\mathbb{Z}[z,x_1^{\pm},x_2^{\pm},x_3^{\pm},\ldots]$. In particular, $A$ is an integral domain. In this notation, the isomorphism $A \to A[t_1, t_2, \ldots, t_k]$ sends $z \mapsto z t_1 t_2 \cdots t_k$; it sends $x_i \mapsto t_i$ for $i \leq k$ and $x_i \mapsto x_{i-k}$ for $i >k$.

Now, suppose that $\phi$ is a map $A \to A[t_1, t_2, \ldots ]$ with $\phi(z)$ nonzero. We show that $\phi(A) \subseteq A[t_1, t_2, \ldots, t_N]$ for some $N$. In particular, $\phi$ is not an isomorphism.

Choose $N$ large enough that $\phi(z) \in A[t_1, t_2, \ldots, t_N]$. Since $\phi(x_i)$ divides $\phi(z)$, and $A$ is a domain, we must also have $\phi(x_i) \in A[t_1, \ldots, t_N]$. For any $\gamma$ in $\Gamma$, write $\exp(\gamma)$ for the corresponding element of $A$. For any $\gamma \in \Gamma$, we have $\prod_{i=1}^M x_i^{b_i} \exp(\gamma) = \prod_{i=1}^M x_i^{c_i} \cdot z^d$ for some sufficiently large $M$ and some $d$. Therefore, $\phi(\exp(\gamma))$ can be written as a ratio of $\prod_{i=1}^M \phi(x_i)^{c_i} \cdot \phi(z)^d$ and $\prod_{i=1}^M \phi(x_i)^{b_i}$, both of which are in $A[t_1, \ldots, t_N]$ (using again that $A$ is a domain). So $\phi(\exp(\gamma)) \in A[t_1, \ldots, t_N]$. Since the $\exp(\gamma)$ are a $\mathbb{Z}$ basis for $A$, this shows that $\phi(A) \subseteq A[t_1, \ldots, t_N]$.

- Vector spaces with fractional dimension
- $A^2X = X$ show that $AX = X$, if $A_{ij} > 0$ and $x_{i} > 0$
- Rational or irrational
- Bounded linear operators that commute with translation
- Why it is absolutely mistaken to cancel out differentials?
- Number of binary numbers with two consecutive zeros
- About rationalizing expressions
- Part (a) of Exercise 13 of first chapter of Rudin's book “Functional Analysis”
- What does $\sum_{i=1}^{10} 2$ mean exactly?
- Convergence of exponential Brownian martingale to zero almost surely
- Summing over conditional probabilities
- How to study abstract algebra
- Find all solutions of $a^b = b^a$
- How to know if its permutation or combination?
- Express $\int\exp\left(\frac{a}{x}+bx\right)x^{\eta}\mathrm{d}x$ in terms of special functions?