Exercise 1.5.xi from Emily Riehl's "Category Theory in Context" on properties of some functors I've been going through Emily Riehl's textbook on categories, and struggle with the exercise 1.5.xi.

Consider the functors $Ab \to Grp$ (inclusion), $Ring \to Ab$ (forgetting the multiplication), $(-)^\times: Ring \to Grp$ (taking the group of units), $Ring \to Rng$ (inclusion), $Fld \to Ring$ (inclusion) and $Mod_R \to Ab$ (forgetful). Determine which functors are full, which are faithful, and which are essentially surjective. Do any define an equivalence of categories? (Warning: A few of these questions conceal research-level problems,
but they can be fun to think about even if full solutions are hard to come by.)

As mentioned, some of the problems are pretty hard, so I skipped some of them. For now, I've determined that properties only for $Ab \to Grp$, $Ring \to Ab$ and $Fld \to Ring$. This are my solutions:

*

*$Ab \to Grp$: almost obviously, this functor is not essentially surjective, whileas it's fully faithful: if two groups are abelian, then any abelian homomorphism between them is just a group homomorphism, so it's faithful, and if two groups in $Grp$ are in fact abelian groups, then they have the same set of morphisms as objects in $Ab$, so it's fully faithful, and really $Ab$ is a full subcategory of $Grp$.

*$Ring \to Ab$: this functor is not essentially surjective(because e.g. $\mathbb{Q}/\mathbb{Z}$ is not a ring); it's faithful, since different ring homomorphisms are going to be different group homomorphisms under functor action. But this functor is not full: consider rings $\mathbb{Z}/n\mathbb{Z}$ and $\mathbb{Z}$. If $U: Ring \to Ab%$, then consider $\varphi: U(\mathbb{Z}/n\mathbb{Z}) \to U(\mathbb{Z}): x \mapsto 0$. There's no $\psi: \mathbb{Z}/n\mathbb{Z} \to \mathbb{Z}$ such that $U(\psi) = \varphi$, so this functor is not full.

*$Fld \to Ring$: in some sense same as for $Ab \to Grp$: $Fld$ is full subcategory of $Ring$ and this functor is not obviously essentially surjective.

I'd like to know whether I am correct. Seems like there was nothing hard, but I have doubts on my solutions.
Also I'm interested in the properties of another functors. I was thinking about $Mod_R \to Ab$: since it's forgetful, it's faithful. But is it full? Or essentially surjective? Obviously, not both(otherwise, this is an equivalence of categories), and the answer is somehow depends on the ring(because if $R = \mathbb{Z}$, then this is the equivalence of categories). Probably I can show that such functor is essentially surjective, since I kinda can create module via tensor product $G \otimes_\mathbb{Z} R$(which is kinda left-adjoint to $Mod_R \to Ab$), but I'm not sure in it.
So, can anyone elaborate the situation with $Mod_R \to Ab$ and the other functors? Or maybe give a tip on it. Concretely, I have no clue on:

*

*$(-)^\times: Ring \to Grp$ (taking the group of units)

*$Ring \to Rng$ (inclusion)

Thanks!
 A: It's not so clear why Ring to Ab is not essentially surjective.  For example, the Rng to Ab is obviously essentially surjective: For any abelian group $G$, it can be lifted to be a Rng by defining $a\cdot b=0$ for all $a,b\in G$. While $\mathbb Q/\mathbb Z$ isn't equipped with an obvious ring structure, it's unclear why there couldn't be some way to define the multiplication. This needs a proof: Does every Abelian group admit a ring structure?
Mod$_R$ to Ab is not necessarily essentially surjective: Let $R=\mathbb F_2$, then any module $M$ over $R$ is just vector spaces over $\mathbb F_2$, in particular every element of $M$ has order $2$, which isn't the case for general abelian groups.
It's not necessarily full either: Let $R=\mathbb C[T]$ and $M\simeq\mathbb C^n$ is a $R$-module with $T$ acts on $M$ through a matrix $A$. Then End$_R(M)$ consists of the set of matrices that commute with $A$, hence End$_R(M)$ is not necessarily End$_{\mathbb Z}(M)$. Or even simpler, we can have $\mathbb R$-linear transformations between $\mathbb C^n$ and $\mathbb C^m$ that are not $\mathbb C$-linear.
