-solid varieties and -free clones
A fundamental result in universal algebra is the theorem of Rosenberg describing the maximal subclones in the clone of all operations over a finite set. In group theory, the maximal subgroups of the symmetric groups are classified by the O'Nan-Scott Theorem. We shall explore the similarities and differences between these two analogous major results. In addition, we show that a primitive permutation group of diagonal type can be maximal in the symmetric group only if its socle is the direct product...
This paper concerns two notions of rank of fuzzy matrices: maximal column rank and column rank. We investigate the difference of them. We also characterize the linear operators which preserve the maximal column rank of fuzzy matrices. That is, a linear operator T preserves maximal column rank if and only if it has the form T(X) = UXV with some invertible fuzzy matrices U and V.
Max-min algebra and its various aspects have been intensively studied by many authors [1, 4] because of its applicability to various areas, such as fuzzy system, knowledge management and others. Binary operations of addition and multiplication of real numbers used in classical linear algebra are replaced in max-min algebra by operations of maximum and minimum. We consider two-sided systems of max-min linear equations , with given coefficient matrices and . We present a polynomial method for...
Medial modes, a natural generalization of normal bands, were investigated by Płonka. Rectangular algebras, a generalization of rectangular bands (diagonal modes) were investigated by Pöschel and Reichel. In this paper we show that each medial mode embeds as a subreduct into a semimodule over a certain ring, and that a similar theorem holds for each Lallement sum of cancellative modes over a medial mode. Similar results are obtained for rectangular algebras. The paper generalizes earlier results...
Let τ be a type of algebras without nullary fundamental operation symbols. We call an identity φ ≈ ψ of type τ clone compatible if φ and ψ are the same variable or the sets of fundamental operation symbols in φ and ψ are nonempty and identical. For a variety of type τ we denote by the variety of type τ defined by all clone compatible identities from Id(). We call the clone extension of . In this paper we describe algebras and minimal generics of all subvarieties of , where is the variety of...