]> 2026-07-10T16:46:10+00:00 Finite normal implies amalgam-characteristic 0 en Fact tabular 2021-08-18T14:42:11Z 2459445.1126273 Finite normal implies amalgam-characteristic 0 Finite normal implies amalgam-characteristic#Finite normal subgroup;2 2 0 Finite normal implies amalgam-characteristic#Amalgam-characteristic subgroup;2 2 0 Finite normal implies amalgam-characteristic#Finite group;2 2 0 Finite normal implies amalgam-characteristic#Always amalgam-characteristic group;2 2 0 2 plainlist 3 [[Fact about.Page::Finite normal subgroup]] Finite normal implies amalgam-characteristic# QUERYbdc7b95f86365df2cdab4fcaa7cbf86a 0 2 plainlist 3 [[Fact about.Page::Amalgam-characteristic subgroup]] Finite normal implies amalgam-characteristic# QUERYb87195e4b282117db7864fce05cd53e9 0 2 plainlist 3 [[Fact about.Page::Finite group]] Finite normal implies amalgam-characteristic# QUERY8a67e1f34a61166cfd6a3b93cb770980 0 2 plainlist 3 [[Fact about.Page::Always amalgam-characteristic group]] Finite normal implies amalgam-characteristic# QUERYc62d56a45efc0c0de1d19cd1f3e7b500 0 1 plainlist 2 [[Proof style::tabular]] Finite normal implies amalgam-characteristic# QUERYf01bb08697ac3005f355a5eab6fde265 Finite normal implies image-potentially characteristic 0 en Finite normal implies image-potentially characteristic Uses 132 en Uses