{"entities":{"Q659880":{"pageid":661729,"ns":120,"title":"Item:Q659880","lastrevid":57130542,"modified":"2026-03-26T17:41:28Z","type":"item","id":"Q659880","labels":{"en":{"language":"en","value":"Free relations for matrix invariants in the modular case"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5999976"}},"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":"Q659880$830DEFFA-0C97-4615-BE2F-15E1149423C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"688dc4c3c12c502e927c161c6b058298d02f58ab","datavalue":{"value":{"text":"Free relations for matrix invariants in the modular case","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q659880$56356FC4-D896-464E-A3EA-7A7C895B3987","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"364682b09ed399a3a2897922e36edb69744db068","datavalue":{"value":"1235.13004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q659880$7C7AE27D-AC5E-495C-9F4E-09CFEDBB7FA6","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":"Q659880$BAA890CA-1141-436D-926C-878F6388E317","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a8ae18c3aa8afb0a38e8de58d984f857c905ff39","datavalue":{"value":{"time":"+2012-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q659880$0233F9E3-5901-4C29-8AE1-51AF14204204","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"30183b21e368337d760860f4335cffce6295a828","datavalue":{"value":"https://arxiv.org/abs/1011.5201","type":"string"},"datatype":"url"},"type":"statement","id":"Q659880$8E314B73-2DCE-4DD9-9105-6739383A9C87","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e640ee12769e48830a1deb69bd5bd3cda6caf805","datavalue":{"value":"A group \\(G\\) of \\(n\\times n\\) matrices with entries in an infinite field \\(\\mathbb{F}\\) acts on \\(\\mathbb{F}^{n\\times n}\\) by conjugation; by extension \\(G\\) acts on \\(V=(\\mathbb{F}^{n\\times n})^{d}\\) by diagonal conjugation for some fixed \\(d\\). Let \\(R\\) be the coordinate algebra of \\(V\\), and \\(R^{G}\\) the algebra of matrix \\(G\\)-invariants. Let \\(\\mathcal{M}\\) be the monoid which is freely generated by the letters \\(x_{1},\\dots,x_{d}\\) if \\(G=\\text{GL}(n),\\) and by \\(x_{1},\\dots,x_{d},x_{1} ^{T},\\dots,x_{d}^{T}\\) otherwise. Let \\(\\mathcal{N}_{\\sigma}\\) be the ring freely generated by the symbols \\(\\sigma_{t}(a)\\) for \\(t>0\\) and \\(a\\in\\mathcal{M}\\) ranges through equivalence classes of primitive elements (that is, not a power of a shorter monomial). For each \\(n\\) there is a map \\(\\psi_{n}:\\mathcal{N}_{\\sigma}\\rightarrow R^{G}\\) which maps \\(\\sigma_{t}(a)\\) to the \\(t^{\\text{th}}\\) coefficient of the characteristic polynomial of a matrix \\(X_{a}\\) which depends on \\(a\\), for \\(t\\leq n;\\) otherwise, \\(\\sigma_{t}(a)\\) is sent to zero. Let \\(K_{\\infty}=\\cap\\ker \\psi_{n}.\\) Then \\(K_{\\infty}\\) is called the ideal of free relations.  The main result of this paper is that \\(K_{\\infty}\\) is zero in the cases where \\(G=O(n)\\) and \\(G=Sp(n)\\), the latter case assuming \\(\\mathbb{F}\\) does not have characteristic \\(2\\). Indeed, if char \\(\\mathbb{F}=2\\) the authors conjecture that \\(R^{Sp(n)}\\) has an ideal of free relations generated by \\(\\sigma_{t}(a),\\) \\(t\\) odd, where \\(a\\) is cyclic equivalent to \\(a^{T},\\) an involution of \\(a\\). Of course, \\(K_{\\infty}\\) being zero does not imply that \\(K_{n}=\\ker\\psi_{n}\\) is zero for all \\(n\\). In fact, a complete set of generators for the ideal of relations \\(K_{n}\\) for \\(R^{O(n)}\\) is given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q659880$D35B7380-5C37-44CA-BAB5-5779818703AA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ae8ac771025753cf4e7a4f37cda1a7ad2012f998","datavalue":{"value":{"entity-type":"item","numeric-id":210546,"id":"Q210546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q659880$453926EC-6235-4E6F-A74D-6784A5F2838E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b35a4dd6b69af6318a3999cc38fddaa4478871c5","datavalue":{"value":"13A50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q659880$12D56859-AD6E-439E-8080-16619F2E8863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e27eaba293f5466f81b6530b00ce4b6327f67c50","datavalue":{"value":"16R30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q659880$9696ABAC-8D36-4116-B892-1527C959082B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ffcaee9f831b590f5782b03e714aa97c24d0d770","datavalue":{"value":"16G20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q659880$DC765E3D-2BB3-405A-8D5A-D2F96F21E4FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c52b838ba132ec7a2ac126c3a3fe21f3fed58d7","datavalue":{"value":"5999976","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q659880$88BD3271-B71E-4A1D-B983-A3BA8AF0ADDA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b8bcb8ef25b1ea84e8734d7d56267e82049ff57","datavalue":{"value":"matrix invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q659880$913EF823-85A7-46FA-A71F-7FF9551EC683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a1f9f4085469330f8060fe7cf866becb39254fd","datavalue":{"value":"matrix groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q659880$6F4E6ADD-7B11-4D1C-97CA-C328F247D952","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6b3238181bb3d142b04d05b1e4d4512aebf9800","datavalue":{"value":{"entity-type":"item","numeric-id":392158,"id":"Q392158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q659880$6A942502-797C-4ACD-BB3E-689256DAF563","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":"Q659880$0AD21B97-10C3-428E-BD2D-EFE2CE8DFE83","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"51ed87d83cafd286a134d4dbf5b873724cf6cbd2","datavalue":{"value":"W2964346319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q659880$A8F199CE-9B70-45E7-A7CC-4FF66716247B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c9c8d9b6fd59d48f291ccad08beb45c7f16604b","datavalue":{"value":{"entity-type":"item","numeric-id":3866217,"id":"Q3866217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q659880$4EDF8146-DBCE-4835-91C1-F80388BA2C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5608ca4fa7653acb26f241059afe3a8ca20da63a","datavalue":{"value":{"entity-type":"item","numeric-id":4790155,"id":"Q4790155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q659880$73CEDE04-79DE-4D85-8E3A-7B6F8697C327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0413741e4bf10b07ebdd4e84d8568a0130382bb","datavalue":{"value":{"entity-type":"item","numeric-id":1209140,"id":"Q1209140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q659880$F49396A8-ACD2-46C0-9A79-F5BA494203FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77c79c63fc6158830eae3642a43371dd2e265851","datavalue":{"value":{"entity-type":"item","numeric-id":5288360,"id":"Q5288360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q659880$5AE97DAE-D495-4E17-AB51-34F018E7CB99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fafcccbf97f93676877ae472be5374053a76e6aa","datavalue":{"value":{"entity-type":"item","numeric-id":1327476,"id":"Q1327476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q659880$32682E60-E758-4E53-AFC3-AE1356887F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d430f2970470f3d30c9003ec4853cfea37de823","datavalue":{"value":{"entity-type":"item","numeric-id":2644658,"id":"Q2644658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q659880$93843E26-77F1-4013-8EAC-CB9F63DF3761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5c222c5074efd748acc1c70e35fffbefe7b1945","datavalue":{"value":{"entity-type":"item","numeric-id":1014594,"id":"Q1014594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q659880$783FD67E-1939-46E4-B99C-F4AEB83FD46E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc6ff7c72dd273ce22c828854569b8a80808f135","datavalue":{"value":{"entity-type":"item","numeric-id":3082855,"id":"Q3082855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q659880$5E3CD56F-DEFF-40EB-97E2-0DB26DD4F47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"470c11fe07349f37ff2cb6f7b972b7aed45048bc","datavalue":{"value":{"entity-type":"item","numeric-id":5894254,"id":"Q5894254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q659880$BA5EF1CE-B512-4943-AE93-11007A4265D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45c37b35ffe51c711bb8f66b2721a561be04d52c","datavalue":{"value":{"entity-type":"item","numeric-id":1926573,"id":"Q1926573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q659880$2A13EFF2-422B-4019-A448-648D58F7FD99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4bd272512122f0221215aa9dd18276a4a82fc19","datavalue":{"value":{"entity-type":"item","numeric-id":1227788,"id":"Q1227788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q659880$7452F1AB-7322-47E2-B02A-CEB5907D584B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"833351fa76327d0aa230e547f4a14146041cd965","datavalue":{"value":{"entity-type":"item","numeric-id":4068874,"id":"Q4068874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q659880$7D78C462-88C2-4384-AA2C-D6B682C7CA8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"428035d4a98d1d43a8321f8e964f2ddd45601c89","datavalue":{"value":{"entity-type":"item","numeric-id":5481512,"id":"Q5481512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q659880$50995514-C44A-438C-8D4A-F930DBCBBFA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b674c751e835bab8df2e154819f9684e7b8626ea","datavalue":{"value":{"entity-type":"item","numeric-id":2264836,"id":"Q2264836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q659880$83079D89-192C-42AF-9783-8A423F3062F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"489d3c7093c46ac19543d5dfbb203f6ac43910a2","datavalue":{"value":{"entity-type":"item","numeric-id":4948689,"id":"Q4948689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q659880$0D7B4388-C24D-4BF2-B8A5-1ECDFEA77DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d9444b30241259673066345af101f7f303406d5","datavalue":{"value":{"entity-type":"item","numeric-id":4951258,"id":"Q4951258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q659880$B6092061-7879-45B5-80D8-447AA6ACF388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfc9638c382709660523511a13a02f5fd67d5bcb","datavalue":{"value":{"entity-type":"item","numeric-id":3025346,"id":"Q3025346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q659880$71F1BB4E-2409-4AAE-9982-9B7F2014A809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc104ced73a27b5b20c39de0671042bf3d4c55e","datavalue":{"value":{"entity-type":"item","numeric-id":3025347,"id":"Q3025347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q659880$01AEAE1A-DF57-459E-84F4-D8617C4C2726","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6638df04409506196a163409bc94ca7a5ce700c","datavalue":{"value":"10.1016/J.JPAA.2011.07.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q659880$D4027101-115C-4961-9DA7-455BD2FA21BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"404e34b56d09f6283582530814b75e86b530a5a9","datavalue":{"value":{"entity-type":"item","numeric-id":1926573,"id":"Q1926573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3393708901b36b40c684edf66a7fcf31afc03ee","datavalue":{"value":{"amount":"+0.8605746030807495","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":"Q659880$5BCD1C54-8975-4570-B8A1-C0057554537A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc0e56f824ad6899ae55fa6ec1ef8b6b7ee96c41","datavalue":{"value":{"entity-type":"item","numeric-id":4324222,"id":"Q4324222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e3056c972f4c54df5d4c9e50ffa99ec04f0a002","datavalue":{"value":{"amount":"+0.808665931224823","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":"Q659880$A38E9526-0AB0-4A97-93A3-1A5BD9E416A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afbe969ff71726fb123694e3dca6f7c5befb334e","datavalue":{"value":{"entity-type":"item","numeric-id":1067010,"id":"Q1067010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae77bafa0c4012b1b83604ebed381aefbbf100c4","datavalue":{"value":{"amount":"+0.805537760257721","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":"Q659880$0FE2D292-2C88-4255-9713-78A8EA6A8742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"845c3f310bf6994172887f9945a708fb00594e0c","datavalue":{"value":{"entity-type":"item","numeric-id":501761,"id":"Q501761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2357e1ca1527e512eb438387137b107a925e13c7","datavalue":{"value":{"amount":"+0.8018417358398438","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":"Q659880$A27D2F7A-C168-4447-8CAA-01E1B48C6599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"644d3f352b5251077af601e03d3a75e80410695b","datavalue":{"value":{"entity-type":"item","numeric-id":4241797,"id":"Q4241797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8cdaa7f784fe51325e852bca78915cf089aacee","datavalue":{"value":{"amount":"+0.7944190502166748","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":"Q659880$5E7AB126-6D5F-4431-973F-EF0F3E978181","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:659880","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:659880"}}}}}