{"entities":{"Q7002550":{"pageid":21518277,"ns":120,"title":"Item:Q7002550","lastrevid":83034749,"modified":"2026-05-07T04:40:01Z","type":"item","id":"Q7002550","labels":{"en":{"language":"en","value":"Archimedean representation theorem for modules over a commutative ring"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8022272"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7002550$96FDF04A-8D91-4DE0-BDC1-0EF87B7905DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"87592fcb99b188eb4e485c466833629a066a8702","datavalue":{"value":{"text":"Archimedean representation theorem for modules over a commutative ring","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7002550$99EDE9DC-B769-472C-9C08-211ED4885D86","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0ab65f07cc4be70a856e1fa4903d73bf829c92f0","datavalue":{"value":"1568.13036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7002550$DAC7FEE8-3167-40F9-A258-07E0643E7D19","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d2e71dc1ccafdd43b287c1309754532999cc96a","datavalue":{"value":"10.1007/S13366-023-00723-W","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7002550$071D136B-8FEC-47FF-AFCD-59AC6C1AC832","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a563079116e2d63f7e50eb6b7613b6398570071","datavalue":{"value":{"entity-type":"item","numeric-id":270158,"id":"Q270158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7002550$7BB52B41-96E5-4FBE-A344-7BABE2408BCE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fcf622d4faaaf9eb501926768589cf6bc6e37689","datavalue":{"value":{"entity-type":"item","numeric-id":213743,"id":"Q213743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7002550$55439442-7679-4970-818A-657E86D986BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2e6932eced7a8e5ec128f3e4abcdda6901995d2a","datavalue":{"value":{"time":"+2025-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7002550$CC3E5D80-301A-4E49-B95B-40AB7C7B6FC5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a001499ba7c9a275789911d13179a5f4662d033d","datavalue":{"value":"This paper presents a generalization of the classical Archimedean Representation Theorem from the setting of rings to modules over commutative rings.\\N\\NSuppose that \\( G \\) is a module over a ring \\( A \\), let \\( M \\subseteq G \\), and let \\( u \\in M \\). Define\\N\\[\\NX_A(G, M, u) := \\left\\{ \\Phi : G \\to \\mathbb{R} \\,\\middle|\\, \\begin{array}{l} \\Phi \\text{ is a group homomorphism, } \\Phi|_M \\geq 0,\\, \\Phi(u) = 1, \\\\\\N\\Phi(f \\cdot s) = \\Phi(f \\cdot u)\\Phi(s)\\quad \\forall f \\in A,\\, s \\in G \\end{array} \\right\\}.\\N\\]\\NGiven \\( s \\in G \\), we write \\( s > 0 \\) (resp. \\( s \\geq 0 \\)) on \\( X_A(G, M, u) \\) if \\( \\Phi(s) > 0 \\) (resp. \\( \\Phi(s) \\geq 0 \\)) for all \\( \\Phi \\in X_A(G, M, u) \\).\\N\\NThen the main theorem of the article is:\\N\\N{Theorem} Let \\( G \\) be a module over a ring \\( A \\), let \\( M \\subseteq G \\) be a subsemimodule over an archimedean subsemiring \\( S \\) of \\( A \\), and let \\( u \\in M \\) be an order unit of \\( (G, M) \\). Then, for each \\( s \\in G \\) with \\( s > 0 \\) on \\( X_A(G, M, u) \\), there exists a positive integer \\( n \\) such that \\( ns \\in M \\).\\N\\NThe author use this framework on matrix polynomials. This generalization can be use in examples like P\u00f3lya's and Handelman's Positivstellens\u00e4tze, which are well-known results of polynomials, which become particular instances of the more extensive module-based approach.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7002550$79DE97DE-8DF1-40F6-BB91-98FD7E797C4B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"fe600ccce24adafbe197df311315fe2a8fd0d802","datavalue":{"value":{"entity-type":"item","numeric-id":6529185,"id":"Q6529185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7002550$6DE5CD4E-4960-41A5-B197-E01CD348409E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"765bffd38ceeadce2d709456a083f0dd0b70ccc2","datavalue":{"value":"13J30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7002550$2E994AB7-AF3B-4305-B998-6C103963FC69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31896422e6d8800b21693e23b11279a404743c5b","datavalue":{"value":"14P99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7002550$73A9710E-56A2-480B-90B3-FA4B97FF16E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379993e49d6b3bf4f928ea97a76d4470fec7f1af","datavalue":{"value":"15B48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7002550$9EA48730-C535-4A53-B70B-5E88B5D76D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"540a784b2bf2a7375e90e51860a5dfe01224ba6a","datavalue":{"value":"52A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7002550$93590E17-A13A-4830-AEC3-E3B39B9DEC5A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac55fe5ce54b9d6e6e3e0433ea2e3adbcc9d7871","datavalue":{"value":"8022272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7002550$24ED507D-1F5A-4F05-82BF-3CCDC60F693B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f1ee2c1d5104256cbb693d058175fd471cc7723","datavalue":{"value":"Archimedean semiring","type":"string"},"datatype":"string"},"type":"statement","id":"Q7002550$DEA45E72-B804-480B-ACC1-56EF703ED74E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"936ce2f7cbcd826504f4d0a2bfe581483565fc06","datavalue":{"value":"module over a commutative ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q7002550$842C7CE8-2928-48C9-BDCF-24AB1F2423B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"850292df385db1a7791464d9ea1bb117e138f458","datavalue":{"value":"positivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q7002550$6E782D33-C312-4169-A169-EF50C03C95F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fed98219543341aca249aafdfcf8f798a517c013","datavalue":{"value":"Positivstellensatz","type":"string"},"datatype":"string"},"type":"statement","id":"Q7002550$A08935BB-6F0E-4075-B8FF-CB86078A1C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"280221cde86c143eb3701b731897dd2ac31e952e","datavalue":{"value":"convex geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q7002550$60C63D51-F2BE-46CC-96CC-48B58B2135C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43365ba0f639db930b40555c8f853974d146632b","datavalue":{"value":"matrix polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q7002550$12865234-C027-4BD5-AFC4-0A60275E6BB8","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7002550$6544C3D6-CF56-4BBE-9A0D-1FF89993AC65","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c29946536768126df43bc92d83dead9c7807d64","datavalue":{"value":{"entity-type":"item","numeric-id":4790110,"id":"Q4790110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7002550$6816DBC0-A00D-48E7-98EB-00A6AFE497E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0746af387e353367050027de861503dc9d3748d5","datavalue":{"value":{"entity-type":"item","numeric-id":1051046,"id":"Q1051046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7002550$7ADDE851-C10D-4F7E-8806-ED97A3DA32C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ccd39b1b50eb057e19cfb46c6c39bfeb5738fca","datavalue":{"value":{"entity-type":"item","numeric-id":5932136,"id":"Q5932136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7002550$C84DED24-D005-4FB5-A0CE-3B45828BA723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd11c9a00dd01308b181a3fa1097dfc5fa93497","datavalue":{"value":{"entity-type":"item","numeric-id":5528933,"id":"Q5528933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7002550$81C3D4FC-6B03-40E2-B908-5677D33A4753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fa5f20efbc1c6b1075c7cfddf3d68bc728bc1fb","datavalue":{"value":{"entity-type":"item","numeric-id":662442,"id":"Q662442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7002550$73F4E979-5FAF-4E3B-8E40-5E7D99E49233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d3d209faad05b5a9851d8f016d1f75b3643f867","datavalue":{"value":{"entity-type":"item","numeric-id":3906633,"id":"Q3906633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7002550$9FFAFA7E-98C6-4CC1-9241-EF1414573951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"887b0199302230b543d60de96eadf3925eaaa56e","datavalue":{"value":{"entity-type":"item","numeric-id":2609449,"id":"Q2609449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7002550$F326D24D-B7FE-41AE-BF88-01D9304B17D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d184f5b38428286e0f9e4c48dc8e1fc8e4355714","datavalue":{"value":{"entity-type":"item","numeric-id":1223468,"id":"Q1223468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7002550$02828390-9B5D-4BA3-A61F-F423EDE127DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f63ba7bc11944b0d0ed5ffca1719a058578e1b50","datavalue":{"value":{"entity-type":"item","numeric-id":3903050,"id":"Q3903050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7002550$C8645599-2F20-49CB-A93E-FD8B42539C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3df309a25f114f6ed4c1cbd2d0d11756162e579","datavalue":{"value":{"entity-type":"item","numeric-id":3688926,"id":"Q3688926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7002550$A81B8D19-11C6-4895-82A4-8D3F040FD879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0fcd1262ebaeb142ece48b594c05a6eede332ac","datavalue":{"value":{"entity-type":"item","numeric-id":1112337,"id":"Q1112337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7002550$6ABF4416-4EBF-4713-A459-207574670065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dfa7cc37b9c6b55ceb6b68232c6712847b146c4","datavalue":{"value":{"entity-type":"item","numeric-id":3895523,"id":"Q3895523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7002550$22739F3C-FA31-4A22-ADD9-63FF64B3D8AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ab81079a2db277b12693d5603e31ff517ec3443","datavalue":{"value":{"entity-type":"item","numeric-id":5812325,"id":"Q5812325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7002550$FDA4418B-040C-4E1D-9B20-7885AEA31474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15315e0ec1b417463b3208fa34ae85f7ebb91bc9","datavalue":{"value":{"entity-type":"item","numeric-id":5766799,"id":"Q5766799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7002550$2BB61E3F-C0DE-4C40-896B-092FC4801000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5967c2175cf6dfae2ed8bebcb00a36835932c55c","datavalue":{"value":{"entity-type":"item","numeric-id":5730197,"id":"Q5730197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7002550$B0226819-2724-4EF3-819E-CAB9767DCA61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d0ab62ae07f956593adec79bf245f33771b6e2b","datavalue":{"value":{"entity-type":"item","numeric-id":2395891,"id":"Q2395891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7002550$50798A43-4604-445E-AE59-D50B73D1B8FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84f107fe451ed8142dea07ba00b85fe1c7ece94f","datavalue":{"value":{"entity-type":"item","numeric-id":1752981,"id":"Q1752981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7002550$85A132B8-C20B-4FFE-A01E-B781CA7FE965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec17d582575aa72052158e323874926fdb4d433f","datavalue":{"value":{"entity-type":"item","numeric-id":1440279,"id":"Q1440279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7002550$89A945B0-E26F-4567-A1A0-222D86AF8711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a6b99cc1d4883a18e6631ecfdfde83acc64de22","datavalue":{"value":{"entity-type":"item","numeric-id":5951566,"id":"Q5951566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7002550$4689B6BD-B8E4-4801-9560-EDF4D7DC7CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"829c8a463f9a3b571311d8b327c6fb3c113220de","datavalue":{"value":{"entity-type":"item","numeric-id":2716044,"id":"Q2716044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7002550$2CA61DD7-04B3-4068-9CD8-5286B0EBDFA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f7a026263a50d337c765f999e71738621d7a950","datavalue":{"value":{"entity-type":"item","numeric-id":2492689,"id":"Q2492689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7002550$6A07D742-06D3-4C06-B0DB-39EDE2860343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fd925b871b3461dd9004f9426f2d342b999b7de","datavalue":{"value":{"entity-type":"item","numeric-id":3601991,"id":"Q3601991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7002550$9F83DFE5-F6CC-45D0-A4B2-994F866DE888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a741601257ea2579bd67ade2f24a7687eccd8ac5","datavalue":{"value":{"entity-type":"item","numeric-id":4407585,"id":"Q4407585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7002550$8ACA746E-1880-4960-8025-93504A3A289B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Archimedean representation theorem for modules over a commutative ring","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Archimedean_representation_theorem_for_modules_over_a_commutative_ring"}}}}}