{"schema_version":"ocme-site-results-v1","locale":"en","page_type":"derivations","facts":{"questions":36000,"reviewed":36000,"display_candidates":0,"knowledge":302,"guides":299,"paths":59,"batches":360,"families":1441,"atlas":302,"core":80,"evidence":9,"formal_evidence":5,"formal_subjects":4,"lean_files":6,"lean_toolchain":"leanprover/lean4:v4.30.0","question_state":"candidate","english_state":"ai_candidate","question_Lean":"NOT_RUN","canonical_truth_promotion":false},"filters":{"q":"mko-finite-two-sided-ideal"},"kind":"guides","total":1,"pages":1,"page":1,"entries":[{"id":"derivation-mko-finite-two-sided-ideal-01","title":{"zh-Hant":"有限雙邊理想：在上三角矩陣環中分開核對左吸收與右吸收","en":"Finite two-sided ideal: checking left and right absorption separately in an upper-triangular matrix ring"},"summary":{"zh-Hant":"父環 U 是 𝔽₂ 上 2×2 上三角矩陣環（元素記為 (a,b,c)，代表第一行 (a,b)、第二行 (0,c)），已通過有限含一環資格。（一）證明 I={(0,0,0),(0,1,0)} 是 U 的雙邊理想。（二）證明 L={(0,0,0),(1,0,0)} 滿足左吸收，但不是雙邊理想。（三）證明對角子環 D={(a,0,c)} 含 1 卻不是理想。（四）說明 {0} 與 U 本身是雙邊理想。","en":"The parent ring U is the ring of 2-by-2 upper-triangular matrices over 𝔽₂ (elements written (a,b,c) for the matrix with first row (a,b) and second row (0,c)), already qualified as a finite unital ring. (1) Prove that I={(0,0,0),(0,1,0)} is a two-sided ideal of U. (2) Prove that L={(0,0,0),(1,0,0)} satisfies left absorption but is not a two-sided ideal. (3) Prove that the diagonal subring D={(a,0,c)} contains 1 but is not an ideal. (4) Show that {0} and U itself are two-sided ideals."},"mko_ids":["mko-finite-two-sided-ideal"]}],"title":"Concept derivation guides"}