数学において、ある種の環が形式的に実(けいしきてきにじつ、英: fomally real)であるとは、以下の条件の何れかを満たすものを言う。 環 (R,+,0,×,1) が形式的に実であるとは: * R の零元 0 が R の(任意有限個の)非零な平方元の和に書かれることは無い * R における(任意有限個の)平方元の和が −1 に等しいことは無い * 標数 2 でない R において、R の(任意有限個の)平方元の和に書くことのできない R の元が存在する。 よく知られた形式的に実な代数系として以下が挙げられる: * 形式的実体(実体): アルティン・シュライヤーによる順序体の特徴付けに用いられた。順序体の項も参照。 * : ある種のリー代数の構成やの研究などに利用される。の項も参照。

Property Value
dbo:abstract
  • 数学において、ある種の環が形式的に実(けいしきてきにじつ、英: fomally real)であるとは、以下の条件の何れかを満たすものを言う。 環 (R,+,0,×,1) が形式的に実であるとは: * R の零元 0 が R の(任意有限個の)非零な平方元の和に書かれることは無い * R における(任意有限個の)平方元の和が −1 に等しいことは無い * 標数 2 でない R において、R の(任意有限個の)平方元の和に書くことのできない R の元が存在する。 よく知られた形式的に実な代数系として以下が挙げられる: * 形式的実体(実体): アルティン・シュライヤーによる順序体の特徴付けに用いられた。順序体の項も参照。 * : ある種のリー代数の構成やの研究などに利用される。の項も参照。 (ja)
  • 数学において、ある種の環が形式的に実(けいしきてきにじつ、英: fomally real)であるとは、以下の条件の何れかを満たすものを言う。 環 (R,+,0,×,1) が形式的に実であるとは: * R の零元 0 が R の(任意有限個の)非零な平方元の和に書かれることは無い * R における(任意有限個の)平方元の和が −1 に等しいことは無い * 標数 2 でない R において、R の(任意有限個の)平方元の和に書くことのできない R の元が存在する。 よく知られた形式的に実な代数系として以下が挙げられる: * 形式的実体(実体): アルティン・シュライヤーによる順序体の特徴付けに用いられた。順序体の項も参照。 * : ある種のリー代数の構成やの研究などに利用される。の項も参照。 (ja)
dbo:wikiPageID
  • 3198463 (xsd:integer)
dbo:wikiPageLength
  • 1447 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 55100613 (xsd:integer)
dbo:wikiPageWikiLink
prop-ja:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • 数学において、ある種の環が形式的に実(けいしきてきにじつ、英: fomally real)であるとは、以下の条件の何れかを満たすものを言う。 環 (R,+,0,×,1) が形式的に実であるとは: * R の零元 0 が R の(任意有限個の)非零な平方元の和に書かれることは無い * R における(任意有限個の)平方元の和が −1 に等しいことは無い * 標数 2 でない R において、R の(任意有限個の)平方元の和に書くことのできない R の元が存在する。 よく知られた形式的に実な代数系として以下が挙げられる: * 形式的実体(実体): アルティン・シュライヤーによる順序体の特徴付けに用いられた。順序体の項も参照。 * : ある種のリー代数の構成やの研究などに利用される。の項も参照。 (ja)
  • 数学において、ある種の環が形式的に実(けいしきてきにじつ、英: fomally real)であるとは、以下の条件の何れかを満たすものを言う。 環 (R,+,0,×,1) が形式的に実であるとは: * R の零元 0 が R の(任意有限個の)非零な平方元の和に書かれることは無い * R における(任意有限個の)平方元の和が −1 に等しいことは無い * 標数 2 でない R において、R の(任意有限個の)平方元の和に書くことのできない R の元が存在する。 よく知られた形式的に実な代数系として以下が挙げられる: * 形式的実体(実体): アルティン・シュライヤーによる順序体の特徴付けに用いられた。順序体の項も参照。 * : ある種のリー代数の構成やの研究などに利用される。の項も参照。 (ja)
rdfs:label
  • 形式的に実 (ja)
  • 形式的に実 (ja)
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is owl:sameAs of
is foaf:primaryTopic of