Составители:
Рубрика:
u, v ∈ h
X
(Y )
uv m ◦ t ∈ h
X
(Y ), t = [u, v]: Y →
X × X
u ∈ h
X
(Y ) u
−1
i ◦ u ∈
h
X
(Y ). h
X
(Y ) Y
τ
→
E
e
→ X.
u
−1
u = e ◦ τ,
u ∈ h
X
(Y ) h
δ
(u) = t ∈ h
X×X
(Y ), t
X
X × X
π
1
oo
π
2
//
X
Y
u
cc
H
H
H
H
H
H
H
H
H
H
t
OO
u
;;
v
v
v
v
v
v
v
v
v
v
t = [u, u] h
i×id
X
(h
δ
(u)) s: Y → X × X,
X
X × X
π
1
oo
π
2
//
X
Y
i◦u
cc
H
H
H
H
H
H
H
H
H
H
s
OO
u
;;
v
v
v
v
v
v
v
v
v
v
h
m
(h
i×id
X
(h
δ
(u))) = m ◦ s : Y → X
u
−1
u. h
e
(h
τ
(u))
h
X
(Y ), u ∈ h
X
(Y )
Y
u
→ X
τ
→ E
Y → E
u
−1
u = e ◦ τ.
uu
−1
= e ◦ τ.
(e ◦ τ)u = u.
uu
−1
= (e ◦ τ)uu
−1
= (u
−1
)
−1
u
−1
uu
−1
= (u
−1
)
−1
(e ◦ τ)u
−1
=
(u
−1
)
−1
u
−1
= e ◦ τ
u(e◦τ) = uu
−1
u = (e◦τ)u = u.
Страницы
- « первая
- ‹ предыдущая
- …
- 49
- 50
- 51
- 52
- 53
- …
- следующая ›
- последняя »