我一直在参加菅直人扩展研讨会II，本周轮到我了关于乔恩·贝克“分配定律”的帖子在n类咖啡馆!

这篇文章使用了很多monad的字符串图，结果得到了如下图片：

再见那里!

在本文中，我将演示在Sage中定义非交换环的3种方法。它们本质上是表达环中非交换关系的不同方式：

1. 通过g_代数：直接定义关系
2. 通过NC多项式环_plural：定义一对结构矩阵
3. 通过字母位置环的商：定义由关系生成的理想（仅适用于同质关系）

本文阐述了SageMath的一些特征理论功能，以及关于有限群特征的一些基本结果。