List of centers of finite groups - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T00:23:03Z http://mathoverflow.net/feeds/question/29638 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/29638/list-of-centers-of-finite-groups List of centers of finite groups Makhalan Duff 2010-06-26T20:25:04Z 2010-11-19T23:22:39Z <p>What I'm really looking for is a good set of examples for a semi-direct product of two (coprime) cyclic groups, with a non-trivial (not $1$ and not everything) center. What resource would you recommend for that purpose?</p> http://mathoverflow.net/questions/29638/list-of-centers-of-finite-groups/29640#29640 Answer by Johannes Hahn for List of centers of finite groups Johannes Hahn 2010-06-26T20:49:47Z 2010-06-27T11:30:53Z <p>One can calculate the center of a semidirect product $U\ltimes V$ very explicit. Let $\phi: V\to Aut(U)$ the corresponding homomorphism. Then the following holds: $$(u,v)\in Z(U\ltimes V) \iff v\in Z(V), u\in C_U(V), \kappa_u=\phi(v^{-1})$$ where $\kappa_u$ is the conjugation with $u$. In particular $\phi(v)\in Inn(U)$. If $U$ is abelian, this gives $Z(U\ltimes V)=Z(V) \cap \ker(\phi)$. If $V$ is abelian too, then $Z(U\ltimes V)=\ker(\phi)$. Now all examples you're looking for can be easily written down.</p> http://mathoverflow.net/questions/29638/list-of-centers-of-finite-groups/29654#29654 Answer by Jack Schmidt for List of centers of finite groups Jack Schmidt 2010-06-27T01:10:38Z 2010-06-27T01:15:56Z <p>I don't know of a resource with such a list, though you could easily make one with programs such as GAP or Magma. Since it is reasonably easy and interesting to analyze this problem, I'll outline how I suggest thinking about the examples:</p> <p>Let ⟨a⟩ act on the normal subgroup ⟨b⟩ in the semi-direct product ⟨a,b⟩. Then z = a<sup>i</sup>b<sup>j</sup> is in the center of ⟨a,b⟩ if and only if it commutes with both a and b. Just writing it out you get a⋅(a<sup>i</sup>b<sup>j</sup>) = a<sup>i+1</sup>b<sup>j</sup> and (a<sup>i</sup>b<sup>j</sup>)⋅a = a<sup>i+1</sup>(b<sup>j</sup>)<sup>a</sup>, so b<sup>j</sup> has to be centralized by a. Similarly to commute with b, b has to be centralized by a<sup>i</sup>.</p> <p>You could try to use this in two directions: make ⟨a⟩ centralize part of ⟨b⟩, or let the kernel of the action of ⟨a⟩ on ⟨b⟩ be non-trivial (and proper).</p> <p>The first direction runs into some trouble, but does let you produce pretty obvious examples. As a concrete family, consider:</p> <blockquote> <p>Let b have order 3k for k an integer coprime to 6, and let a of order 2 act on b as b<sup>a</sup> = b<sup>(k<sup>2</sup>+1)</sup>. Then ⟨a,b⟩ has center ⟨b<sup>k</sup>⟩.</p> </blockquote> <p>This example is not particularly satisfying since it is just the direct product S<sub>3</sub>×k. For the verification, check that (b<sup>3</sup>)<sup>a</sup> = b<sup>(3k<sup>2</sup>+3)</sup> = b<sup>3</sup> since 3 ≡ 3k<sup>2</sup>+3 mod 3k, but (b<sup>k</sup>)<sup>a</sup> = b<sup>k(k<sup>2</sup>+1)</sup> = (b<sup>k</sup>)<sup>2</sup> since 2 ≡ k<sup>2</sup>+1 mod 3. This might make a good example to show that "a" and "b" are not uniquely defined by the abstract isomorphism type of the group meeting your requirements (since the "k" could just as easily have been part of the "a" as part of the "b").</p> <p>Unfortunately you cannot do much better than this using the first direction, since if ⟨a⟩ centralizes a subgroup of ⟨b⟩ of prime order p, then ⟨a⟩ centralizes the entire Sylow p-subgroup of ⟨b⟩, and you get a direct product. This follows from your coprime hypothesis.</p> <p>The other direction looks a bit different. Take any example semi-direct product ⟨A,b⟩ that has ⟨b⟩ normal, |A| and |b| are coprime, and Z(⟨A,b⟩) a proper subgroup. Let ⟨a⟩ be a cyclic group of order k|A| where k is coprime to ⟨b⟩, and define b<sup>a</sup> = b<sup>A</sup>. Then the center of ⟨a,b⟩ is still a proper subgroup and contains ⟨a<sup>|A|</sup>⟩ of order k. More concretely:</p> <blockquote> <p>Let b have odd order m and let a have order 2<sup>n+1</sup> and let a act on b as b<sup>a</sup> = b<sup>−1</sup>. Then ⟨a,b⟩ has center ⟨a<sup>2</sup>⟩ of order 2<sup>n</sup>.</p> </blockquote> <p>You can combine the two directions, but again because the first direction trivializes, the combined version looks pretty silly. Just take the direct product any example of the second direction and a cyclic group of order coprime to its |a|. This exhausts all possibilities, but I suspect most people would be irritated with the direct product aspect and only consider the second direction valid.</p> <p>If you relax the coprime hypothesis, then you get another type of example that is reasonably interesting: take the Sylow p-subgroup of the holomorph of a cyclic p-group. The center will have order exactly p. If ⟨b⟩ has order p<sup>n+1</sup>, then ⟨a⟩ will have order p<sup>n</sup>, ⟨a,b⟩ will have order p<sup>2n+1</sup>, and the center of ⟨a,b⟩ will be ⟨b<sup>p<sup>n</sup></sup>⟩ of order p. The action of a on b is easy to write down: b<sup>a</sup> = b<sup>1+p</sup>.</p> http://mathoverflow.net/questions/29638/list-of-centers-of-finite-groups/29723#29723 Answer by SandeepJ for List of centers of finite groups SandeepJ 2010-06-27T18:20:55Z 2010-06-27T21:25:46Z <p>In Humphrey's Group theory, Chapter 21 gives the construction of Central Extensions. [<em>A group G is a central extension of N by H with Z(G)=N.</em>] You could use that construction to build appropriate examples.</p> <p><a href="http://en.wikipedia.org/wiki/Wreath_product" rel="nofollow">Wreath products</a> are also semidirect products. In Weinstein's <a href="http://www.amazon.com/Examples-Groups-Michael-Weinstein/dp/0936428171" rel="nofollow">Examples of Groups</a>, Sec 4.4 on wreath products, Theorem 4.4.7 constructs and proves the restricted wreath product W=(G rwr A) such that Z(W) = Z (diag($G^A$) x {1}) where <em>diag</em> is the diagonal subgroup (result applies only if A is finite)</p> <p>Meldrum's book on <a href="http://books.google.com/books?id=ZhjP2fbdbf8C&amp;lpg=PP1&amp;ots=RXgb1aH8U7&amp;pg=PR5#v=onepage&amp;q&amp;f=false" rel="nofollow">Wreath Products</a> Chap 1 might provide more constructions. </p> http://mathoverflow.net/questions/29638/list-of-centers-of-finite-groups/46652#46652 Answer by Tim Dokchitser for List of centers of finite groups Tim Dokchitser 2010-11-19T17:09:57Z 2010-11-19T23:22:39Z <p>If you would like a complete classification following Jack's strategy, say your group is $G=C_n\rtimes C_m$ with $n,m$ coprime, $C_n=\langle c\rangle$, $C_m=\langle x\rangle$ and $xcx^{-1}=c^j$. The order of $j$ in $({\mathbb Z}/n{\mathbb Z})^\times$ has to divide $m$, and every such triple $(n,m,j)$ gives a valid semi-direct product $G$. Now</p> <blockquote> <p>$G$ has a non-trivial centre if and only if either</p> <ul> <li><p>The order of $j$ is less than $m$, or</p></li> <li><p>$j$ is congruent to 1 modulo a prime $p|n$.</p></li> </ul> </blockquote> <p>In the first case, $C_m$ does not act faithfully on $C_n$, and the elements in the kernel commute with both $C_n$ and $C_m$, so they are in the centre. In the second case, $C_p\lt C_n$ is central. If neither condition holds, then the centre must be contained in $C_n$ (by faithfullness of the action) and cannot contain any $C_p$ for $p|n$ (by the failure of the second condition), so it has to be trivial.</p>