Suppose A=k a field. Then the following are equivalent for a k-vector space V:

  1. V has finite dimension
  2. V has finite length
  3. V satisfies 1;;the a.c.c
  4. V satisfies 1;;the d.c.c.
    In particular, in this case dimension = length.
Powered by Forestry.md