division possible specifically nonzero ring every nonzero element ''a'' multiplicative inverse ie element ''x'' stated differently ring division ring group units equals set nonzero elements division rings differ fields multiplication required commutative however wedderburn 's little theorem finite division rings commutative therefore finite fields historically division rings sometimes referred fields fields called commutative fields semisimple rings module
Formal science Mathematics Pure mathematics Algebra Noncommutative algebra