We study the graph each of whose edges connects an element of a given ring with the square of itself. For a finite commutative group (e.g., for the multiplicative group of coprime residue classes modulo a positive integer), we describe this graph explicitly: each of its connected components is an oriented attracting cycle equipped with identical
-vertex rooted trees of special form whose roots reside on the cycle. We also compute the graphs of permutation groups on not too many elements and of the subgroups of even permutations; the connected components of these graphs are also uniformly equipped cycles. 相似文献
Let and be the unit disk and the unit sphere, and let be a radially symmetric harmonic map heat flow, whose singularities coincide with downward energy jumps. Then its finite time singularities are simple in the sense that precisely one harmonic sphere separates at a time. 相似文献
In this note, we consider a finite set X and maps
W from the set $ \mathcal{S}_{2|2} (X) $ of all 2, 2-
splits of X into $ \mathbb{R}_{\geq 0} $. We show that such a map
W is induced, in a canonical way, by a binary
X-tree for which a positive length $ \mathcal{l} (e) $ is
associated to every inner edge e if and only if (i) exactly
two of the three numbers W(ab|cd),W(ac|bd), and
W(ad|cb) vanish, for any four distinct elements
a, b, c, d in X,
(ii) $ a \neq d \quad\mathrm{and}\quad W (ab|xc) + W(ax|cd) = W(ab|cd) $ holds for all
a, b, c, d, x
in X with
#{a, b, c, x} = #{b, c, d, x} = 4
and $ W(ab|cx),W(ax|cd) $ > 0, and (iii) $ W (ab|uv) \geq \quad \mathrm{min} (W(ab|uw), W(ab|vw)) $
holds for any five distinct elements a, b, u, v, w in
X. Possible generalizations
regarding arbitrary $ \mathbb{R} $-trees and applications regarding tree-reconstruction algorithms
are indicated.AMS Subject Classification: 05C05, 92D15, 92B05. 相似文献
In this paper we prove the equivalence between the existence of perfectly normal, non-metrizable, non-archimedean spaces and the existence of ``generalized Souslin lines", i.e., linearly ordered spaces in which every collection of disjoint open intervals is -discrete, but which do not have a -discrete dense set. The key ingredient is the observation that every first countable linearly ordered space has a dense non-archimedean subspace.
Let be a smooth projective curve over a field . For each closed point of let be the coordinate ring of the affine curve obtained by removing from . Serre has proved that is isomorphic to the fundamental group, , of a graph of groups , where is a tree with at most one non-terminal vertex. Moreover the subgroups of attached to the terminal vertices of are in one-one correspondence with the elements of , the ideal class group of . This extends an earlier result of Nagao for the simplest case .
Serre's proof is based on applying the theory of groups acting on trees to the quotient graph , where is the associated Bruhat-Tits building. To determine he makes extensive use of the theory of vector bundles (of rank 2) over . In this paper we determine using a more elementary approach which involves substantially less algebraic geometry.
The subgroups attached to the edges of are determined (in part) by a set of positive integers , say. In this paper we prove that is bounded, even when Cl is infinite. This leads, for example, to new free product decomposition results for certain principal congruence subgroups of , involving unipotent and elementary matrices.
We consider a Poisson point process on
with intensity , and at each Poisson point we place a two sided mirror of random length and orientation. The length and orientation of a mirror is taken from a fixed distribution, and is independent of the lengths and orientations of the other mirrors. We ask if light shone from the origin will remain in a bounded region. We find that there exists a
with 0 <
< for which, if
<
, light leaving the origin in all but a countable number of directions will travel arbitrariliy far from the origin with positive probability. Also, if
>
, light from the origin will almost surely remain in a bounded region. 相似文献
If X is a Hausdorff space we construct a 2-groupoid G2X with the following properties. The underlying category of G2X is the `path groupoid" of X whose objects are the points of X and whose morphisms are equivalence classes f, g of paths f, g in X under a relation of thin relative homotopy. The groupoid of 2-morphisms of G2X is a quotient groupoid X / N X, where X is the groupoid whose objects are paths and whose morphisms are relative homotopy classes of homotopies between paths. N X is a normal subgroupoid of X determined by the thin relative homotopies. There is an isomorphism G2X(f,f) 2(X, f(0)) between the 2-endomorphism group of f and the second homotopy group of X based at the initial point of the path f. The 2-groupoids of function spaces yield a 2-groupoid enrichment of a (convenient) category of pointed spaces.We show how the 2-morphisms may be regarded as 2-tracks. We make precise how cubical diagrams inhabited by 2-tracks can be pasted. 相似文献