{"entities":{"Q1060232":{"pageid":1070984,"ns":120,"title":"Item:Q1060232","lastrevid":48822295,"modified":"2026-01-05T22:45:21Z","type":"item","id":"Q1060232","labels":{"en":{"language":"en","value":"Fast algorithms constructing minimal subalgebras, congruences, and ideals in a finite algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3906560"}},"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":"Q1060232$2BE16DD6-F2D8-4D0F-B304-D958BA605D61","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c59a3342a146fc7415d7330e90fb0ca2e5ef1b6","datavalue":{"value":{"text":"Fast algorithms constructing minimal subalgebras, congruences, and ideals in a finite algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1060232$4C5A84E5-5A09-476C-A1DE-D14598FE9415","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3647d822146df5109636a24a5932a15e854471ab","datavalue":{"value":"0568.08002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060232$23CDDFCF-C7E6-45D7-8538-042398E5D69B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af3644a063e1adc66ff105dc3e497117b6a0e826","datavalue":{"value":"10.1016/0304-3975(85)90042-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060232$D2E9832F-08B6-4248-BB25-CCBCFC3BFFC3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060232$72EE8E41-83C2-4E29-8F54-8ECAC3135938","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1060232$C4D0EF7F-AFD4-4304-B9B7-1F8BBE91C241","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b08ab27e33d0cf6360764d4dd0790fc18d5d19a5","datavalue":{"value":"Fast algorithms are presented which find the minimal nontrivial congruences, subalgebras, and ideals of a finite algebra, given by tables of its operations. Our method involves finding objects which are minimal among all nontrivial objects, i.e. objects distinct from the least one.    The running times of the presented algorithms are \\(O(n^{r+1})\\), in case of congruences, and \\(O(n^ r)\\), in case of subalgebras and ideals where n is the number of elements of the algebra and r is the maximal arity of its operations.    For the minimal nontrivial congruences in groups and rings, better algorithms are presented working in \\(O(n^ 2)\\) time. The algorithm for minimal nontrivial congruences is used for a test whether a given algebra is simple, or subdirectly irreducible. This algorithm is both a generalization and an improvement of that for sequential automata, published earlier by the present authors [RAIRO, Inf. Th\u00e9or. 15, 23-46 (1981; Zbl 0482.68050)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060232$43F246AA-A46C-4096-B04F-5FB4B6FD51A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060232$4D626B0E-E2F7-46EE-9613-1D400747E846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"71b29e038927835d80b9bb53b3e801af19bf25ea","datavalue":{"value":"08-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060232$D49B3EC9-3A72-46A2-A6D5-D954E9339938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060232$7C0D7957-50DB-4A46-BC38-8D581E1A32EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c65ab3c3d38a69b41b3e8e3441548906dfa6ce35","datavalue":{"value":"3906560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060232$7F49F75F-F0E2-402A-B183-E7B202D3ABC6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8076ddad2016e1ae0948a6f84f0bcb0b9328740a","datavalue":{"value":"minimal nontrivial congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060232$BEB247FF-0F5B-48B9-8651-7FFA61FFDB78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e4b2caeb1b07ca1ae69e81fd1f96bc3accd8c9c","datavalue":{"value":"subalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060232$8840B7AA-FC3D-456D-A35A-4505747EB961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfc19fcadf63d5548906f3f01b182b6da6ae1fc8","datavalue":{"value":"ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060232$E6708EA3-2F47-49EA-BF02-582795D2FDA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a688c369468f577af7c7d403e8a5e55d9b715d1d","datavalue":{"value":"finite algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060232$9A5E3469-DEEB-4188-9898-7F106CBEC6E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060232$5D3F7D93-AA87-430E-9025-48B44568F24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb0b5455b113d0e3eaf98332c0485c178c32e49d","datavalue":{"value":"simple","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060232$F24114BA-6533-428C-96BF-2FE3AE046E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11fc673a957aa975637538413d2dc66c7b704df7","datavalue":{"value":"subdirectly irreducible","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060232$5427E680-B424-45A4-A38B-D517816AA2E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"26c4d790157415584d36b63495dd0d781b00059b","datavalue":{"value":{"entity-type":"item","numeric-id":1251224,"id":"Q1251224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060232$18EA6B92-6B1A-409D-82BF-D5C1FB2688F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3acf5c61291083b6c3c3a5e6ecbad13e820b04ed","datavalue":{"value":{"entity-type":"item","numeric-id":535117,"id":"Q535117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060232$8CAFD932-A9CF-4B45-95EE-13D2891CF3C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"764f84a646c763434432ad369d0bc1a8abdf96a9","datavalue":{"value":{"entity-type":"item","numeric-id":409252,"id":"Q409252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060232$107E1BF8-F514-4A97-8D66-437A116E4AB4","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":"Q1060232$6AD744D4-1D79-4F72-B315-5D27D979507C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1cc530624ad7eb894d362150339d693cb76ac0af","datavalue":{"value":"https://doi.org/10.1016/0304-3975(85)90042-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1060232$9174CEB5-8824-47F8-83B8-10C3BF93CA13","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6b5cc59e087142a1db872b4fb0278ff2c3f224cd","datavalue":{"value":"W1999391918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060232$71D88646-7C51-4006-96AC-26731DCF6A67","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d656ee44a323e749d5c6d4cf3e4b8271c3af114","datavalue":{"value":{"entity-type":"item","numeric-id":2542990,"id":"Q2542990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060232$B750FF0F-441C-4BCB-AFE7-A3A6DFAAEB09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d34c2eed9ef5fc3d358f32fa8872708612a0fa4f","datavalue":{"value":{"entity-type":"item","numeric-id":5834591,"id":"Q5834591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060232$3E43E4BE-6457-43DD-9B30-ACA429970131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51f969c06b6d394917477628d30671718761f62e","datavalue":{"value":{"entity-type":"item","numeric-id":3946212,"id":"Q3946212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060232$16ACC17D-3A22-4D28-BC43-E1797EB0290F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d09c79c731b13b573dedd73b246cb76d91a36a32","datavalue":{"value":{"entity-type":"item","numeric-id":3940851,"id":"Q3940851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060232$4BDCB673-E10C-4AB4-BE8E-D92D41A5194E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12f42c1f2d94a5342d877a882c1ac92bc945d21e","datavalue":{"value":{"entity-type":"item","numeric-id":3862398,"id":"Q3862398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060232$86C9FF90-04EC-494C-8D06-1493CF1E3D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a710a66668ba7ccc2cf2a64385ac25d68b549a3e","datavalue":{"value":{"entity-type":"item","numeric-id":3666904,"id":"Q3666904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060232$B0B7945B-4757-4FFC-A092-FBF191B94248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f512d3044d87913829cd345dbca09d60481c7fa","datavalue":{"value":{"entity-type":"item","numeric-id":5572358,"id":"Q5572358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060232$3C30A0B2-3E35-45A5-898D-DF78610D7DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c435d235f5dd5d88317484b4ce4d5923395e2745","datavalue":{"value":{"entity-type":"item","numeric-id":1165581,"id":"Q1165581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060232$EE5B4591-5BB4-4A7D-8F06-9731EE43EDBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060232$A3E6B663-C0BD-4D22-86CA-D8F304DB2176","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c7e06446956226a820d9add878f29bdf0ac4245","datavalue":{"value":{"entity-type":"item","numeric-id":1001460,"id":"Q1001460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"331d0869310f242772450e6b54aa01924c952877","datavalue":{"value":{"amount":"+0.8066092729568481","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":"Q1060232$4B121C38-2A32-410E-873C-6013D88C1458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdbc9557649b23392dd8d54aa2c01ca9bcc42309","datavalue":{"value":{"entity-type":"item","numeric-id":5958321,"id":"Q5958321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f638819fc6096408dcc3fbcb6eb98642b9ca7b26","datavalue":{"value":{"amount":"+0.7809180021286011","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":"Q1060232$2CADEB69-A329-4CFB-B9C5-1245D477E565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1b09180e85d74bcf736b84a05795e0c39a24e93","datavalue":{"value":{"entity-type":"item","numeric-id":2640676,"id":"Q2640676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42a861ed43f635a232cbf1a2430ab5b4f1703a71","datavalue":{"value":{"amount":"+0.7804327011108398","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":"Q1060232$EB0338B6-1D8F-4DAE-93A7-ABC70FF4BBEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a3f10cdf107b7fb1970319f8cd85637e6aab11b","datavalue":{"value":{"entity-type":"item","numeric-id":6108373,"id":"Q6108373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c575914bee91bf2d8dd3c35ceedaf3ae7c028c43","datavalue":{"value":{"amount":"+0.7670168280601501","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":"Q1060232$23167392-C3A0-4792-AC9D-76B92CE4ED46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ede1cc0a13833f1a0ef7e1b461a1d128dfc883d","datavalue":{"value":{"entity-type":"item","numeric-id":3837506,"id":"Q3837506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe8974c62f5bdba74ce75285af0a17cd584f99bd","datavalue":{"value":{"amount":"+0.7548867464065552","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":"Q1060232$43D1356F-F9F7-4553-A1CC-F8659BEB7D0E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1060232","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1060232"}}}}}