>>122-123
> 2.任意の有限群Gはあるnに対してS_nの部分群と同型。（つまりGは忠実な置換表現を持つ。）

それって、ケーリー（Cayley）の定理でしょ？
いま問題にしているのは "ガロアの逆問題"（下記）で、与えられた群をガロア群にもつ方程式（あるいは体の拡大）を構成する問題ですよ
ちょっと違うんじゃない？
つまり"ガロアの逆問題"は、与えられた群Gを含む大きなガロア群（例えば大きなSn）を見つける問題ではなく、「群Gそのものがガロア群になる体の拡大が存在するかどうか」という問題でしょ？

参考
https://okwave.jp/qa/q5264057.html
任意の有限群は、適当な置換群 Sn(N) の部分群？ loboskobay OKWAVE 2009/09/05 質問No.5264057
(抜粋)
「任意の有限群は適当な置換群 Sn(N) の部分群である」

ベストアンサー zk43 2009/09/05
定理の名前でいえば、
ケーリー（Cayley）の定理といいます。
証明の概略としては、Gを位数nの有限群として、
a∈Gを一つ取り、x→ax（x∈G）で写像fa:G→G
を定めると、これは全単射であり、Gの置換を
引き起こします。Gの置換全体の集合をSGとすると、
明らかにSGとSnは同型です。
そして、a→faによって写像φ：G→SGを定めると、
これは単射準同型になるので、GはSGに埋め込まれる、
すなわち、GはSnの部分群と同型となる、といえます。

（>>45より）
https://ja.wikipedia.org/wiki/%E3%82%AC%E3%83%AD%E3%82%A2%E7%90%86%E8%AB%96
ガロア理論
(抜粋)
逆問題
与えられた方程式（あるいは体のガロア拡大）のガロア群を計算する問題を "ガロアの順問題"、与えられた群をガロア群にもつ方程式（あるいは体の拡大）を構成する問題を "ガロアの逆問題" と呼ぶことがある。

つづく