Algebras are defined with respect to an underlying ring. Now it makes sense that the underlying ring is smaller. But I was wondering if it is possible to have an underlying ring which is larger. In this case the homomorphism from the ring $R$ to the algebra $A$ $$\alpha : R \rightarrow A$$ will be a very weird one. Is there any rule for stopping the existence of such a weird homomorphism? Or do such algebras exist?
$\begingroup$
$\endgroup$
2
-
4$\begingroup$ $R=\mathbb{Z}$ and $A=\mathbb{Z}/(2)$ $\endgroup$– MihailCommented Apr 28, 2019 at 15:03
-
1$\begingroup$ Mihail's example is the one that pops to mind immediately, but there are even weirder ones, $R= C^0(\mathbb{R},\mathbb{R}), A=\mathbb{R}$, for instance $\endgroup$– Maxime RamziCommented Apr 28, 2019 at 15:05
Add a comment
|
2 Answers
$\begingroup$
$\endgroup$
Take the coefficient ring to be $\mathbb Z$ and the algebra to be $\mathbb Z/n\mathbb Z$. Any finite ring will also do as an example because any ring is a $\mathbb Z$-algebra.
$\begingroup$
$\endgroup$
You may consider $R=k[X]$ and $A=k$ with $\alpha(X)=c$ for some constant $c\in k$. Though this is not particularly interesting.