|
In group theory, a branch of mathematics, the Nielsen–Schreier theorem states that every subgroup of a free group is itself free.〔〔, Corollary 2.9, p. 95.〕〔 It is named after Jakob Nielsen and Otto Schreier. ==Statement of the theorem== A free group may be defined from a group presentation consisting of a set of generators and the empty set of relations (equations that the generators satisfy). That is, it is the unique group in which every element is a product of some sequence of generators and their inverses, and in which there are no equations between group elements that do not follow in a trivial way from the equations describing the relation between a generator and its inverse. The elements of a free group may be described as all of the possible reduced words; these are strings of generators and their inverses, in which no generator is adjacent to its own inverse. Two reduced words may be multiplied by concatenating them and then removing any generator-inverse pairs that result from the concatenation. The Nielsen–Schreier theorem states that if is a subgroup of a free group, then is itself isomorphic to a free group. That is, there exists a subset of elements of such that every element in is a product of members of and their inverses, and such that satisfies no nontrivial relations. The Nielsen–Schreier formula, or Schreier index formula, quantifies the result in the case where the subgroup has finite index: if is a free group on generators, and is a subgroup of finite index , then is free of rank〔Fried & Jarden (1998) p.355〕 : 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Nielsen–Schreier theorem」の詳細全文を読む スポンサード リンク
|