In group theory, a branch of abstract algebra, the Whitehead problem is the following question: Is every abelian group A with Ext1(A, Z) = 0 a free abelian group? Saharon Shelah proved that Whitehead's problem is independent of ZFC, the standard axioms of set theory.
| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:label
| - 화이트헤드 문제 (ko)
- Whitehead problem (en)
- 怀特海问题 (zh)
|
| rdfs:comment
| - In group theory, a branch of abstract algebra, the Whitehead problem is the following question: Is every abelian group A with Ext1(A, Z) = 0 a free abelian group? Saharon Shelah proved that Whitehead's problem is independent of ZFC, the standard axioms of set theory. (en)
- 군론과 집합론에서 화이트헤드 문제(영어: Whitehead problem)는 정수 계수의 1차 Ext 함자가 자명군인 아벨 군이 항상 자유 아벨 군인지에 대한 문제다. 통상적인 집합론 공리계(선택 공리를 추가한 체르멜로-프렝켈 집합론)와 독립적이다. (ko)
- 怀特海问题，是群论的一个重要问题，由美国数学家约翰·怀特海在1950年代提出。 给定环上的模，投射模以及正合列其中第一个箭头由单同态实现，记 ， 这里是由自然导出的从到的同态。如果是整数环，则我们省去下标。注意任何一个阿贝尔群都可以看成一个整数模。 可以证明一个模是投射模当且仅当对于所有的模 每一个自由模都是投射模。同调代数中一个经典定理说如果是主理想整环，那么每一自由模的子模也是自由的。特别地，整数环上的所有自由模的子模都是自由的。因为每一个投射模都是自由模的子模，所以上的投射模和自由模是一致的。 怀特海问题是同调代数中一个基本问题，其表述如下： 给定阿贝尔群A，当且仅当A是自由的。 因此怀特海问题可以看作上自由模的一个判别法则。 在ZFC下可以证明如果A是可数的阿贝尔群，那么怀特海问题是正确的. Shelah于1974年证明了如果（即成立），那么对每一个基数为的阿贝尔群，怀特海问题是对的。同时，如果马丁公理成立并且连续统假设不成立，那么存在一个基数为的阿贝尔群使得怀特海问题是错的。最终地，Shelah于1975年证明了如果，那么怀特海问题对于所有阿贝尔群成立。 (zh)
|
| differentFrom
| |
| dcterms:subject
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| sameAs
| |
| dbp:wikiPageUsesTemplate
| |
| author
| |
| id
| |
| title
| |
| has abstract
| - In group theory, a branch of abstract algebra, the Whitehead problem is the following question: Is every abelian group A with Ext1(A, Z) = 0 a free abelian group? Saharon Shelah proved that Whitehead's problem is independent of ZFC, the standard axioms of set theory. (en)
- 군론과 집합론에서 화이트헤드 문제(영어: Whitehead problem)는 정수 계수의 1차 Ext 함자가 자명군인 아벨 군이 항상 자유 아벨 군인지에 대한 문제다. 통상적인 집합론 공리계(선택 공리를 추가한 체르멜로-프렝켈 집합론)와 독립적이다. (ko)
- 怀特海问题，是群论的一个重要问题，由美国数学家约翰·怀特海在1950年代提出。 给定环上的模，投射模以及正合列其中第一个箭头由单同态实现，记 ， 这里是由自然导出的从到的同态。如果是整数环，则我们省去下标。注意任何一个阿贝尔群都可以看成一个整数模。 可以证明一个模是投射模当且仅当对于所有的模 每一个自由模都是投射模。同调代数中一个经典定理说如果是主理想整环，那么每一自由模的子模也是自由的。特别地，整数环上的所有自由模的子模都是自由的。因为每一个投射模都是自由模的子模，所以上的投射模和自由模是一致的。 怀特海问题是同调代数中一个基本问题，其表述如下： 给定阿贝尔群A，当且仅当A是自由的。 因此怀特海问题可以看作上自由模的一个判别法则。 在ZFC下可以证明如果A是可数的阿贝尔群，那么怀特海问题是正确的. Shelah于1974年证明了如果（即成立），那么对每一个基数为的阿贝尔群，怀特海问题是对的。同时，如果马丁公理成立并且连续统假设不成立，那么存在一个基数为的阿贝尔群使得怀特海问题是错的。最终地，Shelah于1975年证明了如果，那么怀特海问题对于所有阿贝尔群成立。 (zh)
|
| gold:hypernym
| |
| prov:wasDerivedFrom
| |
| page length (characters) of wiki page
| |
| foaf:isPrimaryTopicOf
| |
| is differentFrom
of | |
| is Link from a Wikipage to another Wikipage
of | |
| is Wikipage redirect
of | |
| is known for
of | |
| is known for
of | |
| is foaf:primaryTopic
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)