Inventory rows 1M
The cards of the rows of the inventory whose ids start with 1M. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Adrien Douady 1M0GMZ3YDM
| URI | m2://inv/1M0GMZ3YDM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q376963, Adrien Douady (unknown). Also nLab Adrien Douady
History
- 2026-10-26: add by m2/dev
Chern–Simons theory 1M0JMWCK5Y
| URI | m2://inv/1M0JMWCK5Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1528019, Chern–Simons theory (unknown). Also nLab Chern-Simons theory
History
- 2026-10-26: add by m2/dev
Kruskal–Szekeres coordinates 1M0ZZ4B4ZF
| URI | m2://inv/1M0ZZ4B4ZF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1478885, Kruskal–Szekeres coordinates (unknown). Also nLab Kruskal–Szekeres coordinates
History
- 2026-10-26: add by m2/dev
crystalline cohomology 1M20CQV5YY
| URI | m2://inv/1M20CQV5YY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5191431, crystalline cohomology (unknown). Also nLab crystalline cohomology
History
- 2026-10-26: add by m2/dev
structure theorem for finitely generated modules over a principal ideal domain 1M72DYVPT0
| URI | m2://inv/1M72DYVPT0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 16-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7888360, Structure theorem for finitely generated modules over a principal ideal domain (statement). Also Mathlib Module.equiv_free_prod_directSum, Wikidata Q7888360
- mathlib_overview: mathlib_overview Linear algebra > Finitely generated modules over a PID > structure theorem, structure theorem (unknown). Also Mathlib Module.equiv_free_prod_directSum
- thousand_plus: thousand_plus Q7888360, Structure theorem for finitely generated modules over a principal ideal domain (statement). Also Mathlib Module.equiv_free_prod_directSum, Wikidata Q7888360, Wikipedia Structure theorem for finitely generated modules over a principal ideal domain
- wikidata: Wikidata Q7888360, structure theorem for finitely generated modules over a principal ideal domain (statement). Also nLab structure theorem for finitely generated modules over a principal ideal domain
History
- 2026-10-26: add by m2/dev
Steven Kleiman 1MDBE87P2S
| URI | m2://inv/1MDBE87P2S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1169890, Steven Kleiman (unknown). Also nLab Steven Kleiman
History
- 2026-10-26: add by m2/dev
N/n 1MH8BVFTT1
| URI | m2://inv/1MH8BVFTT1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9937, N/n (unknown). Also ProofWiki Symbols:N
History
- 2026-10-26: add by m2/dev
Ulf Lindström 1MQE7FMTGC
| URI | m2://inv/1MQE7FMTGC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7878891, Ulf Lindström (unknown). Also nLab Ulf Lindström
History
- 2026-10-26: add by m2/dev
power associativity 1MRQ6C2TPZ
| URI | m2://inv/1MRQ6C2TPZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1822837, power associativity (unknown). Also MathWorld PowerAssociativeAlgebra
History
- 2026-10-26: add by m2/dev
Jacobian matrix 1MRXR69XGN
| URI | m2://inv/1MRXR69XGN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Jacobian matrix 047NDTEPCV |
Mentions
- wikidata: Wikidata Q506041, Jacobian matrix (concept). Also EoM Jacobian, MathWorld Jacobian, nLab Jacobian
History
- 2026-10-26: add by m2/dev
Turing machine 1MXBCXC459
| URI | m2://inv/1MXBCXC459 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q163310, Turing machine (definition). Also MathWorld TuringMachine, ProofWiki Definition:Turing_Machine
History
- 2026-10-26: add by m2/dev