They were introduced by Azumaya (1951), who named them after Kurt Hensel.
それらはAzumaya (1951) によって導入され、Kurt Hensel にちなんで名づけた。