An equivalent definition of a vector space can be given, which is much more concise but less elementary: the first four axioms say that a vector space is an abelian group under addition, and the four remaining axioms say that the scalar multiplication defines a ring homomorphism from the field into the endomorphism ring of this group.
FactSnippet No. 1,101,028 |