{"entities":{"Q534020":{"pageid":535787,"ns":120,"title":"Item:Q534020","lastrevid":62552307,"modified":"2026-04-11T06:52:05Z","type":"item","id":"Q534020","labels":{"en":{"language":"en","value":"Reynolds operator on functors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5886352"}},"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":"Q534020$BD384DA1-E300-4E59-AB3B-08970DAAD75F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6927b66b4cca97bffbcec10e447b7ca79c0a8368","datavalue":{"value":{"text":"Reynolds operator on functors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q534020$46142039-FA06-46E4-93FD-2C961E521F8B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac6cbfd572a0ab00abd892a269e28448d9e0f462","datavalue":{"value":"1219.14059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q534020$14234BB8-AC5A-46F3-9C79-C63B774A3AFB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"639df4fcbce0e7acbdb49e1189fcbf167fd91a49","datavalue":{"value":{"entity-type":"item","numeric-id":534018,"id":"Q534018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534020$0A5717BB-511F-4851-B506-2AC05A8D5390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0312102c4bc1bad41ffc8abdc89787d26c4c03d9","datavalue":{"value":{"entity-type":"item","numeric-id":534019,"id":"Q534019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534020$5B583414-227F-42B4-BAC7-7FE5678AE5C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"46f6427d0b1c3799c354df7529a1d4fce0f89233","datavalue":{"value":{"entity-type":"item","numeric-id":307178,"id":"Q307178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534020$43D22763-3029-46D3-90E5-C73F9F9C89E1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534020$38596940-FEC7-423F-84D1-9195F6AE0172","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6355dd651d7e8925edcf5ba080dbea252734508c","datavalue":{"value":{"time":"+2011-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q534020$582111F1-6E6A-4D79-891D-3236C9623976","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f1a0d71e5a971fb824a0d27863fb0846e0a7aa8","datavalue":{"value":"https://arxiv.org/abs/math/0611311","type":"string"},"datatype":"url"},"type":"statement","id":"Q534020$8F0F3B3D-3C75-4C78-822F-C121026AFB16","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8408f9802092739e3b0dab1d42dac1043e45fd60","datavalue":{"value":"Let \\(R\\) be a commutative ring with unit and let \\(\\mathcal{R}\\) be the functor of rings defined by \\(\\mathcal{R}(S) := S\\) for every commutative \\(R\\)-algebra \\(S\\). Given an \\(R\\)-module \\(M\\), we can define a functor of \\(\\mathcal{R}\\)-modules \\(\\mathcal{M}\\) over the category of commutative \\(R\\)-algebras by setting \\(\\mathcal{M}(S):= M \\otimes_R S\\). A functor of sets \\(\\mathbb{M}\\) is called a functor of \\(\\mathcal{R}\\)-modules if there exist functors of sets \\(\\mathbb{M} \\times \\mathbb{M} \\to \\mathbb{M}\\) and \\(\\mathcal{R} \\times \\mathbb{M} \\to \\mathbb{M}\\) which makes \\(\\mathbb{M}(S)\\) an \\(S\\)-module for every commutative \\(R\\)-algebra \\(S\\). Given a functor \\(\\mathbb{M}\\) of \\(\\mathcal{R}\\)-modules, we have the \\textit{dual functor} \\(\\mathbb{M}^* := \\mathbb{H}\\)om\\(_{\\mathcal{R}}({\\mathbb{M}},\\mathcal{R})\\).  This paper is mainly concerned with the case that \\(G=\\) Spec \\(A\\) is an affine \\(R\\)-monoid scheme. The main result states that a category of dual functors of \\(G\\)-modules is equivalent to the category of dual functors of \\(\\mathcal{A}^*\\)-modules. The authors also define a notion of invariant exactness for \\(G\\) (roughly, \\(G\\) is invariant exact if taking invariants is an exact functor), they give necessary and sufficient conditions for \\(G\\) to be invariant exact, and they prove that if \\(G\\) is invariant exact and \\(\\mathbb{M}\\) is a dual functor of \\(G\\)-modules, then the Reynolds operator can be defined on \\(\\mathbb{M}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q534020$F65EBEBE-D294-4E44-BFAE-77C12193C1ED","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5c3ba5a65742ad5316ea7a2dd1c776d88b0a4dc6","datavalue":{"value":{"entity-type":"item","numeric-id":312282,"id":"Q312282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534020$C9395A26-72AD-4D88-9B39-4994C7B7A43D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"42b931248b35f27feab055327448c621f56fb644","datavalue":{"value":"14L24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q534020$F633E20D-E4BF-4C93-9426-3D9A0ABF90A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ccfe079e35ccc7e216ef944124db3b57a09e1992","datavalue":{"value":"14L15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q534020$1621304E-C1C2-49F3-A079-78FE7445D84B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bdb8eb4bed49ef5a53063defdee238881bf8db68","datavalue":{"value":"5886352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q534020$E9B995F1-7DF1-488E-A4B1-09F8EA3202F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f80574dd9c085d8ecacec6b1f4e9ced60e0db81e","datavalue":{"value":"affine \\(R\\)-monoid scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q534020$999C3498-1401-4E1B-B92F-19F5B6A57EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd55297298b83098d1d3deffd80b548d35d7fb71","datavalue":{"value":"dual functor of \\(G\\)-modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q534020$853DAEEE-51A7-4FD8-8D53-538C3CE3B86A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a85610fad08c83a94fb9a0f490899f0e00e31ca","datavalue":{"value":"Reynolds operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q534020$1A8F2BCA-65B0-48A3-A05E-7D484A3BFBEB","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":"Q534020$5458C195-AC7F-4A8E-AE45-D5ADFB3C58C3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aea28ade72a050ecb039ec1ba20b841be3e6ddb8","datavalue":{"value":"W2067941915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q534020$E9FE38DF-76EF-4A23-AA3F-A846433B8432","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3282570bba25f7131d4e0bcfd861f0860647f672","datavalue":{"value":{"entity-type":"item","numeric-id":2368797,"id":"Q2368797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534020$EFB33DC0-4E2A-4FEE-B5F9-65EA32B42CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5682e7932b9ca99cbf23f7cc3ff58d6095b1ad95","datavalue":{"value":{"entity-type":"item","numeric-id":3638414,"id":"Q3638414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534020$AD20FB7D-2C14-4794-A2B7-C9A0F8683D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c32eed6e00eca3c81db12d91d5b7542dea58fc8","datavalue":{"value":{"entity-type":"item","numeric-id":5485132,"id":"Q5485132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534020$67001E32-C224-435E-843B-7D89D37B65EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"084d8c9586525fa07f7f12f30a252d1be74d34dd","datavalue":{"value":{"entity-type":"item","numeric-id":5461296,"id":"Q5461296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534020$E071725E-8126-491D-91CB-BB9F70C551BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b09bcf71c80222c67d7cfaba24d5befed632137","datavalue":{"value":{"entity-type":"item","numeric-id":3420074,"id":"Q3420074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534020$040A1929-1CED-4DAD-9D08-EF6FECA67CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87668f255c44350fecbd30a3f7ab16dfa7e3ad6a","datavalue":{"value":{"entity-type":"item","numeric-id":4782688,"id":"Q4782688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534020$AD21DFEA-7051-444B-BC90-49976BD7AC50","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"43e4933475d5844eb35c0798d33b847a78e752ba","datavalue":{"value":"10.1016/J.JPAA.2010.11.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q534020$3C90169F-F62A-4E20-8C8C-4B717CF2983F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16d8d8de12e8c26db5c758dafe748c9a33b4eddc","datavalue":{"value":{"entity-type":"item","numeric-id":5461296,"id":"Q5461296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d68ed8e35a540f46af9276ea5659e04dc34e118","datavalue":{"value":{"amount":"+0.7780668139457703","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":"Q534020$E0D9E885-2E1E-42D3-B418-31673082C881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e89d141116d3631cdfab99bec19094547a623587","datavalue":{"value":{"entity-type":"item","numeric-id":1375370,"id":"Q1375370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72276e20beb64161cebea73d4e7e2495ebda507e","datavalue":{"value":{"amount":"+0.7486977577209473","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":"Q534020$C0D19953-F38C-4A34-888D-09AB01322509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb646285a7ef82a5b092b2ac24bdebfe2fb30270","datavalue":{"value":{"entity-type":"item","numeric-id":2368797,"id":"Q2368797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70fb1e3b33e131b0cab9cab7f48a5d62fbef17ff","datavalue":{"value":{"amount":"+0.7234616279602051","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":"Q534020$B1FE6284-7652-4F1B-969D-176BD2E92A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cbb0f2ef9e857d4a5300f9c8b720423f15abba1","datavalue":{"value":{"entity-type":"item","numeric-id":888107,"id":"Q888107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39f98ca2172cf2f9e2827d9c8174384e821ad861","datavalue":{"value":{"amount":"+0.7060427665710449","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":"Q534020$99310860-5C24-4AA2-B787-CAF4D5008D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"123595dbd1395bc19c5ef89f101e20141af93a10","datavalue":{"value":{"entity-type":"item","numeric-id":1073910,"id":"Q1073910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a250c8a0832c01f863313e2c5f347db452804040","datavalue":{"value":{"amount":"+0.7003350853919983","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":"Q534020$3C10956F-72F3-47B6-93EA-71D2EA205C51","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reynolds operator on functors","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reynolds_operator_on_functors"}}}}}