{"entities":{"Q2723254":{"pageid":2733993,"ns":120,"title":"Item:Q2723254","lastrevid":79155275,"modified":"2026-05-06T13:16:09Z","type":"item","id":"Q2723254","labels":{"en":{"language":"en","value":"Counting equivalence classes of irreducible representations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1614332"}},"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":"Q2723254$D8478FA6-0718-4E7B-B1D4-99AF6FE4F100","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"251a385ff582f7a392c7d6534dda20f8d303df1f","datavalue":{"value":"0987.16009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2723254$43CA3E74-C48B-4603-B4E0-9A9D4D93D990","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"14dc6950126a888bd9f2aea0d59f8ab5925ed71b","datavalue":{"value":{"entity-type":"item","numeric-id":207164,"id":"Q207164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2723254$20EC386D-51FF-4183-9785-F2F68186873E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"93a856ec74c83d630bb9a006b922edf955f6e7da","datavalue":{"value":{"time":"+2001-07-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2723254$D4FFDD75-D9C2-46FA-A520-FC0C66B56AAD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0a26d95d5d7d75f80cee056a7e9ef260ccfc74a7","datavalue":{"value":"https://arxiv.org/abs/math/0106033","type":"string"},"datatype":"url"},"type":"statement","id":"Q2723254$30BA4B73-EE45-4DD6-9E41-AB1242130F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"61a7def104a1ecfb7519615819f04125f1a3cdb7","datavalue":{"value":"https://eudml.org/doc/121846","type":"string"},"datatype":"url"},"type":"statement","id":"Q2723254$F3848DBC-30F5-4BA1-A535-CC69374F1D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"82827859a06653fb5747ad163014fb92e01b4c35","datavalue":{"value":"http://www.emis.de/journals/AMA/AMA01-2001/index01-2001.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2723254$5880FF6B-C993-4AF3-B4A4-1E73E04A6109","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b1a42ef5346fbb8dd30999865343e45e19132dc6","datavalue":{"value":"16G60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2723254$F347CA54-1641-46C8-89FE-4F6E4BC2C7CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09c34d6a9e51500cf32e007c02afdb05751a7030","datavalue":{"value":"16Z05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2723254$0B0864A7-E77F-48C1-BE25-FC64BA0FE85B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2723254$B4067FA8-A332-4F8D-A066-EE36366A03AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2723254$5711E286-49D6-486C-9E06-9BCD7515DE4F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a5aff491f24cf45630b0c843c523e7fc57622cc","datavalue":{"value":"1614332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2723254$6F4BA182-1CE1-4C6E-94CC-CD3047FE1EF9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19e4861b5470a1a2da71ad5e0f468219d0eb6dd3","datavalue":{"value":"irreducible representations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2723254$CC3DBD90-830C-492C-A6CA-FE5BB5242614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2723254$0E363A6B-EA99-4BA8-82E0-E8FF4870BD67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe6efed4b03d66feb00cf8b89d467788bc3e3c53","datavalue":{"value":"computable fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q2723254$F4763547-C7DD-48A0-93DB-389596F8487E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ed45149381aacebde470bd2725847079f54147f","datavalue":{"value":"subring membership test","type":"string"},"datatype":"string"},"type":"statement","id":"Q2723254$CBA6E07B-8D35-4912-AA97-3C7644B2FEF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3121d4bb22e5730b7af95c5829f7df11ab2891ff","datavalue":{"value":"Markov property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2723254$B171B266-6533-4B01-B8CF-F52C5DE4AB78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6e5e2b031712b727efc6be531654bc7a89574a7","datavalue":{"value":"finitely presented algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2723254$0764BF07-1315-4879-9896-F860C770E686","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":"Q2723254$F1DAA718-CF64-4815-A90F-7AAF481AADAC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e94b0ddb773897931bcc689c62a0382af71283f5","datavalue":{"value":{"text":"Counting equivalence classes of irreducible representations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2723254$134498F4-A195-4A9B-8295-50A3C6C39218","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"69e9eb4eb7632a11bade03f694a8ed84687cadea","datavalue":{"value":{"entity-type":"item","numeric-id":6767940,"id":"Q6767940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2723254$E0B4D836-6568-4ABD-BEE0-5B214FCBB23A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fa60499456ada1dfcdb5fe00fdc75cfd57750d02","datavalue":{"value":"Let \\(k\\) be a computable field of characteristic 0 and \\(R\\) a finitely presented \\(k\\)-algebra. The article describes an algorithm which decides whether given a natural number \\(n\\) there exist only finitely many (up to isomorphism) irreducible \\(n\\)-dimensional representations of \\(R\\). By a representation it is meant an algebra homomorphism from \\(R\\) into the \\(n\\times n\\)-matrix algebra \\(M_n(\\overline k)\\) with coefficients in the algebraic closure of \\(k\\). Irreducibility as well as isomorphisms are also defined over \\(\\overline k\\).NEWLINENEWLINENEWLINEThe algorithm uses in particular a variant of the subring membership test [see \\textit{T. Becker, V. Weispfenning}, Gr\u00f6bner bases: a computational approach to commutative algebra, Graduate Texts in Mathematics 141 (1993; Zbl 0772.13010)]. The author sketches also a method of calculating the number of isomorphism classes of irreducible \\(n\\)-dimensional representations of \\(R\\) in case this number is finite and \\(k[t]\\) is equipped with a factoring algorithm.NEWLINENEWLINENEWLINENote that in a previous paper [J. Symb. Comput. 32, No. 3, 255-262 (2001; see the preceding review Zbl 0987.16008)] the author has given a procedure to verify whether \\(R\\) has an \\(n\\)-dimensional irreducible representation for a given \\(n\\). Moreover, the existence of a nonzero finite dimensional representation of \\(R\\) is a Markov property and cannot be algorithmically verified in general by the result of \\textit{L. A. Bokut'} [Algebra Logika 9, 137-144 (1970; Zbl 0216.01001)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2723254$6567F553-DDA5-4258-9D82-FA4C023945F9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4236978a0043616087f80c84047f6106bb18ec74","datavalue":{"value":{"entity-type":"item","numeric-id":210293,"id":"Q210293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2723254$59D060A2-5F42-44EB-B1D2-B2CB180104D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5c6eb9a6529bc51e7d00f3c50e66bf302b52b87","datavalue":{"value":{"entity-type":"item","numeric-id":5945291,"id":"Q5945291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f70b006b3bbc3c916ac98b562a57f538a744af7f","datavalue":{"value":{"amount":"+0.8448336720466614","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":"Q2723254$88A9D6E0-431B-47BF-AF69-00131D8E6B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f94c2ee83ad352359675c035fd03ca54acf7bdb9","datavalue":{"value":{"entity-type":"item","numeric-id":959765,"id":"Q959765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b8bd662fe76d1f2094814a6da449202b27a8076","datavalue":{"value":{"amount":"+0.8138073682785034","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":"Q2723254$08BD42E6-C1E9-40EA-A93E-C8FECCDA283E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3370d1e7059d626080714f57a446603ca052e0c","datavalue":{"value":{"entity-type":"item","numeric-id":4712164,"id":"Q4712164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea837d3cb864dd6c0ac0df6f258e3b6846c2cf8c","datavalue":{"value":{"amount":"+0.7735990881919861","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":"Q2723254$1C646706-989E-492A-A629-4805BBA63442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7e05a18894eec0ec81b49a0a8becb20cdfdea81","datavalue":{"value":{"entity-type":"item","numeric-id":3442745,"id":"Q3442745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea837d3cb864dd6c0ac0df6f258e3b6846c2cf8c","datavalue":{"value":{"amount":"+0.7735990881919861","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":"Q2723254$6355E5AF-34A9-42A5-845B-DEF4F0AFF850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6063355f9f385747de5fdfaba2620f71791c62e3","datavalue":{"value":{"entity-type":"item","numeric-id":1779472,"id":"Q1779472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3f6e7519dbed401c91d64e80d0c6591a2ce0a46","datavalue":{"value":{"amount":"+0.7608771324157715","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":"Q2723254$3F30C793-A960-4A88-A71E-FABD06DA4C17","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Counting equivalence classes of irreducible representations","badges":[]}}}}}