Составители:
Рубрика:
@
@
@
@
@
@
A
A
A
((ab)c)(de)
n J
n
J
n
(Y, ·)
T ∈ J
n
µ
T
: Y
n
→ Y T
µ
T
(y
1
, y
2
, y
3
, y
4
, y
5
) = ((y
1
y
2
)y
3
)(y
4
y
5
)
l(T )
T.
a
T
{T } × Y
l(T )
= M(Y ).
(Y, ·) eµ: M(Y ) → Y,
(T ; y
1
, . . . , y
l(T )
) µ
T
(y
1
, . . . , y
l(T )
)
X
M(X) =
a
T
{T } × X
l(T )
.
M(X) ?
(T
0
, T
00
) 7→ T
0
∗ T
00
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
A
A
A
l(T
0
∗ T
00
) = l(T
0
) + l(T
00
). (T
0
; x
0
1
, . . . , x
0
l(T
0
)
) ?
(T
00
; x
00
1
, . . . , x
00
l(T
00
)
) = (T
0
∗ T
00
; x
1
, . . . , x
l(T
0
)+l(T
00
)
), x
i
= x
0
i
1 ≤ i ≤ l(T
0
)
x
l(T
0
)+j
= x
00
j
1 ≤ j ≤ l(T
00
). (M(X), ?)
X X M(X)
