The problem of general description of the group of automorphisms of any Witt ring W seems to be very difficult to solve. However, there are many types of Witt rings, which automorphism are described precisely (e.g. [1], [2], [4], [5], [6],[7], [8]). In our paper we characterize automorphisms of abstract Witt rings (cf. [3]) isomorphic to powers of Witt rings of quadratic forms with coefficients in finite fields with characteristic different from 2.
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.
3
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
M. Marshall introduced the notion of quaternionic structure and he showed that the categories of Witt rings and quaternionic structures are naturally equivalent. Quaternionic structures turn out to bea useful tool for the investigation of Witt rings, since it suffices to handle the structure of a group. In our paper we shall describe precisely the one-to-one correspondence between automorphisms of quaternionic structures and strong the automorphisms of Witt rings.
4
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
It is well known that the class of Hall triple systems [5], Steiner triple systems in which each triangle generates an affine plane over GF(3), corresponds to the class of commutative Moufang loops of exponent 3 [6]. In this paper, we extend the class of algebras to the class of all commutative loops of exponent 3 satisfying the identity x.(x.y)2=y2, corresponding to the class of all Steiner triple systems. Such a commutative loop of exponent 3 with x . (x o y)2 = y2 is polynomially equivalent to a squag.
5
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
In this note we investigate some properties of a-derivations on prime and semiprime rings. We establish some identities for a commuting a-derivation d on a semiprime ring R and show that d maps R into its center and obtain some well-known results as a consequence. We also generalize Posner's theorem on the composition of derivations for a-derivations and as an application resolve a functional equation of automorphisms on certain prime rings.
6
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
We present in this note a new family of automorphisms on spaces of holomorphic functions called Barycentric Transformations. Beside the theoretical aspect of these transformations we shall use them to solve explicitly barycentric differential equations of the form.
8
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Any automorphism of a Benz plane having at least one fixed point induces a collineation on the projective extension of the residual affine plane with reference to this point. When this collineation is a central automorphism , the initial automorphism is called the central automorphism (or central-axial automorphism, cf.([3]). In this paper we present an analytical description of central automorphisms of a miguelian Laguerre planes with the characteristic different from two. This description is applied to find transitive groups of homotheties and translations of types occuring in the classification theorems of R. Kleinewillinghofer ([2]). Some examples over an arbitrary commutative field are constructed, the other over the finite field Z3 and z5. It is interesting that two types of the Kleinewillinghofer classification ( [2] ) appear only as automorphism subgroups of finite plane of order three or five. This will give a clear characterization of these planes. Throughaut we assume that the characteristic of a plane is not equal to two.
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ć.