网页
资讯
视频
图片
知道
文库
贴吧
地图
采购
进入贴吧
全吧搜索
吧内搜索
搜贴
搜人
进吧
搜标签
日
一
二
三
四
五
六
签到排名:今日本吧第
个签到,
本吧因你更精彩,明天继续来努力!
本吧签到人数:0
一键签到
可签
7
级以上的吧
50
个
一键签到
本月漏签
0
次!
0
成为超级会员,赠送8张补签卡
如何使用?
点击日历上漏签日期,即可进行
补签
。
连续签到:
天 累计签到:
天
0
超级会员单次开通12个月以上,赠送连续签到卡3张
使用连续签到卡
07月06日
漏签
0
天
数学吧
关注:
851,375
贴子:
8,608,344
看贴
图片
吧主推荐
视频
游戏
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
回复
收起回复
常德云森网络科技
数学
公式大全小心!2024年,你的偏财,情感,事业将迎来的重大转变!
数学
公式大全该小心的地方要小心,该抓住机遇要抓住,别错过发财致富好运,更别错过爱你的人。
2024-07-06 02:22
广告
立即查看
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
沙特杯TES迎战GEN
1208517
2
歌手2024第九期排名
1083460
3
洞庭湖决堤
883656
4
吧友锐评各大热门专业缺点
804908
5
Lenka袭榜歌手2024
675475
6
老头环DLC轮椅武器削弱引争议
542088
7
原神纳塔新角色曝光
512647
8
EDG战胜RNG
381458
9
英国新首相系阿森纳死忠
311451
10
如何评价懒羊羊的人设?
236151
贴吧页面意见反馈
违规贴吧举报反馈通道
贴吧违规信息处理公示