摘要

Nystedt recently gave a combinatorial proof of the fact that Ore extensions are associative. As part of it he proves that two sets of strings are identical, using a counting argument. We show that the equality of the sets can be proven directly.

  • 出版日期2014-2-6