{"entities":{"Q949095":{"pageid":950943,"ns":120,"title":"Item:Q949095","lastrevid":65605284,"modified":"2026-04-12T03:44:40Z","type":"item","id":"Q949095","labels":{"en":{"language":"en","value":"An inclusion between sets of orbits and surjectivity of the restriction map of rings of invariants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5354266"}},"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":"Q949095$07CAA602-7189-478C-B81A-6593D2DF163F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4af49a94d4d68a563664faaae8cab84581872a95","datavalue":{"value":{"text":"An inclusion between sets of orbits and surjectivity of the restriction map of rings of invariants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q949095$FDAB45E4-FEE7-426D-B1F0-D288B2DF7DA5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9617710a5d3e91ae0214666a6ae46d999d1040f1","datavalue":{"value":"1167.13004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q949095$BFF723F7-099D-4300-A777-D7E24B8F50FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e04fb273a7a80080338c09e7b5db4c51d31ae502","datavalue":{"value":{"entity-type":"item","numeric-id":625599,"id":"Q625599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q949095$AF17C81C-3E04-4D79-B387-857303B61716","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8906603afbe7d7f343c7af08e15171ad84bcd46b","datavalue":{"value":{"entity-type":"item","numeric-id":189797,"id":"Q189797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q949095$F6597D26-B6AC-4904-9630-74EC795B625C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"972c0debb1697683b9c4c88fe396e38e44a8d438","datavalue":{"value":{"time":"+2008-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q949095$BE3E8311-7EAE-4D6E-A651-648DC044CB55","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7ded010cf67a7166bba175eebc3dd93e9f602366","datavalue":{"value":"Let \\(V\\) be a finite-dimensional complex vector space and \\(\\sigma:\\text{End}(V)\\to \\text{End}(V)\\) be a \\({\\mathbb C}\\)-linear anti-automorphism. Let \\(\\tilde G\\) be a reductive subgroup of \\(GL(V)\\) acting on a subvector space \\(\\tilde L\\) of \\(\\text{End}(V)\\) by the adjoint action. Suppose that \\(\\tilde G\\) is invariant under \\(\\sigma\\) , and that the restriction of \\(\\sigma\\) to \\(\\tilde G\\) is an involution. Consider a closed subgroup \\(G\\) of \\(\\tilde G\\) acting on a subspace \\(L\\) of \\(\\tilde L\\). In this article, a sufficient condition on the inclusion \\((G,L)\\hookrightarrow (\\tilde G, \\tilde L)\\) is given for which the orbit correspondence \\(L/G\\mapsto \\tilde L/\\tilde G\\) (\\({\\mathcal O}\\mapsto Ad(\\tilde G)\\cdot{\\mathcal O}\\)) is injective. Moreover, under these conditions, the ring \\({\\mathbb C}[L]^G\\) of \\(G\\)-invariants on \\(L\\) is the integral closure of \\({\\mathbb C}[\\tilde L]^{\\tilde G}|_L\\) in its quotient field. In particular, if \\({\\mathbb C}[\\tilde L]^{\\tilde G}|_L\\) is normal, then the restriction map on the invariants is surjective. Examples are given for which the conditions are satisfied. It is shown, for example, that one can deduce the First Fundamental Theorem of Invariant Theory for the orthogonal and symplectic groups from that of the general linear group.","type":"string"},"datatype":"string"},"type":"statement","id":"Q949095$06BFE525-3789-4399-A1A0-902B051B2FE2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c5fc5ef241df40438f7cfa58a0194d2c8a0bff0c","datavalue":{"value":{"entity-type":"item","numeric-id":231851,"id":"Q231851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q949095$3685F249-B4BC-45D8-B214-0B7D4B6EE571","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b35a4dd6b69af6318a3999cc38fddaa4478871c5","datavalue":{"value":"13A50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q949095$7ADE59EB-BCA7-4B03-932E-7634E2BCECBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7e2e5ececc1792f6124f820bc8da97d2649822d","datavalue":{"value":"14R20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q949095$9DE2B5BE-9A65-431A-8E83-78B7C84D4B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"90390169b19bb1805ec88c05500dc27eb814e793","datavalue":{"value":"14L35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q949095$1343F396-5946-432C-A605-1B7E3F971638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"630a82a371ad84fa1117bcd32461226e0183986d","datavalue":{"value":"14L30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q949095$37A69B12-397D-4686-9AF8-84883B4BCDFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"471ea9de563353a1fcd6d25cf6fcdb479b4f6c76","datavalue":{"value":"5354266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q949095$F40DD2C8-7C0A-4106-8E00-1BBF49E0E1B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dcd453fe6b178991dc2aee63963d3194adc3c5d","datavalue":{"value":"invariant theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q949095$19287D4D-029B-4B29-9979-14B350CF0A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dadb5ef1fcca3e40d44f6ceb94478f8979bce50f","datavalue":{"value":"first fundamental theorem of invariant theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q949095$8F40F61B-0CA5-4B67-BB22-8205FBCD9FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84b8ea7294ec53d2379b635ce2267ac01651e497","datavalue":{"value":"inclusion theorems between sets of orbits","type":"string"},"datatype":"string"},"type":"statement","id":"Q949095$47D6422C-404A-44EE-B990-0B98CC442284","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":"Q949095$4611E90A-4671-4E37-8C3E-1BE612E13A2B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"19966edd833cf854a6e8917fece5593317384d7f","datavalue":{"value":"https://doi.org/10.14492/hokmj/1253539529","type":"string"},"datatype":"url"},"type":"statement","id":"Q949095$58A6B59C-33FE-4D1F-8CE4-45901F692549","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4b1b23b61284885d4ec06f1e98875ffcc06299d9","datavalue":{"value":"W1970063853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q949095$A1C2C000-FDE9-4955-B201-2FB9260CBCDD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"938fe546275bf042b9ddddb337739e7f9528b4cc","datavalue":{"value":"10.14492/HOKMJ/1253539529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q949095$407E805C-281E-4B9C-840D-D038052CDD0B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5befcc244fdd2ca4e23ffb99fb980fd985bd5dcc","datavalue":{"value":{"entity-type":"item","numeric-id":625600,"id":"Q625600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60d825f82e726a0336f7726ad420dc0f6b9a19cd","datavalue":{"value":{"amount":"+0.7615344524383545","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":"Q949095$3CE0D196-CEEE-484B-ADB7-97AF7493B7D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a22ad9394ed816e770886de2a3e95b4e53f3a9b6","datavalue":{"value":{"entity-type":"item","numeric-id":4018461,"id":"Q4018461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1fae46996dac4a8985e1225edb37cb62ebf6ad4","datavalue":{"value":{"amount":"+0.7420470714569092","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":"Q949095$AFA573E8-324C-4CD0-9701-AE1BD7F98703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ebf7c13f86e09b00a7b3ea83501dd8ee4816395","datavalue":{"value":{"entity-type":"item","numeric-id":3835576,"id":"Q3835576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28aad93c8c6602115c7a473e98807772418e31df","datavalue":{"value":{"amount":"+0.7398194074630737","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":"Q949095$231C9D1D-8DFC-46B7-A155-CCF9F4F5E2CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d0d0496203f83a0c575b53a1ddaa85b474ff988","datavalue":{"value":{"entity-type":"item","numeric-id":4642515,"id":"Q4642515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2abffbac1d606e5ca881b8c666284ce30352491f","datavalue":{"value":{"amount":"+0.7387523651123047","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":"Q949095$627940DF-1E2C-4DAC-8F30-20876250939F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19360eecdfa0e9f18a0b9e0291f37bec31560933","datavalue":{"value":{"entity-type":"item","numeric-id":1061188,"id":"Q1061188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6030495ccd105defeb003043b0710244b0cf977","datavalue":{"value":{"amount":"+0.7293937802314758","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":"Q949095$1DE7F515-538A-4DBF-A775-40343534F462","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An inclusion between sets of orbits and surjectivity of the restriction map of rings of invariants","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_inclusion_between_sets_of_orbits_and_surjectivity_of_the_restriction_map_of_rings_of_invariants"}}}}}