Shahid Beheshti University
Categories and General Algebraic Structures with Applications
2345-5853
2345-5861
5
1
2016
07
01
A History of Selected Topics in Categorical Algebra I: From Galois Theory to Abstract Commutators and Internal Groupoids
1
54
EN
George
Janelidze
Department of Mathematics and Applied Mathematics, University of Cape Town, Rondebosch 7701, South Africa
This paper is a chronological survey, with no proofs, of a direction in categorical algebra, which is based on categorical Galois theory and involves generalized central extensions, commutators, and internal groupoids in Barr exact Mal’tsev and more general categories. Galois theory proposes a notion of central extension, and motivates the study of internal groupoids, which is then used as an additional motivation for developing commutator theory. On the other hand, commutator theory suggests: (a) another notion of central extension that turns out to be equivalent to the Galois-theoretic one under surprisingly mild additional conditions; (b) a way to describe internal groupoids in ‘nice’ categories. This is essentially a 20 year story (with only a couple of new observations), from introducing categorical Galois theory in 1984 by the author, to obtaining and publishing final forms of results (a) and (b) in 2004 by M. Gran and by D. Bourn and M. Gran, respectively.
Galois theory,Galois structure,internal groupoid,central extension,commutator,Mal'tsev category,congruence modularity,congruence permutability,shifting property
http://cgasa.sbu.ac.ir/article_15430.html
http://cgasa.sbu.ac.ir/article_15430_1878ca09e32e895f11fc7b28a8efcb83.pdf
Shahid Beheshti University
Categories and General Algebraic Structures with Applications
2345-5853
2345-5861
5
1
2016
07
01
On Condition (G-PWP)
55
84
EN
Mostafa
Arabtash
Department of Mathematics, University of Sistan and Baluchestan, Zahedan, Iran.
arabtashmostafa@gmail.com
Akbar
Golchin
Department of Mathematics, University of Sistan and Baluchestan, Zahedan, Iran.
agdm@math.usb.ac.ir
Hossein
Mohammadzadeh Saany
Department of Mathematics, University of Sistan and Baluchestan, Zahedan, Iran.
Laan in (Ph.D Thesis, Tartu. 1999) introduced the principal weak form of Condition $(P)$ as Condition $(PWP)$ and gave some characterization of monoids by this condition of their acts. In this paper first we introduce Condition (G-PWP), a generalization of Condition $(PWP)$ of acts over monoids and then will give a characterization of monoids when all right acts satisfy this condition. We also give a characterization of monoids, by comparing this property of their acts with some others. Finally, we give a characterization of monoids coming from some special classes, by this property of their diagonal acts and extend some results on Condition $(PWP)$ to this condition of acts.
$S$-act,condition ($PWP$),condition ($G$-$PWP$)
http://cgasa.sbu.ac.ir/article_13905.html
http://cgasa.sbu.ac.ir/article_13905_e158b94d9effd3026710c9030d20f056.pdf
Shahid Beheshti University
Categories and General Algebraic Structures with Applications
2345-5853
2345-5861
5
1
2016
07
01
The ring of real-valued functions on a frame
85
102
EN
Abolghasem
Karimi Feizabadi
Department of Mathematics, Gorgan Branch, Islamic Azad University, Gorgan, Iran.
akarimi@gorganiau.ac.ir
Ali Akbar
Estaji
Faculty of Mathematics and Computer Sciences, Hakim Sabzevari University, Sabzevar, Iran.
aaestaji@hsu.ac.ir
Mohammad
Zarghani
Faculty of Mathematics and Computer Sciences, Hakim Sabzevari University, Sabzevar, Iran.
zarghanim@yahoo.com
In this paper, we define and study the notion of the real-valued functions on a frame $L$. We show that $F(L) $, consisting of all frame homomorphisms from the power set of $mathbb{R}$ to a frame $ L$, is an $f$-ring, as a generalization of all functions from a set $X$ into $mathbb R$. Also, we show that $F(L) $ is isomorphic to a sub-$f$-ring of $mathcal{R}(L)$, the ring of real-valued continuous functions on $L$. Furthermore, for every frame $L$, there exists a Boolean frame $B$ such that $F(L)$ is a sub-$f$-ring of $ F(B)$.
Frame,$f$-ring,Ring of real-valued functions
http://cgasa.sbu.ac.ir/article_14685.html
http://cgasa.sbu.ac.ir/article_14685_3fb4a5800764dc102f3cbb565968e45d.pdf
Shahid Beheshti University
Categories and General Algebraic Structures with Applications
2345-5853
2345-5861
5
1
2016
07
01
On descent for coalgebras and type transformations
103
130
EN
Maurice
Kianpi
Laboratory of Algebra, Geometry and Applications, Department of Mathematics, Faculty of Science, University of Yaounde 1, P.O. Box 812, Yaounde,
Republic of Cameroon.
mkianpi@uy1.uninet.cm
We find a criterion for a morphism of coalgebras over a Barr-exact category to be effective descent and determine (effective) descent morphisms for coalgebras over toposes in some cases. Also, we study some exactness properties of endofunctors of arbitrary categories in connection with natural transformations between them as well as those of functors that these transformations induce between corresponding categories of coalgebras. As a result, we find conditions under which the induced functors preserve natural number objects as well as a criterion for them to be exact. Also this enable us to give a criterion for split epis in a category of coalgebras to be effective descent.
Category,functor,coalgebra,natural transformation,(co)limits,(effective) descent morphism
http://cgasa.sbu.ac.ir/article_13904.html
http://cgasa.sbu.ac.ir/article_13904_256ff9427762d0a23812c1c6b36d9b48.pdf
Shahid Beheshti University
Categories and General Algebraic Structures with Applications
2345-5853
2345-5861
5
1
2016
07
01
Properties of products for flatness in the category of $S$-posets
131
152
EN
Roghaieh
Khosravi
Department of Mathematics, Fasa University, Fasa, Iran.
khosravi@fasau.ac.ir
Mojtaba
Sedaghatjoo
Department of Mathematics, College of Science, Persian Gulf University, Bushehr, Iran.
sedaghat@pgu.ac.ir
This paper is devoted to the study of products of classes of right $S$-posets possessing one of the flatness properties and preservation of such properties under products. Specifically, we characterize a pomonoid $S$ over which its nonempty products as right $S$-posets satisfy some known flatness properties. Generalizing this results, we investigate products of right $S$-posets satisfying Condition $(PWP)$. Finally, we investigate pomonoids over which products of right $S$-posets transfer an arbitrary flatness property, projectivity, freeness, and regularity to their components.
Product,pomonoid,$S$-poset,Flat,Condition$(WP)$,Condition $(PWP)$
http://cgasa.sbu.ac.ir/article_15362.html
http://cgasa.sbu.ac.ir/article_15362_7f22a056e8b06f79525763eef82d6fa0.pdf
Shahid Beheshti University
Categories and General Algebraic Structures with Applications
2345-5853
2345-5861
5
1
2016
07
01
Realization of locally extended affine Lie algebras of type $A_1$
153
162
EN
Gholamreza
Behboodi
Department of Mathematics, University of Isfahan, Isfahan, Iran,
P.O.Box: 81745-163 and School of Mathematics, Institute for
Research in Fundamental Sciences (IPM), P.O. Box: 19395-5746.
gh.behboodi@sci.ui.ac.ir
Locally extended affine Lie algebras were introduced by Morita and Yoshii in [J. Algebra 301(1) (2006), 59-81] as a natural generalization of extended affine Lie algebras. After that, various generalizations of these Lie algebras have been investigated by others. It is known that a locally extended affine Lie algebra can be recovered from its centerless core, i.e., the ideal generated by weight vectors corresponding to nonisotropic roots modulo its centre. In this paper, in order to realize locally extended affine Lie algebras of type $A_1$, using the notion of Tits-Kantor-Koecher construction, we construct some Lie algebras which are isomorphic to the centerless cores of these algebras.
Extended affine Lie algebras,Jordan algebras,Symmetric reflection spaces
http://cgasa.sbu.ac.ir/article_16563.html
http://cgasa.sbu.ac.ir/article_16563_bb547f2497b16a428a73f728539a8f39.pdf