FZ implies finite derived subgroup: Difference between revisions

Revision as of 20:15, 10 December 2007

This article gives the statement and possibly, proof, of an implication relation between two group properties. That is, it states that every group satisfying the first group property must also satisfy the second group property
View all group property implications | View all group property non-implications
|

Property "Page" (as page type) with input value "{{{stronger}}}" contains invalid characters or is incomplete and therefore can cause unexpected results during a query or annotation process.Property "Page" (as page type) with input value "{{{weaker}}}" contains invalid characters or is incomplete and therefore can cause unexpected results during a query or annotation process.

This result was proved by Schur and is sometimes termed the Schur-Baer theorem.

Statement

Verbal statement

If the inner automorphism group (viz the quotient by the center) of a group is finite, so is the commutator subgroup. In fact, there is an explicit bound on the size of the commutator subgroup as a function of the size of the inner automorphism group.

Symbolic statement

Let $G$ be a group such that $I n n (G) = G / Z (G)$ is finite. Then, $G^{'} = [G, G]$ is also finite. In fact, if $| G / Z (G) | = n$ , then $G^{'}$ has size at most $n^{2 n^{3}}$ .

Property-theoretic statement

The group property of being a FZ-group (viz having a finite inner automorphism group) implies the group property of being commutator-finite viz having a finite commutator subgroup.

Proof

The proof involves two steps:

Showing that the number of distinct commutators is at most $n^{2}$ : This follows from the fact that the commutator $[x, y]$ depends only on the quotients of $x$ and $y$ modulo $Z (G)$ , and thus there are $n^{2}$ possibilities.
Showing that for any element in the commutator subgroup, there is a minimal word for that element with each commutator occuring at most $n$ times: This shows that any element of the commutator subgroup has a word in terms of the commutators, of length at most $n^{3}$ , and this completes the proof.

Converses

The direct converse of the Schur-Baer theorem is false, but there are the following partial converses:

@@ Line 16: / Line 16: @@
 The group property of being a [[FZ-group]] (viz having a finite inner automorphism group) implies the group property of being [[commutator-finite group|commutator-finite]] viz having a finite [[commutator subgroup]].
+==Proof==
+The proof involves two steps:
+* Showing that the number of distinct commutators is at most <math>n^2</math>: This follows from the fact that the commutator <math>[x,y]</math> depends only on the quotients of <math>x</math> and <math>y</math> modulo <math>Z(G)</math>, and thus there are <math>n^2</math> possibilities.
+* Showing that for any element in the commutator subgroup, there is a minimal word for that element with each commutator occuring at most <math>n</math> times: This shows that any element of the commutator subgroup has a word in terms of the commutators, of length at most <math>n^3</math>, and this completes the proof.
+==Converses==
+The direct converse of the Schur-Baer theorem is false, but there are the following partial converses:
+*