Two Witt rings that are not strongly isomorphic (i.e., two Witt rings over two fields that are not Witt equivalent) have different groups of strong automorphisms. Therefore, the description of a group of strong automorphisms is different for almost every Witt ring, which requires the use various tools in proofs. It is natural idea to use computers to generate strong automorphisms of the Witt rings, which is especially effective in the case of the finitely generated Witt rings, where a complete list of strong automorphisms can be created. In this paper we present the algorithm that was used to generate strong automorphisms from the infinite group of strong automorphisms of the Witt ring of rational numbers W(Q).
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
We present, under the Continuum Hypothesis (CH), a construction of an automorphism of P(ω)/fin which maps a Hausdorff gap onto increasingly ordered gap of type (ω1, ω1) which is not a Hausdorff gap.
PL
Artykuł przedstawia, przy założeniu Hipotezy Continuum, konstrukcję automorfizmu algebry P(ω)/fin, który przeprowadza lukę Hausdorffa na lukę niemającą własności Hausdorffa.
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.
5
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
In order to classify digital spaces in terms of digital-homotopic theoretical tools, a recent paper by Han (2006b) (see also the works of Boxer and Karaca (2008) as well as Han (2007b)) established the notion of regular covering space from the viewpoint of digital covering theory and studied an automorphism group (or Deck's discrete transformation group) of a digital covering. By using these tools, we can calculate digital fundamental groups of some digital spaces and classify digital covering spaces satisfying a radius 2 local isomorphism (Boxer and Karaca, 2008; Han, 2006b; 2008b; 2008d; 2009b). However, for a digital covering which does not satisfy a radius 2 local isomorphism, the study of a digital fundamental group of a digital space and its automorphism group remains open. In order to examine this problem, the present paper establishes the notion of an ultra regular covering space, studies its various properties and calculates an automorphism group of the ultra regular covering space. In particular, the paper develops the notion of compatible adjacency of a digital wedge. By comparing an ultra regular covering space with a regular covering space, we can propose strong merits of the former.
6
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
The notion of Desarguesian closure of an arbitrary graph was introduced in [7], and basic properties of Desarguesian closure of complete graphs were also presented in [7]. Then, in [4], the Desarguesian closure of binomial graphs (cf. [5]) was studied. In this paper we shall be mainly concerned with the line graphs associated with complete graphs, their Desarguesian closure, horizon, and automorphisms.
7
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
In this paper we investigate identities with two automorphisms on semiprime rings. We prove the following result: Let T, S : R approaches R be automorphisms where R is a 2-torsion free semiprime ring satisfying the relation T(x)x = xS(x) for all x is an element of R. In this case the mapping x approaches T(x) - x maps R into its center and T = S.
8
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
The main purpose of this paper is to prove the following result. Let R be a noncommutative prime ring of characteristic different from two and let D and G = 0 be (\alpha, beta)-derivations of R into itself such that G commutes with alpha and beta. If [D{x), G(x)] = 0 holds for all x is an eleemnt of R then D = lambdaG where lambda is an element from the extended centroid of R.
9
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
In this paper we investigate identities with alfa-derivations on prime and semiprime rings. We prove, for example, the following result. If D : R - R is an alfa-derivation of a 2 and 3-torsion free semiprime ring R such that [D(x},x2] = 0 holds, for all x is an element of R, then D maps R into its center. The results of this paper are motivated by the work of Thaheem and Samman [20].
10
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Let R be an associative ring. An element a is an element of R is said to be dependent of a mapping F : R -> R in case F (x) a = ax holds for all x is an element of R. A mapping F : R -> R is called a free action in case zero is the only dependent element of F. In this paper free actions of semiprime *- rings induced by a derivation are considered. We prove, for example, that in case we have a derivation D : R -> R, where R is a semiprime *-ring, then the mapping F defined by F(x) = D(x*) + D(x)*,x is an element of R, is a free action. It is also proved that any Jordan *-derivation on a 2-torsion free semiprime *-ring is a free action.
11
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
In this paper we study some properties of centralizing mappings on semi-prime rings. The main purpose is to prove the result: Let -R be a semiprime ring and f an endomorphism of R, g an epimorphism of R such that the mapping x -> [f(x),g(x)] is central. Then [f(x),g(x)] = 0 holds for all x e R. We also establish some results about (alpha,beta)-derivations.
13
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
We show that if α and β are centralizing automorphisms and d a centralizing (α, β)-derivation of a semiprime ring R, then d is commuting. Some results on α-derivations and centralizing derivations of semiprime rings follow as applications of this result.
14
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
The parallelity relation and the group of dilatations in the geometry of spine spaces are investigated. Fundamental theorems of affine geometry are proved and the analytical representation of dilatations is given.
15
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
The constructions of affine planes and Minkowski planes related to pseudo-ordered fields are given in [3] and [2], respectively. We here give some analogous construction for nearaffine planes. Like before, we shall use some functions f, g and determine some conditions on f, g, necessary and suffcient to get the required plane. The Veblen postulate has a particular meaning in nearaffine planes, so it is also considered in the work. Some special cases like the field of the reals and finite fields of odd order are investigated, too. We give some examples of such nearaffine planes and consider their particular automorphisms. Every Minkowski plane related to pseudo-ordered field F determines a nearaffine plane connected with F [2, Proposition 1, p. 187]. But only weaker version of the reciprocal statement is true, i.e. a nearaffine plane related to a pseudo-ordered field determines a hyperbola structure (i.e. Minkowski plane without touching axiom).
16
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.
17
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW