Generando soluciones de una ecuación lineal y la

estructura de elementos del grupo de Zelisko

V.A. Bovdi y V.P. Shchedryk
13 mayo del 2021

1 Abstract
Este articulo logra identificar las soluciones de las ecuaciones lineales b= ax en
un homomorfismo de una imagen conmutativa, y de su dominio del rango estable
1.5, donde son desarrolladas. Estas progresiones están probadas por el conjunto
de soluciones de una ecuación linear . Estableciendo soluciones generales sobre
las parejas asociadas. Usando este resultado podemos relacionar la estructura
de elementos las investigaciones sobre los grupos de Zelisko.

2 Teorema 1
1.1.Teorema:Dejamos que R sea conmutativa en su dominio, (con la propiedad
de 1 6= 0) de un rango estable 1.5 Dejamos que U(R) sea un grupo de unidades
de R. para cada m ∈ R = U(R), 0 denotaremos el factor del anillo como Rm =
R/mR. Dejamos a,b ∈ Rm. Se mantienen las siguientes condiciones:

i) Cada ecuación lineal de b=ax en Rm tiene al menos una solución gener-

adora.

ii) Cada dos soluciones generadoras de ecuaciones lineales b= ax son parejas

asociadas .

Sı́ ordenamos la relación (≤) en los elementos en el conjunto Rm. Entonces

el conjunto de solución generadora para cada ecuación será 2 = 1 · x, que es-
tarán contenidas en el elemento mı́nimo, que denotamos como s2/ s1.

1
3 Teorema 2
2.1.Teorema:Dejamos que R sea conmutativa en su dominio, (con la propiedad
de 1 6= 0) de un rango estable 1.5 Dejamos que U(R) sea un grupo de unidades
de R. para cada m ∈ R = U(R), 0 denotaremos el factor del anillo como Rm =
R/mR.
Dejamos := diag(1, 2, ..., n) Rn×n /m en los cuales 1—2— ···—n = 0 n≥
2. El grupo de Zelisko G consiste en que todas aquellas matrices que sean de
formas invertibles como lo es:

4 Lemmas
Lemma:Dejamos X, Y, Z R tal que X= Y. Z. Existirá a, b, c ∈ R tal que a=
b. c, a=X, b= Y, c= Z.
Prueba: El conjunto a := X+mR, b := Y+mR y c := Z+mR. Desde YZ ∈
X+mR, existirá t ∈ R tal que YZ = X+ mt. Colocando a := X + mt, b := X
y c := Z

Lemma:Sı́ b ∈ R, entonces Ann(b) = XbRm, donde Xb := m/mu . b ∈ R

y mu . b := (b, m).
Prueba. La idea de Ann(b) consiste en las imágenes de s ∈ R para las cuales bs
= mp, entonces :

b/ mu .b . s = m /mu .b . p y m/ mu .b — b / mu . b s.

Concluimos que m/ b —s, y s = m/ mu . b s para algun s R porque (m/

b , b /b = 1). Por consiguiente, c = Xb · s ∈ XbRm y Ann(b) XbRm. Para b
(m/ mu .b . t)= m(b/b . t), para cada t ∈ R donde la imagen de m/ (b,m) t no
corresponde en Ann(b). Esto da como resultado que XbRm Ann(b), entonces
Ann(b) = XbRm.