...
前言 本文内容 声明 自由群 引入 经典命题逻辑 自由群的引入 定义 泛性质 泛性质的意义 构造 字符 字 word 规约 自由 群结构 证明 形式化 diamond property 泛性质 自由群与 生成 生成子群 展示 草草结尾 前言 果然,坚持写博客是一件非常困难的事。按照计划,这篇博客一年前就该写出来了,那个时候我还在坚持学抽象代数 结果中间不知道发生了什么 总而言之一直耽搁到现在。 ...
2021-11-27 12:11 0 209 推荐指数:
...
我相信我的订阅者中有很多是IT从业人员,我们在工作中会使用各种软件,除了微软、苹果等软件巨头的商业软件,还有更多的自由软件。我们使用这些软件构建自己的工作环境,为公司开发运营系统,为客户实现业务流程,有时候为了增强完善补充功能,我们甚至会修改这些软件的源代码...... 那么什么是自由 ...
下面是一则笔记,关于紧致Lie群的基本群,之后有时间会补充例子。 一则评注:紧致lie群/lie代数/约化代数群,因为基本都被根系刻画了,所以大家想要用根系描述他的所有信息,例如基本群,同调群,表示,子群等等,这些连续的东西最后转化成一些可以把握住的有组合意味的刻画,以上便是 ...
大家好,我是良许,前码农,现在自由职业者。 有关注我朋友圈的小伙伴都知道,就在上周,我刚刚结束了长达 35 天的「假期」。 此言一出,立刻掀起了评论区留言狂潮,大家纷纷问我,你特么不是自由职业吗?哪来的假期? 别急,请听我慢慢道来。 这 35 天里,我的行程是这样的:广州出发 → 衡阳 ...
1. QT线程(QThread的子类)的退出: (1)使用terminate()函数无法退出;线程可能会立即被终止也可能不会,这取决于操作系统的调度策略,使用terminate()之后再使用Q ...
属性名称 说明 group :group= "name",相同的组之间可以相互拖拽 sort :sort= " ...
上篇文章,主要讲述了理财工具的分类,要想实现财务自由,我们主要需要用好无风险和低风险类的理财工具即可。在这两类中,又存在三大核心的工具,即企业、股票和REITs 购买生钱资产,主要就是购买生钱资产类型的股票和REITs 创造生钱资产,主要就是创造企业 其中:用好了企业,会成为企业家;用好 ...
终于离开的这家我服务了2年的公司。本来不计划吐槽发感慨,我一直是乐观调侃谈笑写代码,不过自从我离职那天起,我的个人技术试验站流量开始上涨,好像在庆贺我终于觉悟了一样, 之前我也写过一些我自己写代 ...