最終更新日:2022/12/23
例文
Given
a
set
S
of
"free
generators"
of
a
free
group,
let
S⁻¹
be
the
set
of
inverses
of
the
generators,
which
are
in
one-to-one
correspondence
with
the
generators
(the
two
sets
are
disjoint),
then
let
(S∪S⁻¹)^*
be
the
Kleene
closure
of
the
union
of
those
two
sets.
For
any
string
w
in
the
Kleene
closure
let
r(w)
be
its
reduced
form,
obtained
by
cutting
out
any
occurrences
of
the
form
xx⁻¹
or
x⁻¹x
where
x∈S.
Noting
that
r(r(w))
=
r(w)
for
any
string
w,
define
an
equivalence
relation
∼
such
that
u∼v
if
and
only
if
r(u)=r(v).
Then
let
the
underlying
set
of
the
free
group
generated
by
S
be
the
quotient
set
(S∪S⁻¹)^*/∼
and
let
its
operator
be
concatenation
followed
by
reduction.
復習用の問題
Given a set S of free generators
of a free group, let S⁻¹ be the set of inverses of the generators, which are in one-to-one correspondence with the generators (the two sets are disjoint), then let (S∪S⁻¹)* be the Kleene closure of the union of those two sets. For any string w in the Kleene closure let r(w) be its reduced form, obtained by cutting out any occurrences of the form xx⁻¹ or x⁻¹x where x∈S. Noting that r(r(w)) = r(w) for any string w, define an equivalence relation ∼ such that u∼v if and only if r(u)=r(v). Then let the underlying set of the free group generated by S be the quotient set (S∪S⁻¹)*/∼ and let its operator be concatenation followed by reduction.
項目の編集設定
- 項目の編集権限を持つユーザー - すべてのユーザー
- 項目の新規作成を審査する
- 項目の編集を審査する
- 項目の削除を審査する
- 重複の恐れのある項目名の追加を審査する
- 項目名の変更を審査する
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
例文の編集設定
- 例文の編集権限を持つユーザー - すべてのユーザー
- 例文の削除を審査する
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
問題の編集設定
- 問題の編集権限を持つユーザー - すべてのユーザー
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1