Your Alternative is right but might be written much more Obviously as U(20) has an element of order four but G isn't going to. The justification is always that isomorphisms maintain the get of things and so isomorphic https://moviezbuzz24.blogspot.com/