戴德金律(Dedekind law)關於子群的一個等式.群論中的一條類似於格論中模律的公式.若H,K,L為群G的子群,H}K,KL=LK(即KL為G的子群),則H門CKL} = K CH門L}.這個公式在很多群論論證中起重要作用.