問題は
ここへ
解答(1)
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_snRzKMQlcaQ9ojO45qgYzg5TbSivqNELY-Ml0AwvXR_sspNAmjH2ROBIV0F0EhkDGQAXkhWInAfX21X-Ex1my_juW7Elp0eUoJ9AuhiD_f5Dn7ptrqcnGf3lJbeqMSnr0=s0-d)
が
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_urarZ7zzTVW7iCAIS3wGOAqBDetvIOyRTQu3J6JdxhUf52jGpgDIB3-8XNsz9ErvmYUaOvPYB0cMbZw0_1aGzOngLJTqaaHbFbx-yUMskz20I=s0-d)
上整的とすると,
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_sq2J8BkjMkhnhtMU8F8YFEYNFDl74tarHf-Yg-vCFXQRFDG6zR1jhe6hOzwWD4MSbLIU9wUReBzEN-XpqL0ulFM6fu38fyiCkqXmlMicKoulBvlX4txrtR=s0-d)
のモニックな最小多項式
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_uHC50584PehsTM1eyX_K9uFDt8QRHMJssjgEq938Zyam7xv9W81r_-vx-fk3X6IoZdVYVDo19GiR2H24b35bULmXterZVgkLSC_JHqsKMpNEZjFDW8zevyhKbDhWdRL_rJPw=s0-d)
が存在して,
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_t6qZV84VOVo-NQ68B8AR9dc1RPDiPYXOK7JVvA_mifnV5CxyHMvOWcNsPtiAafhmXg6CjOVDbZa1jspkoVuHJCUOHI4DyOpA5w8lRQQIHNPfB7QngVfbnHyT3bdWrtLg=s0-d)
が成り立つ.
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_uv-_uTSwin2ep5eohhUeCzbeYJCuWD07bRO8Fx08qkC4M95Kclz52DfKYmte6Ts5MU01At_0CV2he6gaUbf7s07WMfZRobyjneDSRVNXr2E4aMgeAWlVkIA6ZtHg=s0-d)
とする.
このとき,
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_sewl5AVUVFjDHvE1waGKWfpT2Y0pNEGAz4PeUyTiNQmf34Jy9k7xVvXzijwBZZr7098mNk-0CONHB5nEOJ1YAjwR1C_Nnr4-uR5IxCFBVzsTGbZXSKo4vbUhBeSZn4=s0-d)
は
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_u2qvn0N0tu-9Q-XDekRJAUvYhb2ol8rOvjCqO4ml8vllJ7jHF0mBXx-Ke47_nkRUCwzB2gpQ-SGzrmNUfqrF3VzbKKKmwBD-DTz62k71UilhQ=s0-d)
個の元
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_svlmPFfOlUAGPBOy34QK_3jr8V_zIbMOklPug2UwlDgqMDZDr52GJosa_fD6oxrzGB62xLrV1Ej2FMQ4EEFG45KoFOl2nWWJEe7zAs18Ey8pQPFzQSEfdCUEyw5YX6Oqg63yx6iWE0D5o4565Yk4nyPHcTbHKtVEJ3kgnuMoGL9MrS7pkmQOVIJw=s0-d)
によって生成される.
実際,
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_thwNMB6_sLFXtgm2xGc0JxQtK64-QjGH0TWwM9Q2vhIcuSRdseMnbJCMO1N6HyRU_DRrVaGoGnYLUP5lwqZqc-w2RsUa44HKZX0Y7HFV3U0mPkHsIvbQXFkFNvR1K-jm4hlAa-VIzzJnphw3ZGW9_YGs7jagTKmiOXdHmdDhhSi3RQ65V54zeSzbKK=s0-d)
とすると,
任意の整数
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_vcJDF57oxHEsqavsRwc7aDn6oLwmICTfVQvoYpzpcj34J5tc753ASuJ4ZC_1Ri_SSwcRTxENom-zSF440QXHll3guEAT4s83YYDwEwT8EsI6c4Ry4VtSuy7Q=s0-d)
に対して,
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_vBcAIMVVQwUqoCT1vMhZyAkRYd917HLzmZGNebBKbLDiwB6ZrAGNd_d5L3G8RECRM1xD3mVFeh9kz-sldvRSPNaHgKHkagcno7G_5JU5-h8BuYJmMV4eEDDrKTmaVNAaJoUpnYSSlfjSBbieI0QFQo8AHhZ56QkhOEt8MvYFzhJ96jYwxEod1jZ-HNNu4b6bh0RFugpbAuDGgoQ6DcUOuJuRDWPt8xK9Tvk0nT4vR5XcGFgQ=s0-d)
と表せて,
この右辺の
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_sq2J8BkjMkhnhtMU8F8YFEYNFDl74tarHf-Yg-vCFXQRFDG6zR1jhe6hOzwWD4MSbLIU9wUReBzEN-XpqL0ulFM6fu38fyiCkqXmlMicKoulBvlX4txrtR=s0-d)
の最高次数は
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_sgtKLsb--h52yG83Q_3P3SyEv1OPIHaNcTw11APt9sYsgx_uw7KkkSE_KefETfXQDFZCX24ueS23ELVToPEfSe_lCLI9B0rLcFrjTXCiIpsFhI=s0-d)
である.
したがって,この関係式を繰り返し用いることにより,
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_svq6vXGlq5vxY5EDBHivh-w5ugomG9fLtN2hrw9x11f-S6Cry860QtSvHtOem7T4lrn469jTaimbe2zri0IbqJGnwuZi3bQtt0wsuj1jrEP0zb2C8Y1TPT7mU2-lt4QXyujQ=s0-d)
を
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_tNfdja507H6Bxe9o4lNiMggZYFOQSA40VWHJVUw8IOvBag-P39o1OyW47Y6nhzg13uxqe8Ts-ZsaLSIYYyL-Z-p8Ewe6umxgluE1itkJ7wGEEkZo1Tv0DCKn2ag1hyTbm4_RUSCBuF0FSdHIgybSjGykFtzPfi0xuo7VrWOEKUFaMQIFDUUQ=s0-d)
の一次結合として表すことができる.
したがって,
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_sewl5AVUVFjDHvE1waGKWfpT2Y0pNEGAz4PeUyTiNQmf34Jy9k7xVvXzijwBZZr7098mNk-0CONHB5nEOJ1YAjwR1C_Nnr4-uR5IxCFBVzsTGbZXSKo4vbUhBeSZn4=s0-d)
は有限生成な
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_urarZ7zzTVW7iCAIS3wGOAqBDetvIOyRTQu3J6JdxhUf52jGpgDIB3-8XNsz9ErvmYUaOvPYB0cMbZw0_1aGzOngLJTqaaHbFbx-yUMskz20I=s0-d)
-加群である.
逆に,
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_sewl5AVUVFjDHvE1waGKWfpT2Y0pNEGAz4PeUyTiNQmf34Jy9k7xVvXzijwBZZr7098mNk-0CONHB5nEOJ1YAjwR1C_Nnr4-uR5IxCFBVzsTGbZXSKo4vbUhBeSZn4=s0-d)
が有限生成な
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_urarZ7zzTVW7iCAIS3wGOAqBDetvIOyRTQu3J6JdxhUf52jGpgDIB3-8XNsz9ErvmYUaOvPYB0cMbZw0_1aGzOngLJTqaaHbFbx-yUMskz20I=s0-d)
-加群とし,その生成元を
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_uInFrb7JcPGi9EiKC2jNqoA65ORslDgHOHw4kT7bUnL8G0T5NXIo-H4Dw0hv3R-MZBiu9L7ejQzNXvk0gTJ7WxEXTDO7VwIIskKgmR-143AYCbRaUYJ07hiCs73lygmwalaxwBfL-NG0sQkI1sGYgSrrgZNEtHT1alQYwism6ul7cw=s0-d)
とする.
ここで
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_u5MrOQCh7jC9cSyiWiTs0Kg4nHm_hPTr1d4RM00rzMbFtFv-2vY1S3QELts1S80IZ_MLqXIGBWOzQcJhHjjjdHq-VC_ePNy5anZuUAwz8QrfeU5SY3xGpyTTxbtbsr1sTAmMaE6-e-eA=s0-d)
である.
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_utBrO3DdWmqL8H6amywwbYfwWNSGclF6DEM6fShLVAFYF1Rc8qiHMcOfQ2Eqj6iqQztDuOYXmkcK-37PdvutcIZnR9hHFEJF4Ro3XyDUfvMVOXeWDeHYFQSedUhZta5DmoJmiVTq1ZV4ffF4A42ja5bSOLwfJQznw-y_nMw3CB9Ujl8EvtPFQ7TJcsRQ=s0-d)
とする.このとき
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_tWzgxwf_bxsCoKg3wzxUoD3Z6Mbs4nmhH010Il1atyXU8JUffqfTYsiC1fry1x5z32WGIVRNjJ7OgGs8xzAJCQJxWglmTVj62nPOiouiDMWZbJ045l4oiaJv0-R2acfeqaa43RPyZQcbxaFE7Vj-bduwBnTUs1uw=s0-d)
より,
ある
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_urarZ7zzTVW7iCAIS3wGOAqBDetvIOyRTQu3J6JdxhUf52jGpgDIB3-8XNsz9ErvmYUaOvPYB0cMbZw0_1aGzOngLJTqaaHbFbx-yUMskz20I=s0-d)
の元の組
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_tih8LXAt42tJJNbmTLKEuuUjeyAsxr6QJIYHI0U9054cIbZ0HyZeTwhKDqLTXIyBQvJd5pK1_qwZy-_nsS1Hu78d8r3aWgWaCaSokNDJlzuw--VBfeIzi1Wdm8hrUP-ovej7_LZGm-lqnqDFxt7w=s0-d)
が存在して
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_uobpn6d-iTM1EaXo5tuLZ6EE_3x_a_AmakDDthNys1WbbG_-85mBGe3K4YOi1-j-h2FaUaj5xTqOmmpFdA3lVcCB9ehsICh2_pQJFn2XANHkTU6MJIh_Mybyd7p--xqn_0fQYYZJrQnQ9mJoMLWtkYrz4ms6wWEzVfjrbymPb-QJR8px17wY6Vm66LksRE4TNbI9eboiN7h8UUArXYrCI=s0-d)
が成り立つ.
ここで
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_t07lS7JBfY-fu-0fmGoEprJ24D5Lmph7KCEUvt0xVTYOvUOehbYWeT3NoFs65FKbQua_Jn32fl40DqtUwnILEwecK1yJ-_r3p8cItm35yVCw1ivGLKCsXG5VIGy4TJ2JX2lGu3R1mGjHjrFjstEFVn_kTFQUkjEza-muWjHR6MabpiKKVm3UphnJyN_KbYqKTD6F7yN1kbDA=s0-d)
とすれば
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_uHC50584PehsTM1eyX_K9uFDt8QRHMJssjgEq938Zyam7xv9W81r_-vx-fk3X6IoZdVYVDo19GiR2H24b35bULmXterZVgkLSC_JHqsKMpNEZjFDW8zevyhKbDhWdRL_rJPw=s0-d)
で,
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_t6qZV84VOVo-NQ68B8AR9dc1RPDiPYXOK7JVvA_mifnV5CxyHMvOWcNsPtiAafhmXg6CjOVDbZa1jspkoVuHJCUOHI4DyOpA5w8lRQQIHNPfB7QngVfbnHyT3bdWrtLg=s0-d)
,
さらに
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_tM9bAB7Utht8MLrnH0t5LEIdv6ntRQIckEI_Gd3X5dAdV0q-tJbSxlhlE7sBHLH-TDsNryh6JAobBzLcVhWWlXlrQgr-aibJlbI5MWLxVgrg=s0-d)
はモニック多項式である.したがって
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_sq2J8BkjMkhnhtMU8F8YFEYNFDl74tarHf-Yg-vCFXQRFDG6zR1jhe6hOzwWD4MSbLIU9wUReBzEN-XpqL0ulFM6fu38fyiCkqXmlMicKoulBvlX4txrtR=s0-d)
は
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_urarZ7zzTVW7iCAIS3wGOAqBDetvIOyRTQu3J6JdxhUf52jGpgDIB3-8XNsz9ErvmYUaOvPYB0cMbZw0_1aGzOngLJTqaaHbFbx-yUMskz20I=s0-d)
上整的である.
(2)
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_tYSM6Reuy8pBugNm7LKI4wYnSdzFYDyrCPfOL5tH2ANUSFYkiXE7VxIIv0SRxa92h1ehD3WbUdXgLPT1k-TGLlPYrwi8w4qVAcr-rX1bMFgsQWgYny42H3AKh5We_VjHC6R2xXRzF3M7c=s0-d)
に対して
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_sRQ-Zm_BFngmdVLDmMYGjH0riWfn8DLnXHHIObiFcAJpsQBRc0xNzllRd5srHlD3eGYpNYksMkaWoxZTzC4Cx4alLCBgcW66Vz6yHpR7ikupv2Pf3I50XhJkzSnAs9ZjtmLK7pr2OsLD2Pv03m1rPXFHToTlOz7Qe6oT17=s0-d)
を示せば良い.
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_tYSM6Reuy8pBugNm7LKI4wYnSdzFYDyrCPfOL5tH2ANUSFYkiXE7VxIIv0SRxa92h1ehD3WbUdXgLPT1k-TGLlPYrwi8w4qVAcr-rX1bMFgsQWgYny42H3AKh5We_VjHC6R2xXRzF3M7c=s0-d)
のモニックな最小多項式をそれぞれ
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_vJU4NIDs4epqe6kf5iRsyk00cN0tMmmbOsIYRy1yO3D97v7WIS8Sk6dse3ZeH43Oq4arkxawlj4RL5_4Rr7bIuIK2fVBzo0PTvGG8yPLOGoOEamFQ6K_C62FN_I3q5RJbwd6jJL2ih6Y8=s0-d)
とし,
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_s5SGpEqMPOpagIg6qexFORnacwa6hSAEPuuO7XNUp2twW27rVYsajxe4qTVf1Fabc3DUYMG_Kccq933Jzouf7iQKw2yny4JgZN3M3TrVP8a3Xff0h5--EkQ7zhmA=s0-d)
,
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_u8qY9R3DoJxEu7bbEAnO8gA6hVMyjxigWMXZgaeNUh0u16aQDugcV-SzUE_zbHol1h0r7U-v7E8Hf0xuFpm7oUcDWyVVINaTCd6FfKfWRQ1yncI_j3MzIANUHQJw=s0-d)
とする.このとき,
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_sewl5AVUVFjDHvE1waGKWfpT2Y0pNEGAz4PeUyTiNQmf34Jy9k7xVvXzijwBZZr7098mNk-0CONHB5nEOJ1YAjwR1C_Nnr4-uR5IxCFBVzsTGbZXSKo4vbUhBeSZn4=s0-d)
は
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_s9IpYZS8LcHsMS7xHiL__fJ4aLBHmwogud0mI0are9LhsRZYNk6eCUc6jIhosLrWEjBdUZcjG1MP567pAnoZaLItHogiapaHepZ7f4KP-CLPrix6XJUUhTESKvoS4YWpxL73knIwLQno6K1EwLeufWtQXsDCGvpubAQLr1Voj25Y1cQSoxE3RRtg=s0-d)
によって張られる有限生成な
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_urarZ7zzTVW7iCAIS3wGOAqBDetvIOyRTQu3J6JdxhUf52jGpgDIB3-8XNsz9ErvmYUaOvPYB0cMbZw0_1aGzOngLJTqaaHbFbx-yUMskz20I=s0-d)
-加群であり,
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_tHFUCPM95_9tuJkD4HndbTc3rXlSGrDygVd__09zpGjWD5o-VYz3j106xdmfDWaNG54M0Th-gDJx7bDG6vK5i0m5dUhv1ZvD_R_0uY8fJNr_qG4Gt2wsa8ZUe618M=s0-d)
は
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_umdCRDPbDW8YyjYTXdiME_UYmtZs6aMfKzg9NQE5ILmATLJCc6xILicTgQdxKrbjvm5o_sJmFiiclMvOy6aR2a2tnkKAngU94uJas8oyrAdWwvsj3xsB6bIw4sN66IW9uFwDlPoVojaXKWDtHSnlCXKatjk8wFMNXYnSABU8PTSuifCjbzdA=s0-d)
によって張られる有限生成な
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_urarZ7zzTVW7iCAIS3wGOAqBDetvIOyRTQu3J6JdxhUf52jGpgDIB3-8XNsz9ErvmYUaOvPYB0cMbZw0_1aGzOngLJTqaaHbFbx-yUMskz20I=s0-d)
-加群である.
したがって,
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_tWbdLz19yRWoBfTeCyTliFcHsqGx1s-aCtz7Yr0siovZxiP6oKUPQwOkpOdiCiMx-_H2-hoR7AbXHJouD93vffXDz2iYs5S1shlDI2RfAzVcEfGJQ3AyP3Gw0RCLq8ITOwsB6xNTIZcA=s0-d)
は
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_sFBYKpAPPVOUOz_hxnmfa2jmtu1DOO35TxxOnWLkysmV4OzXk_ah3pHTKdzMbQS7yeQ3Sw3_yhKqVxy1VFR5SeJ2Cr-JB43rXI5Y8FU4PydWSGDpFjobWx2RrdjFAT91s65tm5zaRHMA=s0-d)
(
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_s7z3ZLmHlf_WaKO5G2Oa-rQ3CWUbwF8Ztl53WX6sbt_M0hXqmKEVjkFrylMY-9DvSVaemrSE1Ri5sTQ03A0WtrBmm2fpNp7EbRyPMo2pOdC4e3tlVNfpCZ-F78HlTO58x-KY9EMRkIcq8CRgIQYAvSqQWLD1M=s0-d)
)なる元全体によって
張られる有限生成な
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_urarZ7zzTVW7iCAIS3wGOAqBDetvIOyRTQu3J6JdxhUf52jGpgDIB3-8XNsz9ErvmYUaOvPYB0cMbZw0_1aGzOngLJTqaaHbFbx-yUMskz20I=s0-d)
-加群である.
以上より,
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_tu1rW0Jxx6HgynPqvJgda4xE8amF0VoV7jmYUuQVqqeZ8xXkTqfotOC3nvM6dFEpI4BGlo4Mz9eXh5PBRV7mlqBnzb710X8DHCugRYv5a6FBVo-7BqhY5LGnAE2Qs3IDMkKs2TzyGVrg=s0-d)
は
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_tWbdLz19yRWoBfTeCyTliFcHsqGx1s-aCtz7Yr0siovZxiP6oKUPQwOkpOdiCiMx-_H2-hoR7AbXHJouD93vffXDz2iYs5S1shlDI2RfAzVcEfGJQ3AyP3Gw0RCLq8ITOwsB6xNTIZcA=s0-d)
の
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_urarZ7zzTVW7iCAIS3wGOAqBDetvIOyRTQu3J6JdxhUf52jGpgDIB3-8XNsz9ErvmYUaOvPYB0cMbZw0_1aGzOngLJTqaaHbFbx-yUMskz20I=s0-d)
-部分加群であるので,
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_tu1rW0Jxx6HgynPqvJgda4xE8amF0VoV7jmYUuQVqqeZ8xXkTqfotOC3nvM6dFEpI4BGlo4Mz9eXh5PBRV7mlqBnzb710X8DHCugRYv5a6FBVo-7BqhY5LGnAE2Qs3IDMkKs2TzyGVrg=s0-d)
は有限生成で,(1)より
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_t9tqekVGnk8v3gP0yqxv4Q1IBYatglSujtgsX3g2QN9VkOu8yVWeNyB69ftrv2sKkxXiLe58CFQowixcEayHZqvcLN3b7IQiDKHXtxiCqUKA3qmfBxWaP3iNE5L7NTHmmNwA=s0-d)
は
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_urarZ7zzTVW7iCAIS3wGOAqBDetvIOyRTQu3J6JdxhUf52jGpgDIB3-8XNsz9ErvmYUaOvPYB0cMbZw0_1aGzOngLJTqaaHbFbx-yUMskz20I=s0-d)
上整的.
同様に,
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_sVRyZ2d1SljY5nQaU_TMKxJeT79yCQPpEWwuDylK5rNUs4ncN02eg1GjYEbMDAjoxowPjK4VoqHc8sCvbB3knQYM_Wwk7Fs9uk8WUKIc0p3Wqf7Yv2l7fTuWvTNHY46vcyoqfr16tf=s0-d)
は
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_tWbdLz19yRWoBfTeCyTliFcHsqGx1s-aCtz7Yr0siovZxiP6oKUPQwOkpOdiCiMx-_H2-hoR7AbXHJouD93vffXDz2iYs5S1shlDI2RfAzVcEfGJQ3AyP3Gw0RCLq8ITOwsB6xNTIZcA=s0-d)
の
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_urarZ7zzTVW7iCAIS3wGOAqBDetvIOyRTQu3J6JdxhUf52jGpgDIB3-8XNsz9ErvmYUaOvPYB0cMbZw0_1aGzOngLJTqaaHbFbx-yUMskz20I=s0-d)
-部分加群であるので,
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_sVRyZ2d1SljY5nQaU_TMKxJeT79yCQPpEWwuDylK5rNUs4ncN02eg1GjYEbMDAjoxowPjK4VoqHc8sCvbB3knQYM_Wwk7Fs9uk8WUKIc0p3Wqf7Yv2l7fTuWvTNHY46vcyoqfr16tf=s0-d)
は有限生成で,(1)より
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_sfJJuJKLoFxAbMVU0oU_c3XhIyiYKXlwwbWzsKanfUb_g3C3FfYla7X3XmiQA3pYa0-9R7Cpw5CHOgkbpsVR3GOCG4pzvEpambOaMg-S2MNuRMlVIkX-DcxHisGI5JuQ=s0-d)
は
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_urarZ7zzTVW7iCAIS3wGOAqBDetvIOyRTQu3J6JdxhUf52jGpgDIB3-8XNsz9ErvmYUaOvPYB0cMbZw0_1aGzOngLJTqaaHbFbx-yUMskz20I=s0-d)
上整的.
よって
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_sRQ-Zm_BFngmdVLDmMYGjH0riWfn8DLnXHHIObiFcAJpsQBRc0xNzllRd5srHlD3eGYpNYksMkaWoxZTzC4Cx4alLCBgcW66Vz6yHpR7ikupv2Pf3I50XhJkzSnAs9ZjtmLK7pr2OsLD2Pv03m1rPXFHToTlOz7Qe6oT17=s0-d)
なので
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_sfNoDR9FbEX8BNgJfN2pKqID2i7gwzKD7JhEGp2m5GNjCrG_S4e-2Mp0Cm0vDcAyWR5U6xCyStTzLLnaL9Futggh6fVYjessTth1bX2--FFaQ=s0-d)
は環である.
0 件のコメント:
コメントを投稿