„Karakterisztika” változatai közötti eltérés
[ellenőrzött változat] | [ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
FoBe (vitalap | szerkesztései) a →A karakterisztika mint additív rend: képlet |
FoBe (vitalap | szerkesztései) a →A karakterisztika 0 vagy prím: typo |
||
34. sor:
:<math> 0 = na = \begin{matrix} \underbrace{ a+a+\cdots+a } \\ n \ db. \end{matrix} = \begin{matrix} \underbrace{ a+a+\cdots+a } \\ uv \ db. \end{matrix} = \begin{matrix} \underbrace{ \begin{matrix} \underbrace{ a+a+\cdots+a } \\ u \ db. \end{matrix}+\begin{matrix} \underbrace{ a+a+\cdots+a } \\ u \ db. \end{matrix}+\cdots+\begin{matrix} \underbrace{ a+a+\cdots+a } \\ u \ db. \end{matrix} } \\ v \ db. \end{matrix} = \begin{matrix} \underbrace{ (ua)+(ua)+\cdots+(ua) } \\ v \ db. \end{matrix} = v(ua) </math>,
tehát az ''ua'' elem ''v''-szerese 0, ahol ''k'' = ''uv'' miatt ''u''≤''k'' és ''v''≤''k'' .
* Most lehetséges ''ua'' = 0, ekkor ''u'' kisebb mint a ''k'' karakterisztika, és ''u'' egy nem nulla elemet 0-vá többszöröz, holott a legkisebb ilyen szám a karakterisztika; ekkor tehát ''u'' = ''k'' és így ''v'' = 1; ez esetben a ''k'' = ''uv'' felbontás [[triviális felbontás|triviális]]
* Feltehető ''ua'' ≠ 0 is, mivel érvényes ''v''(''ua'') = 0, ekkor mivel R nullosztómentes, ezért az előzőek szerint ''ua'' ≠ 0-ból következik, hogy tetszőleges ''r'' ∈ R-re ''vr'' = 0 . De a legkisebb ilyen szám a ''k'' karakterisztika, tehát ''v'' = ''k,'' és így ''u'' = 1, tehát a ''k'' = ''uv'' felbontás ismét triviális. Kimutattuk, hogy ''k'' tetszőleges felbontása triviális, azaz ''k'' = char(R) prím.
|