Every Steiners triple (V,B,I) if the
binary operation define following
- xx = x
- for every different x and y
exists unique z
such that {x,y,z} in B, hence xy=z
Example.
Let (V,B,I) be the Steiners triple, where
V={1,2,3,4,5,6,7},
B={{1,2,3}, {1,4,7}, {1,5,6}, {2,5,7}, {3,4,5}, {3,6,7}, {2,4,6}},
I={<1,{1,2,3}>, <2,{1,2,3}>, <3,{1,2,3}>,
<1,{1,4,7}>, <4,{1,4,7}>, <7,{1,4,7}>,
<1,{1,5,6}>, <5,{1,5,6}>, <6,{1,5,6}>,
<2,{2,5,7}>, <5,{2,5,7}>, <7,{2,5,7}>,
<3,{3,4,5}>, <4,{3,4,5}>, <5,{3,4,5}>,
<3,{3,6,7}>, <6,{3,6,7}>, <7,{3,6,7}>,
<2,{2,4,6}>, <4,{2,4,6}>, <6,{2,4,6}>}
The Cayley table of this quasigroup is following
*| 1 2 3 4 5 6 7
----------------
1| 1 3 2 7 6 5 4
2| 3 2 1 6 7 4 5
3| 2 1 3 5 4 7 6
4| 7 6 5 4 3 2 1
5| 6 7 4 3 5 1 2
6| 5 4 7 2 1 6 3
7| 4 5 6 1 2 3 7