"artinian group" Deutsche bedeutung