"artinian module" Deutsche bedeutung