If $A$ is a noetherian domain and not a field then the infinite product $M=A\times A\times \dots$ is not free. Suppose there is a basis. For $x\in M$ define its support to be the finite set of basis elements for which the coefficient not zero. Note that if the supports of $x$ and $y$ are disjoint then their union is the support of $x+y$. Choose $\pi\in A$ neither zero nor invertible. Define the $n$-support of $x$ to consist of those basis elements for which the coefficient is not divisible by $\pi^n$. Note that $n$-support is contained in $(n+1)$-support is contained in support.

Choose an infinite sequence of nonzero elements $m_1,m_2,\dots $ of $M$ such that

(1) $m_n$ projects to zero in the first $n-1$ factors of the infinite product,

(2) the $m_n$ have pairwise disjoint support.

To get $m_n$ when all the previous $m_k$ are given, you just have to know that the kernel of a certain map from $M$ to a finite product of copies of $A$ is nontrivial (project the product on the first $n-1$ factors and project the free module on the span of a finite subset of basis).

Then divide each $m_n$ by as high a power of $\pi$ as possible; this preserves 1 and 2 while also arranging

(3) $m_n$ is nonzero mod $\pi$.

Now let $s_n=\pi m_1+\pi^2 m_2+\dots +\pi^nm_n$ and let $s$ be the limit of $s_n$ (defined because of 1).

The contradiction is that the support of $s$ must contain arbitrarily large finite sets $S_n$: Let $S_n$ be the $(n+1)$-support of $s_n$. Then the support of $s$ contains the $(n+1)$-support of $s$, which equals $S_n$. And $S_n$ properly contains $S_{n-1}$ because it is the disjoint union of the $(n+1)$-support of $s_{n-1}$ and the $(n+1)$-support of $\pi^nm_n$, this last being the (by 3 nonempty) $1$-support of $m_n$.

EDIT This implies that if $A$ is noetherian and has dimension $>0$ then the infinite product is not free, because $(A/P)\otimes \prod A=\prod (A/P)$ if $P$ is a finitely generated ideal -- choose $P$ to be a non-maximal prime. Also, the argument above proves more than I said: for a noetherian domain the infinite product is not even a submodule of a free module.

If $A$ is a noetherian domain and not a field then the infinite product $M=A\times A\times \dots$ is not free. Suppose there is a basis. For $x\in M$ define its support to be the finite set of basis elements for which the coefficient is not zero. Note that if the supports of $x$ and $y$ are disjoint then their union is the support of $x+y$. Choose $\pi\in A$ neither zero nor invertible. Define the $n$-support of $x$ to consist of those basis elements for which the coefficient is not divisible by $\pi^n$. Note that $n$-support is contained in $(n+1)$-support is contained in support.

Choose an infinite sequence of nonzero elements $m_1,m_2,\dots $ of $M$ such that

(1) $m_n$ projects to zero in the first $n-1$ factors of the infinite product,

(2) the $m_n$ have pairwise disjoint support.

To get $m_n$ when all the previous $m_k$ are given, you just have to know that the kernel of a certain map from $M$ to a finite product of copies of $A$ is nontrivial (project the product on the first $n-1$ factors and project the free module on the span of a finite subset of basis).

Then divide each $m_n$ by as high a power of $\pi$ as possible; this preserves 1 and 2 while also arranging

(3) $m_n$ is nonzero mod $\pi$.

Now let $s_n=\pi m_1+\pi^2 m_2+\dots +\pi^nm_n$ and let $s$ be the limit of $s_n$ (defined because of 1).

The contradiction is that the support of $s$ must contain arbitrarily large finite sets $S_n$: Let $S_n$ be the $(n+1)$-support of $s_n$. Then the support of $s$ contains the $(n+1)$-support of $s$, which equals $S_n$. And $S_n$ properly contains $S_{n-1}$ because it is the disjoint union of the $(n+1)$-support of $s_{n-1}$ and the $(n+1)$-support of $\pi^nm_n$, this last being the (by 3 nonempty) $1$-support of $m_n$.

EDIT This implies that if $A$ is noetherian and has dimension $>0$ then the infinite product is not free, because $(A/P)\otimes \prod A=\prod (A/P)$ if $P$ is a finitely generated ideal -- choose $P$ to be a non-maximal prime. Also, the argument above proves more than I said: for a noetherian domain the infinite product is not even a submodule of a free module.

If $A$ is a noetherian domain and not a field then the infinite product $M=A\times A\times \dots$ is not free. Suppose there is a basis. For $x\in M$ define its support to be the finite subset of the basis corresponding to coefficient not zero. Note that if the supports of $x$ and $y$ are disjoint then their union is the support of $x+y$. Choose $\pi\in A$ neither zero nor invertible. Define the $n$-support of $x$ to consist of those basis elements for which the coefficient is not divisible by $\pi^n$. Note that $n$-support is contained in $(n+1)$-support is contained in support.

Choose an infinite sequence of nonzero elements $m_1,m_2,\dots $ of $M$ such that

(1) $m_n$ projects to zero in the first $n-1$ factors of the infinite product,

(2) the $m_n$ have pairwise disjoint support.

To get $m_n$ when all the previous $m_k$ are given, you just have to know that the kernel of a certain map from $M$ to a finite product of copies of $A$ is nontrivial (project the product on the first $n-1$ factors and project the free module on the span of a finite subset of basis).

Then divide each $m_n$ by as high a power of $\pi$ as possible; this preserves 1 and 2 while also arranging

(3) $m_n$ is nonzero mod $\pi$.

Now let $s_n=\pi m_1+\pi^2 m_2+\dots +\pi^nm_n$ and let $s$ be the limit of $s_n$ (defined because of 1).

The contradiction is that the support of $s$ must contain arbitrarily large finite sets $S_n$: Let $S_n$ be the $(n+1)$-support of $s_n$. Then the support of $s$ contains the $(n+1)$-support of $s$, which equals $S_n$. And $S_n$ properly contains $S_{n-1}$ because it is the disjoint union of the $(n+1)$-support of $s_{n-1}$ and the $(n+1)$-support of $\pi^nm_n$, this last being the (by 3 nonempty) $1$-support of $m_n$.

If $A$ is a noetherian domain and not a field then the infinite product $M=A\times A\times \dots$ is not free. Suppose there is a basis. For $x\in M$ define its support to be the finite set of basis elements for which the coefficient not zero. Note that if the supports of $x$ and $y$ are disjoint then their union is the support of $x+y$. Choose $\pi\in A$ neither zero nor invertible. Define the $n$-support of $x$ to consist of those basis elements for which the coefficient is not divisible by $\pi^n$. Note that $n$-support is contained in $(n+1)$-support is contained in support.

Choose an infinite sequence of nonzero elements $m_1,m_2,\dots $ of $M$ such that

(1) $m_n$ projects to zero in the first $n-1$ factors of the infinite product,

(2) the $m_n$ have pairwise disjoint support.

To get $m_n$ when all the previous $m_k$ are given, you just have to know that the kernel of a certain map from $M$ to a finite product of copies of $A$ is nontrivial (project the product on the first $n-1$ factors and project the free module on the span of a finite subset of basis).

Then divide each $m_n$ by as high a power of $\pi$ as possible; this preserves 1 and 2 while also arranging

(3) $m_n$ is nonzero mod $\pi$.

Now let $s_n=\pi m_1+\pi^2 m_2+\dots +\pi^nm_n$ and let $s$ be the limit of $s_n$ (defined because of 1).

The contradiction is that the support of $s$ must contain arbitrarily large finite sets $S_n$: Let $S_n$ be the $(n+1)$-support of $s_n$. Then the support of $s$ contains the $(n+1)$-support of $s$, which equals $S_n$. And $S_n$ properly contains $S_{n-1}$ because it is the disjoint union of the $(n+1)$-support of $s_{n-1}$ and the $(n+1)$-support of $\pi^nm_n$, this last being the (by 3 nonempty) $1$-support of $m_n$.

EDIT This implies that if $A$ is noetherian and has dimension $>0$ then the infinite product is not free, because $(A/P)\otimes \prod A=\prod (A/P)$ if $P$ is a finitely generated ideal -- choose $P$ to be a non-maximal prime. Also, the argument above proves more than I said: for a noetherian domain the infinite product is not even a submodule of a free module.