- #36

- 17,655

- 18,379

No, that's not my example. I think of an example where ##G/H## is not simple, e.g. the sum of simple groups, ##H## is maximal solvable and normal, and all subgroups that contain ##H## are not normal.Is your assertion here that there is a subgroup ##K\subset G/N## that cannot be written as ##K'/N## for some ##K'\subset G##? I think this is false - ##K'=KN## should work (also the statement of the correspondence theorem is that it is a bijection)