26/01/23 01:54:51.42 1DTD7RmE.net
って何だ
2:１３２人目の素数さん
26/01/23 02:08:03.30 A23bz4xV.net
山中先生のips細胞で、細胞はウンコに分化するのだろうか？
分化したところで、山中先生はかつてジャマナカと呼ばれていたように、そんな細胞は邪魔でしかない💩
3:１３２人目の素数さん
26/01/23 05:29:51.08 SHI1bOfn.net
ってなんだスレ
4:１３２人目の素数さん
26/01/23 05:35:22.16 SHI1bOfn.net
糞スレのパターン
「用語」って何だ
「用語」っていつ使うんだ
5:１３２人目の素数さん
26/01/23 08:20:05.37 93bidpd2.net
>>3-4←クソレスのパターン
6:１３２人目の素数さん
26/01/23 14:35:58.08 7evO8yWh.net
局所環上の有限生成加群はだいたいベクトル空間
7:１３２人目の素数さん
26/01/23 15:18:35.09 1AiiZQPX.net
A⊂B 整拡大
p⊂A 素イデアル
∃q⊂B 素イデアル s.t. q∩A = p
8:１３２人目の素数さん
26/01/23 15:32:50.66 SHI1bOfn.net
効いてる効いてる
9:１３２人目の素数さん
26/01/23 15:53:00.97 4VCiwRa0.net
A, BをA - pで局所化したものをA', B'とする。
A', B’とA'の極大イデアルに対して示せば十分。もし、そのような素イデアルq'⊂B'が取れれば、q = q'∩BとすればqはBの素イデアルで、q∩A = (q'∩A')∩A = pとなるから。
q'をB'の任意の極大イデアルとする。q'∩A' = p'を示す。
B/q'は体で、A'/(q'∩A')の整拡大なので、A'/(q'∩A')も体。
よって、q'∩A'⊂A'は極大イデアル。A'はp'を極大イデアルにもつ局所環なので、q'∩A' = p'。
10:１３２人目の素数さん
26/01/23 15:53:32.70 aMQHAKxC.net
A, BをA - pで局所化したものをA', B'とする。
A', B’とA'の極大イデアルに対して示せば十分。もし、そのような素イデアルq'⊂B'が取れれば、q = q'∩BとすればqはBの素イデアルで、q∩A = (q'∩A')∩A = pとなるから。
q'をB'の任意の極大イデアルとする。q'∩A' = p'を示す。
B/q'は体で、A'/(q'∩A')の整拡大なので、A'/(q'∩A')も体。
よって、q'∩A'⊂A'は極大イデアル。A'はp'を極大イデアルにもつ局所環なので、q'∩A' = p'。
11:１３２人目の素数さん
26/01/23 16:58:08.77 SHI1bOfn.net
代数👴
12:１３２人目の素数さん
26/01/23 17:21:45.47 hRM6FpxF.net
>>9
中山の補題使ってないから間違い
Wikipedia見ろ
URLﾘﾝｸ(ja.wikipedia.org)
13:１３２人目の素数さん
26/01/23 17:33:47.25 k3CR/XUG.net
どうでもいい
14:１３２人目の素数さん
26/01/23 18:04:26.21 B131ThNo.net
大四喜
東東東南南南西西西北北北💩💩
15:１３２人目の素数さん
26/01/24 08:54:37.06 eIzLWTkC.net
理学博士中山正君の対称群のモジュラー表現とヤング図形のフックについて
16:１３２人目の素数さん
26/01/25 09:10:35.26 +qJ/SBlN.net
中山は私の命ではないが名誉を救った