the matched product of semi-bracesvishne/conferences/malta2018/... · 2018. 3. 16. · the matched...
TRANSCRIPT
![Page 1: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/1.jpg)
The matched product of semi-braces
Paola Stefanelli
Università del Salento
Noncommutative and non-associative structures, braces and applicationsIl-Gżira, 14th March 2018
![Page 2: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/2.jpg)
Semi-braces The matched product construction About solutions...
Semi-braces
In order to find new set-theoretical solutions of the Yang-Baxter equation, weintroduce the algebraic structure of semi-brace.
Definition (F. Catino, I. Colazzo, and P.S., J. Algebra, 2017)Let B be a set with two operations + and ◦ such that (B,+) is a leftcancellative semigroup and (B, ◦) is a group. We say that (B,+, ◦) is a(left) semi-brace if
a ◦ (b + c) = a ◦ b + a ◦(a− + c
),
holds for all a, b, c ∈ B, where a− is the inverse of a with respect to ◦.
In particular, if B is a semi-brace with (B,+) a group, then B is a skew brace,[Guarnieri, Vendramin, 2017]. If in addition (B,+) is abelian, then B is a brace[Rump, 2007].
P. Stefanelli (UniSalento) The matched product of semi-braces 1 / 9
![Page 3: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/3.jpg)
Semi-braces The matched product construction About solutions...
Semi-braces
In order to find new set-theoretical solutions of the Yang-Baxter equation, weintroduce the algebraic structure of semi-brace.
Definition (F. Catino, I. Colazzo, and P.S., J. Algebra, 2017)Let B be a set with two operations + and ◦ such that (B,+) is a leftcancellative semigroup and (B, ◦) is a group. We say that (B,+, ◦) is a(left) semi-brace if
a ◦ (b + c) = a ◦ b + a ◦(a− + c
),
holds for all a, b, c ∈ B, where a− is the inverse of a with respect to ◦.
In particular, if B is a semi-brace with (B,+) a group, then B is a skew brace,[Guarnieri, Vendramin, 2017]. If in addition (B,+) is abelian, then B is a brace[Rump, 2007].
P. Stefanelli (UniSalento) The matched product of semi-braces 1 / 9
![Page 4: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/4.jpg)
Semi-braces The matched product construction About solutions...
Semi-braces
In order to find new set-theoretical solutions of the Yang-Baxter equation, weintroduce the algebraic structure of semi-brace.
Definition (F. Catino, I. Colazzo, and P.S., J. Algebra, 2017)Let B be a set with two operations + and ◦ such that (B,+) is a leftcancellative semigroup and (B, ◦) is a group. We say that (B,+, ◦) is a(left) semi-brace if
a ◦ (b + c) = a ◦ b + a ◦(a− + c
),
holds for all a, b, c ∈ B, where a− is the inverse of a with respect to ◦.
In particular, if B is a semi-brace with (B,+) a group, then B is a skew brace,[Guarnieri, Vendramin, 2017]. If in addition (B,+) is abelian, then B is a brace[Rump, 2007].
P. Stefanelli (UniSalento) The matched product of semi-braces 1 / 9
![Page 5: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/5.jpg)
Semi-braces The matched product construction About solutions...
Semi-braces
In order to find new set-theoretical solutions of the Yang-Baxter equation, weintroduce the algebraic structure of semi-brace.
Definition (F. Catino, I. Colazzo, and P.S., J. Algebra, 2017)Let B be a set with two operations + and ◦ such that (B,+) is a leftcancellative semigroup and (B, ◦) is a group. We say that (B,+, ◦) is a(left) semi-brace if
a ◦ (b + c) = a ◦ b + a ◦(a− + c
),
holds for all a, b, c ∈ B, where a− is the inverse of a with respect to ◦.
In particular, if B is a semi-brace with (B,+) a group, then B is a skew brace,[Guarnieri, Vendramin, 2017]. If in addition (B,+) is abelian, then B is a brace[Rump, 2007].
P. Stefanelli (UniSalento) The matched product of semi-braces 1 / 9
![Page 6: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/6.jpg)
Semi-braces The matched product construction About solutions...
Semi-braces
In order to find new set-theoretical solutions of the Yang-Baxter equation, weintroduce the algebraic structure of semi-brace.
Definition (F. Catino, I. Colazzo, and P.S., J. Algebra, 2017)Let B be a set with two operations + and ◦ such that (B,+) is a leftcancellative semigroup and (B, ◦) is a group. We say that (B,+, ◦) is a(left) semi-brace if
a ◦ (b + c) = a ◦ b + a ◦(a− + c
),
holds for all a, b, c ∈ B, where a− is the inverse of a with respect to ◦.
In particular, if B is a semi-brace with (B,+) a group, then B is a skew brace,[Guarnieri, Vendramin, 2017]. If in addition (B,+) is abelian, then B is a brace[Rump, 2007].
P. Stefanelli (UniSalento) The matched product of semi-braces 1 / 9
![Page 7: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/7.jpg)
Semi-braces The matched product construction About solutions...
Semi-braces
In order to find new set-theoretical solutions of the Yang-Baxter equation, weintroduce the algebraic structure of semi-brace.
Definition (F. Catino, I. Colazzo, and P.S., J. Algebra, 2017)Let B be a set with two operations + and ◦ such that (B,+) is a leftcancellative semigroup and (B, ◦) is a group. We say that (B,+, ◦) is a(left) semi-brace if
a ◦ (b + c) = a ◦ b + a ◦(a− + c
),
holds for all a, b, c ∈ B, where a− is the inverse of a with respect to ◦.
In particular, if B is a semi-brace with (B,+) a group, then B is a skew brace,[Guarnieri, Vendramin, 2017]. If in addition (B,+) is abelian, then B is a brace[Rump, 2007].
P. Stefanelli (UniSalento) The matched product of semi-braces 1 / 9
![Page 8: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/8.jpg)
Semi-braces The matched product construction About solutions...
Semi-braces
In order to find new set-theoretical solutions of the Yang-Baxter equation, weintroduce the algebraic structure of semi-brace.
Definition (F. Catino, I. Colazzo, and P.S., J. Algebra, 2017)Let B be a set with two operations + and ◦ such that (B,+) is a leftcancellative semigroup and (B, ◦) is a group. We say that (B,+, ◦) is a(left) semi-brace if
a ◦ (b + c) = a ◦ b + a ◦(a− + c
),
holds for all a, b, c ∈ B, where a− is the inverse of a with respect to ◦.
In particular, if B is a semi-brace with (B,+) a group, then B is a skew brace,[Guarnieri, Vendramin, 2017]. If in addition (B,+) is abelian, then B is a brace[Rump, 2007].
P. Stefanelli (UniSalento) The matched product of semi-braces 1 / 9
![Page 9: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/9.jpg)
Semi-braces The matched product construction About solutions...
Semi-braces
In order to find new set-theoretical solutions of the Yang-Baxter equation, weintroduce the algebraic structure of semi-brace.
Definition (F. Catino, I. Colazzo, and P.S., J. Algebra, 2017)Let B be a set with two operations + and ◦ such that (B,+) is a leftcancellative semigroup and (B, ◦) is a group. We say that (B,+, ◦) is a(left) semi-brace if
a ◦ (b + c) = a ◦ b + a ◦(a− + c
),
holds for all a, b, c ∈ B, where a− is the inverse of a with respect to ◦.
In particular, if B is a semi-brace with (B,+) a group, then B is a skew brace,[Guarnieri, Vendramin, 2017]. If in addition (B,+) is abelian, then B is a brace[Rump, 2007].
P. Stefanelli (UniSalento) The matched product of semi-braces 1 / 9
![Page 10: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/10.jpg)
Semi-braces The matched product construction About solutions...
Semi-braces
In order to find new set-theoretical solutions of the Yang-Baxter equation, weintroduce the algebraic structure of semi-brace.
Definition (F. Catino, I. Colazzo, and P.S., J. Algebra, 2017)Let B be a set with two operations + and ◦ such that (B,+) is a leftcancellative semigroup and (B, ◦) is a group. We say that (B,+, ◦) is a(left) semi-brace if
a ◦ (b + c) = a ◦ b + a ◦(a− + c
),
holds for all a, b, c ∈ B, where a− is the inverse of a with respect to ◦.
In particular, if B is a semi-brace with (B,+) a group, then B is a skew brace,[Guarnieri, Vendramin, 2017]. If in addition (B,+) is abelian, then B is a brace[Rump, 2007].
P. Stefanelli (UniSalento) The matched product of semi-braces 1 / 9
![Page 11: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/11.jpg)
Semi-braces The matched product construction About solutions...
Examples of semi-braces
1. If (E , ◦) is a group, set a+ b = b, for all a, b ∈ E , then (E ,+, ◦) is asemi-brace. We call E the trivial semi-brace.
2. If (B, ◦) is a group and f is an endomorphism of (B, ◦) such that f 2 = f .Set
a+ b := b ◦ f (a) ,
for all a, b ∈ B, then (B,+, ◦) is a semi-brace.
P. Stefanelli (UniSalento) The matched product of semi-braces 2 / 9
![Page 12: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/12.jpg)
Semi-braces The matched product construction About solutions...
Examples of semi-braces
1. If (E , ◦) is a group, set a+ b = b, for all a, b ∈ E , then (E ,+, ◦) is asemi-brace. We call E the trivial semi-brace.
2. If (B, ◦) is a group and f is an endomorphism of (B, ◦) such that f 2 = f .Set
a+ b := b ◦ f (a) ,
for all a, b ∈ B, then (B,+, ◦) is a semi-brace.
P. Stefanelli (UniSalento) The matched product of semi-braces 2 / 9
![Page 13: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/13.jpg)
Semi-braces The matched product construction About solutions...
Examples of semi-braces
1. If (E , ◦) is a group, set a+ b = b, for all a, b ∈ E , then (E ,+, ◦) is asemi-brace. We call E the trivial semi-brace.
2. If (B, ◦) is a group and f is an endomorphism of (B, ◦) such that f 2 = f .Set
a+ b := b ◦ f (a) ,
for all a, b ∈ B, then (B,+, ◦) is a semi-brace.
P. Stefanelli (UniSalento) The matched product of semi-braces 2 / 9
![Page 14: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/14.jpg)
Semi-braces The matched product construction About solutions...
Examples of semi-braces
1. If (E , ◦) is a group, set a+ b = b, for all a, b ∈ E , then (E ,+, ◦) is asemi-brace. We call E the trivial semi-brace.
2. If (B, ◦) is a group and f is an endomorphism of (B, ◦) such that f 2 = f .Set
a+ b := b ◦ f (a) ,
for all a, b ∈ B, then (B,+, ◦) is a semi-brace.
P. Stefanelli (UniSalento) The matched product of semi-braces 2 / 9
![Page 15: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/15.jpg)
Semi-braces The matched product construction About solutions...
Examples of semi-braces
1. If (E , ◦) is a group, set a+ b = b, for all a, b ∈ E , then (E ,+, ◦) is asemi-brace. We call E the trivial semi-brace.
2. If (B, ◦) is a group and f is an endomorphism of (B, ◦) such that f 2 = f .Set
a+ b := b ◦ f (a) ,
for all a, b ∈ B, then (B,+, ◦) is a semi-brace.
P. Stefanelli (UniSalento) The matched product of semi-braces 2 / 9
![Page 16: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/16.jpg)
Semi-braces The matched product construction About solutions...
Examples of semi-braces
1. If (E , ◦) is a group, set a+ b = b, for all a, b ∈ E , then (E ,+, ◦) is asemi-brace. We call E the trivial semi-brace.
2. If (B, ◦) is a group and f is an endomorphism of (B, ◦) such that f 2 = f .Set
a+ b := b ◦ f (a) ,
for all a, b ∈ B, then (B,+, ◦) is a semi-brace.
P. Stefanelli (UniSalento) The matched product of semi-braces 2 / 9
![Page 17: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/17.jpg)
Semi-braces The matched product construction About solutions...
How to obtain a solution through a semi-brace
Theorem (F. Catino, I. Colazzo, P.S., J. Algebra, 2017)Let B be a semi-brace. Then, the map r : B × B → B × B given by
r (a, b) =(a ◦
(a− + b
),(a− + b
)− ◦ b )for all a, b ∈ B, is a left non-degenerate solution of the Yang-Baxter equation.We call r the solution associated to the semi-brace B.
In particular, if a, b ∈ B, thenI λa (b) = a ◦
(a− + b
),
I ρb (a) =(a− + b
)− ◦ b.
P. Stefanelli (UniSalento) The matched product of semi-braces 3 / 9
![Page 18: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/18.jpg)
Semi-braces The matched product construction About solutions...
How to obtain a solution through a semi-brace
Theorem (F. Catino, I. Colazzo, P.S., J. Algebra, 2017)Let B be a semi-brace. Then, the map r : B × B → B × B given by
r (a, b) =(a ◦
(a− + b
),(a− + b
)− ◦ b )for all a, b ∈ B, is a left non-degenerate solution of the Yang-Baxter equation.We call r the solution associated to the semi-brace B.
In particular, if a, b ∈ B, thenI λa (b) = a ◦
(a− + b
),
I ρb (a) =(a− + b
)− ◦ b.
P. Stefanelli (UniSalento) The matched product of semi-braces 3 / 9
![Page 19: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/19.jpg)
Semi-braces The matched product construction About solutions...
How to obtain a solution through a semi-brace
Theorem (F. Catino, I. Colazzo, P.S., J. Algebra, 2017)Let B be a semi-brace. Then, the map r : B × B → B × B given by
r (a, b) =(a ◦
(a− + b
),(a− + b
)− ◦ b )for all a, b ∈ B, is a left non-degenerate solution of the Yang-Baxter equation.We call r the solution associated to the semi-brace B.
In particular, if a, b ∈ B, thenI λa (b) = a ◦
(a− + b
),
I ρb (a) =(a− + b
)− ◦ b.
P. Stefanelli (UniSalento) The matched product of semi-braces 3 / 9
![Page 20: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/20.jpg)
Semi-braces The matched product construction About solutions...
How to obtain a solution through a semi-brace
Theorem (F. Catino, I. Colazzo, P.S., J. Algebra, 2017)Let B be a semi-brace. Then, the map r : B × B → B × B given by
r (a, b) =(a ◦
(a− + b
),(a− + b
)− ◦ b )for all a, b ∈ B, is a left non-degenerate solution of the Yang-Baxter equation.We call r the solution associated to the semi-brace B.
In particular, if a, b ∈ B, thenI λa (b) = a ◦
(a− + b
),
I ρb (a) =(a− + b
)− ◦ b.
P. Stefanelli (UniSalento) The matched product of semi-braces 3 / 9
![Page 21: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/21.jpg)
Semi-braces The matched product construction About solutions...
How to obtain a solution through a semi-brace
Theorem (F. Catino, I. Colazzo, P.S., J. Algebra, 2017)Let B be a semi-brace. Then, the map r : B × B → B × B given by
r (a, b) =(a ◦
(a− + b
),(a− + b
)− ◦ b )for all a, b ∈ B, is a left non-degenerate solution of the Yang-Baxter equation.We call r the solution associated to the semi-brace B.
In particular, if a, b ∈ B, thenI λa (b) = a ◦
(a− + b
),
I ρb (a) =(a− + b
)− ◦ b.
P. Stefanelli (UniSalento) The matched product of semi-braces 3 / 9
![Page 22: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/22.jpg)
Semi-braces The matched product construction About solutions...
How to obtain a solution through a semi-brace
Theorem (F. Catino, I. Colazzo, P.S., J. Algebra, 2017)Let B be a semi-brace. Then, the map r : B × B → B × B given by
r (a, b) =(a ◦
(a− + b
),(a− + b
)− ◦ b )for all a, b ∈ B, is a left non-degenerate solution of the Yang-Baxter equation.We call r the solution associated to the semi-brace B.
In particular, if a, b ∈ B, thenI λa (b) = a ◦
(a− + b
),
I ρb (a) =(a− + b
)− ◦ b.
P. Stefanelli (UniSalento) The matched product of semi-braces 3 / 9
![Page 23: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/23.jpg)
Semi-braces The matched product construction About solutions...
The matched system of semi-braces
We introduce the matched system of semi-braces.
Definition (F. Catino, I. Colazzo, P.S., in preparation)If B1 and B2 are semi-braces with
I α : B2 → Aut (B1) a group homomorphism from the group (B2, ◦) intothe automorphism group of the semigroup (B1,+),
I β : B1 → Aut (B2) a group homomorphism from the group (B1, ◦) intothe automorphism group of the semigroup (B2,+),
such that
λaαu = αβa(u)λα−1βa(u)
(a)
λuβa = βαu(a)λβ−1αu (a)
(u)
hold for all a ∈ B1 and u ∈ B2, then (B1,B2, α, β) is said to be the matchedsystem of B1 and B2 via α and β.
P. Stefanelli (UniSalento) The matched product of semi-braces 4 / 9
![Page 24: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/24.jpg)
Semi-braces The matched product construction About solutions...
The matched system of semi-braces
We introduce the matched system of semi-braces.
Definition (F. Catino, I. Colazzo, P.S., in preparation)If B1 and B2 are semi-braces with
I α : B2 → Aut (B1) a group homomorphism from the group (B2, ◦) intothe automorphism group of the semigroup (B1,+),
I β : B1 → Aut (B2) a group homomorphism from the group (B1, ◦) intothe automorphism group of the semigroup (B2,+),
such that
λaαu = αβa(u)λα−1βa(u)
(a)
λuβa = βαu(a)λβ−1αu (a)
(u)
hold for all a ∈ B1 and u ∈ B2, then (B1,B2, α, β) is said to be the matchedsystem of B1 and B2 via α and β.
P. Stefanelli (UniSalento) The matched product of semi-braces 4 / 9
![Page 25: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/25.jpg)
Semi-braces The matched product construction About solutions...
The matched system of semi-braces
We introduce the matched system of semi-braces.
Definition (F. Catino, I. Colazzo, P.S., in preparation)If B1 and B2 are semi-braces with
I α : B2 → Aut (B1) a group homomorphism from the group (B2, ◦) intothe automorphism group of the semigroup (B1,+),
I β : B1 → Aut (B2) a group homomorphism from the group (B1, ◦) intothe automorphism group of the semigroup (B2,+),
such that
λaαu = αβa(u)λα−1βa(u)
(a)
λuβa = βαu(a)λβ−1αu (a)
(u)
hold for all a ∈ B1 and u ∈ B2, then (B1,B2, α, β) is said to be the matchedsystem of B1 and B2 via α and β.
P. Stefanelli (UniSalento) The matched product of semi-braces 4 / 9
![Page 26: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/26.jpg)
Semi-braces The matched product construction About solutions...
The matched system of semi-braces
We introduce the matched system of semi-braces.
Definition (F. Catino, I. Colazzo, P.S., in preparation)If B1 and B2 are semi-braces with
I α : B2 → Aut (B1) a group homomorphism from the group (B2, ◦) intothe automorphism group of the semigroup (B1,+),
I β : B1 → Aut (B2) a group homomorphism from the group (B1, ◦) intothe automorphism group of the semigroup (B2,+),
such that
λaαu = αβa(u)λα−1βa(u)
(a)
λuβa = βαu(a)λβ−1αu (a)
(u)
hold for all a ∈ B1 and u ∈ B2, then (B1,B2, α, β) is said to be the matchedsystem of B1 and B2 via α and β.
P. Stefanelli (UniSalento) The matched product of semi-braces 4 / 9
![Page 27: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/27.jpg)
Semi-braces The matched product construction About solutions...
The matched system of semi-braces
We introduce the matched system of semi-braces.
Definition (F. Catino, I. Colazzo, P.S., in preparation)If B1 and B2 are semi-braces with
I α : B2 → Aut (B1) a group homomorphism from the group (B2, ◦) intothe automorphism group of the semigroup (B1,+),
I β : B1 → Aut (B2) a group homomorphism from the group (B1, ◦) intothe automorphism group of the semigroup (B2,+),
such that
λaαu = αβa(u)λα−1βa(u)
(a)
λuβa = βαu(a)λβ−1αu (a)
(u)
hold for all a ∈ B1 and u ∈ B2, then (B1,B2, α, β) is said to be the matchedsystem of B1 and B2 via α and β.
P. Stefanelli (UniSalento) The matched product of semi-braces 4 / 9
![Page 28: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/28.jpg)
Semi-braces The matched product construction About solutions...
The matched system of semi-braces
We introduce the matched system of semi-braces.
Definition (F. Catino, I. Colazzo, P.S., in preparation)If B1 and B2 are semi-braces with
I α : B2 → Aut (B1) a group homomorphism from the group (B2, ◦) intothe automorphism group of the semigroup (B1,+),
I β : B1 → Aut (B2) a group homomorphism from the group (B1, ◦) intothe automorphism group of the semigroup (B2,+),
such that
λaαu = αβa(u)λα−1βa(u)
(a)
λuβa = βαu(a)λβ−1αu (a)
(u)
hold for all a ∈ B1 and u ∈ B2, then (B1,B2, α, β) is said to be the matchedsystem of B1 and B2 via α and β.
P. Stefanelli (UniSalento) The matched product of semi-braces 4 / 9
![Page 29: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/29.jpg)
Semi-braces The matched product construction About solutions...
The matched system of semi-braces
We introduce the matched system of semi-braces.
Definition (F. Catino, I. Colazzo, P.S., in preparation)If B1 and B2 are semi-braces with
I α : B2 → Aut (B1) a group homomorphism from the group (B2, ◦) intothe automorphism group of the semigroup (B1,+),
I β : B1 → Aut (B2) a group homomorphism from the group (B1, ◦) intothe automorphism group of the semigroup (B2,+),
such that
λaαu = αβa(u)λα−1βa(u)
(a)
λuβa = βαu(a)λβ−1αu (a)
(u)
hold for all a ∈ B1 and u ∈ B2, then (B1,B2, α, β) is said to be the matchedsystem of B1 and B2 via α and β.
P. Stefanelli (UniSalento) The matched product of semi-braces 4 / 9
![Page 30: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/30.jpg)
Semi-braces The matched product construction About solutions...
The matched system of semi-braces
We introduce the matched system of semi-braces.
Definition (F. Catino, I. Colazzo, P.S., in preparation)If B1 and B2 are semi-braces with
I α : B2 → Aut (B1) a group homomorphism from the group (B2, ◦) intothe automorphism group of the semigroup (B1,+),
I β : B1 → Aut (B2) a group homomorphism from the group (B1, ◦) intothe automorphism group of the semigroup (B2,+),
such that
λaαu = αβa(u)λα−1βa(u)
(a)
λuβa = βαu(a)λβ−1αu (a)
(u)
hold for all a ∈ B1 and u ∈ B2, then (B1,B2, α, β) is said to be the matchedsystem of B1 and B2 via α and β.
P. Stefanelli (UniSalento) The matched product of semi-braces 4 / 9
![Page 31: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/31.jpg)
Semi-braces The matched product construction About solutions...
The construction
We introduce a new construction of semi-braces, the matched product ofsemi-braces.
Theorem (F. Catino, I. Colazzo, P.S., in preparation)Let (B1,B2, α, β) be a matched system of semi-braces. Then the cartesianproduct B1 × B2 with respect to the sum and the multiplication defined by
(a, u) + (b, v) := (a+ b, u + v)
(a, u) ◦ (b, v) :=(αu
(α−1u (a) ◦ b
), βa
(β−1a (u) ◦ v
))is a left semi-brace. We call this structure the matched product of leftsemi-braces B1 and B2 (via α and β) and we denote it by B1 ./ B2.
P. Stefanelli (UniSalento) The matched product of semi-braces 5 / 9
![Page 32: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/32.jpg)
Semi-braces The matched product construction About solutions...
The construction
We introduce a new construction of semi-braces, the matched product ofsemi-braces.
Theorem (F. Catino, I. Colazzo, P.S., in preparation)Let (B1,B2, α, β) be a matched system of semi-braces. Then the cartesianproduct B1 × B2 with respect to the sum and the multiplication defined by
(a, u) + (b, v) := (a+ b, u + v)
(a, u) ◦ (b, v) :=(αu
(α−1u (a) ◦ b
), βa
(β−1a (u) ◦ v
))is a left semi-brace. We call this structure the matched product of leftsemi-braces B1 and B2 (via α and β) and we denote it by B1 ./ B2.
P. Stefanelli (UniSalento) The matched product of semi-braces 5 / 9
![Page 33: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/33.jpg)
Semi-braces The matched product construction About solutions...
The construction
We introduce a new construction of semi-braces, the matched product ofsemi-braces.
Theorem (F. Catino, I. Colazzo, P.S., in preparation)Let (B1,B2, α, β) be a matched system of semi-braces. Then the cartesianproduct B1 × B2 with respect to the sum and the multiplication defined by
(a, u) + (b, v) := (a+ b, u + v)
(a, u) ◦ (b, v) :=(αu
(α−1u (a) ◦ b
), βa
(β−1a (u) ◦ v
))is a left semi-brace. We call this structure the matched product of leftsemi-braces B1 and B2 (via α and β) and we denote it by B1 ./ B2.
P. Stefanelli (UniSalento) The matched product of semi-braces 5 / 9
![Page 34: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/34.jpg)
Semi-braces The matched product construction About solutions...
The construction
We introduce a new construction of semi-braces, the matched product ofsemi-braces.
Theorem (F. Catino, I. Colazzo, P.S., in preparation)Let (B1,B2, α, β) be a matched system of semi-braces. Then the cartesianproduct B1 × B2 with respect to the sum and the multiplication defined by
(a, u) + (b, v) := (a+ b, u + v)
(a, u) ◦ (b, v) :=(αu
(α−1u (a) ◦ b
), βa
(β−1a (u) ◦ v
))is a left semi-brace. We call this structure the matched product of leftsemi-braces B1 and B2 (via α and β) and we denote it by B1 ./ B2.
P. Stefanelli (UniSalento) The matched product of semi-braces 5 / 9
![Page 35: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/35.jpg)
Semi-braces The matched product construction About solutions...
The construction
We introduce a new construction of semi-braces, the matched product ofsemi-braces.
Theorem (F. Catino, I. Colazzo, P.S., in preparation)Let (B1,B2, α, β) be a matched system of semi-braces. Then the cartesianproduct B1 × B2 with respect to the sum and the multiplication defined by
(a, u) + (b, v) := (a+ b, u + v)
(a, u) ◦ (b, v) :=(αu
(α−1u (a) ◦ b
), βa
(β−1a (u) ◦ v
))is a left semi-brace. We call this structure the matched product of leftsemi-braces B1 and B2 (via α and β) and we denote it by B1 ./ B2.
P. Stefanelli (UniSalento) The matched product of semi-braces 5 / 9
![Page 36: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/36.jpg)
Semi-braces The matched product construction About solutions...
The construction
We introduce a new construction of semi-braces, the matched product ofsemi-braces.
Theorem (F. Catino, I. Colazzo, P.S., in preparation)Let (B1,B2, α, β) be a matched system of semi-braces. Then the cartesianproduct B1 × B2 with respect to the sum and the multiplication defined by
(a, u) + (b, v) := (a+ b, u + v)
(a, u) ◦ (b, v) :=(αu
(α−1u (a) ◦ b
), βa
(β−1a (u) ◦ v
))is a left semi-brace. We call this structure the matched product of leftsemi-braces B1 and B2 (via α and β) and we denote it by B1 ./ B2.
P. Stefanelli (UniSalento) The matched product of semi-braces 5 / 9
![Page 37: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/37.jpg)
Semi-braces The matched product construction About solutions...
The construction
We introduce a new construction of semi-braces, the matched product ofsemi-braces.
Theorem (F. Catino, I. Colazzo, P.S., in preparation)Let (B1,B2, α, β) be a matched system of semi-braces. Then the cartesianproduct B1 × B2 with respect to the sum and the multiplication defined by
(a, u) + (b, v) := (a+ b, u + v)
(a, u) ◦ (b, v) :=(αu
(α−1u (a) ◦ b
), βa
(β−1a (u) ◦ v
))is a left semi-brace. We call this structure the matched product of leftsemi-braces B1 and B2 (via α and β) and we denote it by B1 ./ B2.
P. Stefanelli (UniSalento) The matched product of semi-braces 5 / 9
![Page 38: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/38.jpg)
Semi-braces The matched product construction About solutions...
The construction
We introduce a new construction of semi-braces, the matched product ofsemi-braces.
Theorem (F. Catino, I. Colazzo, P.S., in preparation)Let (B1,B2, α, β) be a matched system of semi-braces. Then the cartesianproduct B1 × B2 with respect to the sum and the multiplication defined by
(a, u) + (b, v) := (a+ b, u + v)
(a, u) ◦ (b, v) :=(αu
(α−1u (a) ◦ b
), βa
(β−1a (u) ◦ v
))is a left semi-brace. We call this structure the matched product of leftsemi-braces B1 and B2 (via α and β) and we denote it by B1 ./ B2.
P. Stefanelli (UniSalento) The matched product of semi-braces 5 / 9
![Page 39: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/39.jpg)
Semi-braces The matched product construction About solutions...
Some consequences
As a consequence of the result seen, we have:
I If B1 and B2 are semi-braces, α : B2 → Aut (B1) a group homomorphismfrom the group (B2, ◦) into the automorphism group of the semi-brace B1,β : B1 → Aut (B2) defined by βu := idB2 , then (B1,B2, α, β) is a matchedsystem of B1 and B2. In particular, the matched product of B1 and B2 viaα and β is the semidirect product of B1 and B2 via α [Catino, Colazzo,P.S., 2017].
I Let (B1,B2, α, β) be a matched system of semi-braces with B1 and B2
skew braces. Then the matched product of B1 and B2 (via α and β) is askew brace, as obtained in [Smoktunowicz, Vendramin, 2018].
I Similarly, we obtain the matched product of two braces, as obtained in[Bachiller, 2018] and [Bachiller, Cedó, Jespers, Okniński, 2018].
P. Stefanelli (UniSalento) The matched product of semi-braces 6 / 9
![Page 40: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/40.jpg)
Semi-braces The matched product construction About solutions...
Some consequences
As a consequence of the result seen, we have:
I If B1 and B2 are semi-braces, α : B2 → Aut (B1) a group homomorphismfrom the group (B2, ◦) into the automorphism group of the semi-brace B1,β : B1 → Aut (B2) defined by βu := idB2 , then (B1,B2, α, β) is a matchedsystem of B1 and B2. In particular, the matched product of B1 and B2 viaα and β is the semidirect product of B1 and B2 via α [Catino, Colazzo,P.S., 2017].
I Let (B1,B2, α, β) be a matched system of semi-braces with B1 and B2
skew braces. Then the matched product of B1 and B2 (via α and β) is askew brace, as obtained in [Smoktunowicz, Vendramin, 2018].
I Similarly, we obtain the matched product of two braces, as obtained in[Bachiller, 2018] and [Bachiller, Cedó, Jespers, Okniński, 2018].
P. Stefanelli (UniSalento) The matched product of semi-braces 6 / 9
![Page 41: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/41.jpg)
Semi-braces The matched product construction About solutions...
Some consequences
As a consequence of the result seen, we have:
I If B1 and B2 are semi-braces, α : B2 → Aut (B1) a group homomorphismfrom the group (B2, ◦) into the automorphism group of the semi-brace B1,β : B1 → Aut (B2) defined by βu := idB2 , then (B1,B2, α, β) is a matchedsystem of B1 and B2. In particular, the matched product of B1 and B2 viaα and β is the semidirect product of B1 and B2 via α [Catino, Colazzo,P.S., 2017].
I Let (B1,B2, α, β) be a matched system of semi-braces with B1 and B2
skew braces. Then the matched product of B1 and B2 (via α and β) is askew brace, as obtained in [Smoktunowicz, Vendramin, 2018].
I Similarly, we obtain the matched product of two braces, as obtained in[Bachiller, 2018] and [Bachiller, Cedó, Jespers, Okniński, 2018].
P. Stefanelli (UniSalento) The matched product of semi-braces 6 / 9
![Page 42: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/42.jpg)
Semi-braces The matched product construction About solutions...
Some consequences
As a consequence of the result seen, we have:
I If B1 and B2 are semi-braces, α : B2 → Aut (B1) a group homomorphismfrom the group (B2, ◦) into the automorphism group of the semi-brace B1,β : B1 → Aut (B2) defined by βu := idB2 , then (B1,B2, α, β) is a matchedsystem of B1 and B2. In particular, the matched product of B1 and B2 viaα and β is the semidirect product of B1 and B2 via α [Catino, Colazzo,P.S., 2017].
I Let (B1,B2, α, β) be a matched system of semi-braces with B1 and B2
skew braces. Then the matched product of B1 and B2 (via α and β) is askew brace, as obtained in [Smoktunowicz, Vendramin, 2018].
I Similarly, we obtain the matched product of two braces, as obtained in[Bachiller, 2018] and [Bachiller, Cedó, Jespers, Okniński, 2018].
P. Stefanelli (UniSalento) The matched product of semi-braces 6 / 9
![Page 43: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/43.jpg)
Semi-braces The matched product construction About solutions...
Some consequences
As a consequence of the result seen, we have:
I If B1 and B2 are semi-braces, α : B2 → Aut (B1) a group homomorphismfrom the group (B2, ◦) into the automorphism group of the semi-brace B1,β : B1 → Aut (B2) defined by βu := idB2 , then (B1,B2, α, β) is a matchedsystem of B1 and B2. In particular, the matched product of B1 and B2 viaα and β is the semidirect product of B1 and B2 via α [Catino, Colazzo,P.S., 2017].
I Let (B1,B2, α, β) be a matched system of semi-braces with B1 and B2
skew braces. Then the matched product of B1 and B2 (via α and β) is askew brace, as obtained in [Smoktunowicz, Vendramin, 2018].
I Similarly, we obtain the matched product of two braces, as obtained in[Bachiller, 2018] and [Bachiller, Cedó, Jespers, Okniński, 2018].
P. Stefanelli (UniSalento) The matched product of semi-braces 6 / 9
![Page 44: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/44.jpg)
Semi-braces The matched product construction About solutions...
Some consequences
As a consequence of the result seen, we have:
I If B1 and B2 are semi-braces, α : B2 → Aut (B1) a group homomorphismfrom the group (B2, ◦) into the automorphism group of the semi-brace B1,β : B1 → Aut (B2) defined by βu := idB2 , then (B1,B2, α, β) is a matchedsystem of B1 and B2. In particular, the matched product of B1 and B2 viaα and β is the semidirect product of B1 and B2 via α [Catino, Colazzo,P.S., 2017].
I Let (B1,B2, α, β) be a matched system of semi-braces with B1 and B2
skew braces. Then the matched product of B1 and B2 (via α and β) is askew brace, as obtained in [Smoktunowicz, Vendramin, 2018].
I Similarly, we obtain the matched product of two braces, as obtained in[Bachiller, 2018] and [Bachiller, Cedó, Jespers, Okniński, 2018].
P. Stefanelli (UniSalento) The matched product of semi-braces 6 / 9
![Page 45: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/45.jpg)
Semi-braces The matched product construction About solutions...
Some consequences
As a consequence of the result seen, we have:
I If B1 and B2 are semi-braces, α : B2 → Aut (B1) a group homomorphismfrom the group (B2, ◦) into the automorphism group of the semi-brace B1,β : B1 → Aut (B2) defined by βu := idB2 , then (B1,B2, α, β) is a matchedsystem of B1 and B2. In particular, the matched product of B1 and B2 viaα and β is the semidirect product of B1 and B2 via α [Catino, Colazzo,P.S., 2017].
I Let (B1,B2, α, β) be a matched system of semi-braces with B1 and B2
skew braces. Then the matched product of B1 and B2 (via α and β) is askew brace, as obtained in [Smoktunowicz, Vendramin, 2018].
I Similarly, we obtain the matched product of two braces, as obtained in[Bachiller, 2018] and [Bachiller, Cedó, Jespers, Okniński, 2018].
P. Stefanelli (UniSalento) The matched product of semi-braces 6 / 9
![Page 46: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/46.jpg)
Semi-braces The matched product construction About solutions...
Some consequences
As a consequence of the result seen, we have:
I If B1 and B2 are semi-braces, α : B2 → Aut (B1) a group homomorphismfrom the group (B2, ◦) into the automorphism group of the semi-brace B1,β : B1 → Aut (B2) defined by βu := idB2 , then (B1,B2, α, β) is a matchedsystem of B1 and B2. In particular, the matched product of B1 and B2 viaα and β is the semidirect product of B1 and B2 via α [Catino, Colazzo,P.S., 2017].
I Let (B1,B2, α, β) be a matched system of semi-braces with B1 and B2
skew braces. Then the matched product of B1 and B2 (via α and β) is askew brace, as obtained in [Smoktunowicz, Vendramin, 2018].
I Similarly, we obtain the matched product of two braces, as obtained in[Bachiller, 2018] and [Bachiller, Cedó, Jespers, Okniński, 2018].
P. Stefanelli (UniSalento) The matched product of semi-braces 6 / 9
![Page 47: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/47.jpg)
Semi-braces The matched product construction About solutions...
Some consequences
As a consequence of the result seen, we have:
I If B1 and B2 are semi-braces, α : B2 → Aut (B1) a group homomorphismfrom the group (B2, ◦) into the automorphism group of the semi-brace B1,β : B1 → Aut (B2) defined by βu := idB2 , then (B1,B2, α, β) is a matchedsystem of B1 and B2. In particular, the matched product of B1 and B2 viaα and β is the semidirect product of B1 and B2 via α [Catino, Colazzo,P.S., 2017].
I Let (B1,B2, α, β) be a matched system of semi-braces with B1 and B2
skew braces. Then the matched product of B1 and B2 (via α and β) is askew brace, as obtained in [Smoktunowicz, Vendramin, 2018].
I Similarly, we obtain the matched product of two braces, as obtained in[Bachiller, 2018] and [Bachiller, Cedó, Jespers, Okniński, 2018].
P. Stefanelli (UniSalento) The matched product of semi-braces 6 / 9
![Page 48: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/48.jpg)
Semi-braces The matched product construction About solutions...
Some consequences
As a consequence of the result seen, we have:
I If B1 and B2 are semi-braces, α : B2 → Aut (B1) a group homomorphismfrom the group (B2, ◦) into the automorphism group of the semi-brace B1,β : B1 → Aut (B2) defined by βu := idB2 , then (B1,B2, α, β) is a matchedsystem of B1 and B2. In particular, the matched product of B1 and B2 viaα and β is the semidirect product of B1 and B2 via α [Catino, Colazzo,P.S., 2017].
I Let (B1,B2, α, β) be a matched system of semi-braces with B1 and B2
skew braces. Then the matched product of B1 and B2 (via α and β) is askew brace, as obtained in [Smoktunowicz, Vendramin, 2018].
I Similarly, we obtain the matched product of two braces, as obtained in[Bachiller, 2018] and [Bachiller, Cedó, Jespers, Okniński, 2018].
P. Stefanelli (UniSalento) The matched product of semi-braces 6 / 9
![Page 49: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/49.jpg)
Semi-braces The matched product construction About solutions...
Matched products of semi-braces and solutions
The solution associated to any matched product of semi-braces is of aparticular kind.
Theorem (F. Catino, I. Colazzo, P.S., in preparation)If (B1,B2, α, β) is a matched system of semi-braces B1 and B2 via α and β,then
I (B1, rB1 ,B2, rB2 , α, β) is a matched product system of solutions.
I The solution rB1./B2 associated to B1 ./ B2 is exactly rB1 ./ rB2 .
P. Stefanelli (UniSalento) The matched product of semi-braces 7 / 9
![Page 50: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/50.jpg)
Semi-braces The matched product construction About solutions...
Matched products of semi-braces and solutions
The solution associated to any matched product of semi-braces is of aparticular kind.
Theorem (F. Catino, I. Colazzo, P.S., in preparation)If (B1,B2, α, β) is a matched system of semi-braces B1 and B2 via α and β,then
I (B1, rB1 ,B2, rB2 , α, β) is a matched product system of solutions.
I The solution rB1./B2 associated to B1 ./ B2 is exactly rB1 ./ rB2 .
P. Stefanelli (UniSalento) The matched product of semi-braces 7 / 9
![Page 51: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/51.jpg)
Semi-braces The matched product construction About solutions...
Matched products of semi-braces and solutions
The solution associated to any matched product of semi-braces is of aparticular kind.
Theorem (F. Catino, I. Colazzo, P.S., in preparation)If (B1,B2, α, β) is a matched system of semi-braces B1 and B2 via α and β,then
I (B1, rB1 ,B2, rB2 , α, β) is a matched product system of solutions.
I The solution rB1./B2 associated to B1 ./ B2 is exactly rB1 ./ rB2 .
P. Stefanelli (UniSalento) The matched product of semi-braces 7 / 9
![Page 52: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/52.jpg)
Semi-braces The matched product construction About solutions...
Matched products of semi-braces and solutions
The solution associated to any matched product of semi-braces is of aparticular kind.
Theorem (F. Catino, I. Colazzo, P.S., in preparation)If (B1,B2, α, β) is a matched system of semi-braces B1 and B2 via α and β,then
I (B1, rB1 ,B2, rB2 , α, β) is a matched product system of solutions.
I The solution rB1./B2 associated to B1 ./ B2 is exactly rB1 ./ rB2 .
P. Stefanelli (UniSalento) The matched product of semi-braces 7 / 9
![Page 53: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/53.jpg)
Semi-braces The matched product construction About solutions...
Matched products of semi-braces and solutions
The solution associated to any matched product of semi-braces is of aparticular kind.
Theorem (F. Catino, I. Colazzo, P.S., in preparation)If (B1,B2, α, β) is a matched system of semi-braces B1 and B2 via α and β,then
I (B1, rB1 ,B2, rB2 , α, β) is a matched product system of solutions.
I The solution rB1./B2 associated to B1 ./ B2 is exactly rB1 ./ rB2 .
P. Stefanelli (UniSalento) The matched product of semi-braces 7 / 9
![Page 54: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/54.jpg)
Semi-braces The matched product construction About solutions...
Solutions of semi-braces - I
Matched product construction turns out to be useful to obtain a description ofevery semi-brace. If B is a semi-brace,
I the semigroup (B,+) is a right group, i.e., B = G + E , where G is asubgroup of (B,+) and E is the set of idempotents of (B,+).
I (G , ◦) and (E , ◦) are groups and (B, ◦) is the matched product of thesetwo groups.
I G is a skew brace and E is a trivial semi-brace.
Theorem (F. Catino, I. Colazzo, P.S., in preparation)If B is a semi-brace, then B is isomorphic to the matched product of theskew brace G and the trivial semi-brace E .
In particular, α and β functions are defined by,
αe (g) :=(ρe−
(g−))− , βg (e) := λg (e) .
P. Stefanelli (UniSalento) The matched product of semi-braces 8 / 9
![Page 55: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/55.jpg)
Semi-braces The matched product construction About solutions...
Solutions of semi-braces - I
Matched product construction turns out to be useful to obtain a description ofevery semi-brace. If B is a semi-brace,
I the semigroup (B,+) is a right group, i.e., B = G + E , where G is asubgroup of (B,+) and E is the set of idempotents of (B,+).
I (G , ◦) and (E , ◦) are groups and (B, ◦) is the matched product of thesetwo groups.
I G is a skew brace and E is a trivial semi-brace.
Theorem (F. Catino, I. Colazzo, P.S., in preparation)If B is a semi-brace, then B is isomorphic to the matched product of theskew brace G and the trivial semi-brace E .
In particular, α and β functions are defined by,
αe (g) :=(ρe−
(g−))− , βg (e) := λg (e) .
P. Stefanelli (UniSalento) The matched product of semi-braces 8 / 9
![Page 56: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/56.jpg)
Semi-braces The matched product construction About solutions...
Solutions of semi-braces - I
Matched product construction turns out to be useful to obtain a description ofevery semi-brace. If B is a semi-brace,
I the semigroup (B,+) is a right group, i.e., B = G + E , where G is asubgroup of (B,+) and E is the set of idempotents of (B,+).
I (G , ◦) and (E , ◦) are groups and (B, ◦) is the matched product of thesetwo groups.
I G is a skew brace and E is a trivial semi-brace.
Theorem (F. Catino, I. Colazzo, P.S., in preparation)If B is a semi-brace, then B is isomorphic to the matched product of theskew brace G and the trivial semi-brace E .
In particular, α and β functions are defined by,
αe (g) :=(ρe−
(g−))− , βg (e) := λg (e) .
P. Stefanelli (UniSalento) The matched product of semi-braces 8 / 9
![Page 57: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/57.jpg)
Semi-braces The matched product construction About solutions...
Solutions of semi-braces - I
Matched product construction turns out to be useful to obtain a description ofevery semi-brace. If B is a semi-brace,
I the semigroup (B,+) is a right group, i.e., B = G + E , where G is asubgroup of (B,+) and E is the set of idempotents of (B,+).
I (G , ◦) and (E , ◦) are groups and (B, ◦) is the matched product of thesetwo groups.
I G is a skew brace and E is a trivial semi-brace.
Theorem (F. Catino, I. Colazzo, P.S., in preparation)If B is a semi-brace, then B is isomorphic to the matched product of theskew brace G and the trivial semi-brace E .
In particular, α and β functions are defined by,
αe (g) :=(ρe−
(g−))− , βg (e) := λg (e) .
P. Stefanelli (UniSalento) The matched product of semi-braces 8 / 9
![Page 58: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/58.jpg)
Semi-braces The matched product construction About solutions...
Solutions of semi-braces - I
Matched product construction turns out to be useful to obtain a description ofevery semi-brace. If B is a semi-brace,
I the semigroup (B,+) is a right group, i.e., B = G + E , where G is asubgroup of (B,+) and E is the set of idempotents of (B,+).
I (G , ◦) and (E , ◦) are groups and (B, ◦) is the matched product of thesetwo groups.
I G is a skew brace and E is a trivial semi-brace.
Theorem (F. Catino, I. Colazzo, P.S., in preparation)If B is a semi-brace, then B is isomorphic to the matched product of theskew brace G and the trivial semi-brace E .
In particular, α and β functions are defined by,
αe (g) :=(ρe−
(g−))− , βg (e) := λg (e) .
P. Stefanelli (UniSalento) The matched product of semi-braces 8 / 9
![Page 59: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/59.jpg)
Semi-braces The matched product construction About solutions...
Solutions of semi-braces - I
Matched product construction turns out to be useful to obtain a description ofevery semi-brace. If B is a semi-brace,
I the semigroup (B,+) is a right group, i.e., B = G + E , where G is asubgroup of (B,+) and E is the set of idempotents of (B,+).
I (G , ◦) and (E , ◦) are groups and (B, ◦) is the matched product of thesetwo groups.
I G is a skew brace and E is a trivial semi-brace.
Theorem (F. Catino, I. Colazzo, P.S., in preparation)If B is a semi-brace, then B is isomorphic to the matched product of theskew brace G and the trivial semi-brace E .
In particular, α and β functions are defined by,
αe (g) :=(ρe−
(g−))− , βg (e) := λg (e) .
P. Stefanelli (UniSalento) The matched product of semi-braces 8 / 9
![Page 60: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/60.jpg)
Semi-braces The matched product construction About solutions...
Solutions of semi-braces - I
Matched product construction turns out to be useful to obtain a description ofevery semi-brace. If B is a semi-brace,
I the semigroup (B,+) is a right group, i.e., B = G + E , where G is asubgroup of (B,+) and E is the set of idempotents of (B,+).
I (G , ◦) and (E , ◦) are groups and (B, ◦) is the matched product of thesetwo groups.
I G is a skew brace and E is a trivial semi-brace.
Theorem (F. Catino, I. Colazzo, P.S., in preparation)If B is a semi-brace, then B is isomorphic to the matched product of theskew brace G and the trivial semi-brace E .
In particular, α and β functions are defined by,
αe (g) :=(ρe−
(g−))− , βg (e) := λg (e) .
P. Stefanelli (UniSalento) The matched product of semi-braces 8 / 9
![Page 61: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/61.jpg)
Semi-braces The matched product construction About solutions...
Solutions of semi-braces - I
Matched product construction turns out to be useful to obtain a description ofevery semi-brace. If B is a semi-brace,
I the semigroup (B,+) is a right group, i.e., B = G + E , where G is asubgroup of (B,+) and E is the set of idempotents of (B,+).
I (G , ◦) and (E , ◦) are groups and (B, ◦) is the matched product of thesetwo groups.
I G is a skew brace and E is a trivial semi-brace.
Theorem (F. Catino, I. Colazzo, P.S., in preparation)If B is a semi-brace, then B is isomorphic to the matched product of theskew brace G and the trivial semi-brace E .
In particular, α and β functions are defined by,
αe (g) :=(ρe−
(g−))− , βg (e) := λg (e) .
P. Stefanelli (UniSalento) The matched product of semi-braces 8 / 9
![Page 62: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/62.jpg)
Semi-braces The matched product construction About solutions...
Solutions of semi-braces - IIWe can view in a different light the solution associated to any semi-brace B.
Corollary (F. Catino, I. Colazzo, P.S., in preparation)If B := G ./ E is a semi-brace obtained as the matched product of G and Eby α and β, then the solution associated to B is the map r : B×B → B×Bgiven by
λ(g1,e1) (g2, e2) =(λg1αβ−1
g1 (e1)(g2) , λe1βα−1
e1 (g2)(e2)
)ρ(g2,e2) (g1, e1) =
(ρα−1e2 (g2)
α−1λe1βα−1
e1 (g1)(e2)
(g1) , 0)
for all e1, e2 ∈ E and g1, g2 ∈ G .
In particular,
ρα−1λβ−1g1 (e1)
(e2)αβ−1g1 (e1)
(g2)α−1λe1βα−1
e1 (g1)(e2)
(g1) = ρα−1e2 (g2)
α−1λe1βα−1
e1 (g1)(e2)
(g1)
ρβ−1λα−1e1 (g1)
(g2)βα−1e1 (g1)
(e2)β−1λg1αβ
−1g1 (e1)
(g2)(e1) = 0
P. Stefanelli (UniSalento) The matched product of semi-braces 9 / 9
![Page 63: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/63.jpg)
Semi-braces The matched product construction About solutions...
Solutions of semi-braces - IIWe can view in a different light the solution associated to any semi-brace B.
Corollary (F. Catino, I. Colazzo, P.S., in preparation)If B := G ./ E is a semi-brace obtained as the matched product of G and Eby α and β, then the solution associated to B is the map r : B×B → B×Bgiven by
λ(g1,e1) (g2, e2) =(λg1αβ−1
g1 (e1)(g2) , λe1βα−1
e1 (g2)(e2)
)ρ(g2,e2) (g1, e1) =
(ρα−1e2 (g2)
α−1λe1βα−1
e1 (g1)(e2)
(g1) , 0)
for all e1, e2 ∈ E and g1, g2 ∈ G .
In particular,
ρα−1λβ−1g1 (e1)
(e2)αβ−1g1 (e1)
(g2)α−1λe1βα−1
e1 (g1)(e2)
(g1) = ρα−1e2 (g2)
α−1λe1βα−1
e1 (g1)(e2)
(g1)
ρβ−1λα−1e1 (g1)
(g2)βα−1e1 (g1)
(e2)β−1λg1αβ
−1g1 (e1)
(g2)(e1) = 0
P. Stefanelli (UniSalento) The matched product of semi-braces 9 / 9
![Page 64: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/64.jpg)
Semi-braces The matched product construction About solutions...
Solutions of semi-braces - IIWe can view in a different light the solution associated to any semi-brace B.
Corollary (F. Catino, I. Colazzo, P.S., in preparation)If B := G ./ E is a semi-brace obtained as the matched product of G and Eby α and β, then the solution associated to B is the map r : B×B → B×Bgiven by
λ(g1,e1) (g2, e2) =(λg1αβ−1
g1 (e1)(g2) , λe1βα−1
e1 (g2)(e2)
)ρ(g2,e2) (g1, e1) =
(ρα−1e2 (g2)
α−1λe1βα−1
e1 (g1)(e2)
(g1) , 0)
for all e1, e2 ∈ E and g1, g2 ∈ G .
In particular,
ρα−1λβ−1g1 (e1)
(e2)αβ−1g1 (e1)
(g2)α−1λe1βα−1
e1 (g1)(e2)
(g1) = ρα−1e2 (g2)
α−1λe1βα−1
e1 (g1)(e2)
(g1)
ρβ−1λα−1e1 (g1)
(g2)βα−1e1 (g1)
(e2)β−1λg1αβ
−1g1 (e1)
(g2)(e1) = 0
P. Stefanelli (UniSalento) The matched product of semi-braces 9 / 9
![Page 65: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/65.jpg)
Semi-braces The matched product construction About solutions...
Solutions of semi-braces - IIWe can view in a different light the solution associated to any semi-brace B.
Corollary (F. Catino, I. Colazzo, P.S., in preparation)If B := G ./ E is a semi-brace obtained as the matched product of G and Eby α and β, then the solution associated to B is the map r : B×B → B×Bgiven by
λ(g1,e1) (g2, e2) =(λg1αβ−1
g1 (e1)(g2) , λe1βα−1
e1 (g2)(e2)
)ρ(g2,e2) (g1, e1) =
(ρα−1e2 (g2)
α−1λe1βα−1
e1 (g1)(e2)
(g1) , 0)
for all e1, e2 ∈ E and g1, g2 ∈ G .
In particular,
ρα−1λβ−1g1 (e1)
(e2)αβ−1g1 (e1)
(g2)α−1λe1βα−1
e1 (g1)(e2)
(g1) = ρα−1e2 (g2)
α−1λe1βα−1
e1 (g1)(e2)
(g1)
ρβ−1λα−1e1 (g1)
(g2)βα−1e1 (g1)
(e2)β−1λg1αβ
−1g1 (e1)
(g2)(e1) = 0
P. Stefanelli (UniSalento) The matched product of semi-braces 9 / 9
![Page 66: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/66.jpg)
Semi-braces The matched product construction About solutions...
Solutions of semi-braces - IIWe can view in a different light the solution associated to any semi-brace B.
Corollary (F. Catino, I. Colazzo, P.S., in preparation)If B := G ./ E is a semi-brace obtained as the matched product of G and Eby α and β, then the solution associated to B is the map r : B×B → B×Bgiven by
λ(g1,e1) (g2, e2) =(λg1αβ−1
g1 (e1)(g2) , λe1βα−1
e1 (g2)(e2)
)ρ(g2,e2) (g1, e1) =
(ρα−1e2 (g2)
α−1λe1βα−1
e1 (g1)(e2)
(g1) , 0)
for all e1, e2 ∈ E and g1, g2 ∈ G .
In particular,
ρα−1λβ−1g1 (e1)
(e2)αβ−1g1 (e1)
(g2)α−1λe1βα−1
e1 (g1)(e2)
(g1) = ρα−1e2 (g2)
α−1λe1βα−1
e1 (g1)(e2)
(g1)
ρβ−1λα−1e1 (g1)
(g2)βα−1e1 (g1)
(e2)β−1λg1αβ
−1g1 (e1)
(g2)(e1) = 0
P. Stefanelli (UniSalento) The matched product of semi-braces 9 / 9
![Page 67: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/67.jpg)
Semi-braces The matched product construction About solutions...
Solutions of semi-braces - IIWe can view in a different light the solution associated to any semi-brace B.
Corollary (F. Catino, I. Colazzo, P.S., in preparation)If B := G ./ E is a semi-brace obtained as the matched product of G and Eby α and β, then the solution associated to B is the map r : B×B → B×Bgiven by
λ(g1,e1) (g2, e2) =(λg1αβ−1
g1 (e1)(g2) , λe1βα−1
e1 (g2)(e2)
)ρ(g2,e2) (g1, e1) =
(ρα−1e2 (g2)
α−1λe1βα−1
e1 (g1)(e2)
(g1) , 0)
for all e1, e2 ∈ E and g1, g2 ∈ G .
In particular,
ρα−1λβ−1g1 (e1)
(e2)αβ−1g1 (e1)
(g2)α−1λe1βα−1
e1 (g1)(e2)
(g1) = ρα−1e2 (g2)
α−1λe1βα−1
e1 (g1)(e2)
(g1)
ρβ−1λα−1e1 (g1)
(g2)βα−1e1 (g1)
(e2)β−1λg1αβ
−1g1 (e1)
(g2)(e1) = 0
P. Stefanelli (UniSalento) The matched product of semi-braces 9 / 9
![Page 68: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/68.jpg)
Semi-braces The matched product construction About solutions...
Solutions of semi-braces - IIWe can view in a different light the solution associated to any semi-brace B.
Corollary (F. Catino, I. Colazzo, P.S., in preparation)If B := G ./ E is a semi-brace obtained as the matched product of G and Eby α and β, then the solution associated to B is the map r : B×B → B×Bgiven by
λ(g1,e1) (g2, e2) =(λg1αβ−1
g1 (e1)(g2) , λe1βα−1
e1 (g2)(e2)
)ρ(g2,e2) (g1, e1) =
(ρα−1e2 (g2)
α−1λe1βα−1
e1 (g1)(e2)
(g1) , 0)
for all e1, e2 ∈ E and g1, g2 ∈ G .
In particular,
ρα−1λβ−1g1 (e1)
(e2)αβ−1g1 (e1)
(g2)α−1λe1βα−1
e1 (g1)(e2)
(g1) = ρα−1e2 (g2)
α−1λe1βα−1
e1 (g1)(e2)
(g1)
ρβ−1λα−1e1 (g1)
(g2)βα−1e1 (g1)
(e2)β−1λg1αβ
−1g1 (e1)
(g2)(e1) = 0
P. Stefanelli (UniSalento) The matched product of semi-braces 9 / 9
![Page 69: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/69.jpg)
Semi-braces The matched product construction About solutions...
Solutions of semi-braces - IIWe can view in a different light the solution associated to any semi-brace B.
Corollary (F. Catino, I. Colazzo, P.S., in preparation)If B := G ./ E is a semi-brace obtained as the matched product of G and Eby α and β, then the solution associated to B is the map r : B×B → B×Bgiven by
λ(g1,e1) (g2, e2) =(λg1αβ−1
g1 (e1)(g2) , λe1βα−1
e1 (g2)(e2)
)ρ(g2,e2) (g1, e1) =
(ρα−1e2 (g2)
α−1λe1βα−1
e1 (g1)(e2)
(g1) , 0)
for all e1, e2 ∈ E and g1, g2 ∈ G .
In particular,
ρα−1λβ−1g1 (e1)
(e2)αβ−1g1 (e1)
(g2)α−1λe1βα−1
e1 (g1)(e2)
(g1) = ρα−1e2 (g2)
α−1λe1βα−1
e1 (g1)(e2)
(g1)
ρβ−1λα−1e1 (g1)
(g2)βα−1e1 (g1)
(e2)β−1λg1αβ
−1g1 (e1)
(g2)(e1) = 0
P. Stefanelli (UniSalento) The matched product of semi-braces 9 / 9
![Page 70: The matched product of semi-bracesvishne/Conferences/Malta2018/... · 2018. 3. 16. · The matched product of semi-braces PaolaStefanelli paola.stefanelli@unisalento.it Università](https://reader036.vdocuments.us/reader036/viewer/2022071610/6149452c080bfa6260148099/html5/thumbnails/70.jpg)
Thanks for your attention!