Skip to main content
added the tag (normal-subgroups)
Source Link
Martin Sleziak
  • 4.7k
  • 4
  • 35
  • 40

Today in my research, I had to use fairly explicitly the rather tautological property of finite cyclic groups that every normal subgroup is characteristic, i.e. fixed by all automorphisms. This got me wondering:

do (finite) groups with the property that every normal subgroup is characteristic have a name and/or can they be completely classified? Generally, has this property been investigated at all?

Apart from cyclic groups, some groups possessing the above property that immediately come to mind are simple groups, symmetric groups, semi-dihedral groupssemi-dihedral groups, and dihedral groups of twice odd order (however not of twice even order).

This is as far as I got on my short walk home (apart from some false claims, see comments). I suspect that this property might be well studied.

Edit: The reference that Beren Sanders provided in his answer and the references to and from it all deal with $p$-groups. I still haven't been able to find anything about arbitrary finite groups. Some of the questions that $p$-group theorists ask are just not terribly interesting in the case of arbitrary groups. E.g. the paper that Beren Sanders mentioned proves that every finite $p$-group is contained in another finite $p$-group in which every normal subgroup is characteristic. The same statement for arbitrary finite groups is trivial: just embed your group into a symmetric group. I would still be surprised if nobody had tried to say something reasonably general about finite groups with this property.

Today in my research, I had to use fairly explicitly the rather tautological property of finite cyclic groups that every normal subgroup is characteristic, i.e. fixed by all automorphisms. This got me wondering:

do (finite) groups with the property that every normal subgroup is characteristic have a name and/or can they be completely classified? Generally, has this property been investigated at all?

Apart from cyclic groups, some groups possessing the above property that immediately come to mind are simple groups, symmetric groups, semi-dihedral groups, and dihedral groups of twice odd order (however not of twice even order).

This is as far as I got on my short walk home (apart from some false claims, see comments). I suspect that this property might be well studied.

Edit: The reference that Beren Sanders provided in his answer and the references to and from it all deal with $p$-groups. I still haven't been able to find anything about arbitrary finite groups. Some of the questions that $p$-group theorists ask are just not terribly interesting in the case of arbitrary groups. E.g. the paper that Beren Sanders mentioned proves that every finite $p$-group is contained in another finite $p$-group in which every normal subgroup is characteristic. The same statement for arbitrary finite groups is trivial: just embed your group into a symmetric group. I would still be surprised if nobody had tried to say something reasonably general about finite groups with this property.

Today in my research, I had to use fairly explicitly the rather tautological property of finite cyclic groups that every normal subgroup is characteristic, i.e. fixed by all automorphisms. This got me wondering:

do (finite) groups with the property that every normal subgroup is characteristic have a name and/or can they be completely classified? Generally, has this property been investigated at all?

Apart from cyclic groups, some groups possessing the above property that immediately come to mind are simple groups, symmetric groups, semi-dihedral groups, and dihedral groups of twice odd order (however not of twice even order).

This is as far as I got on my short walk home (apart from some false claims, see comments). I suspect that this property might be well studied.

Edit: The reference that Beren Sanders provided in his answer and the references to and from it all deal with $p$-groups. I still haven't been able to find anything about arbitrary finite groups. Some of the questions that $p$-group theorists ask are just not terribly interesting in the case of arbitrary groups. E.g. the paper that Beren Sanders mentioned proves that every finite $p$-group is contained in another finite $p$-group in which every normal subgroup is characteristic. The same statement for arbitrary finite groups is trivial: just embed your group into a symmetric group. I would still be surprised if nobody had tried to say something reasonably general about finite groups with this property.

added 718 characters in body
Source Link
Alex B.
  • 13k
  • 4
  • 56
  • 90

Today in my research, I had to use fairly explicitly the rather tautological property of finite cyclic groups that every normal subgroup is characteristic, i.e. fixed by all automorphisms. This got me wondering:

do (finite) groups with the property that every normal subgroup is characteristic have a name and/or can they be completely classified? Generally, has this property been investigated at all?

Apart from cyclic groups, some groups possessing the above property that immediately come to mind are simple groups, symmetric groups, semi-dihedral groups, and dihedral groups of twice odd order (however not of twice even order).

This is as far as I got on my short walk home (apart from some false claims, see comments). I suspect that this property might be well studied.

Edit: The reference that Beren Sanders provided in his answer and the references to and from it all deal with $p$-groups. I still haven't been able to find anything about arbitrary finite groups. Some of the questions that $p$-group theorists ask are just not terribly interesting in the case of arbitrary groups. E.g. the paper that Beren Sanders mentioned proves that every finite $p$-group is contained in another finite $p$-group in which every normal subgroup is characteristic. The same statement for arbitrary finite groups is trivial: just embed your group into a symmetric group. I would still be surprised if nobody had tried to say something reasonably general about finite groups with this property.

Today in my research, I had to use fairly explicitly the rather tautological property of finite cyclic groups that every normal subgroup is characteristic, i.e. fixed by all automorphisms. This got me wondering:

do (finite) groups with the property that every normal subgroup is characteristic have a name and/or can they be completely classified? Generally, has this property been investigated at all?

Apart from cyclic groups, some groups possessing the above property that immediately come to mind are simple groups, symmetric groups, semi-dihedral groups, and dihedral groups of twice odd order (however not of twice even order).

This is as far as I got on my short walk home (apart from some false claims, see comments). I suspect that this property might be well studied.

Today in my research, I had to use fairly explicitly the rather tautological property of finite cyclic groups that every normal subgroup is characteristic, i.e. fixed by all automorphisms. This got me wondering:

do (finite) groups with the property that every normal subgroup is characteristic have a name and/or can they be completely classified? Generally, has this property been investigated at all?

Apart from cyclic groups, some groups possessing the above property that immediately come to mind are simple groups, symmetric groups, semi-dihedral groups, and dihedral groups of twice odd order (however not of twice even order).

This is as far as I got on my short walk home (apart from some false claims, see comments). I suspect that this property might be well studied.

Edit: The reference that Beren Sanders provided in his answer and the references to and from it all deal with $p$-groups. I still haven't been able to find anything about arbitrary finite groups. Some of the questions that $p$-group theorists ask are just not terribly interesting in the case of arbitrary groups. E.g. the paper that Beren Sanders mentioned proves that every finite $p$-group is contained in another finite $p$-group in which every normal subgroup is characteristic. The same statement for arbitrary finite groups is trivial: just embed your group into a symmetric group. I would still be surprised if nobody had tried to say something reasonably general about finite groups with this property.

Put semi-dihedral back in, removed speculations at the end
Source Link
Alex B.
  • 13k
  • 4
  • 56
  • 90

Today in my research, I had to use fairly explicitly the rather tautological property of finite cyclic groups that every normal subgroup is characteristic, i.e. fixed by all automorphisms. This got me wondering:

do (finite) groups with the property that every normal subgroup is characteristic have a name and/or can they be completely classified? Generally, has this property been investigated at all?

Apart from cyclic groups, some groups possessing the above property that immediately come to mind are simple groups, symmetric groups, semi-dihedral groups, and dihedral groups of twice odd order (however not of twice even order).

This is as far as I got on my short walk home (apart from some false claims, see comments). I can speculate about properties that the chief series of such groups must have (and maybe even conditions in terms of the chief series that are equivalent to the above), but I will rather wait for answers, since I suspect that this property might be well studied.

Today in my research, I had to use fairly explicitly the rather tautological property of finite cyclic groups that every normal subgroup is characteristic, i.e. fixed by all automorphisms. This got me wondering:

do (finite) groups with the property that every normal subgroup is characteristic have a name and/or can they be completely classified? Generally, has this property been investigated at all?

Apart from cyclic groups, some groups possessing the above property that immediately come to mind are simple groups, symmetric groups and dihedral groups of twice odd order (however not of twice even order).

This is as far as I got on my short walk home (apart from some false claims, see comments). I can speculate about properties that the chief series of such groups must have (and maybe even conditions in terms of the chief series that are equivalent to the above), but I will rather wait for answers, since I suspect that this property might be well studied.

Today in my research, I had to use fairly explicitly the rather tautological property of finite cyclic groups that every normal subgroup is characteristic, i.e. fixed by all automorphisms. This got me wondering:

do (finite) groups with the property that every normal subgroup is characteristic have a name and/or can they be completely classified? Generally, has this property been investigated at all?

Apart from cyclic groups, some groups possessing the above property that immediately come to mind are simple groups, symmetric groups, semi-dihedral groups, and dihedral groups of twice odd order (however not of twice even order).

This is as far as I got on my short walk home (apart from some false claims, see comments). I suspect that this property might be well studied.

Retracted false claim about quotients of such groups
Source Link
Alex B.
  • 13k
  • 4
  • 56
  • 90
Loading
deleted 88 characters in body
Source Link
Alex B.
  • 13k
  • 4
  • 56
  • 90
Loading
Corrected wrong claim about 2-groups; edited title; added 1 characters in body
Source Link
Alex B.
  • 13k
  • 4
  • 56
  • 90
Loading
Source Link
Alex B.
  • 13k
  • 4
  • 56
  • 90
Loading