Search results for "Invariant"

Locality of order-invariant first-order formulas

2000

A query is local if the decision of whether a tuple in a structure satisfies this query only depends on a small neighborhood of the tuple. We prove that all queries expressible by order-invariant first-order formulas are local.

Invariant measures for piecewise convex transformations of an interval

2002

When is the Haar measure a Pietsch measure for nonlinear mappings?

2012

We show that, as in the linear case, the normalized Haar measure on a compact topological group $G$ is a Pietsch measure for nonlinear summing mappings on closed translation invariant subspaces of $C(G)$. This answers a question posed to the authors by J. Diestel. We also show that our result applies to several well-studied classes of nonlinear summing mappings. In the final section some problems are proposed.

Brauer characters and coprime action

2016

Abstract It is an open problem to show that under a coprime action, the number of invariant Brauer characters of a finite group is the number of the Brauer characters of the fixed point subgroup. We prove that this is true if the non-abelian simple groups satisfy a stronger condition.

The structure of the state representation of shift invariant controllable and observable group codes

2000

AbstractIn this paper an investigation on the structure of the canonical trellis section of shift invariant, l-controllable and m-observable group codes is carried out. Necessary and sufficient conditions for a set of group homomorphisms in order that they represent the trellis section of this class of codes are established.

Symplectic automorphisms of prime order on K3 surfaces

2006

The aim of this paper is to study algebraic K3 surfaces (defined over the complex number field) with a symplectic automorphism of prime order. In particular we consider the action of the automorphism on the second cohomology with integer coefficients. We determine the invariant sublattice and its perpendicular complement, and show that the latter coincides with the Coxeter-Todd lattice in the case of automorphism of order three. We also compute many explicit examples, with particular attention to elliptic fibrations.

Linear invariants of Riemannian almost product manifolds

1982

Using the decomposition of a certain vector space under the action of the structure group of Riemannian almost product manifolds, A. M. Naveira (9) has found thirty-six distinguished classes of these manifolds. In this article, we prove that this decomposition is irreducible by computing a basis of the space of invariant quadratic forms on such a space.

On a normal form of symmetric maps of [0, 1]

1980

A class of continuous symmetric mappings of [0, 1] into itself is considered leaving invariant a measure absolutely continuous with respect to the Lebesgue measure.

Topological classification of gradient-like diffeomorphisms on 3-manifolds

2004

Abstract We give a complete invariant, called global scheme , of topological conjugacy classes of gradient-like diffeomorphisms, on compact 3-manifolds. Conversely, we can realize any abstract global scheme by such a diffeomorphism.

*-Representations, seminorms and structure properties of normed quasi*-algebras

2008

The class of -representations of a normed quasi -algebra (X;A0) is in- vestigated, mainly for its relationship with the structure of (X;A0). The starting point of this analysis is the construction of GNS-like -representations of a quasi -algebra (X;A0) dened by invariant positive sesquilinear forms. The family of bounded invariant positive sesquilinear forms denes some seminorms (in some cases, C -seminorms) that provide useful information on the structure of (X;A0) and on the continuity properties of its -representations. 1. Introduction. A quasi -algebra is a couple (X;A0), where X is a vector space with involution , A0 is a -algebra and a vector subspace of X, and X is an A0-bimodule who…