画布 1
代数
  二元运算
  代数系统
    子代数
  半群
    交换半群
    含幺半群
    子半群
    子含幺半群
    性质
      若任意一个元素都可以通过两个元素的运算得到，那么是群
      有左单位元和左逆元则为群
      有限且消去律成立则为群
  群
    真子群
    平反子群
    交换群
    循环群
    性质
      没有零元
      消去律成立
      满同态保持群
      运算表每一行是G中的全排列
  环
    整环
    除环
    域