{"entities":{"Q494624":{"pageid":496391,"ns":120,"title":"Item:Q494624","lastrevid":62266077,"modified":"2026-04-11T04:54:32Z","type":"item","id":"Q494624","labels":{"en":{"language":"en","value":"Automorphism-primal algebras generate verbose varieties."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6477381"}},"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":"Q494624$51D81AF0-E268-494C-8844-C627E33FC593","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8830b6a0257211ca85dee352297a67738196e6cc","datavalue":{"value":{"text":"Automorphism-primal algebras generate verbose varieties.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q494624$31B58FD6-EC9A-4014-9677-E38BB3CFA8F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f8a97a5b5efa9db05e25417a456bf450859c4da","datavalue":{"value":"1323.08005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q494624$4624A8A1-4535-42A2-8171-47F8837A0F11","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81e71bd65fef6209c6692929ed69066d2270dbd3","datavalue":{"value":{"entity-type":"item","numeric-id":235682,"id":"Q235682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494624$868DD78A-6D8C-44A7-839A-42081AE18DAA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494624$1AEA188A-9FAE-422E-973A-3EAA9B344C8A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6161adf15c0b81dd0975f5a646569a2bbc70a567","datavalue":{"value":{"time":"+2015-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q494624$4F101D69-EF8E-48E8-B934-63193819CA6D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c12df67bd393b796bc9d647f0b22ba2442a31574","datavalue":{"value":"https://lib.dr.iastate.edu/math_pubs/158","type":"string"},"datatype":"url"},"type":"statement","id":"Q494624$7B359DFA-AF55-44E5-926A-8C29E078B981","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cd2d9e073e638c6e471e5a75ed098034257658b5","datavalue":{"value":"A finite algebra is automorphism-primal if its clone of term functions coincides with the clone of all operations that preserve its automorphisms. It was proved by H. Werner that a finite algebra is automorphism-primal if and only if it is quasiprimal, every subuniverse is the set of fixed points of a group of automorphisms, and every isomorphism between nontrivial subalgebras can be extended to an automorphism of the whole algebra. As an example, every finite field is automorphism-primal. It is proved that the variety generated by an automorphism-primal algebra is verbose, i.e. that every fully invariant congruence on each of its members is verbal. The proof use natural dualities as developed by B. Davey.","type":"string"},"datatype":"string"},"type":"statement","id":"Q494624$AC016122-E399-4559-BE64-3F9B1AF504A0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"967efbf7e9159f2448c17bb8438ae3fe0ce8fb52","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494624$AD5A648A-7355-4E26-A449-EDEBA144EBF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d252320bbd9c5b79987b5e303a464b290ac7497d","datavalue":{"value":"08B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q494624$BED6A480-30B4-4F6C-8BB4-1393C201A230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q494624$6A098C66-7013-4FA3-8D4B-1637EA0A24EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8948c34e793e5195a8bf306d0e010b3472404866","datavalue":{"value":"08A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q494624$8E972A2D-F21A-42B4-AB94-F14B886ECFEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5690d52880a4157f32d4e9942a368cfd3f41f5a6","datavalue":{"value":"08C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q494624$5AF5663B-943D-4C7D-BC96-C76FD3AFCF78","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81643b701b262ab9701df1be53f4ee4f082f2eda","datavalue":{"value":"6477381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q494624$C1DCD361-4BFB-4D80-AA6A-8FC4A91E9DC9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f5929c8a9e7fdd0d7009b64aed2f3b62e411259","datavalue":{"value":"finite algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q494624$FEF666E8-739B-4063-A686-E56F82B758E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe23a7cd131b5d2434ea2109701de83d09c2c6a7","datavalue":{"value":"verbal congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q494624$38BEFB88-7647-44DA-9ECE-03C6723DE5C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a90be51a1b0e0d6a88c9f2d2044918a077130783","datavalue":{"value":"fully invariant congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q494624$1FA86D49-BA56-4031-8365-86DCCD284910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6beecf64178869b0c7e1f7b71bba05df6591be3","datavalue":{"value":"automorphism-primal algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q494624$81C1FF6D-C3E6-4531-9331-05F2D38495CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c1d345be704a8958968ec9d650e76c380daf75e","datavalue":{"value":"natural dualities","type":"string"},"datatype":"string"},"type":"statement","id":"Q494624$F096E017-FCAA-475C-8A32-30D49D4521F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e29398cddd8588381a587fb5528cb3f1ee37c1cd","datavalue":{"value":"verbose algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q494624$B609BA9B-A329-47AA-8F50-6EBBD5759991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56dca297a0a34ad3c9993c59dc950b58f01bc093","datavalue":{"value":"verbose varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q494624$5EFFE78A-CE18-41CC-AA55-090FAF400CD4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"868fb6e7a519307678e17419b53d828c5c6993a8","datavalue":{"value":"Q60143366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q494624$7F838AD2-70BC-475E-8D81-E67B32815CF3","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":"Q494624$F6975DF1-DEB8-4728-8559-340BE2B5838E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee7dbbeda6c5f8555f94b139b7c8c334430d544d","datavalue":{"value":"W814453803","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q494624$2B426869-1AE2-4EC1-B174-011AF1A7E8DC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"12685bfdef331ded215c1d387c2f37d7736c993d","datavalue":{"value":{"entity-type":"item","numeric-id":3093852,"id":"Q3093852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494624$A98B74D3-4AD2-4B88-9981-13CD1B733ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cda6495ac247ecbdd8db3bd3b7545c7ababe3d99","datavalue":{"value":{"entity-type":"item","numeric-id":364686,"id":"Q364686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494624$8B304A4E-6946-4CFE-BD43-70D1861B4A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbd9a6ade8d1f39de0017bbf6e2c37ec0f518a9a","datavalue":{"value":{"entity-type":"item","numeric-id":4220406,"id":"Q4220406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494624$E7CE3B82-0554-493A-9B8D-B28B6183FF16","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"613e1417a202be876192b8165ca3771e6a1015e3","datavalue":{"value":"10.1007/S00012-015-0337-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q494624$CCCFBB84-E66F-45CE-B0AB-25FAA2671C6F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e49090be74677fda0d2d00a18a86d7ecb2924d9","datavalue":{"value":{"entity-type":"item","numeric-id":3322263,"id":"Q3322263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cfb31a08dce91737f80ebf7b563244f3c129cfb","datavalue":{"value":{"amount":"+0.8557658","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q494624$C6C1C1D4-2039-4666-A476-AE29AB901C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7a2b281b4e750937e242e8c843adcc3457c80ef","datavalue":{"value":{"entity-type":"item","numeric-id":4503087,"id":"Q4503087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f9fa2e652b2b86f16e5b57016369c6031fc7264","datavalue":{"value":{"amount":"+0.8501731","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q494624$928D6D68-E0D0-443A-976C-2938E5CA46C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dded8d00312fbdf14bad193cc3b1d017bc2743b0","datavalue":{"value":{"entity-type":"item","numeric-id":3748316,"id":"Q3748316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb9ab864b11d0c149f72cd777d6546dad27b18a5","datavalue":{"value":{"amount":"+0.8466082","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q494624$570081B5-0D7C-43C4-8161-B722825832CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfb0b1213902b6691dbb4a34d63e19f8f3fbd232","datavalue":{"value":{"entity-type":"item","numeric-id":4803529,"id":"Q4803529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aed0252de1a72c81d2d4722914dabdddf219ff9f","datavalue":{"value":{"amount":"+0.8448822","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q494624$92F0A6CE-CB4F-4A6D-BA94-D86E20781E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"044a1e933da623683a1395b713ac4f3a81cb9631","datavalue":{"value":{"entity-type":"item","numeric-id":4527727,"id":"Q4527727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aed0252de1a72c81d2d4722914dabdddf219ff9f","datavalue":{"value":{"amount":"+0.8448822","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q494624$7BB11947-73D0-4DFE-808A-6415849955B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"515f4166e1a68e8aaebc5c489e6924036a9d6ab5","datavalue":{"value":{"entity-type":"item","numeric-id":2118932,"id":"Q2118932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d63a12b47957cdc7794d318b57076162c6fb631f","datavalue":{"value":{"amount":"+0.8444619","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q494624$D9F9F105-F625-40AD-88A2-839FF9E756B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1153d76fe2f335c54930269e16dd90fb387e96b7","datavalue":{"value":{"entity-type":"item","numeric-id":5392554,"id":"Q5392554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"425bfed038f0638e40f2f79b975836ef99602631","datavalue":{"value":{"amount":"+0.8415584","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q494624$140A7018-443F-43C3-B9C1-B55D6EE89041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e70353c12c7f287c491b99262ad7c5635aec325","datavalue":{"value":{"entity-type":"item","numeric-id":5699188,"id":"Q5699188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8ed9e063c8889aba838e054bec75cbc93043fa6","datavalue":{"value":{"amount":"+0.8412264","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q494624$A0169CD8-42A9-4185-8B1D-BE8FD4319B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4ed03bff84be94c4f9a0f497e51fd2f8f42a178","datavalue":{"value":{"entity-type":"item","numeric-id":4782293,"id":"Q4782293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee5f086d43743de1aabf82d24fbb262f0dd3f2a6","datavalue":{"value":{"amount":"+0.84046924","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q494624$009DF7A9-1B8A-4AAE-94EA-571762868805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32a368d837dc496935cd29862f9a168df37c09c0","datavalue":{"value":{"entity-type":"item","numeric-id":282431,"id":"Q282431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18d72bcf2461eb894ec049047ab01390e3e96337","datavalue":{"value":{"amount":"+0.83997846","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q494624$035AADD5-2AC1-48AB-BD2D-56F0DF68C009","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automorphism-primal algebras generate verbose varieties.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automorphism-primal_algebras_generate_verbose_varieties."}}}}}