more notes on isomorphisms and independence/generators/bases