{"entities":{"Q1104353":{"pageid":1115102,"ns":120,"title":"Item:Q1104353","lastrevid":66724320,"modified":"2026-04-12T12:25:28Z","type":"item","id":"Q1104353","labels":{"en":{"language":"en","value":"Free spectra of nilpotent varieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4055693"}},"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":"Q1104353$9D7AC0C4-C9EE-4208-9C60-AA6E3F19169B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2690a21e3a35aa06d5902e0624e35a13db30c176","datavalue":{"value":{"text":"Free spectra of nilpotent varieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1104353$58A8E549-9178-4D06-82E6-D88C46E275A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82504c722c8245d13f45485722376d6363cec69e","datavalue":{"value":"0647.08005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104353$F40CF609-E5F1-4B91-BD38-3BB58EF46C34","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d243a915583dcda1977207142212d0f37c30ba9e","datavalue":{"value":"10.1007/BF01195266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104353$9D7FAED5-FED8-4CBA-B737-397B6884A88B","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":"Q1104353$6C3DABD1-4FCC-4C45-984C-1683D969122D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1104353$7C923FC8-3543-40D5-9AE5-A27187EF052C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4321e84d13be70f3be5f0e79badde803688cd4fc","datavalue":{"value":"The free spectrum of a locally finite variety \\({\\mathcal V}\\) is the sequence \\(<| F_{{\\mathcal V}}(n)| >\\) where \\(F_{{\\mathcal V}}(n)\\) denotes the free n-generator \\({\\mathcal V}\\)-algebra. \\textit{P. M. Neumann} [Q. J. Math., Oxf., II. Ser. 14, 46-50 (1963; Zbl 0114.019)] and \\textit{G. Higman} [Proc. Int. Conf. Theory of Groups, Canberra 1965, 153-165 (1967; Zbl 0166.280)] showed that, when the algebras concerned are groups, then the function \\(\\log | F_{{\\mathcal V}}(n)|\\) is a polynomial in n if and only if \\({\\mathcal V}\\) is nilpotent. This leads naturally to the question as to whether a similar result holds for more general types of algebras where a concept of nilpotence is definable. The first theorem proved is:    Let \\({\\mathcal V}\\) be a finitely generated congruence uniform variety. Then either \\(\\log | F_{{\\mathcal V}}(n)|\\) is a polynomial in n, or there is a polynomial c(n) such that, for some positive constant C, \\(\\log | F_{{\\mathcal V}}(n)| \\geq C\\cdot (2^ n-c(n))\\) for all n.    An example is then given of a nilpotent loop in which the second situation arises. However a second theorem shows that a positive answer can be obtained when the variety in question is generated by a special type of nilpotent algebra.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104353$891ECF7C-47C4-4181-848C-FDECDE4F9CDB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c3ec75de9d78727d03193af1b75f5a165ed0668","datavalue":{"value":"08B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104353$C21CDE19-4011-4224-AF89-BD439BB83DCF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b51e29008337354fbeab022d4e4f886e0524707f","datavalue":{"value":"4055693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104353$64C34FDA-19AB-478F-98B3-D9660354EC27","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9dd26b62db095450f2c36b5f8322fdfd5650f14c","datavalue":{"value":"free spectrum of a locally finite variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104353$AE096661-61BF-4E75-AB31-3E29CF971879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ace06bdb1a11493999194f8a9b412209a206838","datavalue":{"value":"nilpotence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104353$F4665EA9-9326-423D-9750-3236D71F4B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b7fc11ac344bf33cff70793600fbaf06a81964","datavalue":{"value":"finitely generated congruence uniform variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104353$C846CBCF-24BF-488D-A603-CA800024ED7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"125e1c6c27bbff4a66ec6c0544b46389c924fba3","datavalue":{"value":"nilpotent loop","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104353$83BDF8F5-AAB5-4E8B-A410-258A1A7AD45B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d463072d46407f695ee98d098e923f1b93017670","datavalue":{"value":"nilpotent algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104353$58569755-1209-4E98-9334-BBDE24EF27AF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f102d6a7b9548f21d846b52398636e03987e09f6","datavalue":{"value":{"entity-type":"item","numeric-id":1210547,"id":"Q1210547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104353$1E6D8B4A-16B1-4722-AE4D-1FE2C9573499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"89f8ecc515e149246aa369f00abc13f14a0a0a2b","datavalue":{"value":{"entity-type":"item","numeric-id":1355601,"id":"Q1355601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104353$97E8B369-4507-42F0-9F7C-D9125124620D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f8414a3f118214cb0e61ac619ce4c188ec75d9e3","datavalue":{"value":{"entity-type":"item","numeric-id":587989,"id":"Q587989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104353$9145CD4F-A8F9-4064-8205-07EE56A9CF11","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":"Q1104353$C9DD5E38-B828-4AA1-B052-5C55AF58DC55","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"09f0e5ef95212d287b49c1d50cd19ca098e20e70","datavalue":{"value":{"entity-type":"item","numeric-id":3775604,"id":"Q3775604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104353$9D122162-C462-4879-8406-092B1CF2D7C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75e01bd225cc1eaadd4b3b359e2717f21721c442","datavalue":{"value":{"entity-type":"item","numeric-id":4040245,"id":"Q4040245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104353$E76F3CCF-AB79-491E-AE68-8785F0E277B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7198e10bdf17892b3da36a59902515c7e29ac463","datavalue":{"value":{"entity-type":"item","numeric-id":5528704,"id":"Q5528704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104353$505D36BD-D247-4268-BFA2-0ED39451A1AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ad44c586dbb2060e301b4e0967067916711c23a","datavalue":{"value":{"entity-type":"item","numeric-id":5721240,"id":"Q5721240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104353$B1DD70C3-5B50-451D-803D-471A8BFB79B3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c330662596d07fc7f725bd2d2e3f0d92bfa5a667","datavalue":{"value":{"entity-type":"item","numeric-id":2414530,"id":"Q2414530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"267faa32df3ee9ecba7e7d2591958b49dc8131be","datavalue":{"value":{"amount":"+0.859074056148529","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":"Q1104353$39350E04-0F0E-40E2-B2F0-30F49364E49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"432c0a7baa252b4b60703dc48fa6dc4bbee5238f","datavalue":{"value":{"entity-type":"item","numeric-id":1912771,"id":"Q1912771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6aadc3079dc8ee51772e4a9309a13b4236f2c79b","datavalue":{"value":{"amount":"+0.838382363319397","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":"Q1104353$F3A0888B-07CD-4720-8DB5-669A1D1D653E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0c1fa8e815de92b26913b9ef92170820069cdfe","datavalue":{"value":{"entity-type":"item","numeric-id":5950764,"id":"Q5950764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5142100e1a8fe28b2cbc14320bf6b02ebb7b4b3","datavalue":{"value":{"amount":"+0.830663800239563","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":"Q1104353$B9FA78E9-3319-4A77-B931-8DF9DC669576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41348a2902f7965f9b2d7fefcb9136bdb5f18a36","datavalue":{"value":{"entity-type":"item","numeric-id":1771920,"id":"Q1771920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f274eccc7328dc8f6ac90d58077b1c1834be552e","datavalue":{"value":{"amount":"+0.8300005793571472","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":"Q1104353$0A1CF2E5-B6EB-4D6A-B7B5-E62CDE699F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e373660909c592a10c1aa811729051215f60189","datavalue":{"value":{"entity-type":"item","numeric-id":3446161,"id":"Q3446161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3ba2f48a04f841ac2dd536e1690022670cce686","datavalue":{"value":{"amount":"+0.8279387950897217","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":"Q1104353$EA59AB53-8732-4664-9429-DF52871F6563","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Free spectra of nilpotent varieties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Free_spectra_of_nilpotent_varieties"}}}}}