[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math


View post   

File: 73 KB, 588x578, bigbang.jpg [View same] [iqdb] [saucenao] [google]
5400624 No.5400624 [Reply] [Original]

>Suppose x is not in m for some maximal ideal m. Then x and m generate the unit ideal (1)...

Why? I don't see how this is forced.

>> No.5400626

>>5400624
The setting is a commutative ring with identity of course*

>> No.5400634 [DELETED] 

m is a proper subset of the ideal (x)+m
m is maximal, therefore (x)+m is the ring
the ring equals the ideal (1)

>> No.5400637

>>5400634
Thanks, wasn't noticing that (x)+(m) is a proper superset of (m) for some reason. This commutative algebra makes me feel like an idiot.