Categories and General Algebraic Structures with ApplicationsCategories and General Algebraic Structures with Applications
http://cgasa.sbu.ac.ir/
Sat, 05 Dec 2020 19:10:44 +0100FeedCreatorCategories and General Algebraic Structures with Applications
http://cgasa.sbu.ac.ir/
Feed provided by Categories and General Algebraic Structures with Applications. Click to visit.Cover for Vol. 13, No. 1.
http://cgasa.sbu.ac.ir/article_87550_11684.html
Tue, 30 Jun 2020 19:30:00 +0100Product preservation and stable units for reflections into idempotent subvarieties
http://cgasa.sbu.ac.ir/article_87414_11684.html
We give a necessary and sufficient condition for the preservation of finite products by a reflection of a variety of universal algebras into an idempotent subvariety. It is also shown that simple and semi-left-exact reflections into subvarieties of universal algebras are the same. It then follows that a reflection of a variety of universal algebras into an idempotent subvariety has stable units if and only if it is simple and the above-mentioned condition holds.Tue, 30 Jun 2020 19:30:00 +0100The non-abelian tensor product of normal crossed submodules of groups
http://cgasa.sbu.ac.ir/article_87437_11684.html
In this article, the notions of non-abelian tensor and exterior products of two normal crossed submodules of a given crossed module of groups are introduced and some of their basic properties are established. In particular, we investigate some common properties between normal crossed modules and their tensor products, and present some bounds on the nilpotency class and solvability length of the tensor product, provided such information is given at least on one of the normal crossed submodules.Tue, 30 Jun 2020 19:30:00 +0100Distributive lattices with strong endomorphism kernel property as direct sums
http://cgasa.sbu.ac.ir/article_87512_11684.html
Unbounded distributive lattices which have strong endomorphism kernel property (SEKP) introduced by Blyth and Silva in [3] were fully characterized in [11] using Priestley duality (see Theorem 2.8}). We shall determine the structure of special elements (which are introduced after Theorem 2.8 under the name strong elements) and show that these lattices can be considered as a direct product of three lattices, a lattice with exactly one strong element, a lattice which is a direct sum of 2 element lattices with distinguished elements 1 and a lattice which is a direct sum of 2 element lattices with distinguished elements 0, and the sublattice of strong elements is isomorphic to a product of last two mentioned lattices.Tue, 30 Jun 2020 19:30:00 +0100Separated finitely supported $Cb$-sets
http://cgasa.sbu.ac.ir/article_87413_11684.html
The monoid $Cb$ of name substitutions and the notion of finitely supported $Cb$-sets introduced by Pitts as a generalization of nominal sets. A simple finitely supported $Cb$-set is a one point extension of a cyclic nominal set. The support map of a simple finitely supported $Cb$-set is an injective map. Also, for every two distinct elements of a simple finitely supported $Cb$-set, there exists an element of the monoid $Cb$ which separates them by making just one of them into an element with the empty support.In this paper, we generalize these properties of simple finitely supported $Cb$-sets by modifying slightly the notion of the support map; defining the notion of $mathsf{2}$-equivariant support map; and introducing the notions of s-separated and z-separated finitely supported $Cb$-sets. We show that the notions of s-separated and z-separated coincide for a finitely supported $Cb$-set whose support map is $mathsf{2}$-equivariant. Among other results, we find a characterization of simple s-separated (or z-separated) finitely supported $Cb$-sets. Finally, we show that some subcategories of finitely supported $Cb$-sets with injective equivariant maps which constructed applying the defined notions are reflective.Tue, 30 Jun 2020 19:30:00 +0100A classification of hull operators in archimedean lattice-ordered groups with unit
http://cgasa.sbu.ac.ir/article_87552_11684.html
The category, or class of algebras, in the title is denoted by $bf W$. A hull operator (ho) in $bf W$ is a reflection in the category consisting of $bf W$ objects with only essential embeddings as morphisms. The proper class of all of these is $bf hoW$. The bounded monocoreflection in $bf W$ is denoted $B$. We classify the ho's by their interaction with $B$ as follows. A ``word'' is a function $w: {bf hoW} longrightarrow {bf W}^{bf W}$ obtained as a finite composition of $B$ and $x$ a variable ranging in $bf hoW$. The set of these,``Word'', is in a natural way a partially ordered semigroup of size $6$, order isomorphic to ${rm F}(2)$, the free $0-1$ distributive lattice on $2$ generators. Then, $bf hoW$ is partitioned into $6$ disjoint pieces, by equations and inequations in words, and each piece is represented by a characteristic order-preserving quotient of Word ($approx {rm F}(2)$). Of the $6$: $1$ is of size $geq 2$, $1$ is at least infinite, $2$ are each proper classes, and of these $4$, all quotients are chains; another $1$ is a proper class with unknown quotients; the remaining $1$ is not known to be nonempty and its quotients would not be chains.Tue, 30 Jun 2020 19:30:00 +0100The symmetric monoidal closed category of cpo $M$-sets
http://cgasa.sbu.ac.ir/article_87434_11684.html
In this paper, we show that the category of directed complete posets with bottom elements (cpos) endowed with an action of a monoid $M$ on them forms a monoidal category. It is also proved that this category is symmetric closed.Tue, 30 Jun 2020 19:30:00 +0100Crossed squares, crossed modules over groupoids and cat$^{\bf {1-2}}-$groupoids
http://cgasa.sbu.ac.ir/article_87511_11684.html
The aim of this paper is to introduce the notion of cat$^{bf {1}}-$groupoids which are the groupoid version of cat$^{bf {1}}-$groups and to prove the categorical equivalence between crossed modules over groupoids and cat$^{bf {1}}-$groupoids. In section 4 we introduce the notions of crossed squares over groupoids and of cat$^{bf {2}}-$groupoids, and then we show their categories are equivalent. These equivalences enable us to obtain more examples of groupoids.Tue, 30 Jun 2020 19:30:00 +0100Tense like equality algebras
http://cgasa.sbu.ac.ir/article_87465_11684.html
In this paper, first we define the notion of involutive operator on bounded involutive equality algebras and by using it, we introduce a new class of equality algebras that we called it a tense like equality algebra. Then we investigate some properties of tense like equality algebra. For two involutive bounded equality algebras and an equality homomorphism between them, we prove that the tense like equality algebra structure can be transfer by this equality homomorphism. Specially, by using a bounded involutive equality algebra and quotient structure of it, we construct a quotient tense like equality algebra. Finally, we investigate the relation between tense like equality algebras and tense MV-algebras.Tue, 30 Jun 2020 19:30:00 +0100Persian Abstracts, Vol. 13, No. 1.
http://cgasa.sbu.ac.ir/article_87551_11684.html
Tue, 30 Jun 2020 19:30:00 +0100On general closure operators and quasi factorization structures
http://cgasa.sbu.ac.ir/article_87435_0.html
In this article the notions of quasi mono (epi) as a generalization of mono (epi), (quasi weakly hereditary) general closure operator $mathbf{C}$ on a category $mathcal{X}$ with respect to a class $mathcal{M}$ of morphisms, and quasi factorization structures in a category $mathcal{X}$ are introduced. It is shown that under certain conditions, if $(mathcal{E}, mathcal{M})$ is a quasi factorization structure in $mathcal{X}$, then $mathcal{X}$ has a quasi right $mathcal{M}$-factorization structure and a quasi left $mathcal{E}$-factorization structure. It is also shown that for a quasi weakly hereditary and quasi idempotent QCD-closure operator with respect to a certain class $mathcal{M}$, every quasi factorization structure $(mathcal{E}, mathcal{M})$ yields a quasi factorization structure relative to the given closure operator; and that for a closure operator with respect to a certain class $mathcal{M}$, if the pair of classes of quasi dense and quasi closed morphisms forms a quasi factorization structure, then the closure operator is both quasi weakly hereditary and quasi idempotent. Several illustrative examples are provided.Sun, 22 Dec 2019 20:30:00 +0100Abundant Semigroups With Medial Idempotents
http://cgasa.sbu.ac.ir/article_87496_0.html
The effect of the existence of a medial or related idempotent in any abundant semigroup is the subject of this paper. The aim is to naturally order any abundant semigroup $S$ which contains an ample multiplicative medial idempotent $u$ in a way that $mathcal{L}^*$ and $mathcal{R}^*$ are compatible with the natural order and $u$ is a maximum idempotent. The structure of an abundant semigroup containing an ample normal medial idempotent studied in cite{item6} will be revisited.Thu, 14 May 2020 19:30:00 +0100Relation between Sheffer Stroke and Hilbert algebras
http://cgasa.sbu.ac.ir/article_87510_0.html
In this paper, we introduce a Sheffer stroke Hilbert algebra by giving definitions of Sheffer stroke and a Hilbert algebra. After it is shown that the axioms of Sheffer stroke Hilbert algebra are independent, it is given some properties of this algebraic structure. Then it is stated the relationship between Sheffer stroke Hilbert algebra and Hilbert algebra by defining a unary operation on Sheffer stroke Hilbert algebra. Also, it is presented deductive system and ideal of this algebraic structure. It is defined an ideal generated by a subset of a Sheffer stroke Hilbert algebra, and it is constructed a new ideal of this algebra by adding an element of this algebra to its ideal.Sat, 06 Jun 2020 19:30:00 +0100Constructing the Banaschewski compactification through the functionally countable subalgebra of ...
http://cgasa.sbu.ac.ir/article_87513_0.html
Let $X$ be a zero-dimensional space and $C_c(X)$ denote the functionally countable subalgebra of $C(X)$. It is well known that $beta_0X$ (the Banaschewski compactfication of $X$) is a quotient space of $beta X$. In this article, we investigate a construction of $beta_0X$ via $beta X$ by using $C_c(X)$ which determines the quotient space of $beta X$ homeomorphic to $beta_0X$. Moreover, the construction of $upsilon_0X$ via $upsilon_{_{C_c}}X$ (the subspace ${pin beta X: forall fin C_c(X), f^*(p)<infty}$ of $beta X$) is also investigated.Sat, 06 Jun 2020 19:30:00 +0100On bornological semi-abelian algebras
http://cgasa.sbu.ac.ir/article_87514_0.html
If $Bbb T$ is a semi-abelian algebraic theory, we prove that the category ${rm Born}^{Bbb T}$ of bornological $Bbb T$-algebras is homological with semi-direct products. We give a formal criterion for the representability of actions in ${rm Born}^{Bbb T}$ and, for a bornological $Bbb T$-algebra $X$, we investigate the relation between the representability of actions on $X$ as a $Bbb T$-algebra and as a bornological $Bbb T$-algebra. We investigate further the algebraic coherence and the algebraic local cartesian closedness of ${rm Born}^{Bbb T}$ and prove in particular that both properties hold in the case of bornological groups.Sat, 06 Jun 2020 19:30:00 +0100Duality theory of $p$-adic Hopf algebras
http://cgasa.sbu.ac.ir/article_87523_0.html
We show the monoidal functoriality of Schikhof duality, and cultivate new duality theory of $p$-adic Hopf algebras. Through the duality, we introduce two sorts of $p$-adic Pontryagin dualities. One is a duality between discrete Abelian groups and affine formal group schemes of specific type, and the other one is a duality between profinite Abelian groups and analytic groups of specific type. We extend Amice transform to a $p$-adic Fourier transform compatible with the second $p$-adic Pontryagin duality. As applications, we give explicit presentations of a universal family of irreducible $p$-adic unitary Banach representations of the open unit disc of the general linear group and its $q$-deformation in the case of dimension $2$.Thu, 25 Jun 2020 19:30:00 +0100Schneider-Teitelbaum duality for locally profinite groups
http://cgasa.sbu.ac.ir/article_87524_0.html
We define monoidal structures on several categories of linear topological modules over the valuation ring of a local field, and study module theory with respect to the monoidal structures. We extend the notion of the Iwasawa algebra to a locally profinite group as a monoid with respect to one of the monoidal structure, which does not necessarily form a topological algebra. This is one of the main reasons why we need monoidal structures. We extend Schneider--Teitelbaum duality to duality applicable to a locally profinite group through the module theory over the generalised Iwasawa algebra, and give a criterion of the irreducibility of a unitary Banach representation.Thu, 25 Jun 2020 19:30:00 +0100