{"entities":{"Q6587368":{"pageid":14198524,"ns":120,"title":"Item:Q6587368","lastrevid":55726258,"modified":"2026-02-17T21:45:54Z","type":"item","id":"Q6587368","labels":{"en":{"language":"en","value":"Irreducible carpets of Lie type \\(B_l\\), \\(C_l\\) and \\(F_4\\) over fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7896760"}},"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":"Q6587368$5261FB1C-069D-4AD0-9EF1-47CC5236A988","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6f98f2529c150a83698f04d1d5366c87bc91239","datavalue":{"value":{"text":"Irreducible carpets of Lie type \\(B_l\\), \\(C_l\\) and \\(F_4\\) over fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6587368$566C3BF5-A1C1-4F3F-A58C-75BE2927E9C2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79fa97d12a327e9bea65a28d0ad2b90cfd651c95","datavalue":{"value":{"entity-type":"item","numeric-id":6587367,"id":"Q6587367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587368$9F1BFEAA-F222-4169-8893-CC7E3A91AE8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"778e3c60649fa70dd1501b033b304db35ad98f5b","datavalue":{"value":{"entity-type":"item","numeric-id":359340,"id":"Q359340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587368$6A9491D4-A146-43CF-BD77-70FF6915832F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"96f68cf55557647f1dd34647701caf8b4bf61010","datavalue":{"value":{"time":"+2024-08-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6587368$63BD54A6-E49B-4475-8309-F5B67F1BADA2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5a1b2ba2bf1d70625968a08c6aa0925c7022b80e","datavalue":{"value":"Let \\( \\Phi \\) be a reduced indecomposable root system of rank \\(l\\), \\( \\Phi ( F ) \\) an elementary Chevalley group of type \\( \\Phi \\) over a field \\(F\\). Then \\( \\Phi ( F ) \\) is generated by its root subgroups \\[ x_{r} ( F ) = \\{ x_{r} ( t ) \\mid t\\in F \\}, r\\in\\Phi \\] each of which is abelian and \\[ x_{r} ( t ) x_{r} ( u ) = x_{r} ( t + u ) \\] for every \\( r\\in \\Phi \\) and all \\( t, u\\in F \\). For the purpose of the present paper, one can consider either the universal or the adjoint Chevalley group of the type indicated. \\N\\NA carpet of type \\( \\Phi \\) of rank \\(l\\) over \\(F\\) is the collection \\( \\mathfrak{A} = \\{ \\mathfrak{A}_{r}\\mid r\\in \\Phi \\}\\) of additive subgroups \\(\\mathfrak{A}_{r}\\) of the field \\(F\\) satisfying the condition \\[ C_{ij, rs}\\mathfrak{A}_{r}^{i}\\mathfrak{A}_{s}^{j}\\subseteq\\mathfrak{A}_{ir + js} \\] where \\[ r, s, ir + js\\in\\Phi,\\; i> 0, j > 0,\\mathfrak{A}_{r}^{i} = \\{ a^{i} \\mid a\\in\\mathfrak{A}_{r} \\} \\] and the constants \\[ C_{ij, rs} = \\pm 1, \\pm 2, \\pm 3 \\] are determined by the Chevalley commutator formula \\[ [ x_{s} ( u ), x_{r} ( t ) ] = \\prod_{i, j > 0}x_{ir + js} ( C_{ij, rs} ( -t )^{i} u^{j} ),\\; r, s, ir + js\\in\\Phi .\\] \\N\\NEvery carpet \\(\\mathfrak{A}\\) of type \\( \\Phi \\) over \\(F\\) determines the carpet subgroup \\[ \\Phi ( \\mathfrak{A} ) = \\langle x_{r} ( \\mathfrak{A}_{r} ) \\mid r\\in\\Phi\\rangle \\] of the group \\( \\Phi ( F ) \\), where \\(\\langle M \\rangle \\) is the subgroup generated by the set \\(M\\). A carpet \\(\\mathfrak{A}\\) is called closed if its carpet subgroup \\( \\Phi ( \\mathfrak{A} ) \\) does not have any new root elements, that is, if \\( \\Phi ( F )\\cap x_{r} ( F ) = x_{r} ( \\mathfrak{A}_{r} ) \\) for all \\(r\\in\\Phi \\). The carpet \\(\\mathfrak{A}\\) is called irreducible if all of its additive subgroups are nonzero.\\N\\NThe main result of the paper is the following.\\N\\NTheorem. Let \\( \\mathfrak{A} = \\{ \\mathfrak{A}_{r}\\mid r\\in \\Phi \\}\\) be an irreducible carpet of type \\( B_{l}\\) (\\(l\\ge 2 \\)), or of type \\( C_{l}\\) (\\(l\\ge 2\\)), or of type \\( F_{4} \\) over a field \\(F\\). Suppose that at least one of the additive subgroups \\( \\mathfrak{A}_{r} \\) is an \\(R\\)-module, where \\(F\\) is an algebraic field extension of a field \\(R\\). Then up to conjugation by a diagonal element either \\( \\mathfrak{A}_{r} = P \\) for all \\(r\\in\\Phi \\) and for a subfield \\(P\\) of the field \\(F\\) or the characteristic of \\(F\\) is \\(2\\), there exists an imperfect subfield \\(K\\) of the field \\(F\\) and\\N\\[\\N\\mathfrak{A}_{r}= \\begin{cases} P & \\mbox{if \\(r\\) is a short root}, \\\\\\NQ & \\mbox{if \\(r\\) is a long root} \\end{cases}\\N\\]\\Nfor two distinct infinite additive subgroups \\(P\\) and \\(Q\\) of the field \\(K\\) satisfying the relations \\( K^{2}\\le Q