Inventory rows Q7
The cards of the rows of the inventory whose ids start with Q7. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
counterterm Q71DM87YX3
| URI | m2://inv/Q71DM87YX3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4231754, counterterm (unknown). Also nLab counterterm
History
- 2026-10-26: add by m2/dev
Isomorphism theorem Q72ADQWVHM
| URI | m2://inv/Q72ADQWVHM |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 16-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1065966, Isomorphism theorem (statement). Also Mathlib QuotientGroup.quotientKerEquivRange, Mathlib QuotientGroup.quotientInfEquivProdNormalQuotient, Mathlib QuotientGroup.quotientQuotientEquivQuotient, Wikidata Q1065966
- mathlib_1000: mathlib_1000 Q1187646, Fundamental theorem on homomorphisms (statement). Also Mathlib QuotientGroup.quotientKerEquivRange, Wikidata Q1187646
- mathlib_1000: mathlib_1000 Q3527189, Lattice theorem (statement). Also Mathlib QuotientGroup.quotientQuotientEquivQuotient, Wikidata Q3527189
- mathlib_overview: mathlib_overview General algebra > Group theory > first isomorphism theorem, first isomorphism theorem (unknown). Also Mathlib QuotientGroup.quotientKerEquivRange
- mathlib_overview: mathlib_overview General algebra > Group theory > second isomorphism theorem, second isomorphism theorem (unknown). Also Mathlib QuotientGroup.quotientInfEquivProdNormalQuotient
- mathlib_overview: mathlib_overview General algebra > Group theory > third isomorphism theorem, third isomorphism theorem (unknown). Also Mathlib QuotientGroup.quotientQuotientEquivQuotient
- thousand_plus: thousand_plus Q1065966, Isomorphism theorem (statement). Also Mathlib QuotientGroup.quotientKerEquivRange, Mathlib QuotientGroup.quotientInfEquivProdNormalQuotient, Mathlib QuotientGroup.quotientQuotientEquivQuotient, Wikidata Q1065966, Wikipedia Isomorphism theorem
- thousand_plus: thousand_plus Q1187646, Fundamental theorem on homomorphisms (statement). Also Mathlib QuotientGroup.quotientKerEquivRange, Wikidata Q1187646, Wikipedia Fundamental theorem on homomorphisms
- thousand_plus: thousand_plus Q3527189, Lattice theorem (statement). Also Mathlib QuotientGroup.quotientQuotientEquivQuotient, Wikidata Q3527189, Wikipedia Lattice theorem
History
- 2026-10-26: add by m2/dev
cograph Q72CBZVW2E
| URI | m2://inv/Q72CBZVW2E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5141281, cograph (unknown). Also MathWorld Cograph
History
- 2026-10-26: add by m2/dev
Aristotle's wheel paradox Q72KKFZJEG
| URI | m2://inv/Q72KKFZJEG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3561493, Aristotle's wheel paradox (unknown). Also MathWorld AristotlesWheelParadox
History
- 2026-10-26: add by m2/dev
Turkey Q7B8FNC21X
| URI | m2://inv/Q7B8FNC21X |
|---|---|
| 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 Q43, Turkey (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Turkey
History
- 2026-10-26: add by m2/dev
$A[{X_i}]$ is a UFD when $A$ is a UFD Q7E1S3CJDK
| URI | m2://inv/Q7E1S3CJDK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Polynomials and power series > $A[{X_i}]$ is a UFD when $A$ is a UFD, $A[{X_i}]$ is a UFD when $A$ is a UFD (unknown). Also Mathlib MvPolynomial.uniqueFactorizationMonoid
- mathlib_undergrad: mathlib_undergrad Ring Theory > Divisibility in integral domains > $A[{X_i}]$ is a UFD when $A$ is a UFD, $A[{X_i}]$ is a UFD when $A$ is a UFD (unknown). Also Mathlib MvPolynomial.uniqueFactorizationMonoid
History
- 2026-10-26: add by m2/dev
Raabe's test Q7GRNNKMA2
| URI | m2://inv/Q7GRNNKMA2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1789463, Raabe's test (statement). Also MathWorld RaabesTest
History
- 2026-10-26: add by m2/dev
Joseph Liouville Q7HDGJV3BQ
| URI | m2://inv/Q7HDGJV3BQ |
|---|---|
| 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 Q214549, Joseph Liouville (unknown). Also nLab Joseph Liouville
History
- 2026-10-26: add by m2/dev
separation of variables Q7HZNWSNMG
| URI | m2://inv/Q7HZNWSNMG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q913323, separation of variables (statement). Also EoM Fourier_method, MathWorld SeparationofVariables, ProofWiki Separation_of_Variables
History
- 2026-10-26: add by m2/dev
Edmund Landau Q7KD5QV8P9
| URI | m2://inv/Q7KD5QV8P9 |
|---|---|
| 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 Q58750, Edmund Landau (unknown). Also ProofWiki Mathematician:Edmund_Georg_Hermann_Landau
History
- 2026-10-26: add by m2/dev
Hankel matrix Q7KXFQX01M
| URI | m2://inv/Q7KXFQX01M |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1575637, Hankel matrix (concept). Also MathWorld HankelMatrix
History
- 2026-10-26: add by m2/dev
geometric–harmonic mean Q7R8WNHGDP
| URI | m2://inv/Q7R8WNHGDP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1093209, geometric–harmonic mean (unknown). Also MathWorld Harmonic-GeometricMean
History
- 2026-10-26: add by m2/dev
faraday Q7RV6V6522
| URI | m2://inv/Q7RV6V6522 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1396128, faraday (definition). Also ProofWiki Definition:Faraday_(Unit)
History
- 2026-10-26: add by m2/dev
spinor bundle Q7S6FCVGPK
| URI | m2://inv/Q7S6FCVGPK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1049915, spinor bundle (unknown). Also nLab spinor bundle
History
- 2026-10-26: add by m2/dev
reflexive transitive closure Q7SB1P3X81
| URI | m2://inv/Q7SB1P3X81 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q93447297, reflexive transitive closure (definition). Also ProofWiki Definition:Reflexive_Transitive_Closure
History
- 2026-10-26: add by m2/dev
logarithmic mean Q7T02N1CQZ
| URI | m2://inv/Q7T02N1CQZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q954389, logarithmic mean (unknown). Also MathWorld Arithmetic-Logarithmic-GeometricMeanInequality
History
- 2026-10-26: add by m2/dev
Branislav Jurčo Q7VZVB6A6G
| URI | m2://inv/Q7VZVB6A6G |
|---|---|
| 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 Q102434078, Branislav Jurčo (unknown). Also nLab Branislav Jurco
History
- 2026-10-26: add by m2/dev