デデキントの補題
Vieweg & Sohn MR0175878
Christian Karpfinger, Kurt Meyberg (2009), Algebra: Gruppen - Ringe - Körper (ドイツ語), Heidelberg: Spektrum Akademischer Verlag, ISBN 978-3-8274-2018-3。
Kurt Meyberg (1976), Algebra: Teil 2, Mathematische Grundlagen für Mathematiker, Physiker und Ingenieure (ドイツ語), Wien: Carl Hanser Verlag, ISBN 3-446-12172-2。 MR0460011
B. L. van der Waerden (1993), Algebra I (ドイツ語) (9. ed.), Berlin (u. a.): Springer Verlag, ISBN 3-540-56799-2。
明らかである(線型独立であるベクトルの組に同一の2元は存在し得ない)。
デデキントの補題またはデデキントの独立性定理(独: Unabhängigkeitssatz von Dedekind)は、数学者リヒャルト・デーデキントに帰せられる代数学の命題で、半群から可換体の単元群への準同型写像族があるとき、それらの線型独立性について述べるものである。ガロア理論の基本的な構成定理に用いられる。