{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,10]],"date-time":"2023-05-10T19:30:20Z","timestamp":1683747020863},"reference-count":0,"publisher":"World Scientific Pub Co Pte Lt","issue":"06","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Algebra Comput."],"published-print":{"date-parts":[[2002,12]]},"abstract":" Hypersubstitutions map n-ary operation symbols to n-ary terms. Such mappings can be uniquely extended to mappings defined on the set of all terms. It turns out that the kernels of hypersubstitutions are fully invariant congruence relations on the (absolutely free) term algebra of the considered type. For an arbitrary type \u03c4 = (n), n \u2265 1, i.e. if one has only one n-ary operation symbol, we will describe all these congruence relations. The results will be applied to solve the hyperunification problem. Further we will give some generalizations to arbitrary types. <\/jats:p>","DOI":"10.1142\/s0218196702001218","type":"journal-article","created":{"date-parts":[[2002,12,20]],"date-time":"2002-12-20T11:13:16Z","timestamp":1040382796000},"page":"867-876","source":"Crossref","is-referenced-by-count":3,"title":["EQUATIONAL THEORIES GENERATED BY HYPERSUBSTITUTIONS OF TYPE (n)"],"prefix":"10.1142","volume":"12","author":[{"given":"K.","family":"DENECKE","sequence":"first","affiliation":[{"name":"University of Potsdam, Institute of Mathematics, Am Neuen Palais, 14415 Potsdam, Germany"}]},{"given":"J.","family":"KOPPITZ","sequence":"additional","affiliation":[{"name":"University of Potsdam, Institute of Mathematics, Am Neuen Palais, 14415 Potsdam, Germany"}]},{"given":"ST.","family":"NIWCZYK","sequence":"additional","affiliation":[{"name":"Technical University Zielona Gora, Institute of Mathematics, Podg\u00f3rna 50, 65-246 Zielona G\u00f3ra, Poland"}]}],"member":"219","published-online":{"date-parts":[[2011,11,20]]},"container-title":["International Journal of Algebra and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218196702001218","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T21:56:40Z","timestamp":1565128600000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218196702001218"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,12]]},"references-count":0,"journal-issue":{"issue":"06","published-online":{"date-parts":[[2011,11,20]]},"published-print":{"date-parts":[[2002,12]]}},"alternative-id":["10.1142\/S0218196702001218"],"URL":"https:\/\/doi.org\/10.1142\/s0218196702001218","relation":{},"ISSN":["0218-1967","1793-6500"],"issn-type":[{"value":"0218-1967","type":"print"},{"value":"1793-6500","type":"electronic"}],"subject":[],"published":{"date-parts":[[2002,12]]}}}