Let be a nonzero commutative local ring with , and let satisfy . We classify abstract automorphisms of the elementary and full triality groups in the adjoint and simply connected forms of type . Every automorphism is uniquely determined by an adjoint group element and a ring automorphism preserving the trace ; conversely, every such pair defines an automorphism. A square-zero example shows that trace-preserving coefficient automorphisms need not normalize when is nontrivial on but trivial on its residue field. We also prove a relative rigidity theorem for homomorphisms from elementary triality groups over arbitrary coefficient rings to local targets with and invertible, assuming that an adjoint conjugation makes the parameter-one root images standard modulo the maximal ideal. Conversely, every unital trace-preserving ring homomorphism into such a local coefficient ring induces the corresponding homomorphism of elementary groups.

生成讲解博客的中文版本

生成AI智能校验的中文版本