Ado定理 在抽象代數中Ado定理指出每一個有限維的在一個零特徵的域 K displaystyle K 上的李代數 L displaystyle L 都可被看作是一個用交換子李括號定義的關於方塊矩陣的李代數更為準確地說定理指出 L displaystyle L 在 K displaystyle K 上有一個在有限維向量空間 V displaystyle V 上的忠實線性表示使得 L displaystyle L 與一個 V displaystyle V 自同态的子代數同構 雖然對於典型群的李代數而言這個結果並不特別但對於一般情況這則是一個深刻的結果在應用到一個李群 G displaystyle G 的實李代數上時該定理並不指出 G displaystyle G 有一個忠實的線性表示這一般是不正確的而是指出 G displaystyle G 總是有一個線性表示與一個線性群局部同構定理于年由喀山国立大学的Igor Dmitrievich AdoNikolai Chebotaryov英语Nikolai Chebotaryov的學生所證明 定理中對於特徵的限制則與後來由岩泽健吉和HarishChandra英语HarishChandra除去