{"entities":{"Q6995630":{"pageid":21476772,"ns":120,"title":"Item:Q6995630","lastrevid":83833124,"modified":"2026-05-07T12:27:51Z","type":"item","id":"Q6995630","labels":{"en":{"language":"en","value":"Reciprocity via Reciprocants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8028786"}},"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":"Q6995630$674254A7-A04A-4666-9F47-C604C3618AC1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1b88159a0c2885e399f72aad826d91ecaccd0d7","datavalue":{"value":{"text":"Reciprocity via Reciprocants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6995630$48C8C0F6-6F05-40CE-9518-7D8D9DA49F56","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f79cad57f57015b3f6542e6b1239e595500d5dbc","datavalue":{"value":"1567.11003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6995630$80D07E06-E3D4-40FC-93D5-495C6ED8A490","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0ceb0af8607b5648df21760bcc32f27246a5a5e2","datavalue":{"value":"10.1080/00029890.2024.2439819","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6995630$798D2DE3-5AA7-4453-966A-E5CBFA7DA7DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"52d95a2816c089d54c46de2e4f66b1f62b5a3dd0","datavalue":{"value":{"entity-type":"item","numeric-id":1568206,"id":"Q1568206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995630$07DABBEE-D345-47EA-A087-162FD71B5EC9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f5ab0baf7eae70aecb4af413b43b8b6a1ca6194f","datavalue":{"value":{"entity-type":"item","numeric-id":559780,"id":"Q559780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995630$A31756BC-8407-4795-A47C-51DC4A47CFFC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f46bd12021463d76326e8ed459cc632d010e61ec","datavalue":{"value":{"time":"+2025-04-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6995630$5454E8BB-ABBF-49BB-B242-F522B90EDC44","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8a18069e7316220be258fa3246dc480177efddce","datavalue":{"value":"The author introduces reciprocants, and using them, he proves the Law of Quadratic Reciprocity: if \\(p\\) and \\(q\\) are two distinct odd primes, then \\(\\left(\\frac {p} {q}\\right)\\left(\\frac {q} {p}\\right)=(-1)^{{\\frac {p-1} {2}}\\frac {q-1} 2}\\). Recall the Legendre symbol \\(\\left(\\frac {a} {p}\\right)\\): if \\(a\\) is an integer not divisible by an odd prime \\(p\\), then \\(\\left(\\frac {a} {p}\\right)=1\\) if and only if \\(a\\) is a square modulo \\(p\\), otherwise \\(\\left(\\frac {a} {p}\\right)=-1\\).\\N\\NLet \\(R\\) be an integral domain. A nonzero polynomial \\(f(x)\\in R[x]\\) is \\textit{reciprocal} if it is equal to the polynomial obtained by reversing the order of its coefficients. The author proves that the resultant Res\\((f,g)\\) of two nonzero polynomials of \\textit{even} degree has a canonical square root (\\textit{the reciprocant} of \\(f\\) and \\(g\\)): Res\\((f,g)=\\)Rec\\((f,g)^{2}\\). The reciprocant is defined as Res\\((f^{\\sharp},g^{\\sharp})\\), where \\(f^{\\sharp}\\) and \\(g^{\\sharp}\\) are two reciprocal polynomials of degree \\(\\frac {\\deg f} {2}\\) and \\(\\frac {\\deg g} {2}\\), respectively. Hence Rec\\((f,g)\\in R\\). We have Rec\\((f,g)=\\)Res\\((f^{\\sharp},g^{\\sharp})=(-1)^{\\deg (f^{\\sharp})\\deg (g^{\\sharp)}} \\)Res\\((g^{\\sharp},f^{\\sharp})=(-1)^{{\\frac{\\deg f} 2}\\frac{\\deg g} 2}\\)Rec\\((g, f)\\).\\N\\NFor an even positive integer \\(n\\) let \\(g_{n}(x)\\) be the reciprocal polynomial \\(\\frac {X_{n}-1} {X-1}=X^{n-1}+\\dots +1\\in \\mathbb Z[x]\\). If \\(m\\) and \\(n\\) are two coprime positive integers, then Res\\((g_{m},g_{n})=1\\), implying that Rec\\((g_{m},g_{n})=\\pm1\\).\\N\\NIf \\(p\\) is an odd prime, then \\(g_{p-1}=\\Phi_{p}\\) (the \\(p\\)th cyclotomic polynomial), so \\(\\deg \\Phi_{p}=\\frac {p-1} {2}\\). The author proves that Rec\\((\\Phi_{p}, \\Phi_{q})= \\left(\\frac {q} {p}\\right)\\), thus obtaining the Reciprocity Law. He also proves by the same methods that if \\(p\\) is an odd prime, then \\(\\left(\\frac {2} {p}\\right)=1\\) if and only if \\(p\\equiv 1 \\text{ or }p \\equiv 7 \\pmod 8\\).\\N\\NAs mentioned by the author, ``we strive to keep the exposition as elementary as possible, with the goal of making the paper understandable by a reader who has taken basic undergraduate courses in number theory, abstract algebra, and linear algebra.''","type":"string"},"datatype":"string"},"type":"statement","id":"Q6995630$CC0BE5EA-B09E-4839-9CB7-692B845C88EF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4234859ed1119166229b7e81518334f609896511","datavalue":{"value":{"entity-type":"item","numeric-id":194514,"id":"Q194514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995630$3CFDE68B-D837-4775-9F88-2B9D3F4BFD7B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0614cfe757af775354cacad4d1852bd334b9e455","datavalue":{"value":"11A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6995630$F0B2E7C9-463C-4E29-8C5F-06F575FBB52F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"90ef62ca3df70431dbcfd5966d7b2dd88d957348","datavalue":{"value":"13P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6995630$FDAFFBB4-B9A3-4D2D-B57A-A154289E0AF8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"272357a88142937a0fc4a37f4c69ea6a40efa460","datavalue":{"value":"8028786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6995630$05056BD5-6B89-405B-80EE-4365EACDAFEF","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":"Q6995630$A6E1EB32-855D-40EE-B5B7-AEF89CD9BF51","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e113ccac789e14cc285d77a161417c67659f02","datavalue":{"value":{"entity-type":"item","numeric-id":1534903,"id":"Q1534903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995630$1704614A-C6A0-4A37-89BD-1E03F8FD7725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2338dfe64e77ae72fc7f139d0dfb4acfd2995c0","datavalue":{"value":{"entity-type":"item","numeric-id":3162633,"id":"Q3162633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995630$6CA60653-D7F4-4E85-91F2-43FFA9EB9E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"389f7c8be05bfc5eb220cb0d188486995ebed11b","datavalue":{"value":{"entity-type":"item","numeric-id":5656886,"id":"Q5656886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995630$A239B71B-7B36-423F-AA60-65F7F26A3F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8184c9e22f7bf71dec0c9ecfb633139eaa729b1","datavalue":{"value":{"entity-type":"item","numeric-id":2770573,"id":"Q2770573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995630$0B9ABE25-6632-4150-B31F-91045D2BDB66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9dcd2920bd95bca8fe9f07c1b6b8d77c5c37fba","datavalue":{"value":{"entity-type":"item","numeric-id":5226856,"id":"Q5226856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995630$58A4496E-E5A9-4592-9B12-B23DF462EB72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd0846d11c17bd1e3a7c8f5f094ee152adb97fcf","datavalue":{"value":{"entity-type":"item","numeric-id":495296,"id":"Q495296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995630$E5DCB2C2-17FD-4CB6-8B67-ECD45ED5A55A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ff5741583be2d626863a3fd548caa7dac52a7c1","datavalue":{"value":{"entity-type":"item","numeric-id":2585950,"id":"Q2585950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995630$F45A64CF-B586-4241-9072-60C789B9E590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9502224d208d2a1c42f8a619b873fb638a822783","datavalue":{"value":{"entity-type":"item","numeric-id":5582365,"id":"Q5582365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995630$CB028A61-2F46-40BD-858F-6A8FE481C4E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e50d7d4ab1cb360ca91b9c8ddf4b24e63ce4b5e","datavalue":{"value":{"entity-type":"item","numeric-id":4956108,"id":"Q4956108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995630$9C3CE0AD-B659-45B5-96E5-FF61F83316E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58d8dddfcb6dfd5564dde596a6935581a3a2466f","datavalue":{"value":{"entity-type":"item","numeric-id":3982582,"id":"Q3982582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995630$D15894FB-02F3-4FCF-B8B4-9AAC3E0C71C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95e260808c779c71487db84b6f676ed2dad0406f","datavalue":{"value":{"entity-type":"item","numeric-id":2190075,"id":"Q2190075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995630$6141CD3E-B7EB-4881-AEFD-F01C1AF8D9F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25be2a2f07bb9574c906be99a471ac0339478905","datavalue":{"value":{"entity-type":"item","numeric-id":5892217,"id":"Q5892217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995630$F83FADB0-9A12-4C5E-AA81-391C79D1F2B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72acaa277deedab26dd15c3e0ca85f585fa2c013","datavalue":{"value":{"entity-type":"item","numeric-id":1858254,"id":"Q1858254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995630$5D982427-5203-40E9-AEC8-E32AFD60B337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e28d865b6a527d6aef184a58e15bb15ad21dc2c","datavalue":{"value":{"entity-type":"item","numeric-id":3856819,"id":"Q3856819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995630$52D3189F-D8B5-47C6-A5FD-F6C00532A7B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reciprocity via Reciprocants","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reciprocity_via_Reciprocants"}}}}}