グラショウ=ワインバーグ=サラム理論はゲージ群 SU(2)L×U(1)Y に対するヤン=ミルズ=ヒッグス理論である。
SU(2)L の部分はウィークアイソスピンなどと呼ばれ、U(1)Y の部分はウィークハイパーチャージ(弱超電荷)などと呼ばれることもある。
ヒッグス機構により、SU(2)L×U(1)Y は 元の U(1)Y とは異なる U(1) に自発的に破れる。これを電磁相互作用のゲージ群 U(1)em と同一視する、と言うのがこの理論における電弱相互作用の統一の流れである。
この理論のゲージ場の部分に含まれるパラメータは二つのゲージ群に対応するゲージ結合定数 g, g'、或いはその組み合わせである電気素量 e と弱混合角 θw である。
弱混合角の大きさは

である[4]。
ヒッグス場の部分には、真空期待値 v と自己相互作用の結合定数 λ の2つのパラメータが含まれており、これらは低エネルギーにおいてフェルミ結合定数 GF とヒッグス粒子の質量 mH に関係付けられる。さらに湯川相互作用項には相互作用の数だけ湯川結合定数が含まれる。
ラグランジアン
電弱対称性が破れる前のラグランジアンは

の形で表すことが出来る。
第一項はヤン=ミルズ理論に基づいて導入されるゲージ場の運動項で、ヤン=ミルズ項と呼ばれる。その形は

で表される。添え字 a はゲージ群の次元に亘って和をとる。
第二項はフェルミオンの運動項で、

であり、理論に含まれるフェルミオンについて和をとる。
第三項はヒッグス場の運動項とポテンシャル項で、

で与えられる。
第四項は湯川相互作用項

であり、ゲージ変換の下での対称性を保つ組み合わせについて和をとる。
ヤン=ミルズ理論に従い、フェルミオンとヒッグス場の運動項の微分が共変微分へと置き換えられている。
共変微分は

の形で書かれる。Ta(a=1, 2, 3)は SU(2)L の生成子で、Y は U(1)Y の生成子である。
はそれぞれのゲージ群に対応するゲージ場で、g, g' はそれぞれのゲージ群に対応するゲージ結合定数である。
電弱対称性の破れ
ヒッグス場は SU(2)L の下で複素2重項

としての変換性(2表現)をもち、U(1)Y の電荷 Y = 1/2 をもつ。
2表現で変換する場に対する生成子は Ta = σa/2(a = 1,2,3; σ はパウリ行列)であり、ヒッグス場に対する共変微分は

となる。
ゲージ変換の自由度を用いて
の形になるように選べば、ヒッグス場のポテンシャル項から

の真空期待値をもち、励起状態は

となる。
ヒッグス場が真空期待値をもつとき、ゲージ対称性は第一成分の位相変換

の自由度を残して破れる。
破れずに残るこの位相変換の生成子は

であり、これが電磁相互作用のゲージ群 U(1)em の生成子である電荷と同一視される。
対称性が破れた後のヒッグス場に対する共変微分は

となる。
ここで
は
の線型結合で

によって定義され[5]、荷電ウィークボソン(charged weak boson)、あるいはWボソンと呼ばれる。
は
の線型結合で

によって定義され[5]、中性ウィークボソン(neutral weak boson)、あるいはZボソンと呼ばれる。
ここで θw は弱混合角と呼ばれ

で定義される[5]。
に直交するゲージ場

は電磁場(光子)と同一視される[5]。
これらのボソンで前述の共変微分を書き換えれば、

となる。
を電磁場と同一視することから、結合定数は電磁相互作用の結合定数である電気素量 e と同一視され、

で関係付けられる[5]。
ゲージ場の質量
ヒッグス場の運動項の共変微分

を通じてゲージ場はヒッグス場と相互作用する。
ヒッグス場が真空期待値を持ち、対称性が自発的に破れたとき、ウィークボソンはヒッグス場の運動項から質量を得て、


となる[5]。
電弱対称性はウィークボソンの質量程度のエネルギースケールで破れ、このエネルギースケールはウィークスケールと呼ばれる。

理論に含まれるフェルミオン
弱い相互作用はパリティ対称性を破っており、ベータ崩壊はV-A相互作用と呼ばれる形をしている。これは左手型粒子のみが相互作用をして、右手型粒子(左手反粒子)は相互作用をしない。
これを反映して左手粒子はクォークの上系列と下系列、レプトンではニュートリノと荷電レプトンが二重項となって[6] SU(2)L の下で非自明な表現となり、左手反粒子は自明な表現となる。
フェルミオンの左手型と右手型でゲージ群のチャージが異なり、ゲージ不変な質量項を持つことが出来ない。
添え字 i=1, 2, 3, ... は世代数を表し、c は荷電共役を表す。
SU(2)L の下で 2表現で変換する場に対する生成子はパウリ行列であり、例えばクォークに対して

として Q=T3+Y を再現するように Y を決める。
相互作用カレント
フェルミオンの運動項の共変微分

を通じてゲージ場はフェルミオンと相互作用する。
対称性が自発的に破れたとき、ゲージ場はフェルミオンと

の形で相互作用をする。
電磁カレント
電磁場 A と結合する相互作用カレント

は、量子電磁力学と同じものである。
荷電カレント
Wボソンと結合する相互作用カレントは荷電カレント(charged current)と呼ばれ、その形は

で表される。
SU(2)L の二重項に対しては生成子 T− が具体的に

となるので、荷電カレントは

となる。
荷電カレントはベータ崩壊などの粒子の種類を変える相互作用として既に知られていたカレントである。
低エネルギーでは

となってフェルミ相互作用と比較すれば

としてフェルミ結合定数 GF が真空期待値 v と関係付けられる[5]。
中性カレント
Zボソンと結合する相互作用カレントは中性カレント (neutral current) と呼ばれ、その形は

で表される。
中性カレントはこの理論によって予言された相互作用である。
この形の相互作用が発見されたことによってグラショウ、サラム、ワインバーグはノーベル賞を受賞した[2]。
フェルミオンの質量
フェルミオンとヒッグスは湯川相互作用項で結合する。

ここで、

である。
は湯川相互作用の結合定数である。
なお、湯川相互作用の形はゲージ原理から要請されるものではないが、例えばレプトンの項で、
の部分は SU(2)L 一重項となり、U(1)Y も Y=-1/2+(-1/2)=-1 となっていて(
は複素共役で符号が変わって Y=-1/2 である)、
と相殺され、全体としてゲージ不変性が保たれている。
ヒッグスが真空期待値を持ち、対称性を破るとき、


となって、フェルミオンが質量を得る。ユニタリ変換で行列
を対角化するように取り直せば、e1=e, e2=μ, e3=τ, ... となる。同様に
を対角化すれば、d1=d, d2=s, d3=b, ... , u1=u, u2=c, u3=t, ... となる。このとき、
と
は二重項
として変換するので、それぞれを同時に対角化できない。その際のずれがCKM行列である