Let be an ideal of the ring and a nonidentity permutation of the set for some . Suppose that for every and hold; furthermore, for any elements , holds. Prove that is commutative.
R. Wiegandt
Miklós Schweitzer Competition 1983.
Let be an ideal of the ring and a nonidentity permutation of the set for some . Suppose that for every and hold; furthermore, for any elements , holds. Prove that is commutative.
R. Wiegandt
For which cardinalities do antimetric spaces of cardinality exist? is called an if is a nonempty set, is a symmetric map, holds iff , and for any three-element subset of holds for some permutation of .
V. Totik
Let be a bounded linear operator on a Hilbert space , and assume that for some natural number . Prove the existence of an invertible linear operator on such that .
E. Druszt
Prove that any identity that holds for every finite -distributive lattice also holds for the lattice of all convex subsets of the -dimensional Euclidean space. (For convex subsets, the lattice operations are the set-theoretic intersection and the convex hull of the set-theoretic union. We call a lattice - if holds for all elements of the lattice.)
A. Huhn
Prove that if is a bounded set of positive Lebesgue measure, then for every , a point can be found so that and for all sufficiently small positive values of .
K. I. Koljada
Let be a complete, connected hypersurface embedded into the Euclidean space. Show that as a Riemannian manifold decomposes to a nontrivial global metric direct product if and only if it is a real cylinder, that is, can be decomposed to a direct product of the form as well, where is a hypersurface in some -dimensional subspace is the orthogonal complement of .
Z. Szabo