{"entities":{"Q1815004":{"pageid":1825746,"ns":120,"title":"Item:Q1815004","lastrevid":43344438,"modified":"2025-07-24T23:02:31Z","type":"item","id":"Q1815004","labels":{"en":{"language":"en","value":"Computing matrix group decompositions with respect to a normal subgroup"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 941268"}},"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":"Q1815004$2B368530-FE2F-4615-BDE4-DF875C1987D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"17d351434a9b81a0e9ec78c54f3331b140c27444","datavalue":{"value":{"text":"Computing matrix group decompositions with respect to a normal subgroup","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1815004$76EBA673-419F-403B-90CB-98548120BD54","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"015036b1d355fc6b31bd538d9dcd6d62e2fd5c0a","datavalue":{"value":"0865.20014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815004$1BA275F6-1F52-421A-B6FF-F7A4682BF426","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4693128aaa4c330cf020813f03655c14217115d","datavalue":{"value":{"entity-type":"item","numeric-id":290404,"id":"Q290404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815004$2281CB24-BD8A-47B9-92BE-FC92031502EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2a59ee3d603a5b1e501e33362d378b8f1c78ba1","datavalue":{"value":{"entity-type":"item","numeric-id":273098,"id":"Q273098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815004$C23827BE-4214-4D43-87AC-6D2562F5C2C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4379837ed1398a617242a1336a8f80b2ef7c97a7","datavalue":{"value":{"entity-type":"item","numeric-id":169336,"id":"Q169336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815004$646DBDBB-6BED-47BC-A6DC-1E467B863EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"649cb128d59924c6cfcdb13e70b95523329c3106","datavalue":{"value":{"entity-type":"item","numeric-id":802742,"id":"Q802742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815004$B73D7D26-BF68-4B72-8F52-F40718DD342F","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":"Q1815004$5512B50C-6A7E-47E7-A90B-468AA639C22F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"45b318832fe623926f3c32243314e5ff7178ff32","datavalue":{"value":{"time":"+1997-07-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":"Q1815004$23BD3C7E-2CC0-4D71-926C-F52AA5B96230","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8f9a89d4ae7a7b77ba068ac5d709d5e2601e208f","datavalue":{"value":"The authors present an algorithm `SMASH' designed to aid the computer recognition of a finite matrix group \\(G\\leq\\text{GL}(d,q)\\). If \\(G\\) is known to act absolutely irreducibly on the underlying vector space \\(V\\), `SMASH' investigates whether \\(G\\) has one of the following decompositions with respect to the normal closure \\(N:=\\langle S\\rangle^G\\) for a subset \\(S\\subseteq G\\) not all of whose elements are scalar:   (1) \\(G\\) acts imprimitively on \\(V\\), with blocks \\(V_1,\\dots,V_r\\), and \\(N\\) preserves each of the subspaces \\(V_i\\).   (2) \\(G\\) is a group of semilinear (but not linear) automorphisms in some dimension dividing \\(d\\), over an extension field of \\(\\text{GF}(q)\\). Thus, for some \\(e>1\\), \\(G\\) embeds in \\(\\Gamma(d/e,q^e)\\) but not in \\(\\text{GL}(d/e,q^e)\\), and \\(N\\leq G\\cap\\text{GL}(d/e,q^e)\\).   (3) \\(G\\) preserves a tensor product decomposition \\(U\\otimes W\\) of \\(V\\), and \\(N\\) acts as scalar matrices on \\(U\\). Thus \\(N\\) preserves a decomposition of \\(V\\) as a direct sum of subspaces isomorphic to \\(W\\), and fixed by \\(N\\).   (4) For some prime \\(r\\), where \\(d=r^m\\), \\(G\\) is the normalizer of an \\(r\\)-group, \\(R\\), of order \\(r^{2m+1}\\) or \\(2^{2m+2}\\). In this case, \\(N\\) is contained in \\(RZ\\) where \\(Z=Z(\\text{GL}(d,q))\\cap G\\).   (5) \\(G\\) preserves a symmetric tensor product of \\(m\\) spaces each of dimension \\(r\\), and is an amalgamated wreath product of a subgroup of \\(\\text{GL}(r,q)\\), and a subgroup of the symmetric group \\(S_m\\), for some \\(r\\), \\(m\\) with \\(d=r^m\\). Then \\(N\\) preserves each of the \\(m\\) factors of the tensor product.   In cases (1)--(4) `SMASH' will identify at least one such decomposition. However, in case (5) `SMASH' is at present a non-deterministic algorithm, and so the failure to find such a decomposition does not conclusively prove its non-existence.   `SMASH' constitutes a component of another algorithm by the authors trying to decide whether or not a matrix group is primitive [J. Algebra 184, No. 3, 795-817 (1996; see the preceding review Zbl 0865.20013)]. Implementations of the algorithm are publicly available in the computer algebra systems GAP and MAGMA.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815004$48A6A0B6-9123-442A-96DE-9CF4717C2C6D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e806a99a37ad92ac854a98fd320a92e387f8ea8a","datavalue":{"value":"20C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815004$B18D9140-939B-4AB5-BC6B-7ABE0F745A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ac1dafab2cb163643c64b3cf5c7678542cb29be","datavalue":{"value":"20B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815004$039333BD-95F1-4807-9535-A560E14299F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"747f926814bec7d06f4808d64ba00d7542217963","datavalue":{"value":"20G40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815004$FD6120C1-B4B9-44AF-BC05-F4F7C8C98D71","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0bd164d8dd6c685ecea638ad2d25f2b214ce13af","datavalue":{"value":"941268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815004$FB99570E-D2AA-44DD-BBF6-E12FA44B4BF7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"725dee1c28e3c61637f1e627448cbe66de093a1d","datavalue":{"value":"SMASH","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815004$56314AE2-1A8D-4252-9FB4-88F7D2FAC9D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5daf04d49872ff2e2db63aadcf3b8c930efd5929","datavalue":{"value":"computer recognition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815004$19605711-2CD2-4796-929D-13B7643BD474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cb78ee92539ccb22cf451c106489e789e1e6165","datavalue":{"value":"finite matrix groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815004$0BE187AA-CE20-4899-8C1B-1FB92D4BC907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d65d96e26ba7f502206a0841e88ddfd329fc1d64","datavalue":{"value":"decompositions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815004$DBA91835-0E5E-45CE-A814-5BCD7634635D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3574e4c5e05e36831a4e9f10562ec2417ebcaaa","datavalue":{"value":"tensor products","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815004$C12810C6-F308-422E-A779-80C9C3642571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a577ac15607e2db8cb25f934cbf2d9a755b6db5","datavalue":{"value":"direct sums of subspaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815004$F6D2D0D4-6887-4DC2-88C5-A10134D3BF11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8c8c8c4fdc9f91696962efc35a08827e231ad2b","datavalue":{"value":"wreath products","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815004$F053AF50-9EFB-4386-BBE1-504FD4B48A93","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b3e61f56dd285c2e61be7bb8246a0c77d535585d","datavalue":{"value":{"entity-type":"item","numeric-id":192082,"id":"Q192082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815004$908F129C-2DB3-4C58-9C00-7ED5C1B99861","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4fe03e5b78d9974ebdfc0233dbd377f30d5d075f","datavalue":{"value":{"entity-type":"item","numeric-id":13295,"id":"Q13295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815004$70A63AA6-87A1-4D0A-9535-DD8398107F94","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":"Q1815004$3CF4FC3F-CC33-4890-93C4-9D856F9519C4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c215695eed698607259e0823adfd1a50db13daf4","datavalue":{"value":"https://doi.org/10.1006/jabr.1996.0286","type":"string"},"datatype":"url"},"type":"statement","id":"Q1815004$CAAE78F1-76B6-44F1-A283-099972D7155F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c182e432053fd0e1dd988f3d16bbbe1e36f8a3b","datavalue":{"value":"W1969338131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815004$BF79403B-7AE0-40B5-9FAC-3394FF5A325C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a3091d32fd2ff5caa7adea26af4cc85a2a9ceb55","datavalue":{"value":"10.1006/JABR.1996.0286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815004$7E6B6F04-37F2-4D12-B566-9CB15D4270A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7565f6c78ccb6dcaf4e88ee828918a47ab40d8a7","datavalue":{"value":{"entity-type":"item","numeric-id":4232496,"id":"Q4232496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99cfa7f133b5850e195e117d6f3188254c44186e","datavalue":{"value":{"amount":"+0.9212929","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":"Q1815004$54CB2730-6205-4B50-920B-B1DB676042BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42ce891e985f4d12411fc058ccef428437eb1e6e","datavalue":{"value":{"entity-type":"item","numeric-id":5414554,"id":"Q5414554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53b042364ed94444b7fcbe676a50804c86ddbd97","datavalue":{"value":{"amount":"+0.88857204","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":"Q1815004$76FA8256-6B23-4CA3-8954-84357B09AA38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b62212158f2ea9834fe573346aa1a3ef17b513f","datavalue":{"value":{"entity-type":"item","numeric-id":4270335,"id":"Q4270335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7f5ce04518b56e3002cd64d34a00a6835c1b0f0","datavalue":{"value":{"amount":"+0.8883724","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":"Q1815004$DBEABF6C-B56C-40F4-8F68-649618E2C38D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3447b13641b569a9642d9846d86e7441f0240a1d","datavalue":{"value":{"entity-type":"item","numeric-id":3344111,"id":"Q3344111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0d73c99ba1f4f00f2d14bc5b8de218382e5887a","datavalue":{"value":{"amount":"+0.88367873","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":"Q1815004$083FFA05-273D-428B-9729-FFE12CF12433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bfde44a78be26b5ce80911d5ed5c9dc23c2153b","datavalue":{"value":{"entity-type":"item","numeric-id":4234298,"id":"Q4234298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f20e1936f9d9a44905bd9b9e4456a96f4f778e9a","datavalue":{"value":{"amount":"+0.8820864","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":"Q1815004$37A9B614-0D7A-44AD-8DF6-1EDA430D258E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82d65604506b1fd0731fa4b719ef092eeb575b1e","datavalue":{"value":{"entity-type":"item","numeric-id":4650979,"id":"Q4650979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13e56af1167cb9a57d2a9cb537bff8d6c388cbe0","datavalue":{"value":{"amount":"+0.88178897","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":"Q1815004$1EC7F331-A01F-4DEF-9CE0-B21700AB1322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0e37874cc6d2480aecebccf53bc22ffcd0c3611","datavalue":{"value":{"entity-type":"item","numeric-id":4230332,"id":"Q4230332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a64c8f95b49bf329db855e988372f23cd9edd17","datavalue":{"value":{"amount":"+0.88116944","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":"Q1815004$05ECC036-878F-4CB6-A038-69BFD5B56BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b31b45370433a6776ea2af729ea33dff8a716ce","datavalue":{"value":{"entity-type":"item","numeric-id":1192230,"id":"Q1192230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbada5aa9a59c44c2647b4f53840e1aa8726bdf4","datavalue":{"value":{"amount":"+0.88042563","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":"Q1815004$EF15D4E2-BC5A-449D-9FCF-8B7EAD8E704B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4adb28f7c1dd504498c6b63341e650f35250ae89","datavalue":{"value":{"entity-type":"item","numeric-id":5480729,"id":"Q5480729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25613aa0774a2459ba06dd69c2bb528194bee2da","datavalue":{"value":{"amount":"+0.87824","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":"Q1815004$DDB99633-16E8-4EA0-98E7-E36180E8B701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66b5c1c350620d09d0673c7f59db4d7e5a4597b6","datavalue":{"value":{"entity-type":"item","numeric-id":4227306,"id":"Q4227306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"191e44498ddea8639a02a6a57ee2e3dd67c8c91c","datavalue":{"value":{"amount":"+0.87403107","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":"Q1815004$2936DAE0-58F0-4730-8595-8097B5894B03","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1815004","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1815004"}}}}}