Difference between revisions of "Locally nilpotent not implies normalizer condition"
(→Textbook references) |
(→Proof that it does not satisfy the normalizer condition) |
||
Line 26: | Line 26: | ||
=== Proof that it does not satisfy the normalizer condition === | === Proof that it does not satisfy the normalizer condition === | ||
− | { | + | Let <math>H</math> be the subgroup of <math>G</math> generated by the automorphisms: |
+ | |||
+ | <math>e_i \mapsto e_i + re_j, r \in F, i < j \le 0</math> | ||
+ | |||
+ | and: | ||
+ | |||
+ | <math>e_i \mapsto e_i + re_j, r \in F, 0 < i < j</math> | ||
+ | |||
+ | Basically, we have partitioned the set <math>\mathbb{Q}</math> into two totally ordered subsets: the non-positive and the positive numbers, and are only considering the automorphisms in <math>G</math> that keep each part within itself. | ||
+ | |||
+ | For an automorphism of the vector space to preserve <math>H</math>, it must either preserve both parts of the partition, or interchange them. However, since <math>G</math> is unitriangular, it cannot send anything in the positive part to anything in the non-positive part. Therefore, it cannot interchange the parts, and therefore it must preserve both parts. We can then show that this forces the normalizing element to be within <math>H</math>. | ||
== References == | == References == |
Revision as of 00:24, 17 April 2017
This article gives the statement and possibly, proof, of a non-implication relation between two group properties. That is, it states that every group satisfying the first group property (i.e., locally nilpotent group) need not satisfy the second group property (i.e., group satisfying normalizer condition)
View a complete list of group property non-implications | View a complete list of group property implications
Get more facts about locally nilpotent group|Get more facts about group satisfying normalizer condition
Contents
Statement
It is possible to have a group that is a locally nilpotent group (every finitely generated subgroup of it is a nilpotent group) but is not a group satisfying normalizer condition. In other words,
has a proper subgroup
that is self-normalizing:
.
We can construct examples both for a torsion-free group and for
a p-group for any prime number
.
Proof
Description of the example
Take a field . Choose
as follows:
- If we want a torsion-free example, take
, or any other field of characteristic zero.
- If we want an example that is a p-group for some prime number
, take
to be the field
of
elements, or alternatively, any field of characteristic
.
Let be McLain's group
.
Proof that it is locally nilpotent
is locally nilpotent because any finitely generated subgroup of
has finite support in the basis
, i.e., it moves only finitely many basis elements, so it is in a finite-degree unitriangular matrix group over
, which is nilpotent.
Proof that it does not satisfy the normalizer condition
Let be the subgroup of
generated by the automorphisms:
and:
Basically, we have partitioned the set into two totally ordered subsets: the non-positive and the positive numbers, and are only considering the automorphisms in
that keep each part within itself.
For an automorphism of the vector space to preserve , it must either preserve both parts of the partition, or interchange them. However, since
is unitriangular, it cannot send anything in the positive part to anything in the non-positive part. Therefore, it cannot interchange the parts, and therefore it must preserve both parts. We can then show that this forces the normalizing element to be within
.
References
Textbook references
Book | Page number | Chapter and section | Contextual information | View |
---|---|---|---|---|
A Course in the Theory of Groups by Derek J. S. Robinson, ISBN 0387944613More info | 369 | Section 12.2 | proof in exercise 12.2.8 | Google Books |