{"entities":{"Q703807":{"pageid":705656,"ns":120,"title":"Item:Q703807","lastrevid":63651966,"modified":"2026-04-11T14:37:21Z","type":"item","id":"Q703807","labels":{"en":{"language":"en","value":"Objects of categories as complex numbers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2126450"}},"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":"Q703807$9704B3EB-11F7-455E-B4D3-0B1C56DF8875","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2881d0da54700b38ac22b9f0e35cec4bd77f8e19","datavalue":{"value":{"text":"Objects of categories as complex numbers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q703807$4D85B2E4-52A4-4D21-9B48-54BEF564DD2C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d261638245e701276797a530020997cbe5d5f19","datavalue":{"value":"1060.18005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703807$FD51C39E-153C-400D-BB72-27CCE678B8FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c17e35916002716010ec7e2dd7e6e0ab6b994ad","datavalue":{"value":{"entity-type":"item","numeric-id":240387,"id":"Q240387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703807$F492B11F-F713-4098-A6F3-D3A333DDE98E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9977db334e09ca8242bf594e01c17b98c888abe9","datavalue":{"value":{"entity-type":"item","numeric-id":678838,"id":"Q678838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703807$478F9CCF-A5BF-43C2-A1A7-494397DE12B9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87fedd43d9515b94c7651de65777aba7be17422f","datavalue":{"value":{"entity-type":"item","numeric-id":165833,"id":"Q165833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703807$0C399380-5230-481B-BF90-A94DF6EEDD90","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64fc1bb835ad7d7e19dde657c65db04a5fd1cde0","datavalue":{"value":{"time":"+2005-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q703807$BE2E70C3-6068-4927-A9A7-D3DEF9576BD0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4d2e09e2d1d957606c9dd6b031ba48a7a54fd6dd","datavalue":{"value":"https://arxiv.org/abs/math/0212377","type":"string"},"datatype":"url"},"type":"statement","id":"Q703807$4F51FCFB-B7DD-4669-8563-7D2A4CF75212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"9dfaa79a276a36ce98e6ce3f1d712176cb2a5cd4","datavalue":{"value":"http://eprints.gla.ac.uk/38693/1/arxiv.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q703807$F0922274-89CB-4FFE-B7D8-67ADBFC4F68F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"823c55f23eb27dc3821d98be62072db0ad2161e5","datavalue":{"value":"For complex numbers, it is easy to deduce, that \\(x^2+1=x\\) implies \\(x^7=x\\). \\textit{A. Blass} [J. Pure Appl. Algebra 103, 1--21 (1995; Zbl 0846.18002)] proved that this also holds for the category of sets in the following sense: Given an explicit isomorphism between \\(T\\) and \\(T^2+1\\) (\\(T^2\\) is Cartesian product of \\(T\\) with itself and \\(1\\) is an added basepoint), this provides an explicit isomorphism between \\(T\\) and \\(T^7\\). In the present paper, a much more general statement is proven. A category with a symmetric additive structure \\((\\oplus,0)\\) and a multiplicative structure, \\((\\otimes,1)\\) such that the latter distributes over the former up to coherent isomorphism is called a {rig} category. A polynomial \\(p(x)\\) over the natural numbers may be interpreted as a polynomial in a rig category \\(\\mathcal{A}\\), since an object \\(T\\) from \\(\\mathcal{A}\\) gives rise to a new object \\(p(T)\\) in the category, well-defined up to canonical isomorphism. Hence polynomial equations may be interpreted as isomorphisms.  The main result is stated in two versions of which we give the less general version first: Given polynomials \\(p\\), \\(q_1\\) and \\(q_2\\) in \\(\\mathbb{N}[x]\\) such that \\(p\\) has non-zero constant term and moreover \\(q_1\\) and \\(q_2\\) have degree at least one, for such polynomials, if \\(p(x)-x\\) is primitive in \\(\\mathbb{Z}[x]\\) and has no repeated complex roots and if each complex root, \\(r\\), satisfies \\(q_1(r)=q_2(r)\\), then \\(x=p(x)\\) implies \\(q_1(x)= q_2(x)\\) {rig theoretically}, i.e., for any rig category, \\(\\mathcal{A}\\) and any \\(T\\in\\mathcal{A}\\), given an explicit isomorphism between \\(T\\) and \\(p(T)\\) one can build an isomorphism \\(q_1(T)=q_2(T)\\). Another version says: Let \\(p\\), \\(q_1\\) and \\(q_2\\) be as above. Suppose \\(x=p(x)\\) implies \\(q_1(x)= q_2(x)\\) ring-theoretically, i.e., for all rings \\(A\\) and all \\(a\\in A\\), if \\(a=p(a)\\) then \\(q_1(a)=q_2(a)\\). Then \\(x=p(x)\\) implies \\(q_1(x)= q_2(x)\\) rig theoretically.","type":"string"},"datatype":"string"},"type":"statement","id":"Q703807$5E16A9BC-5D75-4EEA-9DE3-F1FFB3D6E1F4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4495102e7773f5814bb447c5c0b30e849a1f5769","datavalue":{"value":{"entity-type":"item","numeric-id":523152,"id":"Q523152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703807$BDDF1FFF-859D-4339-A29F-A684C1FC7FD3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"975e306b2e493708715392b7bc75eadbf7291a79","datavalue":{"value":"18D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703807$01481D72-E67D-42A1-A446-ECE72055BF14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42abd3be6389527e37c46ea1d59cd70ef81e5f0b","datavalue":{"value":"16Y60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703807$395E919D-C23B-4860-9CE3-75B7B47DE500","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56058cd0c6ff541ecbf4315198ba6be90e716773","datavalue":{"value":"2126450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703807$243B68E7-A13F-4EA8-9E9A-1D3B795619A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q703807$F16466FE-7580-4B52-A878-9D06BEA35B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e83454d0c86234fee35e193c37d2bc1489188c44","datavalue":{"value":"commutative algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q703807$690C2E69-F7D6-49E3-8457-1B9E18BF7248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b3312f26a64b1c9aa3632e0cbb981418870d58e","datavalue":{"value":"rings and algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q703807$225CE7C2-B388-441F-83B0-26A3A52FCA8B","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":"Q703807$2EE0558D-9AC2-4773-BD7E-4E3A9BF01295","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"112aadb9dc44df80aec9f7d0e2bb84e2d8dfadb2","datavalue":{"value":"W2073216698","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703807$C737D2FA-F929-41B3-9F5D-D185F9FB6061","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"faccf601464fef5802e8567f1ab5f88ad01acc09","datavalue":{"value":{"entity-type":"item","numeric-id":1901018,"id":"Q1901018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703807$E778AB59-7E21-4046-BB97-0D8E122E27FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b214f17c8f5e37dc634be4948fcab239d96373fb","datavalue":{"value":{"entity-type":"item","numeric-id":3452251,"id":"Q3452251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703807$DC1C32C7-AB2F-4618-B0DF-218120200A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eccf9feb96d5f5793af98636c89309a5d3f68170","datavalue":{"value":{"entity-type":"item","numeric-id":2643534,"id":"Q2643534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703807$5A90EAE1-2F8D-40AF-AB91-DEB06C288033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9f5278e05b33206956962a2e43d2c523a5f74ca","datavalue":{"value":{"entity-type":"item","numeric-id":1380052,"id":"Q1380052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703807$FB4F22B4-0364-4CF7-B767-138E4693EEA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d376930c2f07bcbbb720ef55c807a9c9473d26bd","datavalue":{"value":{"entity-type":"item","numeric-id":2649409,"id":"Q2649409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703807$DF0D9416-6D05-46A0-B508-522D099D4E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ffcf461e7183437cbd2c8c8a11fd6e91bd52ebf","datavalue":{"value":{"entity-type":"item","numeric-id":5655528,"id":"Q5655528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703807$860F15A3-F839-4D5B-9F37-64DFE02F876E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd5696c7613fd0217638ff5ef0c0f8f5bcdb523b","datavalue":{"value":{"entity-type":"item","numeric-id":3978964,"id":"Q3978964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703807$8306A61E-942E-473C-8E7F-B58F1AE2DC32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3239fc1c438acfe15df113645b08fe9cbc86dda0","datavalue":{"value":{"entity-type":"item","numeric-id":3978988,"id":"Q3978988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703807$CFC8C798-F5E3-464C-AB5C-E6968D4D3324","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b588e7d1a204bb9d0339e3af3961194f1c21fba7","datavalue":{"value":"10.1016/J.AIM.2004.01.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703807$BCFAE2FA-BE36-4328-8D6B-81283EDF91FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8d08dd2cb3f1f1314c98f57e5a46ffdc1eb065a","datavalue":{"value":{"entity-type":"item","numeric-id":2738453,"id":"Q2738453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c8761499d3fe00f2fa91a316e451f6e4451f71f","datavalue":{"value":{"amount":"+0.7213706970214844","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q703807$48AE2578-FFFE-4F9B-8F63-3B88EB422110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66d5b1ba8ff292dc170daf6256890a8d6070c879","datavalue":{"value":{"entity-type":"item","numeric-id":1822604,"id":"Q1822604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bfa555ca875ca1d6b42d6117daa4de72e102c3e","datavalue":{"value":{"amount":"+0.7137460112571716","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q703807$59407B1B-AEB9-40DB-8807-E61E4C2D2F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a17aa54511ac6ebaa3016f16e6d4a4bd55828778","datavalue":{"value":{"entity-type":"item","numeric-id":3411390,"id":"Q3411390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3b3b748b3aa33549b9b5b778b8d49e9ecdb288b","datavalue":{"value":{"amount":"+0.6810840368270874","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q703807$41C4D3FC-95CC-494A-8CA6-720B22DB6835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bce394319a829a041656a0240c01857b489ff009","datavalue":{"value":{"entity-type":"item","numeric-id":4726438,"id":"Q4726438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5ac72fddc154bea3e1b0a19a51f1764d0ceda7e","datavalue":{"value":{"amount":"+0.6609394550323486","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q703807$98F64582-659C-4C68-AA1B-A3AF701EB131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b565b88ba8182cea3870ed1a82f821c1ff86d7e4","datavalue":{"value":{"entity-type":"item","numeric-id":4392643,"id":"Q4392643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b95d7fe7b32448361d6599b2d2757353d462af46","datavalue":{"value":{"amount":"+0.6590316295623779","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q703807$BA9565D3-64E5-47EB-AFC4-276685959718","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Objects of categories as complex numbers","badges":[]}}}}}