Holomorphic Structure of Middle Bol Loops
arXiv:1801.01384v1 [math.GR] 3 Jan 2018

T. G. Jaiyéo.lá‡
Department of Mathematics,
Obafemi Awolowo University,
Ile Ife 220005, Nigeria.
jaiyeolatemitope@yahoo.com
tjayeola@oauife.edu.ng

∗†

S. P. David
Department of Mathematics,
Obafemi Awolowo University,
Ile Ife 220005, Nigeria.
davidsp4ril@yahoo.com

E. Ilojide
Department of Mathematics,
Federal University of Agriculture,
Abeokuta 110101, Nigeria.
emmailojide@yahoo.com
ilojidee@unaab.edu.ng

Y. T. Oyebo
Department of Mathematics,
Lagos State University,
Ojo, Lagos State, Nigeria
oyeboyt@yahoo.com
yakub.oyebo@lasu.edu.ng

Abstract
A loop (Q, ·, \, /) is called a middle Bol loop if it obeys the identity x(yz\x) =
(x/z)(y\x). To every right (left) Bol loop corresponds a middle Bol loop via an
isostrophism. In this paper, the structure of the holomorph of a middle Bol loop
is explored. For some special types of automorphisms, the holomorph of a commutative loop is shown to be a commutative middle Bol loop if and only if the loop is a
middle Bol loop and its automorphism group is abelian and a subgroup of both the
group of middle regular mappings and the right multiplication group. It was found
that commutativity (flexibility) is a necessary and sufficient condition for holomorphic
invariance under the existing isostrophy between middle Bol loops and the corresponding right (left) Bol loops. The right combined holomorph of a middle Bol loop and
its corresponding right (left) Bol loop was shown to be equal to the holomorph of the
middle Bol loop if and only if the automorphism group is abelian and a subgroup of
the multiplication group of the middle Bol loop. The obedience of an identity dependent on automorphisms was found to be a necessary and sufficient condition the left
combined holomorph of a middle Bol loop and its corresponding left Bol loop to be
equal to the holomorph of the middle Bol loop.
∗

2010 Mathematics Subject Classification. Primary 20N02, 20N05
Keywords and Phrases : holomorph of loop, Bol loops, middle Bol loops
‡
All correspondence to be addressed to this author.

†

1

1

Introduction

Let G be a non-empty set. Define a binary operation (·) on G. If x · y ∈ G for all x, y ∈ G,
then the pair (G, ·) is called a groupoid or magma.
If for any a, b ∈ G, each of the equations:
a·x =b

and

y·a=b

has unique solutions in G for x and y respectively, then (G, ·) is called a quasigroup.
If there exists a unique element e ∈ G called the identity element such that for all x ∈ G,
x · e = e · x = x, (G, ·) is called a loop. We write xy instead of x · y, and stipulate that (·) has
lower priority than juxtaposition among factors to be multiplied. For instance, x · yz stands
for x(yz).
It can now be seen that a groupoid (G, ·) is a quasigroup if its left and right translation
mappings are bijections or permutations. Since the left and right translation mappings of a
−1
loop are bijective, then the inverse mappings L−1
x and Rx exist. Let
x\y = yL−1
x = yLx = xRy

and

x/y = xRy−1 = xRy = yLx

and

x/y = z ⇐⇒ z · y = x.

and note that
x\y = z ⇐⇒ x · z = y

Hence, (G, \) and (G, /) are also quasigroups. Using the operations (\) and (/), the definition
of a loop can be stated as follows.
Definition 1.1. A loop (G, ·, /, \, e) is a set G together with three binary operations (·),
(/), (\) and one nullary operation e such that
(i) x · (x\y) = y, (y/x) · x = y for all x, y ∈ G,
(ii) x\(x · y) = y, (y · x)/x = y for all x, y ∈ G and
(iii) x\x = y/y or e · x = x for all x, y ∈ G.
We also stipulate that (/) and (\) have higher priority than (·) among factors to be
multiplied. For instance, x · y/z and x · y\z stand for x(y/z) and x · (y\z) respectively.
In a loop (G, ·) with identity element e, the left inverse element of x ∈ G is the element
xJλ = xλ ∈ G such that
xλ · x = e
while the right inverse element of x ∈ G is the element xJρ = xρ ∈ G such that
x · xρ = e.
The group of all permutations on G is called
D the permutation group
E of G and de−1
noted by SY M(G). The groups Mρ (L, ·) = {Rx , Rx
: x ∈ G} and M(L, ·) =
2

D

E
{Rx , Rx−1 , Lx , L−1
:
x
∈
G}
are called the right multiplication group and multiplicax
tion group of (G, ·) and, Mρ (L, ·) ≤ M(G, ·) ≤ SY M(G).
For an overview of the theory of loops, readers may check [5, 7, 9, 11, 17, 21, 25, 30].
A loop satisfying the identical relation
(xy · z)y = x(yz · y)

(1)

is called a right Bol loop. A loop satisfying the identical relation
(x · yx)z = x(y · xz)

(2)

is called a left Bol loop.
A loop (Q, ·) is called a middle Bol if it satisfies the identity
x(yz\x) = (x/z)(y\x)

(3)

It is known that the identity (3) is universal under loop isotopy and that the universality of
(3) implies the power associativity of the middle Bol loops (Grecu and Syrbu [12]). Furthermore, (3) is a necessary and sufficient condition for the universality of the anti-automorphic
inverse property (Syrbu [28]). They were originally introduced in 1967 by Belousov [3] and
were later considered in 1971 by Gvaramiya [14], who proved that a loop (Q, ◦) is middle
Bol if and only if there exists a right Bol loop (Q, ·) such that
x ◦ y = (y · xy −1 )y, for every x, y ∈ Q.

(4)

This result of Gvaramiya [14] is formally stated below:
Theorem 1.1. If (Q, ·) is a left (right) Bol loop then the groupoid (Q, ◦), where x ◦ y =
y(y −1x · y) (respectively, x ◦ y = (y · xy −1)y), for all x, y ∈ Q , is a middle Bol loop and,
conversely, if (Q, ◦) is a middle Bol loop then there exists a left(right) Bol loop (Q, ·) such
that x ◦ y = y(y −1x · y) (respectively, x ◦ y = (y · xy −1 )y), for all x, y ∈ Q.
Remark 1.1. Theorem 1.1 implies that if (Q, ·) is a left Bol loop and (Q, ◦) is the
corresponding middle Bol loop then x ◦ y = x/y −1 and x · y = x//y −1 , where ”/” (”//”) is
the right division in (Q, ·) (respectively, in (Q, ◦)). Similarly, if (Q, ·) is a right Bol loop
and (Q, ◦) is the corresponding middle Bol loop then x ◦ y = y −1\y and x · y = y//x−1 ,
where ”\” (”//”) is the left (right) division in (Q, ·) (respectively, in (Q, ◦)). Hence, middle
Bol loops are isostrophs of left and right Bol loops.
If (Q, ◦) is a middle Bol loop and (Q, ·) is the corresponding left Bol loop, then (Q, ∗),
where x ∗ y = y · x, for every x, y ∈ Q, is the corresponding right Bol loop for (Q, ◦). So,
(Q, ·) is a left Bol loop, (Q, ∗) is a right Bol loop and
x ◦ y = y(y −1x · y) = [y ∗ (x ∗ y −1)] ∗ y,
for every x, y ∈ Q.
3

After then, middle Bol loops resurfaced in literature not until 1994 and 1996 when Syrbu
[26, 27] considered them in-relation to the universality of the elasticity law.
In 2003, Kuznetsov ([30]), while studying gyrogroups (a special class of Bol loops) established some algebraic properties of middle Bol loops and designed a method of constructing
a middle Bol loop from a gyrogroup. According to him, in a middle Bol loop (Q, ·) with
identity element e, the following are true.
1. The left inverse element xλ and the right inverse xρ to an element x ∈ Q coincide :
xλ =xρ .
2. If (Q, ·, e) is a left Bol loop and ”/” is the right inverse operation to the operation ” · ”
, then the operation x ◦ y = x/y −1 is a middle Bol loop (Q, ◦, e), and every one middle
Bol loop can be obtained in a similar way from some left Bol loop.
These confirm the observations of earlier authors mentioned above.
In 2010, Syrbu [28] studied the connections between structure and properties of middle
Bol loops and of the corresponding left Bol loops. It was noted that two middle Bol loops
are isomorphic if and only if the corresponding left (right) Bol loops are isomorphic, and
a general form of the autotopisms of middle Bol loops was deduced. Relations between
different sets of elements, such as nucleus, left (right,middle) nuclei, the set of Moufang
elements, the center, e.t.c. of a middle Bol loop and left Bol loops were established.
In 2012, Grecu and Syrbu [12] proved that two middle Bol loops are isotopic if and only if
the corresponding right (left) Bol loops are isotopic. They also proved that a middle Bol loop
(Q, ◦) is flexible if and only if the corresponding right Bol loop (Q, ·) satisfies the identity
−1
(yx)−1 · x−1 · y −1 x = x.

In 2012, Drapal and Shcherbacov [10] rediscovered the middle Bol identities in a new
way.
In 2013, Syrbu and Grecu [29] established a necessary and sufficient condition for the
quotient loops of a middle Bol loop and of its corresponding right Bol loop to be isomorphic.
In 2014, Grecu and Syrbu [13] established:
1. that the commutant (centrum) of a middle Bol loop is an AIP-subloop and
2. a necessary and sufficient condition when the commutant is an invariant under the
existing isostrophy between middle Bol loop and the corresponding right Bol loop.

In 1994, Syrbu [26], while studying loops with universal elasticity (xy · x = x · yx)
established a necessary and sufficient condition (xy/z)(b\xz) = x(b\[(by/z)(b\xz)]) for a
loop (Q, ·, \, /) to be universally elastic. Furthermore, she constructed some finite examples
of loops in which this condition and the middle Bol identity x(yz\x) = (x/z)(y\x) are
equivalent, and then posed an open problem of investigating if these two identities are also
equivalent in all other finite loops.
In 2012, Drapal and Shcherbacov [10] reported that Kinyon constructed a non-flexible
middle Bol loop of order 16. In 2015, we discovered new algebraic properties of middle Bol
loops in Jaiyéo.lá et.al. [19].
4

Interestingly, Adeniran [1] and Robinson [22], Chiboka and Solarin [8], Bruck [4], Bruck
and Paige [6], Robinson [23], Huthnance [15] and Adeniran [1] have respectively studied
the holomorphs of Bol loops, conjugacy closed loops, inverse property loops, A-loops, extra
loops, weak inverse property loops and Bruck loops. A set of results on the holomorph of
some varieties of loops can be found in Jaiyeola [17]. The latest studies on the holomorph
of generalized Bol loops can be found in Adeniran et. al. [2] and Jaiyeola and Popoola [18].
Isere et. al. [16] studied the holomorphy of Osborn loops.
In this paper, our objective is to explore holomorphic structure of a middle Bol loop.
Before this, we shall take some definitions and state some important results which will be
often used.
For any quasigroup (Q, ·), the group of autotopisms under componentwise composition
is given by
AT P (Q, ·) = {T = (U, V, W ) ∈ SY M(Q)3 | xU · yV = (x · y)W ∀ x, y ∈ Q}.
If U = V = W , then U is called an automorphism of (Q, ·) and the set of such mappings
forms a group AUT (Q, ·) called the automorphism group of (Q, ·). We now introduce the
set of anti-autotopisms given by
AAT P (Q, ·) = {T ′ =< U ′ , V ′ , W ′ >∈ SY M(Q)3 | xU ′ · yV ′ = (y · x)W ′ ∀ x, y ∈ Q}.
Definition 1.2. Let (G, ·) be a quasigroup. Then
1. a bijection U is called autotopic if there exists (U, V, W ) ∈ AT P (G, ·); the set of all
such mappings forms a group Σ(G, ·).
2. a bijection U is called middle regular (µ-regular) if there exists a bijection U ′ such
that (U, U ′−1 , I) ∈ AT P (G, ·). U ′ is called the adjoint of U. The set of all µ-regular
mappings forms a group Φ(G, ·) ≤ Σ(G, ·). The set of all adjoint mapping forms a
group Ψ(G, ·).
Definition 1.3. Let (L, ·) be a loop. The pair (H, ◦) = H(L, ·) given by
H = A(L) × L where A(L) ≤ AUT (L, ·)
such that (α, x) ◦ (β, y) = (αβ, xβ · y)
for all (α, x), (β, y) ∈ H is called the A(L)-Holomorph of (L, ·).
We shall need the following results.
Lemma 1.1. Let (L, ·) be a loop. An A(L)-Holomorph (H, ◦) = H(L, ·) of (L, ·) is a loop.
Proposition 1.1. (Grecu and Syrbu [12])
Let (Q, ◦) be a middle Bol loop and let (Q, ·) be a corresponding right(left) Bol loop.
Then, AT P (Q, ·) = AT P (Q, ◦).
5

2
2.1

Main Results
Holomorph of a Middle Bol Loop

Lemma 2.1. Let (L, ·, /, \) be a loop with holomorph H(L, ·). The following are equivalent:
(a) H(L, ·) is a middle Bol loop.
(b) (xδ) · (y · zδ)\x = (x/z)δ · y\x ∀ x, y, z ∈ L, δ ∈ A(L).
(c) (xδ) · (y · zδ)\x = (xδ/zδ) · y\x ∀ x, y, z ∈ L, δ ∈ A(L).
(d) hδ −1 Lx δ, Rx , Rx Lxδ i ∈ AAT P (L, ·) ∀ x ∈ L, δ ∈ A(L).
Proof. We desire a necessary and sufficient condition for
x(yz\x) = (x/z)(y\x)
Now, (α, x) ◦ (β, y) = (γ, z) ⇒ (γ, z)/(β, y) = (α, x),
so, (αβ, xβ · y) = (γ, z)
⇒ α = γβ −1 , x = (z/y)β −1


∴ (γ, z)/(β, y) = γβ −1 , (z/y)β −1

(5)

Also, (α, x) ◦ (β, y) = (γ, z) ⇒ (β, y) = (α, x)\(γ, z).
Thus, (αβ, xβ · y) = (γ, z)
⇒ β = α−1 γ, y = (xα−1 γ)\z


∴ (β, y) = α−1 γ, (xα−1 γ)\z = (α, x)\(γ, z)

We want to find a necessary and sufficient condition for

(α, x) ◦ [(β, y) ◦ (γ, z)\(α, x)] = [(α, x)/(γ, x)] ◦ [(β, y)\(α, x)]
LHS = (α, x) ◦ [(β, y) ◦ (γ, z)\(α, x)]


= (α, x) ◦ (βγ)−1 α, (yγ · z)γ −1 β −1α\x


= (α, x) ◦ (βγ)−1 α, yβ −1α · zγ −1 β −1 α\x .


∴ LHS = αγ −1 β −1 α, (xγ −1 β −1 α) · (yβ −1α · zγ −1 β −1 α)\x .
RHS = [(α, x)/(γ, x)] ◦ [(β, y)\(α, x)]
 


= αγ −1 , (x/z)γ −1 ◦ β −1 α, (yβ −1α)\x .


∴ RHS = αγ −1 β −1 α, (x/z)γ −1 β −1 α · (yβ −1α)\x .
6

(6)

LHS = RHS ⇔
(xγ −1 β −1α) · (yβ −1α · zγ −1 β −1 α)\x = (x/z)γ −1 β −1 α · (yβ −1α)\x.
Let δ = γ −1 β −1 α, then
(xδ) · (yγδ · zδ)\x = (x/z)δ · (yγδ)\x
Replacing y by y(γδ)−1, we get
(xδ) · (y(γδ)−1γδ · zδ)\x = (x/z)δ · (y(γδ)−1γδ)\x
⇐⇒ (xδ) · (y · zδ)\x = (x/z)δ · y\x = (xδ/zδ) · y\x

(7)

Note that yδ = (y/z)δ · zδ ⇒ yδ/zδ = (y/z)δ.
By writing equation (7) in translation form, we have:
(xδ) · (y · zδ)Rx = (zLx )δ · yRx
⇐⇒ (y · zδ)Rx Lxδ = zLx δ · yRx .
Replacing z by zδ −1 , we have;
(y · zδ −1 δ)Rx Lxδ = zδ −1 Lx δ · yRx
⇐⇒ (y · z)Rx Lxδ = zδ −1 Lx δ · yRx
⇐⇒ hδ −1 Lx δ, Rx , Rx Lxδ i ∈ AAT P (L, ·).

Lemma 2.2. Let (L, ·, /, \) be a loop with holomorph H(L, ·). Then H(L, ·) is a commutative
loop if and only if A(L, ·) is an abelian group and hβ, α−1, Ii ∈ AAT P (L, ·) ∀ α, β ∈ A(L).
Proof.
Let (α, x) ◦ (β, y) = (αβ, xβ · y) = LHS and
(β, y) ◦ (α, x) = (βα, yα · x) = RHS.
Then, LHS = RHS ⇔
(αβ, xβ · y) = (βα, yα · x) ⇔
αβ = βα, xβ · yα−1 = yx ⇔
αβ = βα and hβ, α−1, Ii ∈ AAT P (L, ·).

Corollary 2.1. Let (L, ·, /, \) be a commutative loop with holomorph H(L, ·). Then (H, ◦) =
H(L, ·) is a commutative loop if and only if A(L, ·) is an abelian group and (β, α−1, I) ∈
AT P (L, ·) ∀ α, β ∈ A(L).
7

Proof. Use Lemma 2.2.
Corollary 2.2. Let (L, ·, /, \) be a commutative loop with holomorph H(L, ·). Then (H, ◦) =
H(L, ·) is a commutative loop if and only if A(L, ·) is an abelian group and β ∈ Φ(L, ·), β ′ =
α ∈ Ψ(L, ·) for each (α, β) ∈ A(L)2 .
Proof. Use Corollary 2.1.
Lemma 2.3. Let (L, ·, /, \) be a commutative middle Bol loop with an holomorph (H, ◦) =
H(L, ·). If:
1. δ = δ(x, z) = R(z\x) Rz−1 for each δ ∈ A(L) and for arbitrarily fixed x, z ∈ L; and
−1
2. R−1
w Ryδ = Ry Rw Rwδ ∀ y, w ∈ L and δ ∈ A(L),

then H(L, ·) is a middle Bol loop.
Proof. Observe that
−1
hδ −1 Lx δ, Rx , Rx Lxδ i = (δ −1 , Rx , I) ◦ hLx , Rx , Rx Lx i ◦ (δ, R−1
x , Lx Lxδ ).

On one hand, (δ −1 , Rx , I) ∈ AT P (L, ·) ⇔ yδ −1 · zRx = yz
⇔ yδ −1(z\x) = yRz ⇔ δ −1 R(z\x) = Rz ⇔ δ = δ(x, z) = R(z\x) Rz−1 .
−1
On another hand, (δ, R−1
w , Lw Lwδ ) ∈ AT P (L, ·) ⇔
−1
−1
−1
yδ · vR−1
w = (yv)Lw Lwδ ⇔ vRw Lyδ = vLy Lw Lwδ
−1
−1
−1
⇔ R−1
w Lyδ = Ly Lw Lwδ ⇔ Rw Ryδ = Ry Rw Rxδ .

−1
Lemma 2.4. Let (L, ·, /, \) be a commutative loop such that R−1
w Ryδ = Ry Rw Rwδ , ∀ w, y ∈
L and δ ∈ A(L). (H, ◦) = H(L, ·) is a middle Bol loop if and only if (L, ·) is a middle Bol
loop and δ = δ(x, z) = R(z\x) Rz−1 for each δ ∈ A(L) and for arbitrarily fixed x, z ∈ L.

Proof. This is similar to Lemma 2.3.
Theorem 2.1. Let (L, ·, /, \) be a commutative loop such that R−1
=
w Ryδ
Ry Rw−1 Rwδ , ∀ w, y ∈ L and δ ∈ A(L). (H, ◦) = H(L, ·) is a commutative middle
Bol loop if and only if
1. (L, ·) is a middle Bol loop;
2. A(L) is an abelian group;
3. δ = δ(x, z) = R(z\x) Rz−1 for each δ ∈ A(L) and for arbitrarily fixed x, z ∈ L; and
4. β ∈ Φ(L, ·), β ′ = α ∈ Ψ(L, ·) for each (α, β) ∈ A(L)2 .
Proof. Use Lemma 2.4 and Corollary 2.2.
8

Corollary 2.3. Let (L, ·, /, \) be a commutative loop such that R−1
=
w Ryδ
−1
Ry Rw Rwδ , ∀ w, y ∈ L and δ ∈ A(L). (H, ◦) = H(L, ·) is a commutative middle Bol
loop if and only if (L, ·) is a middle Bol loop, A(L) ≤ Φ(L, ·) ∩ Mρ(L, ·) and A(L) is an
abelian group.
Proof. Apply Theorem 2.1.
Lemma 2.5. Let (L, ·, /, \) be a commutative loop such that δ = δ(x, z) = R(z\x) Rz−1 for
each δ ∈ A(L) and for arbitrarily fixed x, z ∈ L. (H, ◦) = H(L, ·) is a middle Bol loop if and
−1
only if (L, ·) is a middle Bol loop and R−1
w Ryδ = Ry Rw Rwδ ∀ w, y ∈ L and δ ∈ A(L).
Proof. This is similar to the proof of Lemma 2.4.
Theorem 2.2. Let (L, ·, /, \) be a commutative loop such that δ = δ(x, z) = R(z\x) Rz−1 for
each δ ∈ A(L) and for arbitrarily fixed x, z ∈ L. (H, ◦) = H(L, ·) is a commutative middle
Bol loop if and only if
1. (L, ·) is a middle Bol loop;
2. A(L) is an abelian group;
−1
3. R−1
w Ryδ = Ry Rw Rwδ for all w, y ∈ L and δ ∈ A(L); and

4. β ∈ Φ(L, ·), β ′ = α ∈ Ψ(L, ·) for each (α, β) ∈ A(L)2 .
Proof. Use Lemma 2.5 and Corollary 2.2.
Corollary 2.4. Let (L, ·, /, \) be a commutative loop such that A(L) ∈ Mρ (L, ·). (H, ◦) =
H(L, ·) is a commutative middle Bol loop if and only if (L, ·) is a middle Bol loop, R−1
w Ryδ =
−1
Ry Rw Rwδ , ∀ w, y ∈ L and δ ∈ A(L), A(L) ≤ Φ(L, ·) and A(L) is an abelian group.
Proof. Apply Theorem 2.2.

2.2

Holomorph of a Middle Bol Loop and its Corresponding Right
Bol Loop

Theorem 2.3. Let (Q, ·) be a right Bol loop with holomorph (H, ⊙) and (Q, ∗) its corresponding middle Bol loop with holomorph (H ′ , ⊛). Then (H, ⊙) = (H ′ , ⊛) if and only if
(Q, ·) is commutative.
Proof. Let (Q, ·) be a right Bol loop and (Q, ∗) its corresponding middle Bol loop, then
x ∗ y = (y · xy −1 )y
(H, ⊙) = H(Q, ·) : (α, x) ⊙ (β, y) = (αβ, xβ · y) and
(H ′ , ⊛) = H ′ (Q, ∗) : (γ, x) ⊛ (δ, y) = (γδ, xδ ∗ y)
= (γδ, (y · xδy −1 )y).
9

(8)

Note that: H = A(Q, ·) × (Q, ·). By Proposition 1.1, AUT (Q, ·) = AUT (Q, ∗). So,
H ′ = A(Q, ∗) × (Q, ∗) = A(Q, ·) × (Q, ∗) = H.
Therefore,
(H, ⊙) = H(Q, ·) : (α, x) ⊙ (β, y) = (αβ, xβ · y) and
(H, ⊛) = H(Q, ∗) : (α, x) ⊛ (β, y) = (αβ, xβ ∗ y)


= αβ, (y · xβy −1 )y

(9)

Thus, (H, ⊙) = (H, ⊛) ⇐⇒
xβ · y = (y · xβy −1)y ⇐⇒
xβ = y · xβy −1 ⇐⇒ y\xβ = xβy −1.
In translation form, we have:
xβ = (xβy −1 )Ly ⇐⇒ xβ = xβRy−1 Ly ⇐⇒
β = βRy−1 Ly ⇐⇒ Ry = Ly .
∴ a · y = y · a.

Remark 2.1. Theorem 2.3 means that commutativity is a necessary and sufficient condition for holomorphic invariance under existing isostrophy between middle Bol loops and the
corresponding right Bol loops.

2.3

Right Combined Holomorph of a Middle Bol Loop

Let (Q, ·) and (Q, ∗) be two loops with corresponding A(Q)-holomorphs
H(Q, ·) = (H, ⊙)
T ′
′
′
and A (Q, ∗)-holomorph H (Q, ∗) = (H, ⊛). Let H = A(Q, ·) A (Q, ∗) × Q and define (∗, ·)
on H such that ∀ (α, x), (β, y) ∈ H,
(α, x)(∗, ·)(β, y) = {(β, y) ⊙ [(α, x) ⊙ (β, y)−1]} ⊙ (β, y)
(H, (∗, ·)) is called the right combined holomorph of H(Q, ·) and H ′ (Q, ∗).
Theorem 2.4. Let (Q, ·) be a right Bol loop with
 holomorph
 (H, ⊙) and its corresponding
middle Bol loop (Q, ∗) with holomorph (H, ⊛). If H, (∗, ·) is the right combined holomorph


′
of H(Q, ·) and H (Q, ∗), then H, (∗, ·) = (H ′ , ⊛) if and only if β = β(y) = Ry−1 Lyα L−1
y Ry
for any arbitrarily fixed y ∈ Q and αβ = βα for all α, β ∈ A(Q, ·).

10

Proof. Let (Q, ·) be a right Bol loop and (Q, ∗) its corresponding middle Bol loop, then by
(8), x ∗ y = (y · xy −1 )y. Following the argument from (8) to (9), we have
(H, ⊙) = H(Q, ·) : (α, x) ⊙ (β, y) = (αβ, xβ · y) and
(H, ⊛) = H(Q, ∗) : (α, x) ⊛ (β, y) = (αβ, xβ ∗ y)


−1
= αβ, (y · xβy )y .

It is easy to check that



(β, y)−1 = β −1 , (y −1)β −1

(10)

Thus, (α, x)(⊛, ·)(β, y) = {(β, y) ⊙ [(α, x) ⊙ (β, y)−1]} ⊙ (β, y)
= {(β, y) ⊙ (αβ −1 , xβ −1 · (y −1)β −1 )} ⊙ (β, y)
= (βαβ −1β, [yαβ −1(xβ −1 · (y −1)β −1 )]β · y)
= (βα, [yα(xβ −1β · (y −1))] · y)


−1
= βα, [yα · (xy )]y .

Therefore,




H, (∗, ·) = (H ′, ⊛) ⇔ (α, x)(⊛, ·)(β, y) = (α, x) ⊛ (β, y) ⇐⇒

 

αβ, (y · xβy −1 )y = βα, [yα · (xy −1 )]y ⇐⇒
αβ = βα, (y · xβy −1)y = [yα · (xy −1 )]y) ⇐⇒
αβ = βα, βRy−1Ly = Ry−1 Lyα ⇐⇒
αβ = βα, β = Ry−1 Lyα L−1
y Ry .

Corollary 2.5. Let (Q, ·) be a right Bol loop with
 holomorph
 (H, ⊙) and its corresponding
middle Bol loop (Q, ∗) with holomorph (H, ⊛). If H, (∗, ·) is the right combined holomorph


′
of H(Q, ·) and H (Q, ∗), then H, (∗, ·) = (H ′ , ⊛) if and only if A(Q, ·) ≤ M(Q, ·) and
A(Q, ·) is abelian.
Proof. Apply Theorem 2.4.

11

2.4

Holomorph of a Middle Bol Loop and its Corresponding Left
Bol Loop

Theorem 2.5. Let (Q, ·) be a left Bol loop with holomorph (H, ⊙) and (Q, ∗) its corresponding middle Bol loop with holomorph (H ′ , ⊛). Then (H, ⊙) = (H ′ , ⊛) if and only if (Q, ·) is
flexible.
Proof. Let (Q, ·) be a left Bol loop and (Q, ∗) its corresponding middle Bol loop,
x ∗ y = y(y −1x · y)

(11)

(H, ⊙) = H(Q, ·) : (α, x) ⊙ (β, y) = (αβ, xβ · y) and
(H ′ , ⊛) = H ′ (Q, ∗) : (γ, x) ⊛ (δ, y) = (γδ, xδ ∗ y)


−1
= γδ, y(y xδ · y) .
Note that: H = A(Q, ·) × (Q, ·). By Proposition 1.1, AUT (Q, ·) = AUT (Q, ∗). So,
H ′ = A(Q, ∗) × (Q, ∗) = A(Q, ·) × (Q, ∗) = H.
Therefore, (H, ⊙) = H(Q, ·) : (α, x) ⊙ (β, y) = (αβ, xβ · y) and
(H, ⊛) = H(Q, ∗) : (α, x) ⊛ (β, y) = (αβ, xβ ∗ y)


= αβ, y(y −1xβ · y)

Thus,

(12)

(H, ⊙) = (H, ⊛) ⇐⇒ xβ · y = y(y −1xβ · y) ⇐⇒
βRy Ly−1 = βLy−1 Ry ⇐⇒ Ly Ry = Ry Ly ⇐⇒ (y · a)y = y(a · y).

Remark 2.2. Theorem 2.5 means flexibility is a necessary and sufficient condition for holomorphic invariance under existing isostrophy between middle Bol loops and the corresponding
left Bol loops.

2.5

Left Combined Holomorph of a Middle Bol Loop

Let (Q, ·) and (Q, ∗) be two loops with corresponding A(Q)-holomorphs
H(Q, ·) = (H, ⊙)
T ′
′
′
and A (Q, ∗)-holomorph H (Q, ∗) = (H, ⊛). Let H = A(Q, ·) A (Q, ∗) × Q and define (∗, ·)
on H such that ∀ (α, x), (β, y) ∈ H,
(α, x)[∗, ·](β, y) = (β, y) ⊙ {[(β, y)−1 ⊙ [(α, x)] ⊙ (β, y)}




H, (∗, ·) is called the left combined holomorph of H(Q, ·) and H ′ (Q, ∗).

12

Theorem 2.6. Let (Q, ·) be a left Bol loop with holomorph (H, ⊙) and its corresponding
middle Bol loop (Q, ∗) with holomorph (H, ⊛). If (H, [∗, ·]) is the left combined holomorph
−1
of H(Q, ·) and H ′ (Q, ∗), then (H, [∗, ·]) = (H ′ , ⊛) if and only if L−1
y Ry Ly = Lyφ Ry Lyφ if
and only if y −1φ · y(zy) = (yz · y −1φ)y ∀ y, z ∈ Q and φ ∈ A(Q, ·).
Proof. Let (Q, ·) be a left Bol loop and (Q, ∗) its corresponding middle Bol loop, then by
(11), x ∗ y = y(y −1x · y). Following the argument from (11) to (12), we have
(H, ⊙) = H(Q, ·) : (α, x) ⊙ (β, y) = (αβ, xβ · y) and
(H, ⊛) = H(Q, ∗) : (α, x) ⊛ (β, y) = (αβ, xβ ∗ y)
= (αβ, y(y −1xβ · y).
Keeping (10) in mind, then we have
(α, x)[∗, ·](β, y) = (β, y) ⊙ {[(β, y)−1 ⊙ [(α, x)] ⊙ (β, y)}



−1
−1
−1
= (β, y) ⊙
β α, (y )β α · x ⊙ (β, y)
=




αβ, yβ αβ · [(y )β αβ · xβ]y .
−1

−1

−1

∴, (H, [∗, ·]) = (H ′, ⊛) ⇔ (α, x)[∗, ·](β, y) = (α, x) ⊛ (β, y) ⇐⇒
(αβ, y(y −1xβ · y)) = (αβ, yβ −1αβ · [(y −1)β −1 αβ · xβ]y) ⇐⇒
y(y −1xβ · y) = yβ −1αβ · [(y −1)β −1 αβ · xβ]y) ⇐⇒
−1
βL−1
y Ry Ly = βLyβ −1 αβ Ry Lyβ −1 αβ ⇐⇒
−1
L−1
y Ry Ly = Lyβ −1 αβ Ry Lyβ −1 αβ ⇐⇒
−1
aL−1
y Ry Ly = aLyβ −1 αβ Ry Lyβ −1 αβ , ∀a ∈ Q.

y((y −1 · a)y) = (a · y −1 β −1 αβ)y · Lyβ −1 αβ
y · ((y −1 · a)y) = yβ −1αβ · ((a · y −1 β −1 αβ)y).
Denote β −1 αβ by φ, we have;


y · (y −1 · a)y = yφ · (a · y −1φ)y.

13

References
[1] Adeniran J. O. (2005), On holomorphic theory of a class of left Bol loops, Scientific
Annal of A.I.I Cuza Univ., 51, 1, 23–28.
[2] Adeniran J. O., Jaiyeola T. G. and Idowu K. A. (2014), Holomorph of generalized Bol
loops, Novi Sad Journal of Mathematics, 44 (1), 37–51.
[3] Belousov V. (1967), The Foundations of the Theory of Quasigroups and Loops, Moscow,
Nauka (Russian).
[4] Bruck R. H. (1944), Contributions to the theory of Loops, Trans. Amer. Soc. 55, 245–354.
http://dx.doi.org/10.1090/s0002-9947-1946-0017288-3
[5] Bruck R. H. (1971), A survey of binary systems, Springer-Verlag, Berlin-GöttingenHeidelberg, 185pp.
[6] R. H. Bruck and L. J. Paige (1956), Loops whose inner mappings are automorphisms,
The annals of Mathematics, 63, 2, 308–323. http://dx.doi.org/10.2307/1969612
[7] Chein, O., Pflugfelder, H. O. and Smith, J. D. H. (1990), Quasigroups and loops :
Theory and applications, Heldermann Verlag, 568pp.
[8] Chiboka V. O. and A. R. T. Solarin (1991), Holomorphs of conjugacy closed loops,
Scientific Annals of Al.I.Cuza. Univ. 37, 3, 277–284.
[9] Dénes, J. and Keedwell, A. D. (1974), Latin squares and their applications, the English
University press Lts, 549pp.
[10] Drapal, A. and Shcherbacov, V. (2012), Identities and the group of isostrophisms, Comment. Math. Univ. Carolin.53(3), 347–374.
[11] Goodaire, E. G., Jespers, E. and Milies, C. P. (1996), Alternative loop rings,
NHMS(184), Elsevier, 387pp.
[12] Grecu, I. and Syrbu, P. (2012), On Some Isostrophy Invariants Of Bol Loops, Bulletin
of the Transilvania University of Brasov, Series III: Mathematics, Informatics, Physics,
5(54), 145–154.
[13] Grecu, I. and Syrbu, P. (2014), Commutants of middle Bol loops, Quasigroups and
Related Systems, 22, 81–88.
[14] Gvaramiya, A.(1971), On a class of loops, Uch. Zapiski MGPL. 375, 25–34.(Russian)
[15] Huthnance Jr. E. D. (1968), A theory of generalised Moufang loops, Ph.D. thesis, Georgia Institute of Technology.

14

[16] Isere A. O., Adeniran J. O. and Jaiyéo.lá T. G. (2015), Holomorphy of Osborn loops,
Analele Universitatii De Vest Din Timisoara, Seria Matematica-Informatica, 53(2), 8198. (DOI: 10.1515/awutm -2015-0016).
[17] Jaiyéo.lá, T. G. (2009), A study of new concepts in smarandache quasigroups and loops,
ProQuest Information and Learning(ILQ), Ann Arbor, USA, 127pp.
[18] Jaiyeola T. G. and Popoola B. A. (2014), Holomorph of generalized Bol loops
II, Discussiones Mathematicae-General Algebra and Applications, 35(1), 59-78.
(doi:10.7151/dmgaa.1234)
[19] Jaiyéo.lá, T. G. and David, S. P., Oyebo, Y. T. (2015), New Algebraic Properties of
Middle Bol Loops, Societatea Romana de Matematica Aplicata si Industriala Journal
(ROMAI J.), 11 (2), 161-183
[20] Kuznetsov, E. (2003), Gyrogroups and left gyrogroups as transversals of a special kind,
Algebraic and discrete Mathematics 3, 54–81.
[21] Pflugfelder, H. O. (1990), Quasigroups and loops : Introduction, Sigma series in Pure
Math. 7, Heldermann Verlag, Berlin, 147pp.
[22] Robinson D. A. (1964), Bol loops, Ph.D Thesis, University of Wisconsin, Madison.
[23] Robinson D. A. (1971), Holomorphic theory of extra loops, Publ. Math. Debrecen 18,
59–64.
[24] Sabinin, L. V. (1999), Smooth quasigroups and loops, Kluver Academic Publishers,
Dordrecht, 249pp.
[25] Smith, J. D. H. (2007), An introduction to quasigroups and their representations, Taylor
and Francis Group, LLC.
[26] Syrbu, P. (1994), Loops with universal elasticity, Quasigroups Related Systems 1, 57–65.
[27] Syrbu, P. (1996), On loops with universal elasticity, Quasigroups Related Systems 3,
41–54.
[28] Syrbu P. (2010), On middle Bol loops, ROMAI J. 6,2, 229–236.
[29] Syrbu, P. and Grecu, I. (2013), On some groups related to middle Bol loops, Revistǎ
Ştiinţificǎ a Universitǎţii de Stat din Moldova, 7(67), 10–18.
[30] Vasantha Kandasamy, W. B. (2002), Smarandache loops, Department of Mathematics,
Indian Institute of Technology, Madras, India, 128pp.

15

