In the paper strong automorphisms of finitely generated Witt rings are considered. Every finitely generated Witt ring can be expressed in terms of Z / 2Z and basic indecomposable Witt rings using the operations of group ring formation and direct product. Groups of strong automorphisms of basic indecomposables and their direct products and the description of all strong automorphisms of any group Witt ring are known. In this paper the strong automorphisms of direct products of group Witt rings are considered. Presented are two wide classes of Witt rings where the group of strong automorphisms is isomorphic to the direct product of groups of strong automorphisms of Witt rings which are factors in the direct product.
The notion of Witt ring is fundamental in bilinear algebra. Automorphisms of Witt rings have been investigated until recent years. In this paper we consider Witt rings which are direct products of finite number of other Witt rings. We shall present a necessary condition in order to group of all strong automorphisms of direct product of Witt rings be a direct product of groups of strong automorphisms of Witt rings which are factors in the direct product. Subsequently, there are considered some examples of Witt rings, where described condition is fulfilled.
The investigation of strong automorphisms of Witt rings is a difficult task because of variety of their structures. Cordes Theorem, known in literature as Harrison-Cordes criterion (cf. [1, Proposition 2.2], [3, Harrison's Criterion]), makes the task of describing all the strong automorphisms of a given (abstract) Witt ring W = (G, R) easier. By this theorem, it suffices to find all such automorphisms ơ of the group G that map the distiguished element -1 of the group G into itself (i.e. ơ(-1) = -1) in which the value sets of 1-fold Pfister forms are preserved in the following sense: ơ(D(1, α)) = D(1, ơ(α)) for all α ∈ G. We use the above criterion and the well-known structure of the group G as a vector space over two-element field F2 for searching all automorphisms of this group. Then we check Harrison-Cordes criterion for found automorpisms and obtain all the automorpisms of a Witt ring W. The task is easy for small rings (with small groups G). For searching of all strong automorpisms of bigger Witt rings we use a computer which automatizes the procedure described above. We present the algorithm for finding strong automorphisms of a Witt rings with finite group G and show how this algorithm can be optimized.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.