Abelianness is 2-local

From Groupprops
Jump to: navigation, search
This article gives the statement, and possibly proof, of a group property (i.e., Abelian group) satisfying a group metaproperty (i.e., 2-local group property)
View all group metaproperty satisfactions | View all group metaproperty dissatisfactions |Get help on looking up metaproperty (dis)satisfactions for group properties
Get more facts about Abelian group |Get facts that use property satisfaction of Abelian group | Get facts that use property satisfaction of Abelian group|Get more facts about 2-local group property

Statement

Statement with symbols

A group G is Abelian if and only if the subgroup \langle a,b \rangle is Abelian for any two elements a,b \in G.

Related facts

Applications

Other related facts

Some other results about being local:

On the other hand, the property of being cyclic is not local; there are locally cyclic groups that are not cyclic.

Related facts for finite groups

Proof

Abelian implies the subgroup generated by any two elements is Abelian

This follows from the fact that Abelianness is subgroup-closed: any subgroup of an Abelian group is Abelian.

Subgroup generated by any two elements is Abelian implies Abelian

The key idea here is that the condition for Abelianness is a universal identity that has only two free variables.

Given: A group G such that the subgroup generated by any two elements of G is Abelian.

To prove: G is Abelian: for any a,b \in G, we have ab = ba.

Proof: Consider the subgroup generated by a and b. By assumption, this is Abelian, and since a,b are both elements of this subgroup, we obtain ab = ba.