网页
资讯
视频
图片
知道
文库
贴吧
地图
采购
进入贴吧
全吧搜索
吧内搜索
搜贴
搜人
进吧
搜标签
日
一
二
三
四
五
六
签到排名:今日本吧第
个签到,
本吧因你更精彩,明天继续来努力!
本吧签到人数:0
一键签到
可签
7
级以上的吧
50
个
一键签到
本月漏签
0
次!
0
成为超级会员,赠送8张补签卡
如何使用?
点击日历上漏签日期,即可进行
补签
。
连续签到:
天 累计签到:
天
0
超级会员单次开通12个月以上,赠送连续签到卡3张
使用连续签到卡
05月30日
漏签
0
天
数学吧
关注:
843,447
贴子:
8,585,897
看贴
图片
吧主推荐
视频
游戏
4
回复贴,共
1
页
<返回数学吧
>0< 加载中...
如何用范畴论的泛性质导出自由群的正式定义?
只看楼主
收藏
回复
从入门
放弃
核心吧友
7
该楼层疑似违规已被系统折叠
隐藏此楼
查看此楼
如图,作者这里给了一个由单点集生成的无限循环群,因为群里面的元素都是不同的,所以a不用满足特定的关系,这个群除了满足几条必须的公理之外就没有限制了,是“自由的”。现在作者要求给出形式化的定义。
楼主的问题是,对于任意不是单点集的集合A,怎么确保构造一个包含A的F({A})?(看到任意的就想用泛性质,无奈还是不会“讲”)
送TA礼物
IP属地:浙江
1楼
2024-04-30 10:21
回复
wushilp
核心吧友
7
该楼层疑似违规已被系统折叠
隐藏此楼
查看此楼
你这是两个问题,用up给出定义不代表存在,构造自由群你可以翻翻代数教材。代数书一般也同样会写自由群的up,不过有可能不会扯到范畴的概念,非要套范畴的抽象废话就是加上遗忘函子G画个交换图,或者就是函子Hom(A,G(-))可表。
IP属地:北京
来自
Android客户端
2楼
2024-04-30 12:40
回复
收起回复
wushilp
核心吧友
7
该楼层疑似违规已被系统折叠
隐藏此楼
查看此楼
多项式环的universal property怎么理解
IP属地:北京
来自
Android客户端
4楼
2024-04-30 12:47
回复
收起回复
哀夢
人气楷模
12
该楼层疑似违规已被系统折叠
隐藏此楼
查看此楼
就是Grp里的free object
IP属地:英国
来自
Android客户端
5楼
2024-05-01 05:21
回复(1)
收起回复
登录百度账号
扫二维码下载贴吧客户端
下载贴吧APP
看高清直播、视频!
贴吧热议榜
1
大耳朵图图请牛爷爷们帮帮忙
2527800
2
海贼王1116话全图:800年战争
2451602
3
吧友给高考学子们的建议
1919372
4
《庆余年2》大结局点映
1805706
5
黑神话吧友如何缓解猴瘾
1715064
6
炎亚纶被判7个月缓刑3年
1232975
7
前国家体育总局局长苟仲文被调查
1080528
8
如何评价海洋大学养鱼网红张宜良
897598
9
一击男245话:跳跃准备
647680
10
鸣潮文案策划翻车合订本
499548
贴吧页面意见反馈
违规贴吧举报反馈通道
贴吧违规信息处理公示