Josephův ideál je specialní ideál v universální obalující algebře jednoduché Lieovy algebry. Pro klasické Lieovy algebry je jeho jednoznačnost ekvivalentní existenci tensoru se speciálními vlastnostmi.
Existence těchto tensorů plyne z abstraktní teorie, nicméně jejich konstrukce je možná a implikuje speciální hodnotu parametru pro rodinu ideálů charakterizujícího Josephův ideál.