8
votes
1answer
400 views

Commutative algebras whose bidual is commutative

Let $k$ be a commutative ring and $A$ a commutative $k$-algebra. Call $D(A) := \mathrm{Hom}_k(A,k)$ the dual of $A$ as a $k$-module, and $DD(A) := \mathrm{Hom}_k(D(A),k)$ the dual of the latter. Let ...
2
votes
1answer
156 views

Dimension of An Ultraproduct Field as a Vector Space over Another Ultraproduct Field

Suppose $F \subseteq K$ are fields with $G$ an ultrafilter on an infinite set $X$. If $F^{\ast}$ and $K^{\ast}$ represent the ultraproducts respectively of $F$ and $K$, it is easy to see that $[K : ...
25
votes
3answers
2k views

product of all F_p, p prime

Let $R$ be the ring $$R = \prod_{p\ \text{prime}} \mathbb{F}_p$$ where $\mathbb{F}_p$ is the field having $p$ elements. Is it true that $R$ has a quotient by a maximal ideal which is a field of ...