I'm looking for a reference text with classic results in algebra, like
- Fundamental theorem of finitely generated abelian groups
- Every field has a unique smallest prime field, which is either $\mathbb{F}_p$ for some prime $p$ or $\mathbb{Q}$.
- Every two $K$-vector spaces with isomorphic bases [as sets] are isomorphic [as vector spaces] (NOT just the finite case)
I want something to cite for a class project. I have Lang's Algebra, and like it, but it seems some of these things are too basic for him. Artin's Algebra doesn't seem to have the infinite case of the last point (maybe I just didn't look carefully).
Is there anything that's organized in encyclopedic fashion like Wikipedia?