พจนานุกรม

なるから、したがってそれ自身非可換な域を成す。 1 より大きい次数の行列環は零因子（特に冪零元）を持つから域を成さない。例えば、行列単位 E12 の自乗は零行列になる。 K 上のベクトル空間のテンソル代数（つまり体 K 上の非可換多項式環）K⟨x1, …, xn⟩ が域となることは、非可換単項式上の順序を用いて証明できる。