Generator: Difference between revisions

Line 6:

== Generators in math and JI subgroups ==

A [http://en.wikipedia.org/wiki/Generating_set_of_a_group set of '''generators'''] for a [http://en.wikipedia.org/wiki/Group_%28mathematics%29 group] is a subset of the elements of the group which is not contained in any [http://en.wikipedia.org/wiki/Subgroup proper subgroup], which is to say, any subgroup which is not the whole group. If the set is a finite set, the group is called finitely generated. If it is also an [http://en.wikipedia.org/wiki/Abelian_group abelian group], it is called a [http://en.wikipedia.org/wiki/Finitely_generated_abelian_group finitely generated abelian group]. A '''basis''' is a minimal generating set, i.e. ~~such that if you remove any generator from it, it is no longer~~ a generating set.

A [http://en.wikipedia.org/wiki/Generating_set_of_a_group set of '''generators'''] for a [http://en.wikipedia.org/wiki/Group_%28mathematics%29 group] is a subset of the elements of the group which is not contained in any [http://en.wikipedia.org/wiki/Subgroup proper subgroup], which is to say, any subgroup which is not the whole group. If the set is a finite set, the group is called finitely generated. If it is also an [http://en.wikipedia.org/wiki/Abelian_group abelian group], it is called a [http://en.wikipedia.org/wiki/Finitely_generated_abelian_group finitely generated abelian group]. A '''basis''' is a minimal generating set, i.e. a generating set which has no "redundant" elements.

If the abelian group is written additively, then if {g1, g2, ... gk} is the generating set, every element g of the group can be written

@@ Line 6: / Line 6: @@
 == Generators in math and JI subgroups ==
-A [http://en.wikipedia.org/wiki/Generating_set_of_a_group set of '''generators'''] for a [http://en.wikipedia.org/wiki/Group_%28mathematics%29 group] is a subset of the elements of the group which is not contained in any [http://en.wikipedia.org/wiki/Subgroup proper subgroup], which is to say, any subgroup which is not the whole group. If the set is a finite set, the group is called finitely generated. If it is also an [http://en.wikipedia.org/wiki/Abelian_group abelian group], it is called a [http://en.wikipedia.org/wiki/Finitely_generated_abelian_group finitely generated abelian group]. A '''basis''' is a minimal generating set, i.e. such that if you remove any generator from it, it is no longer a generating set.
+A [http://en.wikipedia.org/wiki/Generating_set_of_a_group set of '''generators'''] for a [http://en.wikipedia.org/wiki/Group_%28mathematics%29 group] is a subset of the elements of the group which is not contained in any [http://en.wikipedia.org/wiki/Subgroup proper subgroup], which is to say, any subgroup which is not the whole group. If the set is a finite set, the group is called finitely generated. If it is also an [http://en.wikipedia.org/wiki/Abelian_group abelian group], it is called a [http://en.wikipedia.org/wiki/Finitely_generated_abelian_group finitely generated abelian group]. A '''basis''' is a minimal generating set, i.e. a generating set which has no "redundant" elements.
 If the abelian group is written additively, then if {g1, g2, ... gk} is the generating set, every element g of the group can be written