algebra-over-a-field public under mathematical-ring 8, vector-space 3 List Picture As a command %3 n0 algebra-over-a-field n3 lie-algebra n0->n3 n1 mathematical-ring n1->n0 n2 vector-space n2->n0