{"entities":{"Q807027":{"pageid":808875,"ns":120,"title":"Item:Q807027","lastrevid":64480842,"modified":"2026-04-11T20:10:16Z","type":"item","id":"Q807027","labels":{"en":{"language":"en","value":"Sequential machines realized by group representations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4206002"}},"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":"Q807027$F2072558-7170-4896-8759-A3ED2B92E00C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"40befbafa0d89fd03c31645adb6e0386f6cc30c4","datavalue":{"value":{"text":"Sequential machines realized by group representations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q807027$B5E760BB-DFDB-4FBC-A307-6A92BAF1E7BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f0f0d852ba9533a5129aa38c5ca827fe7503993","datavalue":{"value":"0729.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q807027$45FE89B0-A055-4F58-8A17-7975D54A4B23","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da572f14d2cdc089d8f3d55ce6a1b8bc672c0792","datavalue":{"value":"10.1016/0890-5401(90)90047-L","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q807027$8CB4C187-A481-49D7-9368-3667B48BAC5C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca11f5d0a52b5ac0da3d584db27e531c3fa7ce92","datavalue":{"value":{"entity-type":"item","numeric-id":807026,"id":"Q807026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807027$A60E0148-A504-4291-82DD-0547EAE2780D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807027$F6B9FC06-69B5-4897-AB52-5F7989A5D0B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q807027$6858CCD1-5CF2-465D-9C5F-F6F53ED3EA70","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7b743cb814334af83c4d0725fbad1a2bfecd1ad5","datavalue":{"value":"The Krohn-Rhodes theorem characterizes finite automata in terms of permutation machines and reset-machines. The author suggests to replace the finite permutation group G corresponding to a permutation machine by a faithful low dimensional ordinary matrix representation of G. In a second stage he then reduces the constants to get a faithful low dimensional representation of G over a small finite field. In the introduction the author writes: ``The major new result given in the present paper is that computation over a finite field Z modulo p \\((Z_ p)\\) will always suffice for these methods. These new results yield a dramatic increase in the flexibility of the method as well as giving very tight control over the realizations.'' This sounds like a sensation but a closer look at this paper shows that nothing is new! Even worse, classical results (resp. methods) are reproved (resp. reformulated) in a complicated way. As an example, investigating ``the worst case'' M. Conner needs about five (!) pages to reprove the well-known result that the symmetric group \\(S_ n\\) (n\\(\\geq 3)\\) has a faithful linear representation over GF(3) of degree n-1. In addition, it is well-known see e.g. \\textit{G. D. James} [The representation theory of the symmetric groups, Berlin-Heidelberg-New York (1978; Zbl 0393.20009)] how to improve this result: For \\(n\\geq 3\\), \\(S_ n\\) has a faithful linear representation over GF(2) of degree d, where \\(d=n-2\\) if n is even and \\(d=n-1\\) if n is odd. Proof: \\(S_ n\\) acts linearly on \\(GF(2)^ n\\) by permuting the standard basis: \\(\\pi e_ i:=e_{\\pi (i)}\\). The line \\(L_ n\\) generated by \\(e_ 1+...+e_ n\\) is an \\(S_ n\\)-submodule as well as its ``orthogonal complement'' \\(M_ n\\), freely generated by \\(e_ 1+e_ 2,...,e_ 1+e_ n\\). Obviously, \\(M_ n\\) is faithful for \\(n\\geq 3\\). Now let n be even. Then \\((e_ 1+e_ 2)+...+(e_ 1+e_ n)=e_ 1+...+e_ n\\), hence \\(L_ n\\) is a submodule of \\(M_ n\\), and \\(M_ n/L_ n\\) is a faithful \\(S_ n\\)-module of dimension n-2. Done. After such a short proof, the author would have had enough space to describe the effect of his suggestion to automata theory. I could not find any serious statement in this direction.","type":"string"},"datatype":"string"},"type":"statement","id":"Q807027$372F7151-1748-4BD4-B7BD-B7D0AC3DCDF7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4b79e10cd9b8c0f9d5fd29c0d2d77f1f9c811d42","datavalue":{"value":{"entity-type":"item","numeric-id":705547,"id":"Q705547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807027$2CCF72E6-64E5-4DF8-89CA-0677B065B47F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q807027$408B7970-167A-40C6-B5C6-C83435A2D172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q807027$4726D828-C8C0-4968-8EF1-296114B59718","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0087cc0bdd7998f37b81981b43a90ff0af85b32","datavalue":{"value":"4206002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q807027$0BED7B7D-B7AB-4FCD-81D9-839CEFBD22B5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31c76d62215c206dd02ac2ec239d0c3d1d5b44db","datavalue":{"value":"group representations","type":"string"},"datatype":"string"},"type":"statement","id":"Q807027$071FAFF6-C908-4F32-9F88-50AE2FDCC6DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5947902cc19a27fa24ce014c91aaef3843995c60","datavalue":{"value":"Krohn-Rhodes theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q807027$9119890F-85E6-4FBA-8914-2C795398F7E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b1380a13c8e01a0a0a3d75d0083f284ddb2c0db","datavalue":{"value":"permutation machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q807027$B2A8AFAF-1775-4BBB-9EB3-73B708D80B3D","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":"Q807027$3A6BC0AA-69C9-4EF2-AD68-2F5E435D3B41","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"814266664f98a11a370478cc3d4a9b752ec848c3","datavalue":{"value":{"entity-type":"item","numeric-id":5512183,"id":"Q5512183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807027$BC022DB8-C868-4CE3-87E3-EAD5232B8E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50d481d751cf827e9d7a71d4e9b89ab9decbfb07","datavalue":{"value":{"entity-type":"item","numeric-id":5535414,"id":"Q5535414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807027$B8EA1F64-51A9-404D-B012-6366F9E486C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09e8491259afe50892800abd4ca3ff05177c3a84","datavalue":{"value":{"entity-type":"item","numeric-id":5549063,"id":"Q5549063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807027$3BEA6F84-2B90-4E31-AEC5-892D4D356D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f0fb16a22eb1f58aea2f63c0c58aeb662ca0add","datavalue":{"value":{"entity-type":"item","numeric-id":3666281,"id":"Q3666281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807027$2ABCC247-C895-4579-A937-2E4226C1BDDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807027$A6AB8702-7077-4E01-B872-3343DDB982AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afe18fdfb882c799d34a7482b763d96a45625e71","datavalue":{"value":{"entity-type":"item","numeric-id":3853827,"id":"Q3853827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807027$22CD3EC5-45B0-4E29-984C-02CB75AFFD2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed68160731cf55d219ba94647825683328472c30","datavalue":{"value":{"entity-type":"item","numeric-id":3769981,"id":"Q3769981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807027$C421920D-1A67-4359-94B3-5D9CAB231220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5965e4b6f190956136aaa39145ea19bc1046b96d","datavalue":{"value":{"entity-type":"item","numeric-id":3943153,"id":"Q3943153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807027$63286054-6FB4-40B2-A873-7CBD24C0A324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c60ed57ff0fef494cfbd38ae6a3aa32f3416d6d1","datavalue":{"value":{"entity-type":"item","numeric-id":4126536,"id":"Q4126536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807027$C8E3EAE2-70A7-4AF0-B5FD-C59C84A0DD9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81db05761ff869b95d211d57b32d6ac5122e6477","datavalue":{"value":{"entity-type":"item","numeric-id":5719436,"id":"Q5719436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807027$0398E359-28E2-4B9B-A79A-70D8847ADC9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"274d2a0041037b330c046997ae1767d279f87686","datavalue":{"value":{"entity-type":"item","numeric-id":5586503,"id":"Q5586503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807027$17FB6B2C-EB43-460B-839D-E16B27BDA842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01a69b99a26951f61f350bcc2080b8aa04aa8ace","datavalue":{"value":{"entity-type":"item","numeric-id":3222352,"id":"Q3222352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807027$6FC46D36-13E2-4243-8D82-2A989D657558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7e2742eb06c7b8c6cd945064a3553957383f4c3","datavalue":{"value":{"entity-type":"item","numeric-id":4090395,"id":"Q4090395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807027$5C540F8B-ADE1-4BC3-A44F-AF0D3D6ED1D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84ffb0398e2e34bc5bfc26469e1290ee29b75024","datavalue":{"value":{"entity-type":"item","numeric-id":5340151,"id":"Q5340151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807027$61EE6FFC-AC4F-4089-AD7E-FFA70EA3C339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e28d865b6a527d6aef184a58e15bb15ad21dc2c","datavalue":{"value":{"entity-type":"item","numeric-id":3856819,"id":"Q3856819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807027$A6D4A7F4-2AFF-4701-8AD5-9D13F27109C0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39e1cbe30d32d4f9a3fee3c5cf362785f3837956","datavalue":{"value":{"entity-type":"item","numeric-id":2740421,"id":"Q2740421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28b2b87c5141bd7c0ab997d5ab50745496c860e5","datavalue":{"value":{"amount":"+0.7524449825286865","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":"Q807027$846FEAF8-3140-4F39-A360-2F7A39718487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44e82b9c544e7133299c8f7a5dbce444550e9ea5","datavalue":{"value":{"entity-type":"item","numeric-id":4360092,"id":"Q4360092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32515dde68cfe2e612ebebfd4b39b3bb8567f894","datavalue":{"value":{"amount":"+0.7524448037147522","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":"Q807027$765EDD4A-595B-4EE1-8447-BD51FD18B0D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc90b97adf9ca206a59182ddfdef5119b31246a1","datavalue":{"value":{"entity-type":"item","numeric-id":4522843,"id":"Q4522843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eadb557d333ec7d089c06ced41213ba5944d2d03","datavalue":{"value":{"amount":"+0.7464332580566406","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":"Q807027$85E41047-6855-48C8-868F-E7560D73144E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c6fa29b43a512a8e35cfe5cb39707df917734d0","datavalue":{"value":{"entity-type":"item","numeric-id":3587258,"id":"Q3587258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4eb8a3ddb96c50965867e514143165962a1098b8","datavalue":{"value":{"amount":"+0.7383253574371338","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":"Q807027$A8EFF4EE-F0C4-484C-A5BB-F5FB19940934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"074a101a5c29f2b0312961cb84f6f7a3f0d04be2","datavalue":{"value":{"entity-type":"item","numeric-id":3700846,"id":"Q3700846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03949d109fe44f6dd86f948036c723561ea1fd4c","datavalue":{"value":{"amount":"+0.7359195947647095","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":"Q807027$B8528113-99BE-49FE-84CA-2D99D65C2C38","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sequential machines realized by group representations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sequential_machines_realized_by_group_representations"}}}}}