On Smarandache Bryant Schneider Group of A Smarandache Loop
|
|
- Jemimah Sullivan
- 5 years ago
- Views:
Transcription
1 International J.Math. Combin. Vol.2 (2008), 5-63 On Smarandache Bryant Schneider Group o A Smarandache Loop Tèmító. pé. Gbó. láhàn Jaíyéọlá (Department o Mathematics o Obaemi Awolowo University, Ile Ie, Nieria.) tjayeola@oauie.edu.n Abstract: The concept o Smarandache Bryant Schneider Group o a Smarandache loop is introduced. Relationship(s) between the Bryant Schneider Group and the Smarandache Bryant Schneider Group o an S-loop are discovered and the later is ound to be useul in indin Smarandache isotopy-isomorphy condition(s) in S-loops just like the ormal is useul in indin isotopy-isomorphy condition(s) in loops. Some properties o the Bryant Schneider Group o a loop are shown to be true or the Smarandache Bryant Schneider Group o a Smarandache loop. Some interestin and useul cardinality ormulas are also established or a type o inite Smarandache loop. Key Words: Smarandache Bryant Schneider roup, Smarandache loops, Smarandache, -principal isotopes. AMS(2000): 20NO5, 08A05.. Introduction The study o Smarandache loops was initiated by W. B. Vasantha Kandasamy in In her book [6], she deined a Smarandache loop (S-loop) as a loop with at least a subloop which orms a subroup under the binary operation o the loop. For more on loops and their properties, readers should check [4], [3], [5], [7], [6] and [6]. In her book, she introduced over 75 Smarandache concepts in loops but the concept Smarandache Bryant Schneider Group which is to be studied here or the irst time is not amon. In her irst paper [7], she introduced some types o Smarandache loops. The present author has contributed to the study o S-quasiroups and S-loops in [9], [0] and [] while Muktibodh [3] did a study on the irst. Robinson [5] introduced the idea o Bryant-Schneider roup o a loop because its importance and motivation stem rom the work o Bryant and Schneider [4]. Since the advent o the Bryant-Schneider roup, some studies by Adeniran [], [2] and Chiboka [6] have been done on it relative to CC-loops, C-loops and extra loops ater Robinson [5] studied the Bryant-Schneider roup o a Bol loop. The judicious use o it was earlier predicted by Robinson [5]. As mentioned in [Section 5, Robinson [5]], the Bryant-Schneider roup o a loop is extremely useul in investiatin isotopy-isomorphy condition(s) in loops. In this study, the concept o Smarandache Bryant Schneider Group o a Smarandache Received March 6, Accepted April 2, 2008.
2 52 Tèmító. pé. Gbó. láhàn Jaíyéọlá loop is introduced. Relationship(s) between the Bryant Schneider Group and the Smarandache Bryant Schneider Group o an S-loop are discovered and the later is ound to be useul in indin Smarandache isotopy-isomorphy condition(s) in S-loops just like the ormal is useul in indin isotopy-isomorphy condition(s) in loops. Some properties o the Bryant Schneider Group o a loop are shown to be true or the Smarandache Bryant Schneider Group o a Smarandache loop. Some interestin and useul cardinality ormulas are also established or a type o inite Smarandache loop. But irst, we state some important deinitions. 2. Deinitions and Notations Deinition 2. Let L be a non-empty set. Deine a binary operation ( ) on L : I x y L or x, y L, (L, ) is called a roupoid. I the system o equations ; a x = b and y a = b have unique solutions or x and y respectively, then (L, ) is called a quasiroup. Furthermore, i there exists a unique element e L called the identity element such that or x L, x e = e x = x, (L, ) is called a loop. Furthermore, i there exist at least a non-empty subset M o L such that (M, ) is a non-trivial subroup o (L, ), then L is called a Smarandache loop(s-loop) with Smarandache subroup(s-subroup) M. The set SY M(L, ) = SY M(L) o all bijections in a loop (L, ) orms a roup called the permutation(symmetric) roup o the loop (L, ). The triple (U, V, W) such that U, V, W SY M(L, ) is called an autotopism o L i and only i xu yv = (x y)w x, y L. The roup o autotopisms(under componentwise multiplication [4]) o L is denoted by AUT(L, ). I U = V = W, then the roup AUM(L, ) = AUM(L) ormed by such U s is called the automorphism roup o (L, ). I L is an S-loop with an arbitrary S-subroup H, then the roup SSY M(L, ) = SSY M(L) ormed by all θ SY M(L) such that hθ H h H is called the Smarandache permutation(symmetric) roup o L. Hence, the roup SA(L, ) = SA(L) ormed by all θ SSY M(L) AU M(L) is called the Smarandache automorphism roup o L. Let (G, ) be a loop. The bijection L x : G G deined as yl x = x y, x, y G is called a let translation(multiplication) o G while the bijection R x : G G deined as yr x = y x, x, y G is called a riht translation(multiplication) o G. Deinition 2.2(Robinson [5]) Let (G, ) be a loop. A mappin θ SY M(G, ) is a special map or G means that there exist, G so that (θr, θl, θ) AUT(G, ). Deinition 2.3 Let (G, ) be a Smarandache loop with S-subroup (H, ). A mappin θ SSY M(G, ) is a Smarandache special map(s-special map) or G i and only i there exist, H such that (θr, θ) AUT(G, )., θl Deinition 2.4(Robinson [5]) Let the set BS(G, ) = {θ SY M(G, ) :, G (θr, θl, θ) AUT(G, )} i.e the set o all special maps in a loop, then BS(G, ) SY M(G, ) is called the Bryant- Schneider roup o the loop (G, ).
3 On Smarandache Bryant Schneider Group o a Smarandache Loop 53 Deinition 2.5 Let the set SBS(G, ) = {θ SSY M(G, ) : there exist, H (θr, θl, θ) AUT(G, )} i.e the set o all S-special maps in a S-loop, then SBS(G, ) is called the Smarandache Bryant- Schneider roup(sbs roup) o the S-loop (G, ) with S-subroup H i SBS(G, ) SY M(G, ). Deinition 2.6 The triple φ = (R, L, I) is called an, -principal isotopism o a loop (G, ) onto a loop (G, ) i and only i x y = xr yl, x, y G or x y = xr yl, x, y G. and are called translation elements o G or at times written in the pair orm (, ), while (G, ) is called an, -principal isotope o (G, ). On the other hand, (G, ) is called a Smarandache, -principal isotope o (G, ) i or some, S, xr yl = (x y) x, y G where (S, ) is a S-subroup o (G, ). In these cases, and are called Smarandache elements(s-elements). Let (L, ) and (G, ) be S-loops with S-subroups L and G respectively such that xa G, x L, where A : (L, ) (G, ). Then the mappin A is called a Smarandache isomorphism i (L, ) = (G, ), hence we write (L, ) (G, ). An S-loop (L, ) is called a G-Smarandache loop(gs-loop) i and only i (L, ) (G, ) or all S-loop isotopes (G, ) o (L, ). Deinition 2.7 Let (G, ) be a Smarandache loop with an S-subroup H. { Ω(G, ) = (θr, θl }., θ) AUT(G, ) or some, H : hθ H, h H 3. Main Results 3. Smarandache Bryant Schneider Group Theorem 3. Let (G, ) be a Smarandache loop. SBS(G, ) BS(G, ). Proo Let (G, ) be an S-loop with S-subroup H. Comparin Deinitions 2.4 and 2.5, it can easily be observed that SBS(G, ) BS(G, ). The case SBS(G, ) BS(G, ) is possible when G = H where H is the S-subroup o G but this will be a contradiction since G is an S-loop. Identity. I I is the identity mappin on G, then hi = h H, h H and there exists e H where e is the identity element in G such that (IRe, IL e, I) = (I, I, I) AUT(G, ). So, I SBS(G, ). Thus SBS(G, ) is non-empty. Closure and Inverse. Let α, β SBS(G, ). Then there exist,, 2, 2 H such that
4 54 Tèmító. pé. Gbó. láhàn Jaíyéọlá A = (αr, α), B = (βr 2, βl 2, β) AUT(G, ). AB = (αr, α)(r 2 β, L 2 β, β ) = (αr R 2 β L 2 β, αβ ) AUT(G, ). Let δ = βr R 2 β and γ = βl L 2 β. Then, (αβ δ, αβ γ, αβ ) AUT(G, ) (xαβ δ) (yαβ γ) = (x y)αβ x, y G. Puttin y = e and replacin x by xβα, we have (xδ) (eαβ γ) = x or all x G. Similarly, puttin x = e and replacin y by yβα, we have (eαβ δ) (yγ) = y or all y G. Thence, xδr (eαβ γ) = x and yγl (eαβ δ) = y which implies that δ = R (eαβ γ) and γ = L (eαβ δ). Thus, since = eαβ γ, = eαβ δ H then AB = (αβ R, αβ L, αβ ) AUT(G, ) αβ SBS(G, ). Thereore, SBS(G, ) BS(G, ). Corollary 3. Let (G, ) be a Smarandache loop. Then, SBS(G, ) SSY M(G, ) SY M(G, ). Hence, SBS(G, ) is the Smarandache Bryant-Schneider roup(sbs roup) o the S-loop (G, ). Proo Althouh the act that SBS(G, ) SY M(G, ) ollows rom Theorem 3. and the act in [Theorem, [5]] that BS(G, ) SY M(G, ). Nevertheless, it can also be traced rom the acts that SBS(G, ) SSY M(G, ) and SSY M(G, ) SY M(G, ). It is easy to see that SSY M(G, ) SY M(G, ) and that SBS(G, ) SSY M(G, ) while the trivial cases SSY M(G, ) SY M(G, ) and SBS(G, ) SSY M(G, ) will contradict the act that G is an S-loop because these two are possible i the S-subroup H is G. Reasonin throuh the axioms o a roup, it is easy to show that SSY M(G, ) SY M(G, ). By usin the same steps in Theorem 3., it will be seen that SBS(G, ) SSY M(G, ). 3.2 The SBS Group o a Smarandache, -principal isotope Theorem 3.2 Let (G, ) be a S-loop with a Smarandache, -principal isotope (G, ). Then, (G, ) is an S-loop. Proo Let (G, ) be an S-loop, then there exist an S-subroup (H, ) o G. I (G, ) is a Smarandache, -principal isotope o (G, ), then x y = xr yl, x, y G which implies x y = xr yl, x, y G
5 On Smarandache Bryant Schneider Group o a Smarandache Loop 55 where, H. So h h 2 = h R h 2 L, h, h 2 H or some, H. Let us now consider the set H under the operation. That is the pair (H, ). Groupoid. Since, H, then by the deinition h h 2 = h R H, h, h 2 H since (H, ) is a roupoid. Thus, (H, ) is a roupoid. h 2 L, h h 2 Quasiroup. With the deinition h h 2 = h R h 2 L, h, h 2 H, it is clear that (H, ) is a quasiroup since (H, ) is a quasiroup. Loop. It can easily be seen that is an identity element in (H, ). So, (H, ) is a loop. Group. Since (H, ) is a associative, it is easy to show that (H, ) is associative. Hence, (H, ) is an S-subroup in (G, ) since the latter is a loop(a quasiroup with identity element ). Thereore, (G, ) is an S-loop. Theorem 3.3 Let (G, ) be a Smarandache loop with an S-subroup (H, ). A mappin θ SY M(G, ) is a S-special map i and only i θ is an S-isomorphism o (G, ) onto some Smarandache, -principal isotopes (G, ) where, H. Proo By Deinition 2.3, a mappin θ SSY M(G) is a S-special map implies there exist, H such that (θr, θl, θ) AUT(G, ). It can be observed that (θr, θl, θ) = (θ, θ, θ)(r, L, I) AUT(G, ). But since (R, L, I) : (G, ) (G, ) then or (θr, θl, θ) AUT(G, ) we must have (θ, θ, θ) : (G, ) (G, ) which means (G, ) θ θ = (G, ), hence (G, ) (G, ) because (H, )θ = (H, ). (R, L, I) : (G, ) (G, ) is an, -principal isotopism so (G, ) is a Smarandache, -principal isotope o (G, ) by Theorem 3.2. Conversely, i θ is an S-isomorphism o (G, ) onto some Smarandache, -principal isotopes (G, ) where, H such that (H, ) is a S-subroup o (G, ) means (θ, θ, θ) : (G, ) (G, ), (R, L, I) : (G, ) (G, ) which implies (R, L, I) : (G, ) (G, ) and (H, )θ = (H, ). Thus, (θr, θl, θ) AUT(G, ). Thereore, θ is a S-special map because, H. Corollary 3.2 Let (G, ) be a Smarandache loop with an S-subroup (H, ). A mappin θ SBS(G, ) i and only i θ is an S-isomorphism o (G, ) onto some Smarandache, -principal isotopes (G, ) such that, H where (H, ) is an S-subroup o (G, ). Proo This ollows rom Deinition 2.5 and Theorem 3.3. Theorem 3.4 Let (G, ) and (G, ) be S-loops. (G, ) is a Smarandache, -principal isotope o (G, ) i and only i (G, ) is a Smarandache, -principal isotope o (G, ). Proo Let (G, ) and (G, ) be S-loops such that i (H, ) is an S-subroup in (G, ), then (H, ) is an S-subroup o (G, ). The let and riht translation maps relative to an element x
6 56 Tèmító. pé. Gbó. láhàn Jaíyéọlá in (G, ) shall be denoted by L x and R x respectively. I (G, ) is a Smarandache, -principal isotope o (G, ) then, x y = xr yl, x, y G or some, H. Thus, xr y = xr R yl and yl x = yl L xr x, y G and we have R y = R R yl and L x = L L xr, x, y G. So, R y = R R yl and L x = L L xr = x, y G. Puttin y = and x = respectively, we now et R = R R L L L R = L. That is, R = R and L = L or some, H. Recall that x y = xr yl, x, y G x y = xr So usin the last two translation equations, yl, x, y G. x y = xr yl, x, y G the triple (R, L, I) : (G, ) (G, ) = R and L = is a Smarandache, -principal isotopism. Thereore, (G, ) is a Smarandache, -principal isotope o (G, ). The converse is achieved by doin the reverse o the procedure described above. Theorem 3.5 I (G, ) is an S-loop with a Smarandache, -principal isotope (G, ), then SBS(G, ) = SBS(G, ). Proo Let (G, ) be the Smarandache, -principal isotope o the S-loop (G, ) with S- subroup (H, ). By Theorem 3.2, (G, ) is an S-loop with S-subroup (H, ). The let and riht translation maps relative to an element x in (G, ) shall be denoted by L x and R x respectively. Let α SBS(G, ), then there exist, H so that (αr, α) AUT(G, ). Recall that the triple (R, L, I) : (G, ) (G, ) is a Smarandache, -principal isotopism, so x y = xr yl, x, y G and this implies R x = R R xl and L x = L L xr, x G which also implies that R xl = R R x and L xr = L L x, x G which inally ives R x = R R xl and L x = L L xr, x G. Set 2 = αr R and 2 = αl L. Then R 2 = R R αl L L = R R αl, () L 2 = L L αr R R = L L αr, x G. (2) Since, (αr, α) AUT(G, ), then (xαr ) (yαl ) = (x y)α, x, y G. (3)
7 On Smarandache Bryant Schneider Group o a Smarandache Loop 57 Puttin y = and x = separately in the last equation, xαr R (αl ) = xr α and yαl L (αr ) = yl α, x, y G. Thus by applyin () and (2), we now have αr = R αr = R (αl ) αr 2 R and αl = L αl = L (αr ) αl 2 L. (4) We shall now compute (x y)α by (2) and (3) and then see the outcome. (x y)α = (xr yl )α = xr αr yl αl = xr yαl 2 L = xαr 2 yαl 2, x, y G. xαr 2 R Thus, R αr 2 R yl L αl 2 L = (x y)α = xαr 2 yαl 2, x, y G (αr 2 2, α) AUT(G, ) α SBS(G, ). Whence, SBS(G, ) SBS(G, ). Since (G, ) is the Smarandache, -principal isotope o the S-loop (G, ), then by Theorem 3.4, (G, ) is the Smarandache, -principal isotope o (G, ). So ollowin the steps above, it can similarly be shown that SBS(G, ) SBS(G, ). Thereore, the conclusion that SBS(G, ) = SBS(G, ) ollows. 3.3 Cardinality Formulas Theorem 3.6 Let (G, ) be a inite Smarandache loop with n distinct S-subroups. I the SBS roup o (G, ) relative to an S-subroup (H i, ) is denoted by SBS i (G, ), then BS(G, ) = n n SBS i (G, ) [BS(G, ) : SBS i (G, )]. i= Proo Let the n distinct S-subroups o G be denoted by H i, i =, 2, n. Note here that H i H j, i, j =, 2, n. By Theorem 3., SBS i (G, ) BS(G, ), i =, 2, n. Hence, by the Larane s theorem o classical roup theory, BS(G, ) = SBS i (G, ) [BS(G, ) : SBS i (G, )], i =, 2, n. Thus, addin the equation above or all i =, 2, n, we et n n BS(G, ) = SBS i (G, ) [BS(G, ) : SBS i (G, )], i =, 2, n, thence, i= BS(G, ) = n SBS i (G, ) [BS(G, ) : SBS i (G, )]. n i= Theorem 3.7 Let (G, ) be a Smarandache loop. Then, Ω(G, ) AUT(G, ). Proo Let (G, ) be an S-loop with S-subroup H. By Deinition 2.7, it can easily be observed that Ω(G, ) AUT(G, ).
8 58 Tèmító. pé. Gbó. láhàn Jaíyéọlá Identity. I I is the identity mappin on G, then hi = h H, h H and there exists e H where e is the identity element in G such that (IRe, IL e, I) = (I, I, I) AUT(G, ). So, (I, I, I) Ω(G, ). Thus Ω(G, ) is non-empty. Closure and Inverse. Let A, B Ω(G, ). Then there exist α, β SSY M(G, ) and some,, 2, 2 H such that A = (αr, α), B = (βr 2, βl 2, β) AUT(G, ). AB = (αr, α)(r 2 β, L 2 β, β ) = (αr R 2 β L 2 β, αβ ) AUT(G, ). Usin the same techniques or the proo o closure and inverse in Theorem 3. here and by lettin δ = βr R 2 β and γ = βl L 2 β, it can be shown that, AB = (αβ R, αβ L, αβ ) AUT(G, ) where = eαβ γ, = eαβ δ H such that αβ SSY M(G, ) AB Ω(G, ). Thereore, Ω(G, ) AUT(G, ). Theorem 3.8 Let (G, ) be a Smarandache loop with an S-subroup H such that, H and α SBS(G, ). I the mappin Φ : Ω(G, ) SBS(G, ) is deined as Φ : (αr then Φ is an homomorphism., αl, α) α, Proo Let A, B Ω(G, ). Then there exist α, β SSY M(G, ) and some,, 2, 2 H such that A = (αr, α), B = (βr 2, βl 2, β) AUT(G, ). Φ(AB) = Φ[(αR, α)(βr 2, βl 2, β)] = Φ(αR βr 2 βl 2, αβ). It will be ood i this can be written as; Φ(AB) = Φ(αβδ, αβγ, αβ) such that hαβ H h H and δ = R, γ = L or some, H. This is done as ollows. I (αr βr 2 βl 2, αβ) = (αβδ, αβγ, αβ) AUT(G, ), then, xαβδ yαβγ = (x y)αβ, x, y G. Put y = e and replace x by xβ α then xδ eαβγ = x δ = R eαβγ. Similarly, put x = e and replace y by yβ α. Then, eαβδ yγ = y γ = L eαβδ. So, Φ(AB) = (αβr eαβγ, αβl eαβδ, αβ) = αβ = Φ(αR, α)φ(βr 2, βl 2, β) = Φ(A)Φ(B).
9 On Smarandache Bryant Schneider Group o a Smarandache Loop 59 Thereore, Φ is an homomorphism. Theorem 3.9 Let (G, ) be a Smarandache loop with an S-subroup H such that, H and α SSY M(G, ). I the mappin then, Φ : Ω(G, ) SBS(G, ) is deined as Φ : (αr A = (αr, αl, αl, α) kerφ i and only i α, α) α is the identity map on G, is the identity element o (G, ) and N µ (G, ) the middle nucleus o (G, ). Proo For the necessity, kerφ = {A Ω(G, ) : Φ(A) = I}. So, i A = (αr, α) kerφ, then Φ(A) = α = I. Thus, A = (R, L, I) AUT(G, ) x y = xr Replace x by xr and y by yl in (5) to et yl, x, y G. (5) x y = x y, x, y G. (6) Puttin x = y = e in (6), we et = e. Replace y by yl Put x = e in (7), then we have yl in (6) to et x yl = x y, x, y G. (7) = y, y G and so (7) now becomes x (y) = x y, x, y G N µ (G, ). For the suiciency, let α be the identity map on G, the identity element o (G, ) and N µ (G, ). Thus, = = e =. Thus, = e. Then also, y = y = y y G which results into yl xr α yl α = xr Thus, Φ(A) = Φ(αR = y y G. Thus, it can be seen that xαr yαl yl = xr y = (xr )y = xr, α) = Φ(R, L, I) = I A kerφ. = xr yl R y = x y = (x y)α, x, y G. = Theorem 3.0 Let (G, ) be a Smarandache loop with an S-subroup H such that, H and α SSY M(G, ). I the mappin Φ : Ω(G, ) SBS(G, ) is deined as Φ : (αr, α) α then, N µ (G, ) = kerφ and Ω(G, ) = SBS(G, ) N µ (G, ). Proo Let the identity map on G be I. Usin Theorem 3.9, i θ = (R, L, I), N µ (G, ) then, θ : N µ (G, ) kerφ. θ is easily seen to be a bijection, hence N µ (G, ) = kerφ.
10 60 Tèmító. pé. Gbó. láhàn Jaíyéọlá Since Φ is an homomorphism by Theorem 3.8, then by the irst isomorphism theorem in classical roup theory, Ω(G, )/ kerφ = ImΦ. Φ is clearly onto, so ImΦ = SBS(G, ), so that Ω(G, )/ kerφ = SBS(G, ). Thus, Ω(G, )/ kerφ = SBS(G, ). By Larane s theorem, Ω(G, ) = kerφ Ω(G, )/ kerφ, so, Ω(G, ) = kerφ SBS(G, ), Ω(G, ) = N µ (G, ) SBS(G, ). Theorem 3. Let (G, ) be a Smarandache loop with an S-subroup H. I Θ(G, ) = {(, ) H H : (G, ) (G, ) or (G, ) the Smarandache principal, isotope o (G, )}, then Ω(G, ) = Θ(G, ) SA(G, ). Proo Let A, B Ω(G, ). Then there exist α, β SSY M(G, ) and some,, 2, 2 H such that A = (αr, α), B = (βr 2, βl 2, β) AUT(G, ). Deine a relation on Ω(G, ) such that A B = 2 and = 2. It is very easy to show that is an equivalence relation on Ω(G, ). It can easily be seen that the equivalence class [A] o A Ω(G, ) is the inverse imae o the mappin Ψ : Ω(G, ) Θ(G, ) deined as Ψ : (αr, α) (, ). I A, B Ω(G, ) then Ψ(A) = Ψ(B) i and only i (, ) = ( 2, 2 ) so, = 2 and = 2. Since Ω(G, ) AUT(G, ) by Theorem 3.7, then AB = (αr, α)(βr 2, βl 2, β) = (αr R 2 β L 2 β, αβ ) = (αβ, αβ, αβ ) AUT(G, ) αβ SA(G, ). So, A B αβ SA(G, ) and (, ) = ( 2, 2 ). Whence, [A] = SA(G, ). But each A = (αr, α) Ω(G, ) is determined by some, H. So since the set {[A] : A Ω(G, )} o all equivalence classes partitions Ω(G, ) by the undamental theorem o equivalence relation, Ω(G, ) =, H [A] =, H SA(G, ) = Θ(G, ) SA(G, ). Thereore, Ω(G, ) = Θ(G, ) SA(G, ). Theorem 3.2 Let (G, ) be a inite Smarandache loop with a inite S-subroup H. (G, ) is S-isomorphic to all its S-loop S-isotopes i and only i (H, ) 2 SA(G, ) = SBS(G, ) N µ (G, ).
11 On Smarandache Bryant Schneider Group o a Smarandache Loop 6 Proo As shown in [Corollary 5.2, [2]], an S-loop is S-isomorphic to all its S-loop S-isotopes i and only i it is S-isomorphic to all its Smarandache, principal isotopes. This will happen i and only i H H = Θ(G, ) where Θ(G, ) is as deined in Theorem 3.. Since Θ(G, ) H H then it is easy to see that or a inite Smarandache loop with a inite S-subroup H, H H = Θ(G, ) i and only i H 2 = Θ(G, ). So the proo is complete by Theorems Corollary 3.3 Let (G, ) be a inite Smarandache loop with a inite S-subroup H. (G, ) is a GS-loop i and only i (H, ) 2 SA(G, ) = SBS(G, ) N µ (G, ). Proo This ollows by the deinition o a GS-loop and Theorem 3.2. Lemma 3. Let (G, ) be a inite GS-loop with a inite S-subroup H and a middle nucleus N µ (G, ). SBS(G, ) (H, ) = N µ (G, ) (H, ) = SA(G, ). Proo From Corollary 3.3, ()I (H, ) = N µ (G, ), then (H, ) 2 SA(G, ) = SBS(G, ) N µ (G, ). (H, ) SA(G, ) = SBS(G, ) = (H, ) = SBS(G, ) SA(G, ). (2)I (H, ) = SBS(G, ) SA(G, ), then (H, ) SA(G, ) = SBS(G, ). Hence, multiplyin both sides by (H, ), So that (H, ) 2 SA(G, ) = SBS(G, ) (H, ). SBS(G, ) N µ (G, ) = SBS(G, ) (H, ) = (H, ) = N µ (G, ). Corollary 3.4 Let (G, ) be a inite GS-loop with a inite S-subroup H. I N µ (G, ), then, SBS(G, ) n SBS(G, ) (H, ) =. Hence, (G, ) = or some n. SA(G, ) SA(G, ) Proo By hypothesis, {e} H G. In a loop, N µ (G, ) is a subroup, hence i N µ (G, ), then, we can take (H, ) = N µ (G, ). So that (H, ) = N µ (G, ). Thus by Lemma 3., (H, ) = SBS(G, ) SA(G, ).
12 62 Tèmító. pé. Gbó. láhàn Jaíyéọlá As shown in [Section.3, [8]], a loop L obeys the Larane s theorem relative to a subloop H i and only i H(hx) = Hx or all x L and or all h H. This condition is obeyed by N µ (G, ), hence there exists n N such that (H, ) (G, ) = (G, ) = SBS(G, ) SA(G, ) n SBS(G, ). SA(G, ) (G, ) = But i n =, then (G, ) = (H, ) = (G, ) = (H, ) hence (G, ) is a roup which is a contradiction to the act that (G, ) is an S-loop. Thereore, (G, ) = n SBS(G, ) SA(G, ) or some natural numbers n. Reerences [] J. O. Adeniran (2002), The study o properties o certain class o loops via their Bryant- Schneider roup, Ph.D thesis, University o Ariculture, Abeokuta. [2] J. O. Adeniran (2002), More on the Bryant-Schneider roup o a conjuacy closed loop. Proc. Janjeon Math. Soc. 5, no., [3] R. H. Bruck (966), A survey o binary systems, Spriner-Verla, Berlin-Göttinen-Heidelber, 85pp. [4] B. F. Bryant and H. Schneider (966), Principal loop-isotopes o quasiroups, Canad. J. Math. 8, [5] O. Chein, H. O. Pluelder and J. D. H. Smith (990), Quasiroups and loops : Theory and applications, Heldermann Verla, 568pp. [6] V. O. Chiboka (996), The Bryant-Schneider roup o an extra loop, Collection o Scientiic papers o the Faculty o Science, Kraujevac, 8, [7] J. Déne and A. D. Keedwell (974), Latin squares and their applications, the Enlish University press Lts, 549pp. [8] E. G. Goodaire, E. Jespers and C. P. Milies (996), Alternative loop rins, NHMS(84), Elsevier, 387pp. [9] T. G. Jaíyéọlá (2006), An holomorphic study o the Smarandache concept in loops, Scientia Mana Journal, Vol.2, No., -8. [0] T. G. Jaíyéọlá (2006), Parastrophic invariance o Smarandache quasiroups, Scientia Mana Journal, Vol.2, No.3, [] T. G. Jaíyéọlá (2006), On the universality o some Smarandache loops o Bol-Mouan type, Scientia Mana Journal, Vol.2, No.4, [2] T. G. Jaíyéọlá (2008), Smarandache isotopy theory o Smarandache: quasiroups and loops, Proceedins o the 4 th International Conerence on Number Theory and Smarandache Problems, Scientia Mana Journal. Vol.4, No.,
13 On Smarandache Bryant Schneider Group o a Smarandache Loop 63 [3] A. S. Muktibodh (2006), Smarandache quasiroups, Scientia Mana Journal, Vol.2, No., 3-9. [4] H. O. Pluelder (990), Quasiroups and loops : Introduction, Sima series in Pure Math. 7, Heldermann Verla, Berlin, 47pp. [5] D. A. Robinson (980), The Bryant-Schneider roup o a loop, Extract Des Ann. De la Sociiét é Sci. De Brucellaes, Tome 94, II-II, [6] W. B. Vasantha Kandasamy (2002), Smarandache loops, Department o Mathematics, Indian Institute o Technoloy, Madras, India, 28pp. [7] W. B. Vasantha Kandasamy (2002), Smarandache Loops, Smarandache notions journal, 3,
The Smarandache Bryant Schneider Group Of A Smarandache Loop
The Smarandache Bryant Schneider Group O A Smarandache Loop Tèmító. pé. Gbó. láhàn Jaíyéọlá Department o Mathematics, Obaemi Awolowo University, Ile Ie, Nieria. jaiyeolatemitope@yahoo.com, tjayeola@oauie.edu.n
More informationON THE UNIVERSALITY OF SOME SMARANDACHE LOOPS OF BOL-MOUFANG TYPE
arxiv:math/0607739v2 [math.gm] 8 Sep 2007 ON THE UNIVERSALITY OF SOME SMARANDACHE LOOPS OF BOL-MOUFANG TYPE Tèmítópé Gbóláhàn Jaíyéọlá Department o Mathematics, Obaemi Awolowo University, Ile Ie, Nieria.
More informationAn holomorphic study of Smarandache automorphic and cross inverse property loops
Scientia Magna Vol. 4 (2008), No. 1, 102-108 An holomorphic study of Smarandache automorphic and cross inverse property loops Tèmító. pé. Gbó. láhàn Jaíyéọlá Department of Mathematics, Obafemi Awolowo
More informationSmarandache isotopy of second Smarandache Bol loops
Scientia Mana Vol. 7 (2011), No. 1, 82-93 Smarandache isotopy o second Smarandache Bol loops Tèmító. pé. Gbó. láhàn Jaíyéọlá Department o Mathematics, Obaemi Awolowo University, Ile Ie 220005, Nieria E-mail:
More informationA Pair of Smarandachely Isotopic Quasigroups and Loops of the Same Variety
International J.Math. Combin. Vol.1 (2008), 36-44 A Pair of Smarandachely Isotopic Quasigroups and Loops of the Same Variety Tèmító. pé. Gbó. láhàn Jaíyéọlá (Department of Mathematics, Obafemi Awolowo
More informationBasic Properties Of Second Smarandache Bol Loops
Basic Properties Of Second Smarandache Bol Loops Tèmító.pé. Gbó.láhàn Jaíyéọlá Department of Mathematics, Obafemi Awolowo University, Ile Ife, Nigeria. jaiyeolatemitope@yahoo.com, tjayeola@oauife.edu.ng
More informationSome isotopy-isomorphy conditions for m-inverse quasigroups and loops
An. Şt. Univ. Ovidius Constanţa Vol. 16(2), 2008, 57 66 Some isotopy-isomorphy conditions for m-inverse quasigroups and loops Tèmító. pé. Gbó. láhàn JAÍYÉỌLÁ Abstract This work presents a special type
More informationSmarandache Isotopy Of Second Smarandache Bol Loops
Smarandache Iotopy O Second Smarandache Bol Loop Tèmító.pé. Gbó.láhàn Jaíyéọlá Department o Mathematic, Obaemi Awolowo Univerity, Ile Ie 220005, Nieria. jaiyeolatemitope@yahoo.com, tjayeola@oauie.edu.n
More informationOn central loops and the central square property
On central loops and the central square property arxiv:0707.1441v [math.gm] 5 Jun 008 Tèmító.pé. Gbó.láhàn Jaiyéọlá 1 & John Olúsọlá Adéníran Abstract The representation sets of a central square C-loop
More informationOn A Cryptographic Identity In Osborn Loops
On A Cryptographic Identity In Osborn Loops T. G. Jaiyéọlá Department of Mathematics, Obafemi Awolowo University, Ile Ife 220005, Nigeria. jaiyeolatemitope@yahoo.com tjayeola@oauife.edu.ng J. O. Adéníran
More informationOn Middle Universal m-inverse Quasigroups And Their Applications To Cryptography
On Middle Universal m-inverse Quasigroups And Their Applications To Cryptography Tèmítópé Gbóláhàn Jaíyéọlá Department of Mathematics, Obafemi Awolowo University, Ile Ife, Nigeria jaiyeolatemitope@yahoocom,
More informationOn Middle Universal Weak and Cross Inverse Property Loops With Equal Length Of Inverse Cycles
On Middle Universal Weak and Cross Inverse Property Loops With Equal Length Of Inverse Cycles Tèmítópé Gbóláhàn Jaíyéọlá Department of Mathematics, Obafemi Awolowo University, Ile Ife, Nigeria jaiyeolatemitope@yahoocom,
More informationTHE GORENSTEIN DEFECT CATEGORY
THE GORENSTEIN DEFECT CATEGORY PETTER ANDREAS BERGH, DAVID A. JORGENSEN & STEFFEN OPPERMANN Dedicated to Ranar-Ola Buchweitz on the occasion o his sixtieth birthday Abstract. We consider the homotopy cateory
More informationINTERSECTION THEORY CLASSES 20 AND 21: BIVARIANT INTERSECTION THEORY
INTERSECTION THEORY CLASSES 20 AND 21: BIVARIANT INTERSECTION THEORY RAVI VAKIL CONTENTS 1. What we re doin this week 1 2. Precise statements 2 2.1. Basic operations and properties 4 3. Provin thins 6
More informationMath 216A. A gluing construction of Proj(S)
Math 216A. A gluing construction o Proj(S) 1. Some basic deinitions Let S = n 0 S n be an N-graded ring (we ollows French terminology here, even though outside o France it is commonly accepted that N does
More informationSEPARATED AND PROPER MORPHISMS
SEPARATED AND PROPER MORPHISMS BRIAN OSSERMAN The notions o separatedness and properness are the algebraic geometry analogues o the Hausdor condition and compactness in topology. For varieties over the
More informationSEPARATED AND PROPER MORPHISMS
SEPARATED AND PROPER MORPHISMS BRIAN OSSERMAN Last quarter, we introduced the closed diagonal condition or a prevariety to be a prevariety, and the universally closed condition or a variety to be complete.
More informationSPLITTING OF SHORT EXACT SEQUENCES FOR MODULES. 1. Introduction Let R be a commutative ring. A sequence of R-modules and R-linear maps.
SPLITTING OF SHORT EXACT SEQUENCES FOR MODULES KEITH CONRAD 1. Introduction Let R be a commutative rin. A sequence o R-modules and R-linear maps N M P is called exact at M i im = ker. For example, to say
More informationMath 754 Chapter III: Fiber bundles. Classifying spaces. Applications
Math 754 Chapter III: Fiber bundles. Classiying spaces. Applications Laurențiu Maxim Department o Mathematics University o Wisconsin maxim@math.wisc.edu April 18, 2018 Contents 1 Fiber bundles 2 2 Principle
More informationA Peter May Picture Book, Part 1
A Peter May Picture Book, Part 1 Steve Balady Auust 17, 2007 This is the beinnin o a larer project, a notebook o sorts intended to clariy, elucidate, and/or illustrate the principal ideas in A Concise
More informationVALUATIVE CRITERIA BRIAN OSSERMAN
VALUATIVE CRITERIA BRIAN OSSERMAN Intuitively, one can think o separatedness as (a relative version o) uniqueness o limits, and properness as (a relative version o) existence o (unique) limits. It is not
More informationVALUATIVE CRITERIA FOR SEPARATED AND PROPER MORPHISMS
VALUATIVE CRITERIA FOR SEPARATED AND PROPER MORPHISMS BRIAN OSSERMAN Recall that or prevarieties, we had criteria or being a variety or or being complete in terms o existence and uniqueness o limits, where
More informationOn Picard value problem of some difference polynomials
Arab J Math 018 7:7 37 https://doiorg/101007/s40065-017-0189-x Arabian Journal o Mathematics Zinelâabidine Latreuch Benharrat Belaïdi On Picard value problem o some dierence polynomials Received: 4 April
More informationClassification of effective GKM graphs with combinatorial type K 4
Classiication o eective GKM graphs with combinatorial type K 4 Shintarô Kuroki Department o Applied Mathematics, Faculty o Science, Okayama Uniervsity o Science, 1-1 Ridai-cho Kita-ku, Okayama 700-0005,
More informationDiscrete Mathematics. On the number of graphs with a given endomorphism monoid
Discrete Mathematics 30 00 376 384 Contents lists available at ScienceDirect Discrete Mathematics journal homepage: www.elsevier.com/locate/disc On the number o graphs with a given endomorphism monoid
More informationUMS 7/2/14. Nawaz John Sultani. July 12, Abstract
UMS 7/2/14 Nawaz John Sultani July 12, 2014 Notes or July, 2 2014 UMS lecture Abstract 1 Quick Review o Universals Deinition 1.1. I S : D C is a unctor and c an object o C, a universal arrow rom c to S
More informationHALF-ISOMORPHISMS OF MOUFANG LOOPS
HALF-ISOMORPHISMS OF MOUFANG LOOPS MICHAEL KINYON, IZABELLA STUHL, AND PETR VOJTĚCHOVSKÝ Abstract. We prove that if the squaring map in the factor loop of a Moufang loop Q over its nucleus is surjective,
More informationProbabilistic Observations and Valuations (Extended Abstract) 1
Replace this ile with prentcsmacro.sty or your meeting, or with entcsmacro.sty or your meeting. Both can be ound at the ENTCS Macro Home Page. Probabilistic Observations and Valuations (Extended Abstract)
More informationCategories and Quantum Informatics: Monoidal categories
Cateories and Quantum Inormatics: Monoidal cateories Chris Heunen Sprin 2018 A monoidal cateory is a cateory equipped with extra data, describin how objects and morphisms can be combined in parallel. This
More informationTriangulated categories and localization
Trianulated cateories and localization Karin Marie Jacobsen Master o Science in Physics and Mathematics Submission date: Januar 212 Supervisor: Aslak Bakke Buan, MATH Norweian University o Science and
More information(C) The rationals and the reals as linearly ordered sets. Contents. 1 The characterizing results
(C) The rationals and the reals as linearly ordered sets We know that both Q and R are something special. When we think about about either o these we usually view it as a ield, or at least some kind o
More informationMATHEMATICAL COMBINATORICS
ISSN 1937-1055 VOLUME 2, 2009 INTERNATIONAL JOURNAL OF MATHEMATICAL COMBINATORICS EDITED BY THE MADIS OF CHINESE ACADEMY OF SCIENCES July, 2009 Vol.2, 2009 ISSN 1937-1055 International Journal of Mathematical
More informationCategories and Natural Transformations
Categories and Natural Transormations Ethan Jerzak 17 August 2007 1 Introduction The motivation or studying Category Theory is to ormalise the underlying similarities between a broad range o mathematical
More informationCLASS NOTES MATH 527 (SPRING 2011) WEEK 6
CLASS NOTES MATH 527 (SPRING 2011) WEEK 6 BERTRAND GUILLOU 1. Mon, Feb. 21 Note that since we have C() = X A C (A) and the inclusion A C (A) at time 0 is a coibration, it ollows that the pushout map i
More informationA CLASS OF LOOPS CATEGORICALLY ISOMORPHIC TO UNIQUELY 2-DIVISIBLE BRUCK LOOPS
A CLASS OF LOOPS CATEGORICALLY ISOMORPHIC TO UNIQUELY 2-DIVISIBLE BRUCK LOOPS MARK GREER Abstract. We define a new variety of loops we call Γ-loops. After showing Γ-loops are power associative, our main
More informationSEMIGROUPS OF TRANSFORMATIONS WITH INVARIANT SET
J Korean Math Soc 48 (2011) No 2 pp 289 300 DOI 104134/JKMS2011482289 SEMIGROUPS OF TRANSFORMATIONS WITH INVARIANT SET Preeyanuch Honyam and Jintana Sanwong Abstract Let T (X) denote the semigroup (under
More informationCategorical Background (Lecture 2)
Cateorical Backround (Lecture 2) February 2, 2011 In the last lecture, we stated the main theorem o simply-connected surery (at least or maniolds o dimension 4m), which hihlihts the importance o the sinature
More informationWEAK AND STRONG CONVERGENCE OF AN ITERATIVE METHOD FOR NONEXPANSIVE MAPPINGS IN HILBERT SPACES
Applicable Analysis and Discrete Mathematics available online at http://pemath.et.b.ac.yu Appl. Anal. Discrete Math. 2 (2008), 197 204. doi:10.2298/aadm0802197m WEAK AND STRONG CONVERGENCE OF AN ITERATIVE
More informationGENERALIZED ABSTRACT NONSENSE: CATEGORY THEORY AND ADJUNCTIONS
GENERALIZED ABSTRACT NONSENSE: CATEGORY THEORY AND ADJUNCTIONS CHRIS HENDERSON Abstract. This paper will move through the basics o category theory, eventually deining natural transormations and adjunctions
More informationOn Mikheev s construction of enveloping groups
Comment.Math.Univ.Carolin. 51,2(2010) 245 252 245 On Mikheev s construction of enveloping groups J.I. Hall Astract. Mikheev, starting from a Moufang loop, constructed a groupoid and reported that this
More informationSTRONGLY GORENSTEIN PROJECTIVE MODULES OVER UPPER TRIANGULAR MATRIX ARTIN ALGEBRAS. Shanghai , P. R. China. Shanghai , P. R.
STRONGLY GORENSTEIN PROJETIVE MODULES OVER UPPER TRINGULR MTRIX RTIN LGERS NN GO PU ZHNG Department o Mathematics Shanhai University Shanhai 2444 P R hina Department o Mathematics Shanhai Jiao Ton University
More informationProblem Set. Problems on Unordered Summation. Math 5323, Fall Februray 15, 2001 ANSWERS
Problem Set Problems on Unordered Summation Math 5323, Fall 2001 Februray 15, 2001 ANSWERS i 1 Unordered Sums o Real Terms In calculus and real analysis, one deines the convergence o an ininite series
More informationFinite Dimensional Hilbert Spaces are Complete for Dagger Compact Closed Categories (Extended Abstract)
Electronic Notes in Theoretical Computer Science 270 (1) (2011) 113 119 www.elsevier.com/locate/entcs Finite Dimensional Hilbert Spaces are Complete or Dagger Compact Closed Categories (Extended bstract)
More informationCLASSIFICATION OF GROUP EXTENSIONS AND H 2
CLASSIFICATION OF GROUP EXTENSIONS AND H 2 RAPHAEL HO Abstract. In this paper we will outline the oundations o homoloical alebra, startin with the theory o chain complexes which arose in alebraic topoloy.
More informationSlowly Changing Function Oriented Growth Analysis of Differential Monomials and Differential Polynomials
Slowly Chanin Function Oriented Growth Analysis o Dierential Monomials Dierential Polynomials SANJIB KUMAR DATTA Department o Mathematics University o kalyani Kalyani Dist-NadiaPIN- 7235 West Benal India
More informationFactors of words under an involution
Journal o Mathematics and Inormatics Vol 1, 013-14, 5-59 ISSN: 349-063 (P), 349-0640 (online) Published on 8 May 014 wwwresearchmathsciorg Journal o Factors o words under an involution C Annal Deva Priya
More informationIn the index (pages ), reduce all page numbers by 2.
Errata or Nilpotence and periodicity in stable homotopy theory (Annals O Mathematics Study No. 28, Princeton University Press, 992) by Douglas C. Ravenel, July 2, 997, edition. Most o these were ound by
More informationThe Category of Sets
The Cateory o Sets Hans Halvorson October 16, 2016 [[Note to students: this is a irst drat. Please report typos. A revised version will be posted within the next couple o weeks.]] 1 Introduction The aim
More informationContinuous Solutions of a Functional Equation Involving the Harmonic and Arithmetic Means
Continuous Solutions o a Functional Equation Involving the Harmonic and Arithmetic Means Rebecca Whitehead and Bruce Ebanks aculty advisor) Department o Mathematics and Statistics Mississippi State University
More informationTransversals in loops. 1. Elementary properties. 1. Introduction
Quasigroups and Related Systems 18 (2010), 43 58 Transversals in loops. 1. Elementary properties Eugene Kuznetsov Devoted to the memory of Valentin D. Belousov (1925-1988) Abstract. A new notion of a transversal
More informationA CHARACTERIZATION OF CENTRAL EXTENSIONS IN THE VARIETY OF QUANDLES VALÉRIAN EVEN, MARINO GRAN AND ANDREA MONTOLI
Pré-Publicações do Departamento de Matemática Universidade de Coimbra Preprint Number 15 12 CHRCTERIZTION OF CENTRL EXTENSIONS IN THE VRIETY OF QUNDLES VLÉRIN EVEN, MRINO GRN ND NDRE MONTOLI bstract: The
More informationSection 18 Rings and fields
Section 18 Rings and fields Instructor: Yifan Yang Spring 2007 Motivation Many sets in mathematics have two binary operations (and thus two algebraic structures) For example, the sets Z, Q, R, M n (R)
More informationThe Clifford algebra and the Chevalley map - a computational approach (detailed version 1 ) Darij Grinberg Version 0.6 (3 June 2016). Not proofread!
The Cliord algebra and the Chevalley map - a computational approach detailed version 1 Darij Grinberg Version 0.6 3 June 2016. Not prooread! 1. Introduction: the Cliord algebra The theory o the Cliord
More informationarxiv: v1 [math.gt] 20 Feb 2008
EQUIVALENCE OF REAL MILNOR S FIBRATIONS FOR QUASI HOMOGENEOUS SINGULARITIES arxiv:0802.2746v1 [math.gt] 20 Feb 2008 ARAÚJO DOS SANTOS, R. Abstract. We are going to use the Euler s vector ields in order
More informationarxiv: v1 [math.gt] 11 Aug 2008
Link invariants from finite Coxeter racks Sam Nelson Ryan Wieghard arxiv:0808.1584v1 [math.gt] 11 Aug 2008 Abstract We study Coxeter racks over Z n and the knot and link invariants they define. We exploit
More informationIMA Preprint Series # 2066
THE CARDINALITY OF SETS OF k-independent VECTORS OVER FINITE FIELDS By S.B. Damelin G. Michalski and G.L. Mullen IMA Preprint Series # 2066 ( October 2005 ) INSTITUTE FOR MATHEMATICS AND ITS APPLICATIONS
More informationQuiz 2 Practice Problems
Quiz 2 Practice Problems Math 332, Spring 2010 Isomorphisms and Automorphisms 1. Let C be the group of complex numbers under the operation of addition, and define a function ϕ: C C by ϕ(a + bi) = a bi.
More informationCentral Limit Theorems and Proofs
Math/Stat 394, Winter 0 F.W. Scholz Central Limit Theorems and Proos The ollowin ives a sel-contained treatment o the central limit theorem (CLT). It is based on Lindeber s (9) method. To state the CLT
More informationIdeals Of The Ring Of Higher Dimensional Dual Numbers
Journal of Advances in Algebra (AA). ISSN 0973-6964 Volume 9, Number 1 (2016), pp. 1 8 Research India Publications http://www.ripublication.com/aa.htm Ideals Of The Ring Of Higher Dimensional Dual Numbers
More informationGENERAL ABSTRACT NONSENSE
GENERAL ABSTRACT NONSENSE MARCELLO DELGADO Abstract. In this paper, we seek to understand limits, a uniying notion that brings together the ideas o pullbacks, products, and equalizers. To do this, we will
More informationVariations on a Casselman-Osborne theme
Variations on a Casselman-Osborne theme Dragan Miličić Introduction This paper is inspired by two classical results in homological algebra o modules over an enveloping algebra lemmas o Casselman-Osborne
More informationIntroduction to Neutrosophic BCI/BCK-Algebras
Introduction to Neutrosophic BCI/BCK-Algebras A.A.A. Agboola 1 and B. Davvaz 2 1 Department of Mathematics, Federal University of Agriculture, Abeokuta, Nigeria aaaola2003@yahoo.com 2 Department of Mathematics,
More informationSimpler Functions for Decompositions
Simpler Functions or Decompositions Bernd Steinbach Freiberg University o Mining and Technology, Institute o Computer Science, D-09596 Freiberg, Germany Abstract. This paper deals with the synthesis o
More informationCATEGORIES. 1.1 Introduction
1 CATEGORIES 1.1 Introduction What is category theory? As a irst approximation, one could say that category theory is the mathematical study o (abstract) algebras o unctions. Just as group theory is the
More informationIsomorphisms. 0 a 1, 1 a 3, 2 a 9, 3 a 7
Isomorphisms Consider the following Cayley tables for the groups Z 4, U(), R (= the group of symmetries of a nonsquare rhombus, consisting of four elements: the two rotations about the center, R 8, and
More informationGroupoids and Smarandache Groupoids
W. B. Vasantha Kandasamy Groupoids and Smarandache Groupoids 2 4 3 A Z B A A 2 B B 2 A 2 Z 2 B 2 American Research Press Rehoboth 22 W. B. Vasantha Kandasamy Department of Mathematics Indian Institute
More informationBECK'S THEOREM CHARACTERIZING ALGEBRAS
BEK'S THEOREM HARATERIZING ALGEBRAS SOFI GJING JOVANOVSKA Abstract. In this paper, I will construct a proo o Beck's Theorem characterizin T -alebras. Suppose we have an adjoint pair o unctors F and G between
More informationRepresentation Theory of Hopf Algebroids. Atsushi Yamaguchi
Representation Theory o H Algebroids Atsushi Yamaguchi Contents o this slide 1. Internal categories and H algebroids (7p) 2. Fibered category o modules (6p) 3. Representations o H algebroids (7p) 4. Restrictions
More informationTheorem Let J and f be as in the previous theorem. Then for any w 0 Int(J), f(z) (z w 0 ) n+1
(w) Second, since lim z w z w z w δ. Thus, i r δ, then z w =r (w) z w = (w), there exist δ, M > 0 such that (w) z w M i dz ML({ z w = r}) = M2πr, which tends to 0 as r 0. This shows that g = 2πi(w), which
More informationSOME STRUCTURAL PROPERTIES OF HYPER KS-SEMIGROUPS
italian journal of pure and applied mathematics n. 33 2014 (319 332) 319 SOME STRUCTURAL PROPERTIES OF HYPER KS-SEMIGROUPS Bijan Davvaz Department of Mathematics Yazd University Yazd Iran e-mail: davvaz@yazduni.ac.ir
More informationN-ALGEBRAIC STRUCTURES AND S-N-ALGEBRAIC STRUCTURES
N-ALGEBRAIC STRUCTURES AND S-N-ALGEBRAIC STRUCTURES W. B. Vasantha Kandasamy, e-mail: vasantha@iitm.ac.in, web: http://mat.iitm.ac.in/~wbv, for N-Groups, N-Loops, N-Groupoids, Mixed N-Algebraic Structures,
More informationFINITE SEMISIMPLE LOOP ALGEBRAS OF INDECOMPOSABLE RA LOOPS. 1. Introduction
INITE SEMISIMPLE LOOP ALGEBRAS O INDECOMPOSABLE RA LOOPS SWATI SIDANA AND R. K. SHARMA Abstract. There are at the most seven classes of finite indecomposable RA loops upto isomorphism. In this paper, we
More informationHomomorphisms. The kernel of the homomorphism ϕ:g G, denoted Ker(ϕ), is the set of elements in G that are mapped to the identity in G.
10. Homomorphisms 1 Homomorphisms Isomorphisms are important in the study of groups because, being bijections, they ensure that the domain and codomain groups are of the same order, and being operation-preserving,
More informationSolution of the Synthesis Problem in Hilbert Spaces
Solution o the Synthesis Problem in Hilbert Spaces Valery I. Korobov, Grigory M. Sklyar, Vasily A. Skoryk Kharkov National University 4, sqr. Svoboda 677 Kharkov, Ukraine Szczecin University 5, str. Wielkopolska
More informationLogarithm of a Function, a Well-Posed Inverse Problem
American Journal o Computational Mathematics, 4, 4, -5 Published Online February 4 (http://www.scirp.org/journal/ajcm http://dx.doi.org/.436/ajcm.4.4 Logarithm o a Function, a Well-Posed Inverse Problem
More informationOn pseudoisomorphy and distributivity of quasigroups
BULETINUL ACADEMIEI DE ŞTIINŢE A REPUBLICII MOLDOVA. MATEMATICA Number 2(81), 2016, Pages 125 142 ISSN 1024 7696 On pseudoisomorphy and distributivity of quasigroups Fedir M. Sokhatsky Abstract. A repeated
More informationDERIVED CATEGORIES AND THEIR APPLICATIONS
REVISTA DE LA UNIÓN MATEMÁTICA ARGENTINA Volumen 48, Número 3, 2007, Páinas 1 26 DERIVED CATEGORIES AND THEIR APPLICATIONS Abstract In this notes we start with the basic deinitions o derived cateories,
More informationAutomorphism Groups of Simple Moufang Loops over Perfect Fields
Automorphism Groups of Simple Moufang Loops over Perfect Fields By GÁBOR P. NAGY SZTE Bolyai Institute Aradi vértanúk tere 1, H-6720 Szeged, Hungary e-mail: nagyg@math.u-szeged.hu PETR VOJTĚCHOVSKÝ Department
More informationDerivation, f-derivation and generalized derivation of KUS-algebras
PURE MATHEMATICS RESEARCH ARTICLE Derivation, -derivation and generalized derivation o KUS-algebras Chiranjibe Jana 1 *, Tapan Senapati 2 and Madhumangal Pal 1 Received: 08 February 2015 Accepted: 10 June
More informationFINITE IRREFLEXIVE HOMOMORPHISM-HOMOGENEOUS BINARY RELATIONAL SYSTEMS 1
Novi Sad J. Math. Vol. 40, No. 3, 2010, 83 87 Proc. 3rd Novi Sad Algebraic Conf. (eds. I. Dolinka, P. Marković) FINITE IRREFLEXIVE HOMOMORPHISM-HOMOGENEOUS BINARY RELATIONAL SYSTEMS 1 Dragan Mašulović
More informationAlgebra homework 6 Homomorphisms, isomorphisms
MATH-UA.343.005 T.A. Louis Guigo Algebra homework 6 Homomorphisms, isomorphisms Exercise 1. Show that the following maps are group homomorphisms and compute their kernels. (a f : (R, (GL 2 (R, given by
More informationChristoffel symbols and Gauss Theorema Egregium
Durham University Pavel Tumarkin Epiphany 207 Dierential Geometry III, Solutions 5 (Week 5 Christoel symbols and Gauss Theorema Egregium 5.. Show that the Gauss curvature K o the surace o revolution locally
More informationLecture Note of Week 2
Lecture Note of Week 2 2. Homomorphisms and Subgroups (2.1) Let G and H be groups. A map f : G H is a homomorphism if for all x, y G, f(xy) = f(x)f(y). f is an isomorphism if it is bijective. If f : G
More informationPossible orders of nonassociative Moufang loops by
Possible orders of nonassociative Moufang loops by Orin Chein Department of Mathematics Temple University 1805 North Broad Street Philadelphia, PA 19122 and Andrew Rajah School of Mathematical Sciences
More informationConjugate Loops: An Introduction
International Mathematical Forum, Vol. 8, 2013, no. 5, 223-228 Conjugate Loops: An Introduction A. Batool, A. Shaheen and A. Ali Department of Mathematics Quaid-i-Azam University, Islamabad, Pakistan afshan_batoolqau@yahoo.com
More informationFunctions. Introduction
Functions,00 P,000 00 0 y 970 97 980 98 990 99 000 00 00 Fiure Standard and Poor s Inde with dividends reinvested (credit "bull": modiication o work by Prayitno Hadinata; credit "raph": modiication o work
More informationDIFFERENTIAL POLYNOMIALS GENERATED BY SECOND ORDER LINEAR DIFFERENTIAL EQUATIONS
Journal o Applied Analysis Vol. 14, No. 2 2008, pp. 259 271 DIFFERENTIAL POLYNOMIALS GENERATED BY SECOND ORDER LINEAR DIFFERENTIAL EQUATIONS B. BELAÏDI and A. EL FARISSI Received December 5, 2007 and,
More informationSolutions for Assignment 4 Math 402
Solutions for Assignment 4 Math 402 Page 74, problem 6. Assume that φ : G G is a group homomorphism. Let H = φ(g). We will prove that H is a subgroup of G. Let e and e denote the identity elements of G
More informationSlopes of Lefschetz fibrations and separating vanishing cycles
Slopes of Lefschetz fibrations and separatin vanishin cycles Yusuf Z. Gürtaş Abstract. In this article we find upper and lower bounds for the slope of enus hyperelliptic Lefschetz fibrations. We demonstrate
More informationIsomorphisms between pattern classes
Journal of Combinatorics olume 0, Number 0, 1 8, 0000 Isomorphisms between pattern classes M. H. Albert, M. D. Atkinson and Anders Claesson Isomorphisms φ : A B between pattern classes are considered.
More information9.3 Graphing Functions by Plotting Points, The Domain and Range of Functions
9. Graphing Functions by Plotting Points, The Domain and Range o Functions Now that we have a basic idea o what unctions are and how to deal with them, we would like to start talking about the graph o
More information1 Categories, Functors, and Natural Transformations. Discrete categories. A category is discrete when every arrow is an identity.
MacLane: Categories or Working Mathematician 1 Categories, Functors, and Natural Transormations 1.1 Axioms or Categories 1.2 Categories Discrete categories. A category is discrete when every arrow is an
More informationOn regularity of sup-preserving maps: generalizing Zareckiĭ s theorem
Semigroup Forum (2011) 83:313 319 DOI 10.1007/s00233-011-9311-0 RESEARCH ARTICLE On regularity o sup-preserving maps: generalizing Zareckiĭ s theorem Ulrich Höhle Tomasz Kubiak Received: 7 March 2011 /
More informationInverse Properties in Neutrosophic Triplet Loop and Their Application to Cryptography
algorithms Article Inverse Properties in Neutrosophic Triplet Loop and Their Application to Cryptography Temitope Gbolahan Jaiyeola 1 ID and Florentin Smarandache 2, * ID 1 Department of Mathematics, Obafemi
More informationLIMITS AND COLIMITS. m : M X. in a category G of structured sets of some sort call them gadgets the image subset
5 LIMITS ND COLIMITS In this chapter we irst briely discuss some topics namely subobjects and pullbacks relating to the deinitions that we already have. This is partly in order to see how these are used,
More informationNew Algebraic Properties of Middle Bol Loops
New Algebraic Properties of Middle Bol Loops arxiv:1606.09169v1 [math.gr] 28 Jun 2016 T. G. Jaiyéọlá Department of Mathematics, Obafemi Awolowo University, Ile Ife 220005, Nigeria. jaiyeolatemitope@yahoo.com
More informationRELATIVE GOURSAT CATEGORIES
RELTIVE GOURST CTEGORIES JULI GOEDECKE ND TMR JNELIDZE bstract. We deine relative Goursat cateories and prove relative versions o the equivalent conditions deinin reular Goursat cateories. These include
More informationJ. M. Almira A MONTEL-TYPE THEOREM FOR MIXED DIFFERENCES
Rendiconti Sem. Mat. Univ. Pol. Torino Vol. 75, 2 (2017), 5 10 J. M. Almira A MONTEL-TYPE THEOREM FOR MIXED DIFFERENCES Abstract. We prove a generalization o classical Montel s theorem or the mixed dierences
More informationUniversity of Cape Town
The copyright o this thesis rests with the. No quotation rom it or inormation derived rom it is to be published without ull acknowledgement o the source. The thesis is to be used or private study or non-commercial
More informationMath 547, Exam 1 Information.
Math 547, Exam 1 Information. 2/10/10, LC 303B, 10:10-11:00. Exam 1 will be based on: Sections 5.1, 5.2, 5.3, 9.1; The corresponding assigned homework problems (see http://www.math.sc.edu/ boylan/sccourses/547sp10/547.html)
More information