放弃 如图，作者这里给了一个由单点集生成的无限循环群，因为群里面的元素都是不同的，所以a不用满足特定的关系，这个群除了满足几条必须的公理之外就没有限制了，是“自由的”。现在作者要求给出形式化的定义。
楼主的问题是，对于任意不是单点集的集合A，怎么确保构造一个包含A的F({A})？（看到任意的就想用泛性质，无奈还是不会“讲”）
楼主的问题是，对于任意不是单点集的集合A，怎么确保构造一个包含A的F({A})？（看到任意的就想用泛性质，无奈还是不会“讲”）
数学吧 关注：843,016贴子：8,584,088
- 4回复贴，共1页
你这是两个问题，用up给出定义不代表存在，构造自由群你可以翻翻代数教材。代数书一般也同样会写自由群的up，不过有可能不会扯到范畴的概念，非要套范畴的抽象废话就是加上遗忘函子G画个交换图，或者就是函子Hom(A,G(-))可表。
扫二维码下载贴吧客户端
下载贴吧APP
看高清直播、视频！
看高清直播、视频！
贴吧热议榜
- 1不做ATM机！女小丑的觉醒之路2940360
- 2如何评价Uzi老头杯一轮游2100905
- 3《鸣潮》忌炎是逃兵？吧友们怎么看2026864
- 4梦之队专业评审票数公布1600317
- 5男生180+对应女生什么条件？1560520
- 6FPX 1-2不敌TH告别上海大师赛1443375
- 7《疯狂的麦克斯》前传票房扑街1271472
- 800后妹妹都开始盘串了1248808
- 9吧友评选LOL五大无S冠冲击波选手1005620
- 10快乐向前冲受伤者发声784896
