• 検索結果がありません。

Special Issue on Space Dynamics

N/A
N/A
Protected

Academic year: 2022

シェア "Special Issue on Space Dynamics"

Copied!
27
0
0

読み込み中.... (全文を見る)

全文

(1)

ARROWS ARE EPIMORPHISMS

M. EL-GHALI M. ABDALLAH, L. N. GAB-ALLA, AND SAYED K. M. ELAGAN Received 6 April 2006; Accepted 6 April 2006

Aqpartial group is defined to be a partial group, that is, a strong semilattice of groups S=[E(S);See,f] such thatShas an identity 1 andϕ1,eis an epimorphism for alleE(S).

Every partial groupSwith identity contains a unique maximalqpartial 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 onS, it is proved that Q(ρK)=ρQ(K)for every normalKinS. Properqpartial groups are defined in such a way that associated to any groupG, there is a properqpartial group P(G) with (P(G))1=G. It is proved that aqpartial groupSis proper if and only ifS=P(S1) and hence that ifSis any partial group, there exists a groupM such thatSis embedded in P(M).Pepimorphisms of properqpartial groups are defined with which the category of properqpartial groups is proved to be equivalent to the category of groups and epimor- phisms of groups.

Copyright © 2006 Hindawi Publishing Corporation. All rights reserved.

1. Introduction and preliminaries

One can easily observe that Clifford semigroups have been the object of extensive study from both category and semigroup theorists. A Clifford semigroup is usually defined as a regular semigroup with central idempotents. Whence many characterizations exist in- cluding the structure theorem that characterizes them as semilattices of groups, or equiv- alently as strong semilattices of groups. That is ifS=[Y,Sαα,β] is a strong semilatticeY of groupsSα, thenSis a Clifford semigroup with operation defined by

ab=

ϕα,αβaϕβ,αβb (1.1)

foraSα,bSβ.

Conversely, a Clifford semigroupSis a strong semilatticeE(S) of groupsSf;S=[E(S), Sff,g] whereE(S) is the semilattice (f g f g= f) of idempotents inS,Sf is the maximal subgroup ofSwith identity f, andϕf,gis the homomorphismSf Sg,aag iff g. Here we observe thatSmay be viewed as a category with objects allSf,f E(S)

Hindawi Publishing Corporation

International Journal of Mathematics and Mathematical Sciences Volume 2006, Article ID 30673, Pages1–26

DOI10.1155/IJMMS/2006/30673

(2)

(are objects in the category of groups) and arrows, also called morphisms, given for two objectsSf andSgas follows: Hom(Sf,Sg)= {ϕf,g}if f g and Hom(Sf,Sg)= ∅other- wise.

Ifα:ST is a homomorphism between Clifford semigroups, then clearly f g in E(S) impliesα(f)α(g) inE(T). Alsoα(Sf)Tα(f). It follows thatαis a functor be- tween categoriesSandT, that sends the objectSf inSto the objectTα(f)inT and the arrowϕf,ginSto the arrowϕα(f),α(g)inT.

In the present work we are concerned with those Clifford semigroupsSsuch thatSis also a monoid with identityeandϕe,f:SeSf is an epimorphism for all f E(S), that is,Sf =Sef for all f E(S). We then callSaqpartial group (orqClifford semigroup, etc.).

A partial group is defined in [3] as a semigroupSsuch that everyxShas so-called a partial identityexand a partial inversex1satisfying

(i)exx=xex=xand ifyx=xy=x, thenexy=yex=ex, (ii)xx1=x1x=exandexx1=x1ex=x1,

(iii)exy=exey and (xy)1=y1x1forx,yS. That is the mapxex is a homo- morphism andxx1is antihomomorphism fromSintoS.

It turns out that a partial groupSis precisely a strong semilattice of groups [E(S),Sf, ϕf,g], that is, a Clifford semigroup. Also, it is proved in [3] that every partial groupSis embeddable in a partial groupP(S,G) of partial mappings fromSto a suitable group G (seeTheorem 1.1). Such sort of structure and representation has been the basis for developing other kinds of “partial algebras” (see [1] for partial rings and [4] for partial monoids). Here in this section we will observe that any suchP(S,G) is not just a par- tial group but also aqpartial group in the sense given above. Whence partial mappings (between sets and groups) may be considered as natural sources ofqpartial groups.

InSection 2 we give some definitions and simple observations concerningq partial groups. We introduce the Q operation inSection 3and show that every partial groupS with identity contains a maximalqpartial group Q(S) which is a nontrivial if and only ifS1 is a nontrivial group, whereS1 is the maximal group inS with identity 1S. This holds obviously for any wide (full) subpartial groupTofS. We show that the Q opera- tion commutes with Cartesian products in partial groups with identities, and conclude that the product of any family ofq partial groups is aqpartial group. InSection 4we extend the Q operation to the lattice Ci(S) of idempotent separating congruencesρon a partial groupSwith identity and show that this operation preserves normality inS. We introduce the notion of aqcongruence onSin such a way that for anyρCi(S), Q(ρ) is the maximalqcongruence contained inρand that Q(ρN)=ρQ(N), whereN=kerρ. This allows to establish a complete modular lattice isomorphism betweenqnormal subpartial groups ofSandqcongruences onS. InSection 5we are mainly concerned with thoseq partial groupsSfor which certain conditions are satisfied, and call them properqpartial groups. We show that associated to any groupGthere is a properqpartial groupP(G), for which (P(G))1=G, and give characterizations of different kinds ofqpartial groupsSin terms ofP(S1). This allows to embed arbitrary partial groups (i.e., Clifford semigroups) in properqpartial groups of the kindP(G). When morphisms in categories are restricted

(3)

to epimorphisms in groups (G) and to a certain kind of epimorphisms (calledpepimor- phisms) in properqpartial groups (PQP), we show inSection 6that these two categories are equivalent. We also give certain characterizations ofpepimorphisms in PQP.

Almost all notations used throughout the paper are standard. Otherwise full explana- tions are accomplished. The notation 1S (or sometimes just 1) is used either to denote the identity element of (the algebra)Sor the identity mappingSS,xx. Its unique meaning in a definite situation is determined by the case analysis. Some notations (sym- bols) from logic may be used: for all,,(in place of for all, implies, if and only if (iff), resp.). References for different topics are as follows:

(i) semigroups, in general: [5,8];

(ii) groups: [6,9];

(iii) categories: [7].

Notations, definitions, and results appeared in [2,3] and needed for our work are sum- marized here for the sake of reference. A subpartial group of a partial groupSis a sub- semigroupK ofSsuch that for allxK,exK,x1K. A subpartial groupKis wide (or full) ifE(S)K. IfS,T are partial groups, then α:ST is a homomorphism of partial groups ifα(xy)=α(x)α(y) for allx,yS. Monomorphisms, epimorphisms, and so forth, and automorphisms are defined also as in semigroups. Ifα:ST is a homo- morphism of partial groups, theneα(x)=α(ex) and (α(x))1=α(x1) for allxS. Thus α(Se)Tα(e)for alleE(S), whereSeis the maximal group inSwith identitye. Also Imα (rangeα); that is,α(S) is a subpartial group ofT.

IfX is a (nonempty) set andGis a group, there is a partial group denotedP(X,G) whose elements are all partial mappings f :XG (i.e., domain f X) with multi- plications defined as follows. For f,gP(X,G) say f :AG,g :BG (A,BX), f g is the partial mappingXGwith domain f g=domf domg=ABand f g: ABG,x f(x)g(x) where f(x)g(x) is the multiplication inG. With this opera- tionP(X,G) is a strong semilattice of groups (partial group) [Y,M(A,G),ϕA,B], where Y= {eA:eA:AG,x1G,AX}is the semilattice of idempotents inP(X,G) [eA eB if and only ifAB],M(A,G) is the maximal group inP(X,G) with identityeA, that is, the set of all mappings f :AG, and foreAeB, that is,BA,ϕeA,eB (or simplyϕA,B) is the homomorphismϕA,B:M(A,G)M(B,G), f f|B where f|B:BG is the re- striction of f :AGonB. As we declared above,P(X,G) is actually aqpartial group.

That is for allBX,ϕX,B:M(X,G)M(B,G) is an epimorphism of groups. For we have thatP(X,G) has the identity elementeXwhich is the identity of the maximal group M(X,G), and given f M(B,G), the mapping f M(X,G) defined by f(x)= f(x) if xBand f(x)=1GifxXBsatisfiesϕX,B(f)=f. ThusϕX,Bis an epimorphism.

LetSbe any partial group (i.e., Clifford semigroup). For eachxS, defineSx= {y S:exy=y}(called thex-ball inS[3]). We havex,exSxSx(xS),

Sx=Syif and only ifex=ey, SxSy=Sxy.

LetGbe the coproduct of the maximal groupsSex,exE(S), that is,G= exSex. Then for eachexE(S), there exists an injection (monomorphism)iex:SexG, satisfying the

(4)

desired universal property. For eachxS, define βx:Sx−→G bya−→iea

xea

. (1.2)

ThusβxP(S,G) andβxβy=βxyfor allx,yS[3].

We have the following theorem.

Theorem 1.1 [3, the representation theorem]. LetS,Gbe as above. There exists a mono- morphism (embedding) of partial groups

α:S−→P(S,G), (1.3)

which sends eachxStoβxP(S,G).

LetSbe a partial group. A subpartial groupK ofSis normal (denoted byKS) ifK is wide (i.e.,E(S)K) andxKx1Kfor allxS. ClearlyE(S) is normal inS(it is the trivial normal subpartial group ofS). We have the following proposition.

Proposition 1.2 [2]. IfKis a normal subpartial group ofS, thenKexis a normal subgroup ofSexfor allxS.

Letφ:ST be a homomorphism of partial groups. Thek-kernel ofφ(simplyk kerφ) is

kkerφ=

xS:φ(x)=efor someeE(T). (1.4) IfSis a partial group andρis a congruence onS, thenS/ρis a partial group called the quotient partial group induced byρ. Moreover,e=exρand (xρ)1=x1ρfor allxS.

Ifφ:STis a homomorphism of partial groups, then kerφ= {(x,y)S×S:φ(x)= φ(y)}is an idempotent separating congruence onSif and only ifφis idempotent sepa- rating.

LetSbe a partial group. Then, a congruenceρis idempotent separating if and only if xρyex=ey.

Associated to every congruenceρonSthere is a unique idempotent separating con- gruence onSdenoted byρi, such thati=Sexfor allxS.

Theorem 1.3 [2]. LetKbe a normal subpartial group ofS. Define ρK=

(x,y)S×S:ex=eyandxy1K. (1.5) Then

(i)ρKis an idempotent separating congruence onSandK=kerρK=kker(ρK), where ρK:SS/ρKis the canonical epimorphism,

(ii)K=xKexfor allxS,

(iii)K=(E(S))ρK= ∪{exρK:exE(S)}.

Theorem 1.4 [2]. For every idempotent separating congruenceρonSthere exists a normal subpartial groupKofSwithK=kerρ=E(S)ρandρ=ρK.

(5)

IfKis a normal subpartial group of a partial groupS, the quotient partial groupS/ρK

is denoted byS/K, whereρK is the unique idempotent separating congruence onSasso- ciated withK(as inTheorem 1.4). We have the following.

Proposition 1.5 [2]. (S/K)xKex =Sex/Kexfor allxS.

Proposition 1.6 [2]. Ifφ:ST is a homomorphism of partial groups, thenρkkerφ= (kerφ)i.

Theorem 1.7 [2]. Letφ:STbe a homomorphism of partial groups.

(a) There exists a unique homomorphismα:S/kkerφ=S/(kerφ)iTsuch that ran(α)

=ran(φ) and the diagram

S

ρ=kkerφ

φ T

S/(kerφ)i

α (1.6)

commutes.

(b)αis a monomorphism if and only ifφis idempotent separating.

(c)αis an isomorphism if and only ifφis both an epimorphism and idempotent separat- ing.

Theorem 1.8 [2]. Letφ:ST be a homomorphism of partial groups. IfK is a normal subpartial group ofS such thatKkkerφ, then there exists a unique homomorphism α:S/KTsuch that ran(α)=ran(φ) and the diagram

S

ρk=

φ T

S/k

α (1.7)

commutes.

LetSbe a partial group. The set of all idempotent separating congruence onSis de- noted by Ci(S). We have Ci(S)= {ρi:ρis a congruence onS}, whereρi is the maximal idempotent separating congruence onSsuch thatρiρ. We haveρσ=σρCi(S) for allρ,σCi(S).

Proposition 1.9 [2]. (Ci(S),,,) is a complete modular lattice withρσ=ρσ for allρ,σCi(S).

The set of all normal subpartial groups ofSis denoted by N(S).

ForM,NN(S),MN=NMis the minimal normal subpartial group ofScontaining MN, that is,MN=NM= MNis the (normal) subpartial group ofSgenerated by MNor the joinMNofMandN.

Proposition 1.10 [2]. IfM,NN(S), thenρMN=ρMρNMN=ρMρN.

(6)

Theorem 1.11 [2]. (N(S),,,) is a complete modular lattice and the mapping

ϕ: N(S)−→Ci(S), K−→ρK (1.8)

is a lattice isomorphism.

2.qpartial groups

Throughout this section,Sstands for a partial group with identity 1. ThusSis a strong semilattice of groups [E(S);Sff,g] withE(S) having upper bound 1. We call the identity 1 ofSproper if the maximal subgroupS1is not the trivial group, that is, if{1}is a proper subset ofS1. Otherwise, 1 is called improper. In the usual partial ordering ofE(S), we then have 1efor alleE(S), and so we have a homomorphism of groupsϕ1,e:S1Sefor everyeE(S).

We callSaqpartial group ifϕ1,eis an epimorphism for everyeE(S). This is equiva- lent to say thatS1e=Sefor everyeE(S), that is, everyxSecan be written as a product yefor someyS1. SinceS1eSealways holds,Sis aqpartial group if and only ifSeS1e for alleE(S).

IfS is q partial group and e f in E(S), we then have ϕe,f(Se)=Sef =(S1e)f = S1(e f)=S1f =Sf. It follows that in aqpartial groupS, every homomorphismϕe,f is an epimorphism. We observe also that in aqpartial groupS,Se·Sf =Se f for alle,f E(S).

For, we haveSe·Sf Se f sinceSis a strong semilattice of its maximal subgroups, and if xSe f, thenx=ye f for someyS1, which givesx=(ye)(1f)Se·Sf.

LetT be a wide subpartial group ofS. Then we can callTaqsubpartial group ofSif the restrictionϕ1,eonT1is an epimorphism for everyeE(S), that is,Tis aqsubpartial group with the inherited operations fromS. Trivially, every semilattice with upper bound is aqpartial group, and henceE(S) is aqsubpartial group ofS. If the identity 1 ofSis improper, we clearly haveS=E(S), and soSreduces to a semilattice. The converse holds trivially. Thus for anyqpartial group, we haveS=E(S) if and only if 1 is proper, that is, if and only ifS1is not the trivial group. As we observed in the introduction, the partial groupP(X,G), for any setXand groupG, is aqpartial group with identity 1X:XG, x1G, the identity 1Xis the identity of the maximal groupM(X,G) inP(X,G). Clearly M(X,G) is not the trivial group if and only ifX is nonempty andGis not the trivial group. ThusP(X,G) is a nontrivialqpartial group if and only ifX= ∅andG=0. We close this section by one more simple observation.

Lemma 2.1. IfSis aqpartial group in which no two maximal subgroups are isomorphic, then the kernels of the epimorphismsϕ1,e,eE(S), are all different.

Proof. LetNedenote the kernel ofϕ1,e,eE(S). ThenNe= {yS1:ye=e}. Ife= f in E(S) andNe=Nf, we have by the first isomorphism theorem of groups

Se=S1/Ne=S1/Nf =Sf (2.1)

which contradicts the hypothesis.

(7)

3. The Q operation

In the previous section we noticed that every partial groupSwith identity contains a triv- ialqsubpartial group, namely,E(S). In this section, we show that nontrivialqsubpartial groups ofSexist wheneverS1 is a nontrivial group. More precisely, a maximal q sub- partial group ofSalways exists. This inherited to all wide subpartial groupsTofS, and hence defines an operationTQ(T). In later work, we will show that the Q operation preserves normality, and commutes with the operation of taking joins. In this section, we show that it commutes with categorical products. Given a wide subpartial groupsTofS, the existence of Q(T), the maximalqsubpartial group contained inTcan be verified by the axiom of choice (e.g., Zorn’s lemma), but for later purpose we construct Q(T) explic- itly. It is obtained simply by taking images ofϕ1,eonT1for alleE(S). Formally, we have the following lemma.

Lemma 3.1. LetSbe a partial group with identity and letTbe a wide subpartial group ofS.

There exists aqsubpartial group Q(T) ofSwhich is unique maximal such that Q(T)T.

Moreover Q(T) is nontrivial (i.e., does not equalE(S)) if and only ifT1is a nontrivial group.

Proof. SinceT is wide, it is a union of maximal groups indexed byE(S), that is,T= [E(S),Tee,f] whereTeis a subgroup ofSeandϕ1,e:T1Teis a homomorphism (x xe) for everyeE(S). Define

Q(T)=

eE(S)

Imϕ1,e=

eE(S)

T1e. (3.1)

Q(T) is a disjoint union of groups (Q(T))e=T1e indexed by the semilatticeE(S). In particular, (Q(T))1=Imϕ1,1=T1and the restriction ofϕ1,eonT1gives an epimorphism ϕ1,e: (Q(T))1=T1(Q(T))efor everyeE(S).

It follows that Q(T) isqsubpartial group ofScontained inT.

Fore > f,ϕe,f:T1eT1f is given byxex f, (xT1).

IfKisqsubpartial group ofSwithKT, thenK1T1=(Q(T))1and for alleE(S), Ke=K1eT1e=(Q(T))e. This proves the unique maximality of Q(T).

Finally, Q(T)=E(S)(Q(T))e= {e} for some eE(S)T1e= {e} ⇒T1= {1}, conversely, ifT1= {1}, then (Q(T))1=T1= {1}, and so Q(T)=E(S).

Let us now consider partial groups as a part of universal algebra, that is as a variety of algebras (defined by a set of identities). This implies that, as a category, partial groups have all small limits and colimits (e.g., products, coproducts, etc.). This is also true for partial groups with identities. In the rest of this section we consider categorical products of partial groups (with identities) and show that the Q operation commutes with this product which implies that product of any family ofqpartial groups is again aqpartial group. We start by characterizing products in the category of partial groups.

Lemma 3.2. Let{Si, iI}be a family of partial groups and letS=

iISibe the usual Cartesian product. ThenSis a partial group which is a categorical product with the usual projectionsπi:SSi(xi)xi. If eachSihas an identity 1si, then (1si) is the identity ofS.

(8)

Proof. DefineE(S)=

iIE(Si). ThenE(S) is a semilattice with (ei)(fi) if and only if eifi, for alliI.

We have

S=

iISi=

iI

eiE(Si)

Si

ei=

(ei)E(S)

iI

Si

ei. (3.2)

ThusSis a disjoint union of groupsiI(Si)ei,eiE(Si) with identities (ei)iI,eiE(Si), indexed by the semilatticeE(S). For (ei)(fi) inE(S), there is a homomorphism

ϕ(ei),(fi):

iI

Si

ei−→

iI

Si

fi, (3.3)

given by

xi

−→

ϕei,fixi

. (3.4)

Now we can easily verify thatSis a categorical product, and thatShas identity if eachSi

has a one.

Theorem 3.3. Let{Si,iI}be a family of partial groups, with identities. Then Q(iISi)

=

iIQ(Si).

Proof. ByLemma 3.2,iISiis a partial group with identity (1si)iIwhich is a union of maximal subgroups (iISi)(ei)indexed by the semilatticeE(S)=

iIE(Si). ByLemma 3.1, we have

Q

iI

Si

=

(ei)E(S)

iI

Si

(1si)

ei

=

(ei)E(S)

iI

Si

1siei

=

iI

eiE(Si)

Si

1siei

=

(ei)E(S)

iI

Si

1siei

=

iI

QSi .

(3.5)

By the definition of the Q operation, one can show that the product of any family of qpartial groups is again aqpartial group. But if we notice that for any partial groupS with identity,Sis aqpartial group if and only if Q(S)=S, then the following is an easy consequence ofTheorem 3.3.

Corollary 3.4. If{Si,iI}is a family ofqpartial groups, then the productiISiis aq partial group.

4. Normality andqcongruences

In this section we develop certain properties of the Q operation needed for further work.

We show it preserves normality in partial groups with identities. The notation of aqnor- mal subpartial group will play an important role in later work, so we introduce the notion

(9)

of aqcongruence on a partial groupSwith identity in such a way thatρis aqcongruence onSif and only if kerρis aqnormal subpartial group ofS. For any idempotent separating congruenceρonSwe define Q(ρ) and show it is the maximalqcongruence contained in ρ. This extends the Q operation to the lattice of all idempotent separating congruences on S, with the property that ifSis aqpartial group, then for any normal subpartial groupN ofS, Q(N) is normal inSand Q(ρN)=ρQ(N). This allows to establish a complete modu- lar lattice isomorphism betweenqnormal subpartial groups ofSandqcongruence onS, which is analogous to the classical result (see, e.g., [2]) known for idempotent separating congruences.

We begin by a technical lemma showing that the join of any family of qsubpartial groups is again aqsubpartial group. First, we need to recall some preliminaries.

Remark 4.1. IfSis any partial group andXis any (nonempty) subset ofS, the subpartial groupX generated byX is the intersection of all subpartial groups of Scontaining X. Actually,X is the set of all finite productsxni11xni22···xnikk withxijX,nj= ±1. If XSe= ∅for alleE(S), thenXis also wide. The elements ofXare the generators of X. IfsX, says(X)efor someeE(S) (i.e.,es=e), thensmay be represented by a finite product

s=xi1xi2···xik, (4.1)

withxijSefor allj=1,...,k, (just multiply each generator in the typical expansion ofs bye).

Lemma 4.2. LetSbe a partial group with identity and let{Si,iI}be a family ofqsub- partial groups ofS. Then

iISiis aqsubpartial group ofS.

Proof. Clearly

iISiis a wide subpartial group ofS. LeteE(S) and lets(

iISi)e. By the above remark (and since eachSiis a subpartial group ofS), we have

s=xi1xi2···xik, (4.2)

withxij(Sij)e,j=1,...,k.

SinceSijis aqsubpartial group of S, Sij

e=Sij

1e, j=1,...,k. (4.3)

Therefore

s=

s1s2···sk

e

iI

Si

1

e. (4.4)

This gives

iI

Si

e

=

iI

Si

1

e, (4.5)

and the result obtains.

(10)

Now we show that the Q operation commutes with the join operation on wide sub- partial groups.

Lemma 4.3. LetSbe as inLemma 4.2, and let{Si, iI}be a family of wide subpartial groups ofS. Then Q(

iISi)=

iIQ(Si). Proof. ByLemma 4.2,

iIQ(Si)is aqsubpartial group of S, which is clearly contained in

iISi. Thus it is sufficient to show that it is maximal with respect to this property.

For this, let T be a q subpartial group of S withT

iISi, and lettT, sayt Te=T1e, for someeE(S). Thust=se, for somesT1, and sinceT1(

iISi)1, we obtain

s=xi1xi2···xik, (4.6)

withxij(Sij)1,j=1,...,k.

This gives t=

xi1xi2···xik

e

=

xi1e···

xike QSi1

e···

QSik

e, sinceSij

1e= QSij

e. (4.7) Therefore

t

iI

QSi

. (4.8)

This proves maximality, and the proof is complete.

Given a partial groupSwith identity, then clearly, a normal subpartial group ofSneed not be aq subpartial group. For a trivial example, takeSsuch that 1sis improper, and S=E(S). ThenSis normal inSbut not aqpartial group. This is also the case even ifSis aqpartial group, for example, takeSsuch that 1sis proper,Se= {e}, for someeE(S) and letT < Sbe such thatT1= {1s}andTe=Se otherwise. On the other hand, the Q operation preserves normality inqpartial groups. This is our next result.

Lemma 4.4. LetSbe aqpartial group ifNis a normal subpartial group ofS, so is Q(N).

Proof. LetsS,xQ(N), saysSf andx(Q(N))g, for some f,gE(S).

We have

Q(N)g=

Q(N)1g, (4.9)

and sox=yg, for somey(Q(N))1. By the definition of the Q operation and the nor- mality ofN, we have

yQ(N)1=N1S1. (4.10)

AlsosSf=S1f, say,s=s1f for somes1S1.

(11)

Thus s1xs=

s1f1(yg)s1f=

s11ys(f g)N1f g=

Q(N)f gQ(N). (4.11) Before introducingqcongruences on a partial groupSwith identity, we consider the set of allqnormal subpartial groups ofSand show it is a lattice wheneverSis aqpartial group. We know, in the lattice N of all normal subpartial groups of a partial groupS, the join and meet are given byMN=MN= MNandMN=MN, respectively.

Forqnormal subpartial groupsM,N, ifShas an identity, thenMNis already aq normal subpartial group ofS(Lemma 4.2). However,MN need not be aq (normal) subpartial group ofS, even ifSis aqpartial group, because the homomorphismϕ1,eneed not be one-to-one for arbitraryeE(S). Here is a simple example.

Example 4.5. LetX={a,b}andG=Z2={0, 1}, and letS=P(X,G) be the corresponding qpartial group of partial mappings (see Sections1,2).

ThenP(X,G) is the union of 4 maximal groups,P(S,G)=M(X,G)M({a},G) M({b},G)∪ {z}, wherezrepresents the empty mappingφG, and is the zero element of P(S,G). LetT1= {(a,b)(0, 0), (a,b)(1, 1)}. ThenT1is a subgroup ofM(X,G) consists of just two mappings.

LetR1= {(a,b)(0, 0), (a,b)(1, 0)}. Leteabe the mapping{a} →G,a0, and let ebbe the mapping{b} →G,b0.

DenotingT1eabyTa, and so forth, we have Ta=T1ea= {a0,a1},

Tb=T1eb= {b0,b1}, Tz=T1z= {z},

Ra=R1ea= {a0,a1}, Rb=R1eb= {b0,b1}, Rz=R1z= {z}.

LetT=T1TaTbTz, andR=R1RaRbRz. With the induced operation fromS, bothTandRareqnormal subpartial groups ofS.

ButTR= {(a,b)(0, 0)} ∪ {a0,a1} ∪ {b0,b1} ∪ {z}is a (normal) subpartial group ofS, which is not aqsubpartial group.

Let Sbe a q partial group and let QN(S) denote the set of all q normal subpartial groups ofS. In view of Lemmas3.1,4.2, and4.4, we easily obtain the following result.

Lemma 4.6. QN(S) is a complete modular lattice with meet and join defined by

MN=Q(MN), MN=MN= MN. (4.12) The notion of aqnormal subpartial group of a partial groupSwith identity is nothing but an idempotent separating congruence onSthat satisfies certain condition. Here we give the definition.

Given a partial groupSwith identity, we call an idempotent separating congruenceρ onSaqcongruence onSif for allx,yS,xρyimpliesx=sy, for somes(kerρ)1, that is, for somesS1withsρ1.

(12)

We observe that, ifρisqcongruence, thenxρyimplies (also)x=ys, for somesρ1.

The following consequence follows at once from the definition. (Recall thatρK is the congruence whose kernel isK.)

Lemma 4.7. LetSbe a partial group with identity, and letρbe an idempotent separating congruence onS. Thenρisqcongruence if and only ifK=kerρis aq normal subpartial group ofS. Equivalently, for any subpartial groupK ofS,Kis aqnormal subpartial group ofSif and only ifρKis aqcongruence.

LetSbe a partial group with identity and Ci(S) the lattice of all idempotent separating congruences onS. Recall that, forρ,σ Ci(S), the join and meet are given byρσ= σρ=ρσ(e.g., [2], Lemma 5.1) andρσ=ρσ, respectively.

Again, the intersection of twoqcongruences onSneeds not be aqcongruence (e.g., applyLemma 4.7toExample 4.5). So we define a Q operation onρCi(S) as follows:

Q(ρ)=

(x,y) :xρy,x=sy(orx=ys), for somesSwithsρ1. (4.13) Equivalently, Q(ρ) is the unique maximalqcongruence onScontained inρ.

Lemma 4.8. LetSbe aqpartial group and letρCi(S). Then,

Q(ρ)=ρQ(N), whereN=kerρ. (4.14)

Proof. By definition,N= {xS:xρefor someeE(S)}, and ρ=ρN. ByLemma 4.4, Q(N) is normal inS. Now, let (x,y)Q(ρ)=Q(ρN). Thenxρy andx=sy, for some sSwithsρ1, that is, for somes(kerρ)1=N1. We haveex=ey(sinceρis idempotent separating), andxy1Nex.

By definition of the Q operation

Q(N)ex=N1ex, (4.15)

and so

xy1=(sy)y1=sexN1exQ(N), (4.16) whence

(x,y)ρQ(N). (4.17)

Thus

Q(ρ)ρQ(N). (4.18)

Conversely, let (x,y)ρQ(N). Thus

ex=ey, xy1

Q(N)ex=N1ex. (4.19) That is

xy1=sex for somesN1. (4.20)

(13)

Thus

xy1N, x=syfor somesN1=(kerρ)1, (4.21) and so

(x,y)Q(ρ)=QρN

. (4.22)

Therefore

Q(ρ)=QρN

=ρQ(N). (4.23)

For aqpartial groupS, let QCi(S) denote the set of allqcongruences onS. We have the following theorem.

Theorem 4.9. QCi(S) is a complete modular lattice, with meet and join given by ρσ=Q(ρσ),

ρσ=σρ=ρσ, respectively. (4.24) Moreover, the mapping

ϕ: QN(S)−→QCi(S), N−→ρN (4.25)

is a lattice isomorphism.

Proof. It is easy to see thatρσQCi(S), ifρ,σQCi(S), and that QCi(S) is a lattice.

The mappingϕis well defined by Lemma 4.7, and clearly is one-to-one and onto. By Lemmas4.6and4.8, we have forN,MQN(S)

ϕ(NM)=ϕQ(NM)=ρQ(NM)=Q(ρNM)

=QρNρM

=ρNρM=ϕ(N)ϕ(M). (4.26) Likewise,

ϕ(NM)=ϕ(N)ϕ(M). (4.27)

5. Developing certain representations

Given aq partial groupS, there is an isomorphism of groupsS1/Ne=Se, for everye E(S), whereNe=kerϕ1,e. On the other hand, given a (nonzero) groupG, we can (and do) generate aqpartial groupP(G), such that (P(G))1=Gand every maximal group in P(G) is a quotientG/N, for some normalN inG. In this section, we develop the connection between particular types ofqpartial groupsS, and their associatedqpartial groups P(S1).

Naturally, partial groups of partial mappingsP(X,G) areqpartial groups. This allows to

参照

関連したドキュメント

We list in Table 1 examples of elliptic curves with minimal discriminant achieving growth to each possible torsion group over Q

As fun- damental groups of closed surfaces of genus greater than 1 are locally quasicon- vex, negatively curved and LERF, the following statement is a special case of Theorem

We study the theory of representations of a 2-group G in Baez-Crans 2- vector spaces over a field k of arbitrary characteristic, and the corresponding 2-vector spaces of

The answer is positive without the finiteness hypotheses: given any non-diffuse, torsion-free, residually finite group Γ, then an infinite restricted direct product of

Lemma 1.11 Let G be a finitely generated group with finitely generated sub- groups H and K , a non-trivial H –almost invariant subset X and a non-trivial K –almost invariant subset

These include the relation between the structure of the mapping class group and invariants of 3–manifolds, the unstable cohomology of the moduli space of curves and Faber’s

The above result is to be comparedwith the well known fact that the category Cat( C ) of internal categories in a category with finite limits C , is equivalent to the category of

The final result was reduced once again with the Gr¨ obner basis (non-modular) and yielded 0...