{"entities":{"Q690115":{"pageid":691964,"ns":120,"title":"Item:Q690115","lastrevid":63510447,"modified":"2026-04-11T13:39:49Z","type":"item","id":"Q690115","labels":{"en":{"language":"en","value":"Algebras with dimension"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 446963"}},"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":"Q690115$F6791A17-6301-4985-ABE5-6EBCC3CC6AF6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73ed4bab52cff39b4337ed0ab7607df3af929600","datavalue":{"value":{"text":"Algebras with dimension","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q690115$E8268D6D-7D1B-4C8A-B38C-7FD1E27C3BF8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17c0463763e0d6f4ac943999cdc2af4570a406e3","datavalue":{"value":"0795.08005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690115$E8F03B87-E42A-41A4-B975-81ECE2A6033B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09215a0fbd2667bafe6d9316bf88666958637ad7","datavalue":{"value":"10.1007/BF01190450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690115$50733FC0-95E1-48FA-BA52-E852FA3D97D4","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":"Q690115$6C369EF2-BCBD-4D2F-8F37-4A0FED52167E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"92112234a474f78049341bfb55637019f67e54ac","datavalue":{"value":{"time":"+1993-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q690115$2A19B570-CAF8-48C6-BD96-EA77087FA7C1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bc4cce6fdb1b54727b69095200bc26bfbe19c6f8","datavalue":{"value":"This is a study of the notions of dependence and dimension introduced by \\textit{P. M. Cohn} [Universal algebra (1965; Zbl 0141.010); 2nd ed. (1981; Zbl 0461.08001)]. After some general definitions and remarks, the authors concentrate on so-called standard dependence relations defined as follows. For a given equational class \\(\\mathcal K\\) and a \\({\\mathcal K}\\)-algebra \\(\\mathcal A\\), a subset \\(B\\) of \\(\\mathcal A\\) is said to \\({\\mathcal K}\\)-independent if it is either empty or it generates the subalgebra \\([B]\\) freely over \\(\\mathcal K\\). The span \\(\\langle X\\rangle\\) of a subset \\(X\\) of \\(\\mathcal A\\) consists then of the elements \\(a(\\in A)\\) such that \\(a\\in X\\) or \\(Y\\cup\\{a\\}\\) is dependent for some independent subset \\(Y\\) of \\(X\\). A dependence is transitive if \\(\\langle\\langle X\\rangle\\rangle= \\langle X\\rangle\\) for all subsets \\(X\\). Two of the main theorems yield necessary and sufficient conditions for an equational class of unary algebras to have transitive standard dependences. The span of a subset of a \\({\\mathcal K}\\)-algebra and the subalgebra generated by it turn out to be quite separate notions: neither one is necessarily even contained in the other. The authors also show that the transitivity of the standard dependence is not always preserved under direct products or homomorphisms, and they point out some mistakes in Cohn's book. Furthermore, some common constructions of automata theory are mentioned as the original motivation for this work.","type":"string"},"datatype":"string"},"type":"statement","id":"Q690115$F191A142-9698-4AC2-A354-D706D4445588","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"db2c34644f223015abe9c203f88e343dcc46a9ae","datavalue":{"value":"08A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690115$3739992F-B367-4BDF-986C-1DE9982A35F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690115$A3C0F33A-8EEA-41B1-953E-B85DCD63C7CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"381f1d24381f7aa9b1e97454b55e47b5cd1a2900","datavalue":{"value":"446963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690115$881AB086-AF10-44AE-9EFD-76A767452A18","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f11623e8bdd574efe0f1231b6fc5a6ec4e26cba","datavalue":{"value":"dependence","type":"string"},"datatype":"string"},"type":"statement","id":"Q690115$F7BDE0C6-020E-413C-83BE-41122AE30A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4768181659397122937393c61764e2f954409467","datavalue":{"value":"dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q690115$86B8065D-E5DD-4701-9740-1F5059205138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea719b363176bc9a50fff27fab38bff9497aa667","datavalue":{"value":"equational class","type":"string"},"datatype":"string"},"type":"statement","id":"Q690115$47CB8BC1-012A-412F-8179-9AA706C4D46B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"602871299fda387e5fe93a711a6b4c2b0f27d2a8","datavalue":{"value":"span","type":"string"},"datatype":"string"},"type":"statement","id":"Q690115$01F2DD5B-44DC-477D-8CD7-87D1D51232FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d852a47a0e53eb33d201bb9b1aa9786cdf5abc0","datavalue":{"value":"unary algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q690115$16B68459-C3A1-4EC9-A9B0-89146EAC1C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q690115$473FF4A5-127C-4681-81D5-6C9F56EE86A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e40f75f315a2b6fc6ab440992d53ab3ef83eca1f","datavalue":{"value":{"entity-type":"item","numeric-id":1091821,"id":"Q1091821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690115$59F56A2F-B06C-4124-8CC4-DC600C82E7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"877fdc4a1d36fb6cb3acce9c1b5e0d9c22065ead","datavalue":{"value":{"entity-type":"item","numeric-id":418758,"id":"Q418758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690115$F3088E9D-FAEC-4BEB-AF7B-2FA6FB89782D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6e07306c48ccd2e9c29ec0a26f6f3afb07223426","datavalue":{"value":{"entity-type":"item","numeric-id":591314,"id":"Q591314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690115$5EE2DD7F-5107-490C-BD3C-D2256CDDE379","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":"Q690115$DFFB84C3-E451-4033-81D9-00F5607FF0C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7df261d1ef2c87144cd052ef10dd81a4aaa31459","datavalue":{"value":{"entity-type":"item","numeric-id":4520391,"id":"Q4520391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"535c546671af0ee899d8c6d32c7800913c44813a","datavalue":{"value":{"amount":"+0.7360978","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q690115$8CC769CD-EFAE-48D9-BCE8-8CD113C1DFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4adf92c20b1b723e8fbfadd854748a2d035d084","datavalue":{"value":{"entity-type":"item","numeric-id":4525884,"id":"Q4525884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a971abdfdd87dcf47699bba16cc46ce130dbc56","datavalue":{"value":{"amount":"+0.72690713","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q690115$7A652AB1-70C7-4348-9278-194AF2EBB66A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09e9721c5565bd514cb7e53271103b3768dafc8b","datavalue":{"value":{"entity-type":"item","numeric-id":5583091,"id":"Q5583091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5225313dfe63cc3e7e4b941912ab34d7b793ef67","datavalue":{"value":{"amount":"+0.6948398","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q690115$D1974B52-FA00-4D31-9952-E7643A9FC03B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"076fa4d128b39ff5c0c1bf3a39803a358fb7d68e","datavalue":{"value":{"entity-type":"item","numeric-id":5918986,"id":"Q5918986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99d15e77d9871982c8135b9dc3261ed0fb706c5c","datavalue":{"value":{"amount":"+0.6877733","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q690115$0FD01A99-20AC-4A39-A040-63D1E774CC21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"905d294d008aa66f1129a70239577082d4dfd7ee","datavalue":{"value":{"entity-type":"item","numeric-id":4800149,"id":"Q4800149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2cbe42dbe2a6a4f7a3ea11da1c2cfe2b5001c34","datavalue":{"value":{"amount":"+0.6798193","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q690115$6D514242-1D0D-41FD-A354-1211EB96FBA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d34ed521876ba84e4cb4937dff749cf077411f06","datavalue":{"value":{"entity-type":"item","numeric-id":5297344,"id":"Q5297344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c7b6443b6156a6935af34d221131ab8dc4f615d","datavalue":{"value":{"amount":"+0.6772948","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q690115$717079FB-8440-4048-933F-18357ADC0F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"852ff5ca7b587119a8fd9584f9b6763f353d4384","datavalue":{"value":{"entity-type":"item","numeric-id":5918485,"id":"Q5918485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc186841d98d115ecf360c34f864215b3bc9b72d","datavalue":{"value":{"amount":"+0.67329836","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q690115$F42F1906-302A-4A5D-A799-83E8347CC54D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6e52798c804f523def14ac2f026033bc766c6b2","datavalue":{"value":{"entity-type":"item","numeric-id":4438302,"id":"Q4438302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edb04db3ae2287be597fccb3adb74b6c918a0ada","datavalue":{"value":{"amount":"+0.67138004","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q690115$0BF06941-1C6E-47B6-B199-3AA86A586B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5f7bdfb9155a9ba484d95069d24e5b5a0089cee","datavalue":{"value":{"entity-type":"item","numeric-id":1073012,"id":"Q1073012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abfbdfae38f66ec7832ff5059297a15bb4e74234","datavalue":{"value":{"amount":"+0.66674477","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q690115$0A3393FF-9791-434C-A5BC-961DCBCDCEAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb2ebc3b69135bc434e9e80365e2cd3c088ab7e2","datavalue":{"value":{"entity-type":"item","numeric-id":1346910,"id":"Q1346910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02ca479d5a5f3640a029f22427af11aa0da2caad","datavalue":{"value":{"amount":"+0.6645526","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q690115$0307E86F-69F6-4158-A1C5-3B16C5E6ADED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebras with dimension","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebras_with_dimension"}}}}}