{"entities":{"Q1014586":{"pageid":1016434,"ns":120,"title":"Item:Q1014586","lastrevid":66542691,"modified":"2026-04-12T10:50:15Z","type":"item","id":"Q1014586","labels":{"en":{"language":"en","value":"Embeddings of root systems. II: Permutation root systems."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5549345"}},"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":"Q1014586$201E1AEB-7A90-4BAE-8081-7B6E1244B704","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"42c4d2c7db12e074425d365ca9b70b0cf4cfa53b","datavalue":{"value":{"text":"Embeddings of root systems. II: Permutation root systems.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1014586$B69C0A5F-2691-4187-A4E7-C9F1EA3F9801","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a436cb3c825143d6010fc9d71cdd6e03ef7493b","datavalue":{"value":"1193.20047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014586$AE93A484-6878-4744-99E9-DC74923BCE1B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d20386c21644fd1548f91d1d3b83a932e2e870c1","datavalue":{"value":{"entity-type":"item","numeric-id":834829,"id":"Q834829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014586$D881D3D5-3064-46DD-B3D9-557810977D30","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":"Q1014586$543883B1-F668-4B29-91E1-601FDF3284F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc7396a377674bf1d1ad6a9c9bbfaef229fcbe16","datavalue":{"value":{"time":"+2009-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1014586$F1FCA628-7CFF-4032-867E-2B5C29AD71B0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"eee793373692a0ef63175ed00809372fb7861ba1","datavalue":{"value":"In part I [\\textit{M. J. Dyer}, J. Algebra 321, No. 11, 3226-3248 (2009; Zbl 1181.20036)] the author studied the embeddings of linear root systems over commutative rings. The present paper studies a class of embeddings of permutation root systems, with properties abstracting those of examples in part I. Let \\(G\\) be a group and \\(\\{\\pm 1\\}\\) the sign group. The group \\(G\\times\\{\\pm 1\\}\\) acts on a set of the form \\(R\\times\\{\\pm 1\\}\\), where the action of \\(\\{\\pm 1\\}\\) is the natural one. Such an action is equivalent to an action of \\(G\\) on \\(R\\) together with a cocycle \\(N\\colon G\\to\\mathcal P(R)\\) of \\(G\\) in the power set \\(\\mathcal P(R)\\) (with symmetric difference as addition and natural \\(G\\)-action).   An expression \\(g_1\\cdots g_n\\) in \\(G\\) is defined to be compatible if \\(N(g_1\\cdots g_n)\\) is the disjoint union of the sets \\(g_1\\cdots g_{i-1}N(g_i)\\). A cocycle \\(N\\colon W\\to\\mathcal P(R)\\) of a Coxeter system \\((W,S)\\) is called a root cocycle if any expression \\(xy\\), \\(x,y\\in W\\), with \\(\\ell(xy)=\\ell(x)+\\ell(y)\\) is compatible for \\(N\\), where \\(\\ell\\) is the length function of \\((W,S)\\).   The author defines, by some rank-two conditions, a notion of an admissible subset \\(S\\) of \\(G\\) with respect to a cocycle \\(N\\colon G\\to\\mathcal P(R)\\). Then the first main result of the paper asserts that for an admissible subset \\(S\\) generating a subgroup \\(W\\) of \\(G\\), the pair \\((W,S)\\) is a Coxeter system and the restriction of \\(N\\) to \\(W\\) is a non-degenerate root cocycle for \\((W,S)\\); further, for \\(w_i\\in W\\), an expression \\(w=w_1\\cdots w_n\\) is compatible for \\(N\\) iff \\(\\ell(w)=\\ell(w_1)+\\cdots+\\ell(w_n)\\).   For a Coxeter system \\((W,S)\\) with \\(T\\) its reflection set, define \\(\\widehat W\\) to be the set of all permutations \\(\\theta\\) of \\(\\Psi:=T\\times\\{\\pm 1\\}\\) such that for any finitely generated reflection subgroup \\(W'\\) of \\(W\\), there is some element \\(w\\in W\\) such that \\(\\theta(t,\\varepsilon)=(wtw^{-1},\\varepsilon_{w,t}\\varepsilon)\\) for all \\(t\\in W'\\cap R\\) and \\(\\varepsilon\\in\\{\\pm 1\\}\\), where \\(\\varepsilon_{w,t}\\) is 1 if \\(\\ell(wt)>\\ell(w)\\) and \\(-1\\) if \\(\\ell(wt)<\\ell(w)\\). Then \\(\\widehat W\\) is a group of permutations of \\(\\Psi\\) containing \\(W\\) as a subgroup.   The paper applies the above main result to the following case: \\(R\\) is a subset of the set of reflections \\(T'\\) of a Coxeter system \\((W',S')\\), and \\(G\\) is a subgroup of \\(\\widehat{W'}\\) acting on \\(R\\) by conjugation, with cocycle \\(N\\colon G\\to\\mathcal P(R)\\) given by \\(N(g)=N'(g)\\cap R\\) where \\(N'\\) is the reflection cocycle of \\(\\widehat{W'}\\). The author considers a class of the embeddings \\(W\\to\\widehat{W'}\\) which naturally generalizes \\textit{B. M\u00fchlherr}'s embedding \\(W\\to W'\\) [in Finite geometry and combinatorics. Lond. Math. Soc. Lect. Note Ser. 191, 277-287 (1993; Zbl 0820.20048)]. For embeddings in this class, each simple reflection of \\(W\\) is a convergent, possible infinite product of commuting simple reflections of \\(W'\\).   The second main result of the paper completely classifies all embeddings of this type, essentially as those induced by ``strong'' admissible maps in the sense of \\textit{G. Lusztig}, [Trans. Am. Math. Soc. 277, 623-653 (1983; Zbl 0526.22015)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1014586$9353C1D9-DD3D-4767-BF94-0344D1F7100F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dcc6ef289477f68cffe6414814b60192a325ae7","datavalue":{"value":"20F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014586$4A906557-717C-4B54-A187-6C7BD847D01E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"415959b59d807ad8b8b7934d3544b1c1b7e94997","datavalue":{"value":"17B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014586$1C65DD48-26F9-4BFA-B036-406CB684B987","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7364b9a6dc9d6b5fba26c2f4ccd1370a64960823","datavalue":{"value":"5549345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014586$526B8B71-8FA8-4A4B-A60A-823D374115D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acb2d7eb1233c0a41ae41e2c2ef416121bc77d3b","datavalue":{"value":"Coxeter groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1014586$392EC352-024D-4460-AE7A-A889C6E4B4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2adfcc39d1de21f7d7bd51d0bd92d5a126140315","datavalue":{"value":"based permutation root systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1014586$24EAE2C9-D32E-4E29-9B25-346D5C773982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52a51741f28bf85e81b7d8a33c2c4dde45fc3c34","datavalue":{"value":"cocycles","type":"string"},"datatype":"string"},"type":"statement","id":"Q1014586$7AB9E423-F077-4716-A61D-89CF87054F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae5a17799200790e8939b0741e1187391557f23e","datavalue":{"value":"Coxeter systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1014586$0EC79C9B-5EAD-4119-92A9-218443576F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ac83d8c0bc9f884112fb8ef417e091f3fd76bd8","datavalue":{"value":"group actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1014586$FD030BE4-AB31-41B9-B85B-E940A22C32F6","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":"Q1014586$62776229-989B-4D6F-ACB5-0B1214B7BD51","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0bc34d483d8344553e9edad982fd010de97ccd27","datavalue":{"value":"https://doi.org/10.1016/j.jalgebra.2008.11.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q1014586$8F7FB4C9-0CEE-47C4-A077-07F5CBAE95DF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7fb40d2fc500cb74dff7a66b303982d911ebcddb","datavalue":{"value":"W2028535090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014586$4A4C7FC8-291A-4512-AF78-93E13054EA01","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8f7e8eaa6ace0c177f26ace7c9e188fcebc56da","datavalue":{"value":{"entity-type":"item","numeric-id":3023369,"id":"Q3023369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014586$874A9160-AEDD-4C50-9AD6-3E55AE09D771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70f1aa96e0b673dfd23681d1b3b38d1a2b23568e","datavalue":{"value":{"entity-type":"item","numeric-id":3808098,"id":"Q3808098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014586$88BF57AA-0B72-42BA-BD5D-5BD4A1758D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f90ef4258b6ff673085fd818e971aaf07abd7a","datavalue":{"value":{"entity-type":"item","numeric-id":5580319,"id":"Q5580319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014586$F0E6A314-15B5-475B-B577-C86ABCBD8C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9833dc9e8d1bbf38da64998eea083eeccee2ba5","datavalue":{"value":{"entity-type":"item","numeric-id":1318105,"id":"Q1318105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014586$7A0C69EC-8BCF-43DF-BA9F-C595AE338EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4153b143db802036359a197bab3e025a35118b74","datavalue":{"value":{"entity-type":"item","numeric-id":4285662,"id":"Q4285662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014586$678FE627-2C87-45B4-B465-2A9A927FF522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e3b92817c18572f1994b98ffd621053ca8aa5f3","datavalue":{"value":{"entity-type":"item","numeric-id":834830,"id":"Q834830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014586$DCFADB40-EED2-4AF4-A711-BC0689A9B230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50f324c17804e043965780dd8fef78ad1c436b9","datavalue":{"value":{"entity-type":"item","numeric-id":923730,"id":"Q923730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014586$3DF2A4FA-2356-4957-A4B9-BC76923A65EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a9454135c0a02d4bc77f3862441db544ec9caf0","datavalue":{"value":{"entity-type":"item","numeric-id":3434257,"id":"Q3434257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014586$FE9C2AB9-0958-4835-BE50-488AA88493BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7520ae7cd2ef10aeeca2acb8b6b25f03814f3933","datavalue":{"value":{"entity-type":"item","numeric-id":3916732,"id":"Q3916732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014586$D4FD189F-B649-4A6A-B910-3287658AF224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"716a094d97a75c47d39d660b6856ea1148b0f14b","datavalue":{"value":{"entity-type":"item","numeric-id":2484383,"id":"Q2484383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014586$44DFC31B-B296-41A6-94A8-BCD649BCD7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd86cf4f37b1c15ed8cf6675bd8e4a7c8fa43c2a","datavalue":{"value":{"entity-type":"item","numeric-id":3998721,"id":"Q3998721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014586$23438BC0-6E96-4726-8B96-CCB4B85F1B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fdb478efbaaf2377622e9367407120e9f018896","datavalue":{"value":{"entity-type":"item","numeric-id":4040877,"id":"Q4040877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014586$11839FDF-2656-41BD-A4E5-81BE08EF1B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"350fe3cc94b26069692ae2f9736a9d52e80ae054","datavalue":{"value":{"entity-type":"item","numeric-id":5428096,"id":"Q5428096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014586$7C11FB0F-FC64-47A8-8D5C-BAC5310B905F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"121a390c062e483b2d1988641a10988088d3232a","datavalue":{"value":{"entity-type":"item","numeric-id":3041442,"id":"Q3041442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014586$526B6111-9014-4ECA-9001-29DD42761524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28d30e46d7a725630f67e3d83f45d1668981f4d6","datavalue":{"value":{"entity-type":"item","numeric-id":4276296,"id":"Q4276296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014586$E2CF8B03-ECBE-4422-9905-0ECAAA7172A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"533d4acd8c70ccdf4a05fb1833325e073702ed72","datavalue":{"value":{"entity-type":"item","numeric-id":3267821,"id":"Q3267821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014586$6C61517D-4BA9-46E3-8F72-F1E778373C18","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f143520fb5207a8211c09634c0bffbc20f4be917","datavalue":{"value":"10.1016/J.JALGEBRA.2008.11.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014586$2F84A8C1-8728-4412-B084-087219CB59D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"284aa1bbdf3af67d930c418912cd3418ee1971cf","datavalue":{"value":{"entity-type":"item","numeric-id":834830,"id":"Q834830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a48a86dc9e58636d715dd9f6aaf9d1af879c232d","datavalue":{"value":{"amount":"+0.8933532238006592","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":"Q1014586$33AD75D4-516C-423F-AC2C-B41262F62833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce6790a3fbec1b4ca61fe19910a44c79737fc3e9","datavalue":{"value":{"entity-type":"item","numeric-id":1333229,"id":"Q1333229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce9a21ae214a62c1cd67a9a66769c613f23f26bf","datavalue":{"value":{"amount":"+0.8215070962905884","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":"Q1014586$18E8B77F-2B1B-4494-AF0A-250CE73C9A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44bc5c4f3a005a5dd06a620edd1141c02d5a30fc","datavalue":{"value":{"entity-type":"item","numeric-id":4554594,"id":"Q4554594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e48427364977a239f576d5d3ad20379bb95fb08","datavalue":{"value":{"amount":"+0.7278187274932861","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":"Q1014586$EB36273D-E261-4281-962A-52A4236A5AD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53395a619695d9e4253178647149666e1be461bc","datavalue":{"value":{"entity-type":"item","numeric-id":2640690,"id":"Q2640690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"585af821e1735c0c5ffb92ec911cf11e90155410","datavalue":{"value":{"amount":"+0.7241642475128174","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":"Q1014586$326DE047-0686-4B2E-88C1-539C15318888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b302f1e6afdbcdcf6105b6edfbe186155db3b25a","datavalue":{"value":{"entity-type":"item","numeric-id":5580319,"id":"Q5580319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"808d5d0422384a9ee8cdfaff6e39fcc91051c789","datavalue":{"value":{"amount":"+0.715592086315155","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":"Q1014586$5644C4E0-C58E-4468-9461-3E4B3BE73EAC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Embeddings of root systems. II: Permutation root systems.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Embeddings_of_root_systems._II:_Permutation_root_systems."}}}}}