On semilattices of groups whose arrows are epimorphisms
A q partial group is defined to be a partial group, that is, a strong semilattice of groups S=[E(S);Se,ϕe,f] such that S has an identity 1 and ϕ1,e is an epimorphism for all e∈E(S). Every partial group S with identity contains a unique maximal q partial group Q(S) such that (Q(S))1=S1. This Q operat...
Saved in:
Main Authors: | , , |
---|---|
Format: | Article |
Language: | English |
Published: |
Wiley
2006-01-01
|
Series: | International Journal of Mathematics and Mathematical Sciences |
Online Access: | http://dx.doi.org/10.1155/IJMMS/2006/30673 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
_version_ | 1832560928375177216 |
---|---|
author | M. El-Ghali M. Abdallah L. N. Gab-Alla Sayed K. M. Elagan |
author_facet | M. El-Ghali M. Abdallah L. N. Gab-Alla Sayed K. M. Elagan |
author_sort | M. El-Ghali M. Abdallah |
collection | DOAJ |
description | A q partial group is defined to be a partial group, that is, a
strong semilattice of groups S=[E(S);Se,ϕe,f] such that S has an identity 1 and ϕ1,e is an epimorphism for all e∈E(S). Every partial group S with identity contains a unique maximal q partial group Q(S) such that (Q(S))1=S1. This Q operation is proved to commute with Cartesian products and preserve normality. With Q extended to idempotent separating congruences on
S, it is proved that Q(ρK)=ρQ(K) for every normal K in S. Proper q partial groups are defined in such a way that associated to any group G, there is a proper
q partial group P(G) with (P(G))1=G. It is proved that a q partial group S is proper if and only if S≅P(S1) and hence that if S is any partial group, there exists a group M such that S is embedded in P(M). P epimorphisms of proper q partial groups are
defined with which the category of proper q partial groups is
proved to be equivalent to the category of groups and epimorphisms
of groups. |
format | Article |
id | doaj-art-20185f71994c46a6ba656ef1970b3f36 |
institution | Kabale University |
issn | 0161-1712 1687-0425 |
language | English |
publishDate | 2006-01-01 |
publisher | Wiley |
record_format | Article |
series | International Journal of Mathematics and Mathematical Sciences |
spelling | doaj-art-20185f71994c46a6ba656ef1970b3f362025-02-03T01:26:22ZengWileyInternational Journal of Mathematics and Mathematical Sciences0161-17121687-04252006-01-01200610.1155/IJMMS/2006/3067330673On semilattices of groups whose arrows are epimorphismsM. El-Ghali M. Abdallah0L. N. Gab-Alla1Sayed K. M. Elagan2Department of Mathematics, Faculty of Science, Menoufiya University, Shebin El-Kom 32511, EgyptDepartment of Mathematics, Faculty of Science, Menoufiya University, Shebin El-Kom 32511, EgyptDepartment of Mathematics, Faculty of Science, Menoufiya University, Shebin El-Kom 32511, EgyptA q partial group is defined to be a partial group, that is, a strong semilattice of groups S=[E(S);Se,ϕe,f] such that S has an identity 1 and ϕ1,e is an epimorphism for all e∈E(S). Every partial group S with identity contains a unique maximal q partial group Q(S) such that (Q(S))1=S1. This Q operation is proved to commute with Cartesian products and preserve normality. With Q extended to idempotent separating congruences on S, it is proved that Q(ρK)=ρQ(K) for every normal K in S. Proper q partial groups are defined in such a way that associated to any group G, there is a proper q partial group P(G) with (P(G))1=G. It is proved that a q partial group S is proper if and only if S≅P(S1) and hence that if S is any partial group, there exists a group M such that S is embedded in P(M). P epimorphisms of proper q partial groups are defined with which the category of proper q partial groups is proved to be equivalent to the category of groups and epimorphisms of groups.http://dx.doi.org/10.1155/IJMMS/2006/30673 |
spellingShingle | M. El-Ghali M. Abdallah L. N. Gab-Alla Sayed K. M. Elagan On semilattices of groups whose arrows are epimorphisms International Journal of Mathematics and Mathematical Sciences |
title | On semilattices of groups whose arrows are epimorphisms |
title_full | On semilattices of groups whose arrows are epimorphisms |
title_fullStr | On semilattices of groups whose arrows are epimorphisms |
title_full_unstemmed | On semilattices of groups whose arrows are epimorphisms |
title_short | On semilattices of groups whose arrows are epimorphisms |
title_sort | on semilattices of groups whose arrows are epimorphisms |
url | http://dx.doi.org/10.1155/IJMMS/2006/30673 |
work_keys_str_mv | AT melghalimabdallah onsemilatticesofgroupswhosearrowsareepimorphisms AT lngaballa onsemilatticesofgroupswhosearrowsareepimorphisms AT sayedkmelagan onsemilatticesofgroupswhosearrowsareepimorphisms |