ula_19 是递归可枚举的，则这个展示是递归展示而对应的群是递归展现的。这种用法好像很奇怪，但是有可能证明如何群有带有 formula_19 递归可枚举的展示则它还有另一个带有 formula_19 递归的展示。对于有限群 formula_34，乘法表提供了一种展示。我们选取 formula_12 为 formula_34 的元素 formula_37，formula_19 为形如 formula_39 的所有字，这里的 formula_40 是在乘法表是中的一个表项。展示可以被认为是乘法表的推广。