{"entities":{"Q2717704":{"pageid":2728443,"ns":120,"title":"Item:Q2717704","lastrevid":82893779,"modified":"2026-05-06T22:21:54Z","type":"item","id":"Q2717704","labels":{"en":{"language":"en","value":"Actions of Hopf algebras on pro-semisimple Noetherian algebras and their invariants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1605294"}},"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":"Q2717704$9710A13B-CF77-4A42-BCFF-9A3E5A7D4952","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8be0b030fb02a38e2815c69e72002ac85fd18f6d","datavalue":{"value":"0973.16024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2717704$92A0388A-BB4B-4487-9EDC-6DB7CC78FF7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90cdd844e4287ec3d6e6b2b4a17142589497aeaa","datavalue":{"value":{"entity-type":"item","numeric-id":948712,"id":"Q948712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2717704$19737731-BA9D-43D3-A09C-7E2B517E8B84","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"598fdc84b270f74350f9392fd164ea87813ca117","datavalue":{"value":{"entity-type":"item","numeric-id":2717686,"id":"Q2717686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2717704$E24E91B8-2CC3-4BE6-9375-356EF016C16A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"06eab7b8fdb4da09120309408d2523975ca56178","datavalue":{"value":{"time":"+2001-06-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":"Q2717704$8A49DAC0-2794-4F6B-A90D-B813508C9B01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2afd869fb1902b4707c3a3bf12c721ca175c3bf4","datavalue":{"value":"16W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2717704$C697A346-412F-4B95-8C3A-087EF4253F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"54e45ffdb7e954cacb60b7a1e0ce0d2ee62a1d41","datavalue":{"value":"16W22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2717704$FE0D0BEE-03A5-4D0B-8832-A5A74F5B3237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b35a4dd6b69af6318a3999cc38fddaa4478871c5","datavalue":{"value":"13A50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2717704$81DF04D9-F4CD-4CAA-96D5-224D91CA8D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10d40b28c3d9191a27aa59f47859591f9e84c512","datavalue":{"value":"16P40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2717704$A0ADCE26-A171-4194-9CE3-9B7D694083A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6424ac269a48c41466ff3176e01b6d2b893cbeb1","datavalue":{"value":"1605294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2717704$A6FE523B-6F47-4BE3-9F15-95D49620B54A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dcd453fe6b178991dc2aee63963d3194adc3c5d","datavalue":{"value":"invariant theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2717704$B50AA861-5E7F-4324-A8C8-9CAA55CF0AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bc753346a7bee090aad22dcd91b109acdc6f094","datavalue":{"value":"finitely semisimple Hopf algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2717704$B4E4F321-FA60-41DB-B851-59351DB9D958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cb0c834b88a46cc40a11e863ad099a479135743","datavalue":{"value":"Reynolds operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q2717704$5881FDA8-4C32-4087-A4EE-FC252B645F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd485cb5d3e6a8b371a011f24cec743ea1a80605","datavalue":{"value":"Hopf algebra actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2717704$19127B6E-94B6-4111-B920-E81E39F1C48E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16ba7f3a62a510ee103a3cd84c40b1961d1d71f8","datavalue":{"value":"pro-semisimple Hopf module algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2717704$E59EE16C-75B8-4DAE-B778-C03E4E4CA535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1c88a552018c9b3d071fa56a83aa291c5e14222","datavalue":{"value":"Artin-Rees property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2717704$E045360F-1ECA-4F58-AE4E-F93323751F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f3f814ffb10de81519d77eb0519de1b347442cd","datavalue":{"value":"Cohen-Macaulay rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2717704$0C628B24-D7D8-417E-A9BF-252D70449395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf0e415afeb644b0a20e1ce9ca5354e00a5dfb45","datavalue":{"value":"algebras of invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q2717704$42915E40-29B0-4D0D-9AC0-3C229598A91C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c288940dadb814b2e3d01db3b3bedc6319cb2141","datavalue":{"value":"locally finite Hopf module algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2717704$341F4EA1-798C-483A-AD06-CC657F778A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab5c5adbea6dc2958236d14b5ab90e8df4f3ca37","datavalue":{"value":"Noetherian algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2717704$B48BD4DE-CD47-4D40-9BD9-B6E9197F72EB","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":"Q2717704$36E2CF3F-7049-48BE-84F1-3DC561572771","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"194875cee58299c09000bd22f7fc5855e9fcafc5","datavalue":{"value":"https://doi.org/10.4064/cm88-1-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2717704$AB2EE965-C7D4-4821-A8C9-44CD30B7AE97","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d50dc3137e360e401d3d4b1017a4fdfb62d8584","datavalue":{"value":"W2005309655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2717704$FC3ACEED-ED0C-4172-A2D5-A7295A031C23","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"84a503298b6420ddeb3b1c001cda604500ff8833","datavalue":{"value":"10.4064/CM88-1-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2717704$82361661-AE85-48E0-8989-BF7850C64AC1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5032d368726024b20f77cb8eb246c70a61e6c42","datavalue":{"value":{"text":"Actions of Hopf algebras on pro-semisimple Noetherian algebras and their invariants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2717704$D7DD784A-0D21-498A-8646-58AC84D8276B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"96b1eab0db0210c523eaf9efe7ad39b3b25a1f2c","datavalue":{"value":"The author obtains analogues of the first fundamental theorem of classical invariant theory for actions of finitely semisimple Hopf algebras. He proves that if a Hopf algebra \\(H\\) over a field \\(k\\) is finitely semisimple, and \\(A\\) is a commutative, finitely generated (resp. Noetherian) locally finite \\(H\\)-module algebra, then the algebra \\(A^H\\) of invariants is also finitely generated (resp. Noetherian). Here, finitely semisimple means that any finite-dimensional left \\(H\\)-module is semisimple.NEWLINENEWLINENEWLINEThe main goal of the paper is to relax the condition of local finiteness on \\(A\\), and find counterparts of the above theorem for \\(H\\)-module algebras arising from locally finite \\(H\\)-module algebras via completion. A pro-semisimple \\(H\\)-module algebra is an \\(H\\)-module algebra equipped with a linear topology defined by a family \\(\\{I_i\\}\\) of two-sided invariant ideals of \\(A\\) such that \\(A/I_i\\) is a semisimple \\(H\\)-module for all \\(i\\), and \\(A\\) is isomorphic to the inverse limit of the \\(A/I_i\\). Then if \\(A\\) is a pro-semisimple right Noetherian \\(H\\)-module algebra, so is \\(A^H\\). For commutative \\(A\\), if \\(H\\) is finitely semisimple and \\((A,m)\\) is a local, complete Noetherian \\(H\\)-module algebra such that \\(m\\) is invariant, and \\(A/m\\) is a finite field extension of \\(k\\), then \\(A^H\\) is a local, complete Noetherian algebra with unique maximal ideal \\(m^H\\). This applies in particular when \\(A\\) is the quotient of a ring of power series in \\(n\\) variables. In that case he shows also that if \\(A=k[[X_1,\\dots,X_n]]\\), then \\(A^H\\) is a Noetherian Cohen-Macaulay ring.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2717704$B7C52ACC-C14A-4D4A-AD02-37A6E1F98385","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"fcfeb0ee86d374add7d9de7d2940211fc301bb41","datavalue":{"value":{"entity-type":"item","numeric-id":439068,"id":"Q439068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2717704$422CFC77-5C5B-493B-A481-A8AB6E8C0EE2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02dd889a392a0bcd9879efc884a805c1ab9f7453","datavalue":{"value":{"entity-type":"item","numeric-id":647887,"id":"Q647887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"559f67ccaa13ebf94cce57739879fea2b3b5b290","datavalue":{"value":{"amount":"+0.8440759778022766","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":"Q2717704$27066D21-0059-4FB4-9B30-F5401F880C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ade988f5fd89161cc7533322f9066f81c0313543","datavalue":{"value":{"entity-type":"item","numeric-id":4954926,"id":"Q4954926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2337508aefffe1c3acce49ddfd02d2d6c3bc7d9d","datavalue":{"value":{"amount":"+0.8409541249275208","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":"Q2717704$11490390-FB24-46C2-B60D-DC2E4486D97A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42ac43bb6f5b2fbd48e47c3a67ff77c49c81cdc9","datavalue":{"value":{"entity-type":"item","numeric-id":499004,"id":"Q499004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0f0eb328b8f25db206f7a887e6b29b84096ab8e","datavalue":{"value":{"amount":"+0.8342442512512207","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":"Q2717704$15C285D9-2DC3-4820-B945-94C34255A14A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78b1bd1366093a543555b914b422b151020698cf","datavalue":{"value":{"entity-type":"item","numeric-id":5948415,"id":"Q5948415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10bb0ee5204d13564f4e92d5a2c25f4ab77324ad","datavalue":{"value":{"amount":"+0.8297577500343323","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":"Q2717704$92C8D864-5B9B-4C30-969E-CD7FA381E111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"195f3ce171c5444b125e7f70868f4618c5e0a735","datavalue":{"value":{"entity-type":"item","numeric-id":2629428,"id":"Q2629428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d54c0f7178d2049ae380e4616f29aa884f953ac","datavalue":{"value":{"amount":"+0.827933669090271","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":"Q2717704$A71639F5-3FCA-452D-A035-2793F67B41BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Actions of Hopf algebras on pro-semisimple Noetherian algebras and their invariants","badges":[]}}}}}