24小时热门版块排行榜    

查看: 1188  |  回复: 6

霞栖影

新虫 (小有名气)

[求助] 求助一道基础代数题目 已有1人参与

证明:设R为交换环,如果R上的自由模的子模都是自由的,则R为主理想整环
回复此楼

» 猜你喜欢

» 本主题相关价值贴推荐,对您同样有帮助:

已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

hank612

至尊木虫 (著名写手)

这根据定义就出来了,就不应助了。

R 作为R-模(假设带幺)是自由的,所以任意理想I 作为R的子模 是自由的。

设I的一组R-基至少含两个元素a,b. 由于R是交换的, 所以
b*a + (-a)*b=0, a,b是R(线性)相关的,与基元素的定义不符。
因此I的R-基只有一个元素a,就是说 I=(a)是主理想。
We_must_know. We_will_know.
2楼2013-12-30 02:56:01
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

霞栖影

新虫 (小有名气)

引用回帖:
2楼: Originally posted by hank612 at 2013-12-30 02:56:01
这根据定义就出来了,就不应助了。

R 作为R-模(假设带幺)是自由的,所以任意理想I 作为R的子模 是自由的。

设I的一组R-基至少含两个元素a,b. 由于R是交换的, 所以
b*a + (-a)*b=0, a,b是R(线性)相关的, ...

如果R不带幺呢
3楼2013-12-30 11:34:50
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

霞栖影

新虫 (小有名气)

能将不带幺情况下证一下吗,谢谢

[ 发自手机版 http://muchong.com/3g ]
4楼2014-01-01 13:01:02
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

hank612

至尊木虫 (著名写手)

【答案】应助回帖

feixiaolin: 2014-01-07 07:52:06
引用回帖:
3楼: Originally posted by 霞栖影 at 2013-12-30 11:34:50
如果R不带幺呢...

几乎没有考虑过没带幺的交换环,可难倒我了。

下面这个证明不假设带不带幺,所谓碰到困难绕道走。。。
取自由R-模F,维数为1(相当于一维线性空间), 设x 为基元。
对于任意理想I, Ix 为F的非零子模,因此是自由R-模。
设一组基 ax, bx,.... 由于 b*(ax) +  (-a)*(bx)=0, 所以 ax, bx 是R-相关的。 因此 Ix 必然是一维的自由模, 设ax是基元,那么由于x是F的基元,得出 I=(a) 是主理想。 进一步,由ax是基元,不存在b非零,使得b(ax)=0. 即a不是零因子。

由I的任意性, R中不会有零因子,从而R是主理想整环。
We_must_know. We_will_know.
5楼2014-01-02 12:47:13
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

霞栖影

新虫 (小有名气)

已经明白了,嘿嘿,一定是带幺的,题目暗示了,谢谢啦

[ 发自手机版 http://muchong.com/3g ]
6楼2014-01-06 01:05:06
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

霞栖影

新虫 (小有名气)

就是怎么送红花呢,手机貌似不好使

[ 发自手机版 http://muchong.com/3g ]
7楼2014-01-06 01:06:25
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 霞栖影 的主题更新
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[基金申请] 估计是周四 +3 archvillain 2026-08-18 3/150 2026-08-21 01:48 by jnhyjjm
[基金申请] 基金啊基金 +3 longfie172 2026-08-20 3/150 2026-08-21 00:04 by wuchongjun
[基金申请] 科研孤儿太难了 +14 我4大白菜 2026-08-20 15/750 2026-08-20 22:33 by 袁向阳007
[基金申请] 让我中一个面上吧! +8 大萍1987 2026-08-20 10/500 2026-08-20 21:48 by 大萍1987
[基金申请] 言之凿凿,明天官网会通知放榜? +15 医学老男孩 2026-08-20 17/850 2026-08-20 20:35 by CaoLG
[基金申请] 今天系统多次维护,明天很可能放榜! +10 zju2000 2026-08-16 11/550 2026-08-20 20:02 by cl479861084
[基金申请] 时间戳变了,能看出什么问题? +18 基诺咪客 2026-08-17 23/1150 2026-08-20 17:19 by Godzela
[基金申请] 重要消息,中午系统在维护 +11 yuleib84 2026-08-18 12/600 2026-08-20 11:09 by xskun
[基金申请] 今天基金会出结果吗?20260819 +14 kkkl_v 2026-08-19 15/750 2026-08-20 08:21 by sunzitan
[基金申请] filecode,4个jtjc了 +11 ziyangfang 2026-08-19 13/650 2026-08-19 21:28 by aasahr
[教师之家] 为什么余额宝的年化利率越来越低?主要原因有哪些? +5 瞬息宇宙 2026-08-15 5/250 2026-08-19 20:23 by super2002521
[基金申请] 今天放榜没戏了吧 +4 yuleib84 2026-08-19 5/250 2026-08-19 19:52 by hhs666
[基金申请] 今天放榜吗? +14 布布和一二 2026-08-19 15/750 2026-08-19 18:07 by gltch
[基金申请] 明天放榜? +5 Shxjjxjkx 2026-08-18 5/250 2026-08-18 18:14 by -大大大大大-
[论文投稿] 投稿咨询 +4 wwm09 2026-08-17 6/300 2026-08-18 15:36 by wwm09
[基金申请] 时间戳又变了8-15 +14 archvillain 2026-08-15 26/1300 2026-08-18 13:37 by phantomgost
[基金申请] 93BebMhtakh前后11位开头都是大写 +4 且听虎啸 2026-08-17 5/250 2026-08-18 00:49 by 蔡棒棒菂
[基金申请] 感觉是下周放榜了 +6 angus9576 2026-08-17 11/550 2026-08-17 23:57 by angus9576
[精细化工] 招聘 金属平磨液,抛光液研发工程师 +3 小天0311 2026-08-14 3/150 2026-08-16 07:31 by H9PLUS
[基金申请] 各位道友,我要去昆明玩几天,回来见。 +7 Tide man 2026-08-14 8/400 2026-08-15 01:11 by arzu_hma
信息提示
请填处理意见