{"entities":{"Q1118655":{"pageid":1129404,"ns":120,"title":"Item:Q1118655","lastrevid":42893684,"modified":"2025-07-15T19:20:49Z","type":"item","id":"Q1118655","labels":{"en":{"language":"en","value":"The multiplicative formal group \\(X+Y+XY\\) is linearly reductive in \\(characteristic\\quad p>0\\)."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4095647"}},"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":"Q1118655$0228C04F-831F-4735-AAA0-0A880733BDDC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"795cc19f6d6c954426c35c307be8fa006aee0824","datavalue":{"value":{"text":"The multiplicative formal group \\(X+Y+XY\\) is linearly reductive in \\(characteristic\\quad p>0\\).","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1118655$792BEDC3-9844-462D-9B99-14E056F5E6A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7b88ca226c58a65556ce0f4b07720dcbd445ed23","datavalue":{"value":"0669.14010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1118655$204E4669-C132-418D-8815-8E4D1831AE56","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"812d5e067f83b9500b72985f21b71fc3ae9a1962","datavalue":{"value":"10.1016/0021-8693(88)90039-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1118655$08A92D77-E776-4E3A-B4D6-0C10F5C284E4","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":"Q1118655$EBA612DC-8CDB-43C3-B3D8-93C23FE939E0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118655$35F63622-DB67-49E8-BCF9-6ED2F2A3617C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1118655$329C1FB3-4776-4DA0-B618-5B08DF100F28","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e5f7c74c8cdf5f39896cd0749525b82b2a63d206","datavalue":{"value":"Let k be a field and let \\(F=F(X,Y)=(F_ 1(X,Y),...,F_ n(X,Y))\\), \\(X=(X_ 1,...,X_ n)\\), \\(Y=(Y_ 1,...,Y_ n)\\) be an n-dimensional formal group over k. Let \\(\\phi:\\quad V\\to V[[x]]\\) be an F-module and let \\(V^ F=:\\{v\\in V| \\phi (v)=v\\}.\\) (Here V is a vector space and \\(\\phi\\) a linear map such that if \\(\\phi (v)=\\sum_{u}\\phi_ u(v)X^ u \\), then \\(\\phi_ 0(v)=v\\) and \\(\\sum_{u,w}\\phi_ u\\circ \\phi_ w(v)X^ uY^ w =\\sum_{s}\\phi_ s(v)F(X,Y)^ s \\) for all \\(v\\in V.)\\)    Definition. A formal group F is said to be linearly reductive if for each finite dimensional F-module V and \\(0\\neq v_ 0\\in V^ F\\), there exists \\(f\\in (V^*)^ F\\) such that \\(f(v_ 0)\\neq 0\\). (Here \\(V^*\\), the dual vector space of V, is viewed as an F-module.)    Main result: Theorem. If \\(char(k)=p>0\\), then the multiplicative group \\(F^{(m)}=X+Y+XY=(X_ 1+Y_ 1+X_ 1Y_ 1,...,X_ n+Y_ n+X_ nY_ n)\\) is linearly reductive for all \\(n\\geq 1\\). - This is proved by passing to the Hopf algebras and showing that the corresponding Hopf algebra to \\(F^{(m)}\\) is linearly coreductive.    Corollary. If k is algebraically closed, then every finite dimensional \\(F^{(m)}\\)-module is a direct sum of one-dimensional submodules. - The proof rests on the criterion that F is linearly reductive if and only if every finite dimensional F-module is a direct sum of simple submodules [\\textit{A. Tyc}, J. Algebra 101, 166-187 (1986; Zbl 0603.14031)], and on the observation that every finite dimensional simple \\(F^{(m)}\\)-module is one-dimensional.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1118655$CD28A1A8-D9B8-473D-9222-787E078C43B0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"76579edf630459249a27f193b026921158c16c09","datavalue":{"value":{"entity-type":"item","numeric-id":396524,"id":"Q396524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118655$D989BE29-89D0-48D8-954C-539496C435D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ba816990f950a96a49ef3b02a119f7cc6f72e2f","datavalue":{"value":"14L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1118655$1DF43BCB-6257-44EE-AA38-C8294A22ECBB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ecefb707fefb21f30a60da32623bb8524afa57b6","datavalue":{"value":"4095647","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1118655$8F21A924-258A-4B79-9AF1-CB85F13320F1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29d44d47b2d86205cf72aee9198237de275d2cae","datavalue":{"value":"linearly reductive formal groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1118655$2CC6B001-552D-42AD-B768-37F22D109BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"477db8f6e3e272614e73ba7f9617fdd84f2a10c2","datavalue":{"value":"multiplicative formal groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1118655$ABF37616-EDCE-4629-8C05-F8BAD1DC43E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c69b6741ec5fec5a9b898ba8ed79b21a95b9d09","datavalue":{"value":"Hopf algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1118655$D12F1336-F198-46C0-A090-723B591EF9A6","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":"Q1118655$066110F0-0BD7-4B1D-9803-91D152CFD399","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eb6e746ad33302701768930f63d437fb96d017e4","datavalue":{"value":"https://doi.org/10.1016/0021-8693(88)90039-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1118655$0BE936EF-D1FD-464D-9F7B-3453FE6EBE45","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3f0bb02516bd6b3700b993cc579fd4b9315c68d9","datavalue":{"value":"W2047234758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1118655$309BB0A8-5434-4EA7-8693-D76940B39977","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"58a483af3f2bcdedc2b4d9db9459d17a6ab6069c","datavalue":{"value":{"entity-type":"item","numeric-id":2534200,"id":"Q2534200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118655$D4F23F6B-B02C-4C2C-BF88-05B4AA1FF8EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dcb2b0a03513395b46f7bfe1f192897cded06a7","datavalue":{"value":{"entity-type":"item","numeric-id":3901604,"id":"Q3901604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118655$3C1BC9E1-9F1F-4FA3-88B0-DFC15A0DBCCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"876581e2dd3b1016fcb75d28c6860647e3d0cf7f","datavalue":{"value":{"entity-type":"item","numeric-id":5628302,"id":"Q5628302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118655$DDE182F6-F008-4D75-9351-02ABCC706566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1872e9347b7a13359e8d9b2d4ab709bf32f353e6","datavalue":{"value":{"entity-type":"item","numeric-id":4726387,"id":"Q4726387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118655$5445424E-E27E-4C48-BF38-ADBC48B5AA74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f867c898fe46ab2f083d55c8693682ddc0ef399","datavalue":{"value":{"entity-type":"item","numeric-id":1233499,"id":"Q1233499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118655$FCCEF41C-3D6D-4742-943B-4B0D7100B07E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d238b948fa3480604f0b49e6425b92e2b10c325","datavalue":{"value":{"entity-type":"item","numeric-id":5590089,"id":"Q5590089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118655$742F9246-CB23-41A8-80DC-B30A4FC15910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3b0d3d0e840d8493a11cb3debf2b6d2c3aeeed7","datavalue":{"value":{"entity-type":"item","numeric-id":1082395,"id":"Q1082395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118655$69590B9D-254A-4656-886C-750647A1F9D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e56fb0be5c44dc85d5bc7b0196677588af1be9c","datavalue":{"value":{"entity-type":"item","numeric-id":1082395,"id":"Q1082395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f33ef75faf58ff4309624c8f5505244a78cfb03","datavalue":{"value":{"amount":"+0.71273077","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1118655$4AD7B43F-D9AD-4FBC-BCD5-E33484418790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57a1383cab3785baf2bf5dab8657a1d7b4af78bf","datavalue":{"value":{"entity-type":"item","numeric-id":948713,"id":"Q948713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"810daa8a7d16f221af2e00acaf87e38ad1bbf3ee","datavalue":{"value":{"amount":"+0.6675973","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1118655$D54FD8D4-319D-41F2-9C1B-507A87DBE62E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46c8ed6272d1c549e427616b43957b48c063d513","datavalue":{"value":{"entity-type":"item","numeric-id":1972293,"id":"Q1972293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ab5396cd37cbd7cf593026ec0c6b5f59a42555b","datavalue":{"value":{"amount":"+0.6568149","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1118655$15217274-7A1C-40CE-9024-2992D11E4AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79a840620f4499df4b615ac918da2c5e5c5e982b","datavalue":{"value":{"entity-type":"item","numeric-id":4220947,"id":"Q4220947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dda40460da7b523db9323f6eda63b4da56a8095","datavalue":{"value":{"amount":"+0.65552264","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1118655$031771D8-7F62-4AFD-963C-FE05C8278C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd63118efab67c9fe2ac33f5d8fcb1a050fb8a55","datavalue":{"value":{"entity-type":"item","numeric-id":812884,"id":"Q812884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"832853a80b97cd5b9163fb8f34ba32221793e6af","datavalue":{"value":{"amount":"+0.6535003","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1118655$DE4B2EE5-CEE1-4060-BDCD-F02A3CEB717A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fa1133a0b96e429f08d23a5e91530bc6772f82f","datavalue":{"value":{"entity-type":"item","numeric-id":4339497,"id":"Q4339497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0012688d4378fb87327353ab3b2f64cfa8a7faa6","datavalue":{"value":{"amount":"+0.63827884","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1118655$4B89FA2B-467E-4711-9B99-A15978E5EEC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47899c159bbccf53abc54398bd22ae739f3d7c18","datavalue":{"value":{"entity-type":"item","numeric-id":3481859,"id":"Q3481859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66cd81d39802624f6e5a272ad14797bea217afe7","datavalue":{"value":{"amount":"+0.6187548","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1118655$9B1953D3-CF5F-4C8B-B7F4-16A503240C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e78abfdfc3f4d1220af54d003a18fecfe867840f","datavalue":{"value":{"entity-type":"item","numeric-id":3082869,"id":"Q3082869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"022d74bc2504bdff64f4d18351a98b90673fa43c","datavalue":{"value":{"amount":"+0.6183648","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1118655$F7B129F3-8039-4885-8285-2F923F461FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bf4be4b5ba5c991ee64c673e0191e7e397bc976","datavalue":{"value":{"entity-type":"item","numeric-id":3478537,"id":"Q3478537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a707ebf4fc5ffa67677b9d1151f42fad4d33a7f","datavalue":{"value":{"amount":"+0.6117341","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1118655$4882D16D-D8EE-465C-AF6A-F9B317F7F7D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b556b6786c2cc6899e6d280509df0f153a31b989","datavalue":{"value":{"entity-type":"item","numeric-id":3033896,"id":"Q3033896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b83a8613c52dc66c10f59332c61bf429486ab70d","datavalue":{"value":{"amount":"+0.61008626","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1118655$7667FA5F-D1F2-4826-A782-ACBAFDC539AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1118655","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1118655"}}}}}