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!