Fundamental-\(M\)-solid and fundamental-\(M\)-closed varieties (Q5943073): Difference between revisions

A mapping \(\beta: \{f_i\mid i\in I\}\to W_\tau(X)\) that assigns to every \(n_i\)-ary operation symbol \(f_i\) an \(n_i\)-ary term is called a hypersubstitution (of type \(\tau)\). Let \(\widehat\beta\) be the extension of \(\beta\) to terms. The set \(\text{Hyp}(\tau)\) of all hypersubstitutions of type \(\tau\) is closed under the associative composition: \[ (\beta_1\circ \beta_2) f_i= \widehat\beta_1(\beta_2(f_i)), \] and \(\text{Hyp}(\tau)\) forms a monoid. An identity \(s= t\) is a hyperidentity of a variety \(V\) if for every hypersubstitution \(\beta\) the identity \(\widehat\beta(s)= \widehat\beta(t)\) holds in \(V\). A variety \(V\) is called solid if every identity of \(V\) is also a hyperidentity of \(V\). In this paper, for any submonoid \(M\) of \(\text{Hyp}(\tau)\) the notions of fundamental \(M\)-solid and fundamental \(M\)-closed varieties are defined and corresponding results of Płonka, Denecke and Reichel are generalized.