glossary:ring:ideal:nilpotent