Symmetrizations of Markov processes

Two methods for symmetrizing Markov processes are discussed. Letu ^a(x, y) be the potential density of a Lévy process on a compact Abelian groupG. A general condition is given that guarantees thatv(x, y)=u^a(x, y)+u^a(y, x) is the potential density of a symmetric Lévy process onG. The second method arises by considering the linear space of one-potentialsU ¹ f, withf inL ², endowed with the inner product (U ¹ f,U ¹ g)=fU ¹ g+gU ¹ f. If the semigroup ofX(t) is normal, then the completionH of this space is the Dirichlet space of a symmetric processY(t). A set that is semipolar forX(t) is polar forY(t).     

p-Pseudomeasures and closed subgroups

LetPM _p (G) be the space of allp-pseudomeasures on a locally compact groupG. We show the existence of a conditional expectation fromPM _p (G) ontoPM _p (H) whereH is a closed normal subgroup ofG. As an application we give a new proof of the fact thatH is a set ofp-synthesis inG; we also get an inequality involving the operator norm of bounded measures onG. Moreover, in analogy with a theorem of Reiter, we obtain a result concerning the closed ideals of the Figà-Talamanca Herz algebra ofG.     

Explicit norm one elements for ring actions of finite abelian groups

It is known that the norm map N _G for the action of a finite groupG on a ringR is surjective if and only if for every elementary abelian subgroupU ofG the norm map N _U is surjective. Equivalently, there exists an elementx _G ∈R satisfying N _G (x _G )=1 if and only if for every elementary abelian subgroupU there exists an elementx _U ∈R such that N _U (x _U )=1. When the ringR is noncommutative, it is an open problem to find an explicit formula forx _G in terms of the elementsx _U . We solve this problem when the groupG is abelian. The main part of the proof, which was inspired by cohomological considerations, deals with the case whenG is a cyclicp-group. Supported by TMR-Grant ERB FMRX-CT97-0100 of the European Union.     

Asymmetric decompositions of abelian groups

A subsetA of an Abelian groupG is said to be asymmetric ifg+S⊄A for any elementg∈G and any infinite symmetric subsetS⊂G (S=−S). The minimal cardinality of a decomposition of the groupG into asymmetric sets is denoted by ν(G). for any Abelian groupG, the cardinal number ν(G is expressed via the following cardinal invariants: the free rank, the 2-rank, and the cardinality of the group. In particular, . Translated fromMatematicheskie Zametki, Vol. 66, No. 1, pp. 10–19, July, 1999.     

On Group Chromatic Number of Graphs

Let G be a graph and A an Abelian group. Denote by F(G, A) the set of all functions from E(G) to A. Denote by D an orientation of E(G). For f ∈ F(G,A), an (A,f)-coloring of G under the orientation D is a function c : V(G)↦A such that for every directed edge uv from u to v, c(u)−c(v) ≠ f(uv). G is A-colorable under the orientation D if for any function f ∈ F(G, A), G has an (A, f)-coloring. It is known that A-colorability is independent of the choice of the orientation. The group chromatic number of a graph G is defined to be the least positive integer m for which G is A-colorable for any Abelian group A of order ≥m, and is denoted by χ_g(G). In this note we will prove the following results. (1) Let H₁ and H₂ be two subgraphs of G such that V(H₁)∩V(H₂)=∅ and V(H₁)∪V(H₂)=V(G). Then χ_g(G)≤min{max{χ_g(H₁), max_v∈V(H2)deg(v,G)+1},max{χ_g(H₂), max_u∈V(H1) deg (u, G) + 1}}. We also show that this bound is best possible. (2) If G is a simple graph without a K_3,3-minor, then χ_g(G)≤5.     

Power cocentralizing generalized derivations on prime rings

Let R be a prime ring, U the Utumi quotient ring of R, C = Z(U) the extended centroid of R, L a non-central Lie ideal of R, H and G non-zero generalized derivations of R. Suppose that there exists an integer n ≥ 1 such that (H(u)u − uG(u)) ⁿ = 0, for all u ∈ L, then one of the following holds: (1) there exists c ∈ U such that H(x) = xc, G(x) = cx; (2) R satisfies the standard identity s ₄ and char (R) = 2; (3) R satisfies s ₄ and there exist a, b, c ∈ U, such that H(x) = ax+xc, G(x) = cx+xb and (a − b) ⁿ = 0.     

Cyclic orthogonal double covers of 4-regular circulant graphs

An orthogonal double cover (ODC) of a graph H is a collection G={G_v:v∈V(H)} of |V(H)| subgraphs of H such that every edge of H is contained in exactly two members of G and for any two members G_u and G_v in G, |E(G_u)∩E(G_v)| is 1 if u and v are adjacent in H and it is 0 if u and v are nonadjacent in H. An ODC G of H is cyclic (CODC) if the cyclic group of order |V(H)| is a subgroup of the automorphism group of G. In this paper, we are concerned with CODCs of 4-regular circulant graphs.     

Quasi-Purifiable Subgroups and Minimal Direct Summands

Let G be an arbitrary Abelian group. A subgroup A of G is said to be quasi-purifiable in G if there exists a pure subgroup H of G containing A such that A is almost-dense in H and H/A is torsion. Such a subgroup H is called a “quasi-pure hull” of A in G. We prove that if G is an Abelian group whose maximal torsion subgroup is torsion-complete, then all subgroups A are quasi-purifiable in G and all maximal quasi-pure hulls of A are isomorphic. Every subgroup A of a torsion-complete p-primary group G is contained in a minimal direct summand of G that is a minimal pure torsion-complete subgroup containing A. An Abelian group G is said to be an “ADE decomposable group” if there exist an ADE subgroup K of G and a subgroup T′ of T(G) such that G = K⊕ T′. An Abelian group whose maximal torsion subgroup is torsion-complete is ADE decomposable. Hence direct products of cyclic groups are ADE decomposable groups.     

On pureness in Abelian groups

Torsion-free Abelian groups G and H are called quasi-equal (G ≈ H) if λG ⊂ H ⊂ G for a certain natural number ≈. It is known (see [3]) that the quasi-equality of torsion-free Abelian groups can be represented as the equality in an appropriate factor category. Thus while dealing with certain group properties it is usual to prove that the property under consideration is preserved under the transition to a quasi-equal group. This trick is especially frequently used when the author investigates module properties of Abelian groups; here a group is considered as a left module over its endomorphism ring. On the other hand, a topical problem in the Abelian group theory is the problem of investigation of pureness in the category of Abelian groups (see [4]). We consider the pureness introduced by P. Cohn [2] for Abelian groups as modules over their endomorphism rings. Particularity of the investigation of the properties of pureness for the Abelian group G as the module _E (G)G lies in the fact that this is a more general situation than the investigation of pureness for a unitary module over an arbitrary ring R with the identity element. Indeed, if _R M is an arbitrary unitary left module and M ⁺ is its Abelian group, then each element from R can be identified with an appropriate endomorphism from the ring E(M ⁺) under the canonical ring homomorphism R → E(M ⁺). Then it holds that if _E(M+) N is a pure submodule in _E(M+) M ⁺, then _R N is a pure submodule in _R M. In the present paper the interrelations between pureness, servantness, and quasi-decompositions for Abelian torsion-free groups of finite rank will be investigated. __________ Translated from Fundamentalnaya i Prikladnaya Matematika (Fundamental and Applied Mathematics), Vol. 10, No. 2, pp. 225–238, 2004.     

Minimality and unique ergodicity of homogeneous actions

Consider a connected Lie groupG, a lattice Γ inG, a connected subgroupH ofG, and the adjoint representation Ad ofG on its Lie algebra g. Suppose that Ad(H) splits into a semidirect product of a reductive subgroup and the unipotent radical. We prove that the minimality of the leftH-action onG/Γ then implies its unique ergodicity. Simultaneously, we suggest a reduction of the study of finite ergodic measures for an arbitrary action (G/Γ,H), where the subgroupH∈G is connected and Γ∈G is discrete, to the case of an Abelian subgroupH. Translated fromMatematicheskie Zametki, Vol. 66, No. 2, pp. 293–301, August, 1999.     

On Groups with Frobenius Elements

It is proved that group G contains an Abelian normal periodic complement to C_G(a²) if a is an H-Frobenius element a of order 4 of G. Mathematics Subject Classification (2000) 20E25.     

Beurling's theorem and invariant subspaces for the shift on Hardy spaces

Let G be a bounded open subset in the complex plane and let H~2(G) denote the Hardy space on G. We call a bounded simply connected domain W perfectly connected if the boundary value function of the inverse of the Riemann map from W onto the unit disk D is almost 1-1 with respect to the Lebesgue measure on D and if the Riemann map belongs to the weak-star closure of the polynomials in H~∞(W). Our main theorem states: in order that for each M∈Lat (M_z), there exist u∈H~∞(G) such that M=∨{uH~2(G)}, it is necessary and sufficient that the following hold: (1) each component of G is a perfectly connected domain; (2) the harmonic measures of the components of G are mutually singular; (3) the set of polynomials is weak-star dense in H~∞(G). Moreover, if G satisfies these conditions, then every M∈Lat (M_z) is of the form uH~2(G), where u∈H~∞(G) and the restriction of u to each of the components of G is either an inner function or zero.     

The Virtual Poincaré Polynomials of Homogeneous Spaces

We factor the virtual Poincaré polynomial of every homogeneous space G/H, where G is a complex connected linear algebraic group and H is an algebraic subgroup, as t^2u (t²–1)^r Q_G/H(t²) for a polynomial Q_G/H with nonnegative integer coefficients. Moreover, we show that Q_G/H(t²) divides the virtual Poincaré polynomial of every regular embedding of G/H, if H is connected.     

Some remarks on subgroups determined by certain ideals in integral group rings

LetG be a group,ZG the integral group ring ofG andI(G) its augmentation ideal. Subgroups determined by certain ideals ofZG contained inI(G) are identified. For example, whenG=HK, whereH, K are normal subgroups ofG andH∩K⊆ζ(H), then the subgroups ofG determined byI(G)I(H)I(G), andI ³(G)I(H) are obtained. The subgroups of any groupG with normal subgroupH determined by (i)I ²(G)I(H)+I(G)I(H)I(G)+I(H)I²(G), whenH′⊆[H,G,G] and (ii)I(G)I(H)I(G) when degH ²(G/H′, T)≤1, are computed. the subgroup ofG determined byI ⁿ(G)+I(G)I(H) whenH is a normal subgroup ofG withG/H free Abelian is also obtained     

A poisson formula for solvable Lie groups

Given a probability measure μ on a locally compact second countable groupG the space of bounded μ-harmonic functions can be identified withL ^∞(η, α) where (η, α) is a BorelG-space with a σ-finite quasiinvariant measure α. Our goal is to show that when μ is an arbitrary spread out probability measure on a connected solvable Lie groupG then the μ-boundary (η, α) is a contractive homogeneous space ofG. Our approach is based on a study of a class of strongly approximately transitive (SAT) actions ofG. A BorelG-space η with a σ-finite quasiinvariant measure α is called SAT if it admits a probability measurev≪α, such that for every Borel set A with α(A)≠0 and every ε>0 there existsg∈G with ν(gA)>1−ε. Every μ-boundary is a standard SATG-space. We show that for a connected solvable Lie group every standard SATG-space is transitive, characterize subgroupsH⊆G such that the homogeneous spaceG/H is SAT, and establish that the following conditions are equivalent forG/H: (a)G/H is SAT; (b)G/H is contractive; (c)G/H is an equivariant image of a μ-boundary.     

Quelques observations concernant les ensembles de Ditkin d'un groupe localement compact

We prove that every closed normal subgroupH of a locally compact amenable groupG is a Ditkin set with respect to the Herz-Figà-Talamanca algebraA _p (G) (p>1). Let be the canonical map ofG ontoG/H andF a closed subset ofG/H. We show thatF is a Ditkin set if and only if everyuA _p (G), which vanishes on ^–1, lies on the norm closure of the subspace ofA _p (G) generated by {u _h |hH, vA _p (G)C ₀₀(G)} whereu _h (x)=u(x h). As far as we know, this result seems to be new even forG abelian andp=2.     

X-inner automorphisms of crossed products and semi-invariants of Hopf algebras

LetR*G be a crossed product of the groupG over the prime ringR and assume thatR*G is also prime. In this paper we study unitsq in the Martindale ring of quotientsQ ₀(R*G) which normalize bothR and the group of trivial units ofR*G. We obtain quite detailed information on their structure. We then study the group ofX-inner automorphisms ofR*G induced by such elements. We show in fact that this group is fairly close to the group of automorphisms ofR*G induced by certain trivial units inQ ₀(R)*G. As an application we specialize to the case whereR=U(L) is the enveloping algebra of a Lie algebraL. Here we study the semi-invariants forL andG which are contained inQ ₀(R*G) and we obtain results which extend known properties ofU(L). Finally, every cocommutative Hopf algebraH over an algebraically closed field of characteristic 0 is of the formH=U(L)*G. Thus we also obtain information on the semi-invariants forH contained inQ ₀(H). Research supported in part by N.S.F. Grant Nos. MCS 83-01393 and MCS 82-19678.     

On galois groups and their maximal 2-subgroups

LetG be a finite group of even order, having a central element of order 2 which we denote by −1. IfG is a 2-group, letG be a maximal subgroup ofG containing −1, otherwise letG be a 2-Sylow subgroup ofG. LetH=G/{±1} andH=G/{±1}. Suppose there exists a regular extensionL ₁ of ℚ(T) with Galois groupG. LetL be the subfield ofL ₁ fixed byH. We make the hypothesis thatL ₁ admits a quadratic extensionL ₂ which is Galois overL of Galois groupG. IfG is not a 2-group we show thatL ₁ then admits a quadratic extension which is Galois over ℚ(T) of Galois groupG and which can be given explicitly in terms ofL ₂. IfG is a 2-group, we show that there exists an element α ε ℚ(T) such thatL ₁ admits a quadratic extension which is Galois over ℚ(T) of Galois groupG if and only if the cyclic algebra (L/ℚ(T).a) splits. As an application of these results we explicitly construct several 2-groups as Galois groups of regular extensions of ℚ(T).     

Groups whose subgroups have small automizers

IfH is a subgroup of a groupG, theautomizer ofH inG is the group of all automorphisms ofH induced by elements of its normalizerN _G (H). the subgroupH is said to havesmall automizer ifAut _G (H)=Inn(H), i.e. ifN _G (H)=HC _G (H). This article is devoted to the study of groups for which many subgroups have small automizer. In Memoriam Valeria Fedri R. Brandl wishes to express his sincerest thanks for the warm hospitality offered by the Department of Mathematics of the University of Napoli “Federico II” for the time of writing this paper.     

Pontryagin duality for topological Abelian groups

A topological Abelian group G is Pontryagin reflexive, or P-reflexive for short, if the natural homomorphism of G to its bidual group is a topological isomorphism. We look at the question, set by Kaplan in 1948, of characterizing the topological Abelian groups that are P-reflexive. Thus, we find some conditions on an arbitrary group G that are equivalent to the P-reflexivity of G and give an example that corrects a wrong statement appearing in previously existent characterizations of P-reflexive groups. Received: 10 February 2000 / Published online: 17 May 2001