eng
Shahid Beheshti University
Categories and General Algebraic Structures with Applications
2345-5853
2345-5861
2016-07-01
5
1
1
54
15430
A History of Selected Topics in Categorical Algebra I: From Galois Theory to Abstract Commutators and Internal Groupoids
George Janelidze
1
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.
http://www.cgasa.ir/article_15430_1878ca09e32e895f11fc7b28a8efcb83.pdf
Galois theory
Galois structure
internal groupoid
central extension
commutator
Mal'tsev category
congruence modularity
congruence permutability
shifting property
eng
Shahid Beheshti University
Categories and General Algebraic Structures with Applications
2345-5853
2345-5861
2016-07-01
5
1
55
84
13905
On Condition (G-PWP)
Mostafa Arabtash
arabtashmostafa@gmail.com
1
Akbar Golchin
agdm@math.usb.ac.ir
2
Hossein Mohammadzadeh Saany
3
Department of Mathematics, University of Sistan and Baluchestan, Zahedan, Iran.
Department of Mathematics, University of Sistan and Baluchestan, Zahedan, Iran.
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.
http://www.cgasa.ir/article_13905_e158b94d9effd3026710c9030d20f056.pdf
$S$-act
condition ($PWP$)
condition ($G$-$PWP$)
eng
Shahid Beheshti University
Categories and General Algebraic Structures with Applications
2345-5853
2345-5861
2016-07-01
5
1
85
102
14685
The ring of real-valued functions on a frame
Abolghasem Karimi Feizabadi
akarimi@gorganiau.ac.ir
1
Ali Akbar Estaji
aaestaji@hsu.ac.ir
2
Mohammad Zarghani
zarghanim@yahoo.com
3
Department of Mathematics, Gorgan Branch, Islamic Azad University, Gorgan, Iran.
Faculty of Mathematics and Computer Sciences, Hakim Sabzevari University, Sabzevar, Iran.
Faculty of Mathematics and Computer Sciences, Hakim Sabzevari University, Sabzevar, Iran.
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)$.
http://www.cgasa.ir/article_14685_3fb4a5800764dc102f3cbb565968e45d.pdf
Frame
$f$-ring
Ring of real-valued functions
eng
Shahid Beheshti University
Categories and General Algebraic Structures with Applications
2345-5853
2345-5861
2016-07-01
5
1
103
130
13904
On descent for coalgebras and type transformations
Maurice Kianpi
mkianpi@uy1.uninet.cm
1
Laboratory of Algebra, Geometry and Applications, Department of Mathematics, Faculty of Science, University of Yaounde 1, P.O. Box 812, Yaounde, Republic of Cameroon.
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.
http://www.cgasa.ir/article_13904_256ff9427762d0a23812c1c6b36d9b48.pdf
Category
functor
coalgebra
natural transformation
(co)limits
(effective) descent morphism
eng
Shahid Beheshti University
Categories and General Algebraic Structures with Applications
2345-5853
2345-5861
2016-07-01
5
1
131
152
15362
Properties of products for flatness in the category of $S$-posets
Roghaieh Khosravi
khosravi@fasau.ac.ir
1
Mojtaba Sedaghatjoo
sedaghat@pgu.ac.ir
2
Department of Mathematics, Fasa University, Fasa, Iran.
Department of Mathematics, College of Science, Persian Gulf University, Bushehr, Iran.
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.
http://www.cgasa.ir/article_15362_7f22a056e8b06f79525763eef82d6fa0.pdf
Product
pomonoid
$S$-poset
Flat
Condition$(WP)$
Condition $(PWP)$
eng
Shahid Beheshti University
Categories and General Algebraic Structures with Applications
2345-5853
2345-5861
2016-07-01
5
1
153
162
16563
Realization of locally extended affine Lie algebras of type $A_1$
Gholamreza Behboodi
gh.behboodi@sci.ui.ac.ir
1
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.
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.
http://www.cgasa.ir/article_16563_bb547f2497b16a428a73f728539a8f39.pdf
Extended affine Lie algebras
Jordan algebras
Symmetric reflection spaces