Math 2.0

Inventory: P

The rows of the inventory whose names start with P. The name of a row with a node links to the page of the node. The other names and each id link to the card of the row, with its mentions in the sources.

Rows 4001–4100 of 5460.

NameIdKindOutcomeSources
Prime factorization worksHWAB1S6KQSstatementopennapkin tex/alg-NT/dedekind.tex#theorem-1
Prime factors in successive first-contact quotientsG4YHVP7A08statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.33794#X8I1
prime fieldW6T16839DEdefinitionopenWikidata Q18088147, EoM Prime_field, MathWorld PrimeField, MathWorld PrimeSubfield, nLab prime field, ProofWiki Definition:Prime_Field
prime gapS5BJXWD8QRunknownopenWikidata Q1377044, MathWorld PrimeDifferenceFunction, MathWorld PrimeGaps, OEIS A001223
Prime gaps from a single stateDM7YJER9KJstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.13365#492R
prime geodesicVFWZ6CM6QCunknownopenWikidata Q7243371, nLab prime geodesic
prime ideal7X4XZXY4S0conceptopenlebl_scv index/6.7/prime-ideal
prime idealMVN4P28CY5definitionnode (a node has the same name as the row)arXiv 2610.17137#46ST, mathlib_overview General algebra > Ideals and quotients > prime ideal, Mathlib Ideal.IsPrime, mathlib_undergrad Ring Theory > Ideals and Quotients > prime ideals, Wikidata Q863912, EoM Prime_ideal, MathWorld PrimeIdeal, nLab prime ideal, ProofWiki Definition:Prime_Ideal_of_Ring
Prime ideal $\iff$ quotient is integral domain6XJ6NE8P1Bstatementopennapkin tex/H113/ring-flavors.tex#thm:prime_ideal_quotient
Prime ideals in a cyclotomic field1VG74T390Aexamplerecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.17137#ZB21
Prime ideals in the Gaussian integersKVRJA5Y0NTexamplerecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.17137#G6D0
prime knotQEH5VZCP1NunknownopenWikidata Q1014491, MathWorld PrimeKnot
prime link9QPN8M5WAQunknownopenWikidata Q77347966, MathWorld PrimeLink
Prime local sensitivity formula4B5FA7CT9Nstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.17006#V6VW
prime magic square7BRJQE96RYunknownopenWikidata Q107054326, MathWorld PrimeMagicSquare
prime manifoldH11DFBRE6SunknownopenWikidata Q3598797, MathWorld PrimeManifold
prime meridian98PZVP5KYKdefinitionopenWikidata Q3401774, ProofWiki Definition:Meridian_(Terrestrial)/Principal
Prime multiplicitiesXMM5DZRBGDstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.17006#I12Z
Prime near-period lemmaAAZMA8R997statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.17006#ZNW3
prime numberSSDZJGY7BCtopicnode (a node has the same name as the row)Wikidata Q49008, EoM Prime_number, Mathlib Nat.Prime, MathWorld PrimeNumber, nLab prime number, OEIS A000040, ProofWiki Definition:Prime_Number
prime numberXFDJZQ7KTYconceptopenhott_book index/9.10/prime-number
prime number theoremEHF9EEGE67statementnode (a node has the same Wikidata item as the row)mathlib_1000 Q386292, Wikidata Q386292, thousand_plus Q386292, Wikipedia Prime number theorem, MathWorld PrimeNumberTheorem, nLab prime number theorem, ProofWiki Prime_Number_Theorem
Prime Number TheoremSV54STFBFGstatementopenmathlib_100 5
prime numbers3MXHQWG2FEunknownopenmathlib_undergrad Ring Theory > Divisibility in integral domains > prime numbers, Mathlib Prime
prime numbers8X3P62A4AXconceptopenlevin_dmoi index/4.2/prime-numbers
prime numbersMAEGZY0S8Vconceptopenlevin_dmoi index/3.5.4/prime-numbers
prime powerPV048GGQ9AunknownopenWikidata Q1667469, MathWorld PrimePower, OEIS A246655
prime power conjecture7DTWF8P26KconjectureopenWikidata Q131465796, MathWorld PrimePowerConjecture
prime quadruplet6E617JZQJYunknownopenWikidata Q1663458, MathWorld PrimeQuadruplet
Prime quotientsEJ641RCS0Qstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.15887#ASDF
prime ringRZ7J2JH0YTunknownopenWikidata Q386597, MathWorld PrimeRing, nLab prime ring
Prime signature3136M77J1VconceptopenWikidata Q7243382, MathWorld PrimeSignature
prime spectrum6VAHTN14F6unknownopenmathlib_overview Geometry > Algebraic geometry > prime spectrum, Mathlib PrimeSpectrum
prime tripletMRYG7JTRH2unknownopenWikidata Q1516865, MathWorld PrimeTriplet
Prime wordR98T3M3FK6definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2401.05118#PT4G
Prime zeta functionCR1E47A9XSconceptopenWikidata Q1896470, MathWorld PrimeZetaFunction
Prime-coordinate eliminationGV0CZWX31Xstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.02218#KXR8
prime-counting function9FB6GP0C2Wunknownnode (a node has the same name as the row)Wikidata Q251922, MathWorld PrimeCountingFunction
Prime-exponent inequalitiesPQK7Z2F76Wstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.33794#PDOA
Prime-power Gauss sumsH9FR32J0N6statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.17675#DHXP
Prime-power inheritance criterionBA6WP3F79Hstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.04305#972X
Prime-power local bands and time windows63ERM2PZY9statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.16351#HJAN
Prime-power minimality for topological minorsCR2Y3GF4S3statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.04305#7PM6
Prime-power minimality in the full minor orderR28B8G1E5Rstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.04305#H4O1
Prime-power static local matrix elementsF1EN3NMT2Estatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.16351#0KEE
Prime-power static spectrumRHGHCHKVF3statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.16351#SPEX
Prime-side spectral reconstruction7QKR9MZRTAproblemrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.27962#7CD3
Prime-supported periodsQ90S6TA2S0statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.26576#RSXY
prime-to-$q$ extensions of the base fieldH09X4FZM12statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.07508#GBOJ
Primefree sequence6GMGHPJRJGconceptopenWikidata Q7243388, MathWorld PrimefreeSequence
Primes and divisibility chainsBAH7EGRFQVstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.03811#OBY5
primes in arithmetic progression2ZG586E8C5unknownopenWikidata Q1043113, MathWorld PrimeArithmeticProgression
Primes in Pr\"ufer overringsMSGX0D851Wstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.00076#8BRH
primes of the form k^2 + 17831K2RTAVobjectopenWikidata Q10856136, OEIS A002496
Primes split before remaining inert6Q040MSFD9exampleopennapkin tex/alg-NT/ramification.tex#example-4
Primes, prime powers, and primorialsHQAR792E3Bstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.03811#EU5G
Primitive \texorpdfstring{$L$}{L}-function194Z5Y0FMEdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.05652#XBT5
primitive abundant number83PYSECP91unknownopenWikidata Q1956296, MathWorld PrimitiveAbundantNumber, OEIS A071395
Primitive compatible families95YV18X76Sdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.30301#EVEQ
primitive complex roots of unity5W1ZBQCZ0Nunknownopenmathlib_undergrad Group Theory > Abelian group > primitive complex roots of unity, Mathlib Complex.isPrimitiveRoot_iff
primitive element4SKS5JM9TWunknownopenWikidata Q91582849, MathWorld PrimitiveElement
primitive elementH5C2TMCTWAunknownopenWikidata Q18344563, EoM Primitive_element_in_a_co-algebra, nLab primitive element
primitive element theoremJE94J990CZstatementnode (a node has the same Wikidata item as the row)arXiv 2610.18154#KEDN, mathlib_1000 Q2093886, Mathlib Field.exists_primitive_element, Wikidata Q2093886, thousand_plus Q2093886, Wikipedia Primitive element theorem, ProofWiki Primitive_Element_Theorem
Primitive finite window verificationHEZ6YWVH17statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.18739#YQC2
Primitive finite-field Gauss-sum identityMM8P8GTAT9statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.30301#F0O4
Primitive homology coreRPKX27MN52statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.30561#SFQY
Primitive momentsK1S57B6J17statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.30808#E9X9
primitive nth root of unityWM039KCYNAunknownopenWikidata Q4349566, MathWorld PrimitiveRootofUnity
primitive partMTMXF94SBSunknownopenWikidata Q130417616, MathWorld PrimitivePart
primitive permutation group4GR1K8BXS1unknownopenWikidata Q7243579, MathWorld PrimitiveGroup, MathWorld PrimitiveGroupAction
primitive polynomialTTJVXJ6PG1unknownnode (a node has the same name as the row)Wikidata Q1458669, MathWorld PrimitivePolynomial
primitive prime factorEJXQ52MKFTdefinitionopenWikidata Q132225597, MathWorld PrimitivePrimeFactor, ProofWiki Definition:Primitive_Prime_Factor
primitive pseudoperfect numberQMDTE229F0objectopenWikidata Q2550888, MathWorld PrimitivePseudoperfectNumber, OEIS A006036
primitive Pythagorean tripleDRWHV4CNW3unknownopenWikidata Q131470698, MathWorld PrimitivePythagoreanTriple
Primitive quasi-unipotence in every rank at least threeEE62EBHHM4statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.27204#MCBP
primitive recursive arithmetic9T53849XE8unknownopenWikidata Q7243580, nLab primitive recursive arithmetic
primitive recursive functionPBRX2QR6BJunknownopenmathlib_overview Logic and computation > Computability > primitive recursive function, Mathlib Primrec
primitive root modulo n2WSCW76EPTunknownnode (a node has the same name as the row)Wikidata Q948010, MathWorld PrimitiveRoot
Primitive rootsT05ZSC83AWexampleopennapkin tex/H113/grp-intro.tex#example-16
Primitive simulation and conditional varianceSKW0YJKCW6statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.01843#LS29
Primitive slope multiset8PCX9WYNKYdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.05652#0YCN
Primitive variable-period mediumP1DV8190QBdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv math/0003117#9643
primitive, constantY6JDMCG1N9conceptopenhott_book index/4.1/primitive-constant
Primitive-torsion energy80DRBKBJ53statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.25762#PDBK
Primitivity and unit group index66934BCABEstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.16530#S3L6
primorial5J11BPAV06definitionopenWikidata Q1071077, MathWorld Primorial, OEIS A002110, ProofWiki Definition:Primorial
primorial primeJGXBMJ225TdefinitionopenWikidata Q2085786, MathWorld PrimorialPrime, OEIS A228486, ProofWiki Definition:Primorial_Prime
Prince Rupert's cubeFMDXFWQRMDproblemopenWikidata Q7244223, MathWorld PrinceRupertsCube
Principal angles8DB6QGJVWFstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.20944#2SGB
Principal Axes TheoremR2AVE6BVK4statementopenaustin_ula src/section7-2.xml#theorem-1
Principal axis theorem3RHN4QR9M8statementnode (a node has the same name as the row)mathlib_1000 Q7245073, Wikidata Q7245073, thousand_plus Q7245073, Wikipedia Principal axis theorem
principal branch9KXZ2CSP08conceptnode (a node has the same name as the row)Wikidata Q2923691, MathWorld PrincipalBranch
principal bundleV5Z45BFXM8conceptopenWikidata Q1365548, EoM Principal_fibre_bundle, MathWorld PrincipalBundle, nLab principal bundle
principal bundle connection7B2STK06HSunknownopenWikidata Q2920850, MathWorld PrincipalBundleConnection
principal components3QQF7P00Z2conceptopenaustin_ula index/7.3.2/principal-components
principal curvatureF7JTSFQWDNunknownopenWikidata Q1589551, MathWorld PrincipalCurvatures
Principal error constant of the certified estimator8RERKW7XR5statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.34918#35J6
principal homogeneous spaceBQ2WQ82R00unknownopenWikidata Q3755543, nLab torsor
principal idealZCJMB03987definitionnode (a node has the same name as the row)arXiv 2610.17137#QUNE, Wikidata Q44382, EoM Principal_ideal, MathWorld PrincipalIdeal, nLab principal ideal, ProofWiki Definition:Principal_Ideal_of_Ring
principal ideal domainCW5ERFPKGKunknownopenmathlib_overview General algebra > Divisibility in integral domains > principal ideal domain, Mathlib Submodule.IsPrincipal, mathlib_undergrad Ring Theory > Divisibility in integral domains > principal ideal domain