mathematical-ring public under algebraic-structure 35 List Picture As a command %3 n0 mathematical-ring n2 algebra-over-a-field n0->n2 n3 commutative-ring n0->n3 n4 division-ring n0->n4 n1 algebraic-structure n1->n0