{"entities":{"Q914800":{"pageid":916648,"ns":120,"title":"Item:Q914800","lastrevid":65316327,"modified":"2026-04-12T01:45:08Z","type":"item","id":"Q914800","labels":{"en":{"language":"en","value":"An algorithm for the construction of matrix representations for finitely presented non-commutative algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4150431"}},"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":"Q914800$AFEAE899-0E14-43C9-BAF9-34A02453306F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f52925e0bee8c673b58510a8094ce99f27f9bc87","datavalue":{"value":{"text":"An algorithm for the construction of matrix representations for finitely presented non-commutative algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q914800$9BECF326-DF4F-4339-AC20-173D4FF9F3D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a519130af328a751ff77a9256f685a16e37f1408","datavalue":{"value":"0702.16011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914800$7F4D314D-75B2-48A6-BB5C-CD9B4D79AE01","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c5f449e04ce6e8e54721338dc16620007cb7df28","datavalue":{"value":"10.1016/S0747-7171(08)80004-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914800$F4F90E11-34A2-49E9-A749-590CF7509307","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ecd7d9a8cf897784e5edcd04fed6832aafaf35b","datavalue":{"value":{"entity-type":"item","numeric-id":582810,"id":"Q582810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914800$C294F872-7709-43E9-BEF3-FD8C54C29182","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914800$EBF98C49-F707-4D0F-ADB2-367C6E29D93E","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":"Q914800$974BF465-8C3A-4A79-89CD-CB4823C0703A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0abd7d191755824e323aea93e51ab276c49b4322","datavalue":{"value":"In many applications, it is very useful to have available explicit matrix representations for the elements of associative algebras. The author's initial motivation for this study in fact stems from such an application, made while studying quantum mechanical wave equations which are covariant under the Poincar\u00e9 group. For a finite presentation of an associative algebra E, with identity, over a field, the author studies an algorithm for the construction, from this presentation, of matrix representations of E. A set of vector constraints which is given as a part of the initial data determines which particular representative of E is produced. This construction problem for the algebra is solved through a reduction of it to the much simpler problem of constructing a Gr\u00f6bner basis for a left module. Convergence of the algorithm is proved for all cases where the representation to be found is finite dimensional, which is always the case, for example, when E is finite. In addition, some examples are provided, which illustrate the close relationship that exists between this method and the Todd-Coxeter coset-enumeration method for group theory.","type":"string"},"datatype":"string"},"type":"statement","id":"Q914800$DB2D0111-EA30-44B1-8AF0-7157E7AB75BE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"9cbcf846f9c9baf13d7f0a5c216d139a521fdacc","datavalue":{"value":{"entity-type":"item","numeric-id":588047,"id":"Q588047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914800$111CC9EE-12E5-4FAD-AA34-1A07EA87C2BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"46cc6f74904d93d783c1cf8007a9494ea0b980f2","datavalue":{"value":"16P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914800$4B9E40C6-AD9C-41BA-840B-A532B24F8A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914800$9B0D68D8-609D-4E20-875B-C7931691D445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09c34d6a9e51500cf32e007c02afdb05751a7030","datavalue":{"value":"16Z05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914800$9DEF7ECA-0AA5-4DB6-87AD-895F776B355A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdc86b12961d2cdd08e1c70489b829d401a5a704","datavalue":{"value":"16S15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914800$03DCB95E-6D54-4148-85B7-7ABE54D314F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7159c8a0a3303083dd355cadffbdbdf48d5244ef","datavalue":{"value":"4150431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914800$EE5EBCD0-A774-437C-AEEF-8D2CABD59D45","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93fd218a56bc2067cd43e5e502f4ef999c46e337","datavalue":{"value":"matrix representations","type":"string"},"datatype":"string"},"type":"statement","id":"Q914800$AA18E01F-CE83-442C-B27F-DE13B3D06671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"808c05c220e474ef429d17a05533e11c23cae1e5","datavalue":{"value":"finite presentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q914800$FF1CBAA5-F65E-4DD7-ABFB-5EF3C9FDD5B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d2be482a84c37838611c6a51e8873f336503a0c","datavalue":{"value":"associative algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q914800$8EF4B28B-3A55-4570-92F2-98E8C73F371E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q914800$A9A840C9-D294-404D-AF8D-B156B9ACA291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae09195fd611bccf15c25e209f2742706bae66d","datavalue":{"value":"Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q914800$8159331C-DC98-4921-9971-DE01062C8849","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6ff8c73b70d08a473d44e8869c9ce627f4979d0e","datavalue":{"value":{"entity-type":"item","numeric-id":35545,"id":"Q35545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914800$586FBF57-47E0-4EE4-9FC5-F05BD7DF4408","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":"Q914800$5389C19A-0F9A-4988-AEF4-4A29ED5E2FD1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"37caf10155c47a403cf2fc8793aff6fd602db549","datavalue":{"value":{"entity-type":"item","numeric-id":1115179,"id":"Q1115179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914800$12DC792A-C6A0-48CC-967E-776B13AE4E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34cde6bd94228809b930c4c977884fa382d4aad9","datavalue":{"value":{"entity-type":"item","numeric-id":5393382,"id":"Q5393382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914800$0093D185-D4D7-49DF-914B-A7EADDC07C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"292875cc990f8e39d566b0d0a4c597a7d5513762","datavalue":{"value":{"entity-type":"item","numeric-id":1225669,"id":"Q1225669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914800$2770EDF0-175F-4308-8346-73C69845E337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48933c0d362727730cc1905c68ff87e3a22216cf","datavalue":{"value":{"entity-type":"item","numeric-id":2457345,"id":"Q2457345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914800$DEED21BE-AADC-49F3-996A-A48843A5E0CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b7a76e3d93219f8f35922f7e651242be822568a","datavalue":{"value":{"entity-type":"item","numeric-id":3208084,"id":"Q3208084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914800$34A88317-F32B-4691-9A5D-8F43681CB701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2ff57ef70bd9e86c9b7017e46b8cd84cb7965f4","datavalue":{"value":{"entity-type":"item","numeric-id":3714165,"id":"Q3714165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914800$28E800A9-C1FB-4DCB-9032-65874A601E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3673f1382e7e960cc6c526bc514a36bf47096cee","datavalue":{"value":{"entity-type":"item","numeric-id":3772359,"id":"Q3772359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914800$CB0CF635-6240-4AC2-A58F-AD6D158345AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59aa42ac56aa45dec0439c53d55143b19a866924","datavalue":{"value":{"entity-type":"item","numeric-id":2626871,"id":"Q2626871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914800$166F78AF-38DD-4C1F-8995-F97C238E1859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914800$AE5522F9-2226-4A9D-852F-E9CC8DE0DF7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0ee4a350ef603c9d178640354edf125c71797c1","datavalue":{"value":{"entity-type":"item","numeric-id":752147,"id":"Q752147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914800$F7F7ED29-CCDF-436D-9305-CDBC512B889A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914800$621D514E-3AC0-4C34-967A-92E0291BF024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d22f7340d5f5baa0a7f186a03a1c5d1acc3d92bb","datavalue":{"value":{"entity-type":"item","numeric-id":582811,"id":"Q582811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914800$7485A8AC-0AF2-40B6-86A2-5DDA6B54A606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3996afbee54efbc9b51e5f473c1b6baddc15200f","datavalue":{"value":{"entity-type":"item","numeric-id":3797337,"id":"Q3797337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914800$86D868B9-95B7-41FD-9C68-B8F9ED1AAA4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22c3a2ac2fd98947974c14bdc504e4185a3beff1","datavalue":{"value":{"entity-type":"item","numeric-id":3992832,"id":"Q3992832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914800$467AAED0-6E5D-490D-86B7-87D20711E8EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ec7523cb24747fd86eec2852bdbb418af3105c4","datavalue":{"value":{"entity-type":"item","numeric-id":5727698,"id":"Q5727698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914800$1920970A-4748-4A62-9C40-B0FB45157B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c84260f5ee3ad2445557fc39167de064be1f0bb","datavalue":{"value":{"entity-type":"item","numeric-id":3808248,"id":"Q3808248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914800$59256E00-E5BE-4315-A5EF-133AEE837C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53446be4ba730acdbab9eca0af957baf35b36439","datavalue":{"value":{"entity-type":"item","numeric-id":3963209,"id":"Q3963209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914800$F5BD7DF2-6E76-4184-B2A6-786553430490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1667c5fc8984b6974b72bcc598f107f74764e9e3","datavalue":{"value":{"entity-type":"item","numeric-id":5763841,"id":"Q5763841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914800$230CAF21-A59C-43AE-B4F7-E3CE4972F301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e2d761ccb0b052ed932a9e25e1934d9433dace","datavalue":{"value":{"entity-type":"item","numeric-id":3745825,"id":"Q3745825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914800$668D90BC-6407-4085-8E22-4FE04C2C1FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63c2e559459ada99b566b67ed7a35e433fba3915","datavalue":{"value":{"entity-type":"item","numeric-id":3694691,"id":"Q3694691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914800$551F5AE8-8378-4FCE-BDF7-6069E4A15985","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"365662f66228afe2cb3bd902b40fbdde16650b23","datavalue":{"value":{"entity-type":"item","numeric-id":1192225,"id":"Q1192225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e488b16f8a031f74931385842dea932fc1bff9b1","datavalue":{"value":{"amount":"+0.8016430735588074","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":"Q914800$37C59695-39A2-4EC3-AA80-E305F6D13C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8de054c5c04cd52a6add0136347466f30d77a84","datavalue":{"value":{"entity-type":"item","numeric-id":4941730,"id":"Q4941730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e488b16f8a031f74931385842dea932fc1bff9b1","datavalue":{"value":{"amount":"+0.8016430735588074","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":"Q914800$15DECCC0-A6E9-461C-A8F8-348E51E5FA05","rank":"normal"},{"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":"3e723d07c0405c97ec2c24fedc9fe039d2883ef9","datavalue":{"value":{"amount":"+0.7879700064659119","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":"Q914800$8B94B9C6-D243-4C27-B190-5561F5BF8E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f223021ca957266a648abf8f97fe9c098c76ab6a","datavalue":{"value":{"entity-type":"item","numeric-id":2370291,"id":"Q2370291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0f57a1f7a1d8862bb5119e94cf82e7db5a96ff3","datavalue":{"value":{"amount":"+0.7820868492126465","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":"Q914800$0CE744CF-B7C9-400B-BAF3-D53BAA0767AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e048df70faf35b0916dad33b2e12946b80fa379e","datavalue":{"value":{"entity-type":"item","numeric-id":1974696,"id":"Q1974696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ef7a3fa1671674216aba9e8198df260dcbfbc54","datavalue":{"value":{"amount":"+0.7718010544776917","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":"Q914800$331A79C5-8EE4-414E-B7D1-6940F4901516","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An algorithm for the construction of matrix representations for finitely presented non-commutative algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_algorithm_for_the_construction_of_matrix_representations_for_finitely_presented_non-commutative_algebras"}}}}}