algebra-over-a-field