{"entities":{"Q424848":{"pageid":426615,"ns":120,"title":"Item:Q424848","lastrevid":61770813,"modified":"2026-04-11T01:32:52Z","type":"item","id":"Q424848","labels":{"en":{"language":"en","value":"Frobenius contraction of \\(G\\)-modules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6043086"}},"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":"Q424848$8D0E027A-A2C6-4BD3-85A9-D292025050C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eaf987ca95d1a024dd6980b0cb91517261458009","datavalue":{"value":{"text":"Frobenius contraction of \\(G\\)-modules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q424848$18E9CE6F-30B3-4161-A4F7-29BF0CAA61C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cea174544b4ed5c3ebf5981494b6412603c8577a","datavalue":{"value":"1257.14035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424848$58687307-75A8-493E-AF0B-29B655B40DEC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c04fd8dc178c9b4d70412324a91e260ff018c450","datavalue":{"value":{"entity-type":"item","numeric-id":424847,"id":"Q424847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424848$DCF3544C-1426-410A-B72D-8FB85CE832E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4955bc6fc170c8f632449fb9028ecf05ef92d4d","datavalue":{"value":{"entity-type":"item","numeric-id":368654,"id":"Q368654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424848$656E0989-E609-4170-A039-4B68E3A7CE48","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"484bde1046a1f6e9a3ef6ce86a1d916789aecd5b","datavalue":{"value":{"time":"+2012-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q424848$7AB1A816-80AC-4839-9C0C-10FADA8C6CAA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a48cb6a97bdf5af4c3ea9109d95548abf284b7a6","datavalue":{"value":"https://arxiv.org/abs/1004.1939","type":"string"},"datatype":"url"},"type":"statement","id":"Q424848$0FCF416E-1525-4656-8F59-E5522C9B6DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"556629a1695173014a8e1eb9be942da2e3bce526","datavalue":{"value":"https://eudml.org/doc/219768","type":"string"},"datatype":"url"},"type":"statement","id":"Q424848$431681FA-F337-4AD6-B886-AF18916FAA98","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d0e2cafb07d06577182f8a96ad2071d7ac2c0fb3","datavalue":{"value":"Using the newly found splitting of the Frobenius endomorphism on the algebra of distributions of a simply connected semisimple algebraic group \\(G\\) over an algebraically closed field of positive characteristic, the authors give a new proof of the Frobenius splitting of the flag variety of \\(G\\) and of its \\(G\\)-equivariant nature (originally splitting of this flag variety has been proved by \\textit{V. B. Mehta} and \\textit{A. Ramanathan} [Ann. Math. (2) 122, 27--40 (1985; Zbl 0601.14043)]).","type":"string"},"datatype":"string"},"type":"statement","id":"Q424848$735F4449-A26C-40AF-A921-A14B658B300F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"80bd5fbb5ab41032c10e07aca49a144a01f3d974","datavalue":{"value":{"entity-type":"item","numeric-id":253168,"id":"Q253168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424848$145FF6DE-6334-4A38-AD8E-3279FE34DC1D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5e94aafaa2f33801917e46c8c822f847901de3e7","datavalue":{"value":"14M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424848$DD50965D-E767-49A1-85E1-E1B5E477E3FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bbba9dff550bdc725cd59863edc6ed8158931b04","datavalue":{"value":"13A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424848$442FD39A-5AE3-4ACF-89E4-DF7228549581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d93d985b16b5eaf5ed267eccbb01733531593e7d","datavalue":{"value":"17B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424848$7355D83F-DD09-4F2D-813D-3884EBC68CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5476b296ff705bf744a6dd2bffe7489190353eb9","datavalue":{"value":"20G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424848$E1C6AE75-5274-48C2-8736-8335D861A2FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0f74f1bfe7bc5707c851bdfd982cd61c83ba8e6","datavalue":{"value":"20G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424848$60E5F9D2-4609-4AE6-8800-1DD760451852","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7b3005277e47397c975bc7b2de2036632203cfe","datavalue":{"value":"6043086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424848$D14115E1-5DD3-41E1-BA64-2854936F854B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3a0e7ebf1e3f2b3220f39a7acfabe83b5e02753","datavalue":{"value":"semisimple algebraic group","type":"string"},"datatype":"string"},"type":"statement","id":"Q424848$D7267186-C367-4F11-80C2-8344526A74C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"546b664e8baaa7e86b217fe60670f1760a09e0c0","datavalue":{"value":"Frobenius splitting","type":"string"},"datatype":"string"},"type":"statement","id":"Q424848$81303D2C-FB60-427F-A618-6EE0989959F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbecd2e1b904b72467d02b972b112b57ad926e52","datavalue":{"value":"flag variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q424848$2347670E-E017-4B08-A5C7-24461F774B69","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":"Q424848$23454D02-6FDB-4634-BED3-03B0CC31B4BD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0c9f4a8daac0a42f887c8146ca5f5735627094d5","datavalue":{"value":"W2962891503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424848$182BA425-1DEF-4C07-B425-E15C7B63ABF6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f4bf037c39450a630ac7184ace8723b9f3f8794","datavalue":{"value":{"entity-type":"item","numeric-id":2644745,"id":"Q2644745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424848$3F700F9F-ACF9-4DA8-B615-A3CEAF1D942E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b9be62c9bb9a7f2792b6b299528bd246f58d201","datavalue":{"value":{"entity-type":"item","numeric-id":1768512,"id":"Q1768512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424848$2DCB7EA8-2410-4D3C-8D09-CFAA4E7D230A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0927cf7d2732f8e02c75202a26526e9a40b7eb9f","datavalue":{"value":{"entity-type":"item","numeric-id":1139667,"id":"Q1139667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424848$8C7775EC-79DB-443E-AD98-BD9D3D777D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2993af78c2012d9617d0a10cdae44ab526e4d071","datavalue":{"value":{"entity-type":"item","numeric-id":1137629,"id":"Q1137629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424848$18764324-1B74-406B-9C62-D60123912CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f4762a7183408a62d4397546b4b357739ba27c8","datavalue":{"value":{"entity-type":"item","numeric-id":434255,"id":"Q434255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424848$1673AEA6-CD51-4E8B-B757-26EB76450FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b564539fa911555db1dca09ef161a91dfdd859ea","datavalue":{"value":{"entity-type":"item","numeric-id":3312347,"id":"Q3312347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424848$95C2F07D-FAC4-492F-B2C8-A8895F254EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4efee6c8cc9a747d026ccdbae7aedbcc40b6e4a5","datavalue":{"value":{"entity-type":"item","numeric-id":3892399,"id":"Q3892399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424848$25A42459-6F89-4B2D-98A6-0F2432A410E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bc70da28c195a2bc29a20b62fb8c0885b3963e0","datavalue":{"value":{"entity-type":"item","numeric-id":4775998,"id":"Q4775998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424848$BEC7F48C-FD23-4EE6-BD73-4856ED0AD3C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79ad0edb11e142b838cbc085c1515a21a557ca29","datavalue":{"value":{"entity-type":"item","numeric-id":4862686,"id":"Q4862686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424848$8E7834DF-925D-4B84-934D-7BE838AD0153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6205e269bd38dcd5e8fc7ebc5e01510de6164c9","datavalue":{"value":{"entity-type":"item","numeric-id":4440466,"id":"Q4440466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424848$585D0DFB-C228-4BBE-B4DB-C4ED2C534D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dfc10dea11ebf6be63063928d9e1976ffdb0a83","datavalue":{"value":{"entity-type":"item","numeric-id":1895568,"id":"Q1895568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424848$20B8F7BF-987A-482D-91D3-FA213DC85C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37fcc2e78da7c99755b2705dc80baf605f62d787","datavalue":{"value":{"entity-type":"item","numeric-id":1975906,"id":"Q1975906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424848$957B7637-3FC6-4519-B8C6-4D65188D60BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1ce3ee7f6ba44124a62b22d80f20834bee4be47","datavalue":{"value":{"entity-type":"item","numeric-id":1582742,"id":"Q1582742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424848$47453C3D-984A-4BDF-B0A7-248E07521843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17b14a79b72e06c92256fc36af21639ba508b38b","datavalue":{"value":{"entity-type":"item","numeric-id":1607729,"id":"Q1607729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424848$DFA51D10-617E-4754-9462-5CD189D553AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6353cf8a8714ba9073eae0bd6e4b6da804caa1df","datavalue":{"value":{"entity-type":"item","numeric-id":4396470,"id":"Q4396470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424848$358CD543-CBAB-4D6F-8A3D-3CFB58AD99EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64f7befb5adf52ba4277ff1e2093cc4fe9012cef","datavalue":{"value":{"entity-type":"item","numeric-id":3816243,"id":"Q3816243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424848$33BDD24A-191E-481C-8C55-42AC0E7ED05E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc2031e557ba56383755bce84a51fd2304f035e6","datavalue":{"value":{"entity-type":"item","numeric-id":750585,"id":"Q750585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424848$52A7574D-6BE6-4B62-A459-ACA2896F2E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb04aeb4825cdc5b20bbe702a377749dd604ab8d","datavalue":{"value":{"entity-type":"item","numeric-id":5906434,"id":"Q5906434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424848$C8681927-A21D-4743-A3F8-A4B613688A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d63a8fd4c95755a56fc531f9ff900a540dc2b413","datavalue":{"value":{"entity-type":"item","numeric-id":3970545,"id":"Q3970545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424848$CF251A4E-894B-4CDC-8D27-B7F3AEA5F76E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e823501bad535202a47c28edb22a089250b56f7","datavalue":{"value":{"entity-type":"item","numeric-id":2642045,"id":"Q2642045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424848$1D0FED33-CF21-48BA-96E3-910826048E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59a4bf3c48ee154ea8f1a347d9c1929304f8d9bd","datavalue":{"value":{"entity-type":"item","numeric-id":1080915,"id":"Q1080915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424848$87E7D5E7-DB8E-417F-8B9F-CE315A3CA45C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"411183fce76a1b17910bb6f4eabf59e8a535fc52","datavalue":{"value":{"entity-type":"item","numeric-id":4067228,"id":"Q4067228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424848$62C60509-D71C-4B6B-9D66-037984974B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2975b1919fa33fc6df2ac2ff3ba3811fc93e6cbf","datavalue":{"value":{"entity-type":"item","numeric-id":1922290,"id":"Q1922290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424848$6D2DD084-A849-4C98-BDDC-5CDD67CDD858","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c58de2e35ab6f953a2208221e68db1c162fbf78","datavalue":{"value":"10.5802/AIF.2681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424848$02B972F5-0551-421A-94A1-9C1C04FBD938","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dc1a1beeefbfbbcf5aa3adaae27b74e0e5ad168d","datavalue":{"value":{"entity-type":"item","numeric-id":4557581,"id":"Q4557581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424848$36257356-F845-44C0-9094-E09100C9406D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00c57493be005ccf7327bd764deb85cec9942055","datavalue":{"value":{"entity-type":"item","numeric-id":5108044,"id":"Q5108044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb31d966254619ddbe4a2c3b8016a3117d83128b","datavalue":{"value":{"amount":"+0.8403272032737732","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":"Q424848$3AADEA1E-EDE6-4CCD-8893-9416D9098020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e836ec9f7794b70f4fe32b9cc7c8c9bbb9689a1","datavalue":{"value":{"entity-type":"item","numeric-id":371403,"id":"Q371403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d85687d6c0c36c62056a69a040b19e414310de88","datavalue":{"value":{"amount":"+0.8204827308654785","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":"Q424848$8217ED4E-BFCE-4A96-BE56-5487E2CE4E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f455263608b0dc1dc5dd60b0568804278ec5096","datavalue":{"value":{"entity-type":"item","numeric-id":678257,"id":"Q678257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ddc2f28aba8ba1423fe673f636f312c824ea973","datavalue":{"value":{"amount":"+0.7913622260093689","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":"Q424848$7BC2D1AD-0BE2-4DCE-BA34-E561B70109B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb7d26034bbcc0c1929c13a0814537b2c1299a23","datavalue":{"value":{"entity-type":"item","numeric-id":1322105,"id":"Q1322105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ddc2f28aba8ba1423fe673f636f312c824ea973","datavalue":{"value":{"amount":"+0.7913622260093689","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":"Q424848$C18DD045-E897-4B4A-AA38-E97F7D5E2325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7285e4a1e3c91cd6de297b816560ed16086f2cd2","datavalue":{"value":{"entity-type":"item","numeric-id":1895568,"id":"Q1895568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04b797482dcc1ce3129d5bb4288faeb4dc91279c","datavalue":{"value":{"amount":"+0.791220486164093","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":"Q424848$B5DB1E3C-3F27-4F10-9DB5-455AF027BB11","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Frobenius contraction of \\(G\\)-modules","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Frobenius_contraction_of_%5C(G%5C)-modules"}}}}}