Series-equivalent not implies automorphic: Difference between revisions

From Groupprops
(Created page with "==Statement== It is possible to have a group <math>G</math> and normal subgroups <math>H</math> and <math>K</math> of <math>G</math> that are [[fact about::series-equiva...")
 
Line 18: Line 18:
| [[Weaker than::series-equivalent abelian-quotient central subgroups may be distinct]] || <math>H</math> and <math>K</math> are central and <math>G/H, G/K</math> are distinct || 64 || [[semidirect product of Z8 and Z8 of M-type]] || [[direct product of Z4 and Z2]] || [[direct product of Z4 and Z2]]
| [[Weaker than::series-equivalent abelian-quotient central subgroups may be distinct]] || <math>H</math> and <math>K</math> are central and <math>G/H, G/K</math> are distinct || 64 || [[semidirect product of Z8 and Z8 of M-type]] || [[direct product of Z4 and Z2]] || [[direct product of Z4 and Z2]]
|-
|-
| [[Weaker than::series-equivalent not implies automorphic in finite abelian group]] || 128 || [[direct product of Z8 and Z4 and V4]] || [[direct product of Z8 and V4]] || [[direct product of Z4 and Z2]]
| [[Weaker than::series-equivalent not implies automorphic in finite abelian group]] || <math>G</math> is a [[finite abelian group]] ||128 || [[direct product of Z8 and Z4 and V4]] || [[direct product of Z8 and V4]] || [[direct product of Z4 and Z2]]
|-
|-
| [[Weaker than::characteristic maximal not implies isomorph-free in group of prime power order]] || 16 || [[nontrivial semidirect product of Z4 and Z4]] || [[direct product of Z4 and Z2]] || [[cyclic group:Z2]]
| [[Weaker than::characteristic maximal not implies isomorph-free in group of prime power order]] || <math>H</math> and <math>K</math> are maximal, <math>H</math> is characteristic, and <math>G</math> is a [[group of prime power order]] || 16 || [[nontrivial semidirect product of Z4 and Z4]] || [[direct product of Z4 and Z2]] || [[cyclic group:Z2]]
|-
|-
| [[Weaker than::characteristic maximal subgroups may be isomorphic and distinct in group of prime power order]] || 64 || {{fillin}} || {{fillin}} || {{fillin}}
| [[Weaker than::characteristic maximal subgroups may be isomorphic and distinct in group of prime power order]] || Both <math>H</math> and <math>K</math> are characteristic and maximal and <math>G</math> is a [[group of prime power order]] || 64 || {{fillin}} || {{fillin}} || {{fillin}}
|}
|}

Revision as of 23:37, 15 August 2010

Statement

It is possible to have a group G and normal subgroups H and K of G that are Series-equivalent subgroup (?)s in the sense that H≅K and G/H≅G/K, but H and K are not automorphic subgroups -- in other words, there is no automorphism of G that sends H to K.

Related facts

Stronger facts

There are many slight strengthenings of the result that are presented below, along with the smallest order of known examples.

Statement Constraint on G,H,K Smallest order of G among known examples Isomorphism class of G Isomorphism class of H,K Isomorphism class of quotient group G/H,G/K
series-equivalent abelian-quotient abelian not implies automorphic H and G/H are both abelian 16 nontrivial semidirect product of Z4 and Z4 direct product of Z4 and Z2 cyclic group:Z2
series-equivalent characteristic central subgroups may be distinct H and K are both central subgroups of G 32 SmallGroup(32,28) cyclic group:Z2 direct product of D8 and Z2
series-equivalent abelian-quotient central subgroups may be distinct H and K are central and G/H,G/K are distinct 64 semidirect product of Z8 and Z8 of M-type direct product of Z4 and Z2 direct product of Z4 and Z2
series-equivalent not implies automorphic in finite abelian group G is a finite abelian group 128 direct product of Z8 and Z4 and V4 direct product of Z8 and V4 direct product of Z4 and Z2
characteristic maximal not implies isomorph-free in group of prime power order H and K are maximal, H is characteristic, and G is a group of prime power order 16 nontrivial semidirect product of Z4 and Z4 direct product of Z4 and Z2 cyclic group:Z2
characteristic maximal subgroups may be isomorphic and distinct in group of prime power order Both H and K are characteristic and maximal and G is a group of prime power order 64 PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE] PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE] PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE]
Retrieved from "https://groupprops.subwiki.org/w/index.php?title=Series-equivalent_not_implies_automorphic&oldid=26401"