]> 2026-06-16T09:45:14+00:00 Direct factor implies transitively normal 0 en Fact 2010-01-16T20:44:41Z 2455213.3643634 Direct factor implies transitively normal 0 Direct factor implies transitively normal#Direct factor;2 2 0 Direct factor implies transitively normal#Transitively normal subgroup;2 2 0 2 plainlist 3 [[Fact about.Page::Direct factor]] Direct factor implies transitively normal# QUERY5128417d4a0c0439fbd99b8bbc04a9e3 0 2 plainlist 3 [[Fact about.Page::Transitively normal subgroup]] Direct factor implies transitively normal# QUERY9c6e435656b70c2b203f63768bc5ed0c