2014-05-06から1日間の記事一覧
一般に環では|-∀y(0*y=0)なので,|-∃y(0*y=1)となる環は零環(0のみからなる環)に限る. これを避けて一般に体では¬(0=1)も公理とし,∀x∃y(x=0∨x*y=1)を公理にする. 対応する選択関数の一つを1/で表すと,この公理は∀x(x=0∨x*(1/x)=1)と表せる. とくに,1…
一般に環では|-∀y(0*y=0)なので,|-∃y(0*y=1)となる環は零環(0のみからなる環)に限る. これを避けて一般に体では¬(0=1)も公理とし,∀x∃y(x=0∨x*y=1)を公理にする. 対応する選択関数の一つを1/で表すと,この公理は∀x(x=0∨x*(1/x)=1)と表せる. とくに,1…