Semigroup crossed products and the induced algebras of lattice-ordered groups

Let (G,G₊) be a quasi-lattice-ordered group with positive cone G₊. Laca and Raeburn have shown that the universal C^∗-algebra C^∗(G,G₊) introduced by Nica is a crossed product BG₊α_×G₊ by a semigroup of endomorphisms. The goal of this paper is to extend some results for totally ordered abelian groups to the case of discrete lattice-ordered abelian groups. In particular given a hereditary subsemigroup H₊ of G₊ we introduce a closed ideal IH₊ of the C^∗-algebra BG₊. We construct an approximate identity for this ideal and show that IH₊ is extendibly α-invariant. It follows that there is an isomorphism between C^∗-crossed products and B₊(G/H)β_×G₊. This leads to our main result that B₊(G/H)β_×G₊ is realized as an induced C^∗-algebra .     

The hochschild cohomology ring of a modular group algebra: the commutative case

Let k be a field of characteristic P >0 and let G be a finite abelian group. We determine the structure of the Hochschild cohomology ring of the group algebra k G. Moreover, we prove that for any finite group G the Krull dimension of H H ^*(k G) equals the p-rank of G.     

Edge degrees and dominating cycles

The edge degree d(e) of the edge e=uv is defined as the number of neighbours of e, i.e., |N(u)∪N(v)|-2. Two edges are called remote if they are disjoint and there is no edge joining them. In this article, we prove that in a 2-connected graph G, if d(e₁)+d(e₂)>|V(G)|-4 for any remote edges e₁,e₂, then all longest cycles C in G are dominating, i.e., G-V(C) is edgeless. This lower bound is best possible.As a corollary, it holds that if G is a 2-connected triangle-free graph with σ₂(G)>|V(G)|/2, then all longest cycles are dominating.     

On ideals in the bidual of the Fourier algebra and related algebras

Let G be a compact nonmetrizable topological group whose local weight b(G) has uncountable cofinality. Let H be an amenable locally compact group, A(G×H) the Fourier algebra of G×H, and UC₂(G×H) the space of uniformly continuous functionals in VN(G×H)=A^∗(G×H). We use weak factorization of operators in the group von Neumann algebra VN(G×H) to prove that there exist at least ²b(G)² left ideals of dimensions at least ²b(G)² in A(G×H)^∗∗ and in UC₂^∗(G×H). We show that every nontrivial right ideal in A(G×H)^∗∗ and in UC₂^∗(G×H) has dimension at least ²b(G)².     

Farrell cohomology and Brown theorems for profinite groups

LetG be a profinite group which has an open subgroupH such that the cohomologicalp-dimensiond≔cd_p(H) is finite (p is a fixed prime). The main result of this paper expresses thep-primary part of high degree cohomology ofG in terms of the elementary abelianp-subgroups ofG: From the latter one constructs a natural profinite simplicial setA G, on whichG acts by conjugation. ThenH ⁿ(G,M)≅H _G ⁿ (AG,M) holds forn≧d+r and everyp-primary discreteG-moduleM (r≔p-rank ofG). If one uses profinite Farrell cohomology, which is introduced in this paper, the analogous fact holds in all degrees. These results are the profinite analogues of theorems by K.S. Brown for discrete groups.     

Modules over group rings of solvable groups with rank restrictions on subgroups

Let A be an R G-module over a commutative ring R, where G is a group of infinite section p-rank (0-rank), C _G (A) = 1, A is not a Noetherian R-module, and the quotient A/C _A (H) is a Noetherian R-module for every proper subgroup H of infinite section p-rank (0-rank). We describe the structure of solvable groups G of this type.     

Translation-invariant linear forms on C0(G), C(G), Lp(G) for noncompact groups

Suppose G is a locally compact noncompact group. For abelian such G's, it is shown in this paper that L¹(G), C(G), and L^∞(G) always have discontinuous translation-invariant linear forms(TILF's) while C₀(G) and L^p(G) for 1 < p < ∞ have such forms if and only if $\text{G}\text{H}$ is a torsion group for some open σ-compact subgroup H of $\text{G}$. For σ-compact amenable G's, all the above spaces have discontinuous left TILF's.     

A note on list improper coloring of plane graphs

A list-assignment L to the vertices of G is an assignment of a set L(v) of colors to vertex v for every v∈V(G). An (L,d)^∗-coloring is a mapping ? that assigns a color ?(v)∈L(v) to each vertex v∈V(G) such that at most d neighbors of v receive color ?(v). A graph is called (k,d)^∗-choosable, if G admits an (L,d)^∗-coloring for every list assignment L with |L(v)|≥k for all v∈V(G). In this note, it is proved that every plane graph, which contains no 4-cycles and l-cycles for some l∈{8,9}, is (3,1)^∗-choosable.     

The eccentric connectivity index of nanotubes and nanotori

Let G be a molecular graph. The eccentric connectivity index ξ^c(G) is defined as ξ^c(G)=∑_u∈V(G)deg_G(u)ε_G(u), where deg_G(u) denotes the degree of vertex u and ε_G(u) is the largest distance between u and any other vertex v of G. In this paper exact formulas for the eccentric connectivity index of TUC₄C₈(S) nanotube and TC₄C₈(S) nanotorus are given.     

Weak sense of direction labelings and graph embeddings

An edge-labeling λ for a directed graph G has a weak sense of direction (WSD) if there is a function f that satisfies the condition that for any node u and for any two label sequences α and α^′ generated by non-trivial walks on G starting at u, f(α)=f(α^′) if and only if the two walks end at the same node. The function f is referred to as a coding function of λ. The weak sense of direction number of G, WSD(G), is the smallest integer k so that G has a WSD-labeling that uses k labels. It is known that WSD(G)≥Δ⁺(G), where Δ⁺(G) is the maximum outdegree of G.Let us say that a function τ:V(G)→V(H) is an embedding from G onto H if τ demonstrates that G is isomorphic to a subgraph of H. We show that there are deep connections between WSD-labelings and graph embeddings. First, we prove that when f_H is the coding function that naturally accompanies a Cayley graph H and G has a node that can reach every other node in the graph, then G has a WSD-labeling that has f_H as a coding function if and only if G can be embedded onto H. Additionally, we show that the problem “Given G, does G have a WSD-labeling that uses a particular coding function f?” is NP-complete even when G and f are fairly simple.Second, when D is a distributive lattice, H(D) is its Hasse diagram and G(D) is its cover graph, then WSD(H(D))=Δ⁺(H(D))=d^∗, where d^∗ is the smallest integer d so that H(D) can be embedded onto the d-dimensional mesh. Along the way, we also prove that the isometric dimension of G(D) is its diameter, and the lattice dimension of G(D) is Δ⁺(H(D)). Our WSD-labelings are poset-based, making use of Birkhoff’s characterization of distributive lattices and Dilworth’s theorem for posets.     

On periodic solvable groups having automorphisms with nilpotent fixed point groups

Letp be a prime,G a periodic solvablep′-group acted on by an elementary groupV of orderp ². We show that ifC _G(v) is abelian for eachv ∈V ^# thenG has nilpotent derived group, and ifp=2 andC _G(v) is nilpotent for eachv ∈V ^# thenG is metanilpotent. Earlier results of this kind were known only for finite groups.     

Group algebra series and coboundary modules

The shift action on the 2-cocycle group Z²(G,C) of a finite group G with coefficients in a finitely generated abelian group C has several useful applications in combinatorics and digital communications, arising from the invariance of a uniform distribution property of cocycles under the action. In this article, we study the shift orbit structure of the coboundary subgroup B²(G,C) of Z²(G,C). The study is placed within a well-known setting involving the Loewy and socle series of a group algebra over G. We prove new bounds on the dimensions of terms in such series. Asymptotic results on the size of shift orbits are also derived; for example, if C is an elementary abelian p-group, then almost all shift orbits in B²(G,C) are maximal-sized for large enough finite p-groups G of certain classes.     

Cycle-magic graphs

A simple graph G=(V,E) admits a cycle-covering if every edge in E belongs at least to one subgraph of G isomorphic to a given cycle C. Then the graph G is C-magic if there exists a total labelling f:V∪E→{1,2,…,|V|+|E|} such that, for every subgraph H^′=(V^′,E^′) of G isomorphic to C, ∑_v∈V^′f(v)+∑_e∈E^′f(e) is constant. When f(V)={1,…,|V|}, then G is said to be C-supermagic.We study the cyclic-magic and cyclic-supermagic behavior of several classes of connected graphs. We give several families of C_r-magic graphs for each r?3. The results rely on a technique of partitioning sets of integers with special properties.     

On friendly index sets of 2-regular graphs

Let G be a graph with vertex set V and edge set E, and let A be an abelian group. A labeling f:V→A induces an edge labeling f^∗:E→A defined by f^∗(xy)=f(x)+f(y). For i∈A, let v_f(i)=card{v∈V:f(v)=i} and e_f(i)=card{e∈E:f^∗(e)=i}. A labeling f is said to be A-friendly if |v_f(i)−v_f(j)|≤1 for all (i,j)∈A×A, and A-cordial if we also have |e_f(i)−e_f(j)|≤1 for all (i,j)∈A×A. When A=Z₂, the friendly index set of the graph G is defined as {|e_f(1)−e_f(0)|:the vertex labelingf is Z₂-friendly}. In this paper we completely determine the friendly index sets of 2-regular graphs. In particular, we show that a 2-regular graph of order n is cordial if and only if n?2 (mod 4).     

Derived space of L p (G, H)

Let G denote a locally compact abelian group and H a separable Hilbert space. Let L _p (G, H), 1 ≤ p < ∞, be the space of H-valued measurable functions which are in the usual L _p space. Motivated by the work of Helgason [1], Figa-Talamanca [11] and Bachelis [2, 3], we have defined the derived space of the Banach space L _p (G, H) and have studied its properties. Similar to the scalar case, we prove that if G is a noncompact, locally compact abelian group, then L _p ⁰ (G, H) = {0} holds for 1 ≤ p < 2. Let G be a compact abelian group and Γ be its dual group. Let S _p (G, H) be the L ₁(G) Banach module of functions in L _p (G, H) having unconditionally convergent Fourier series in L _p -norm. We show that S _p (G, H) coincides with the derived space L _p ⁰ (G, H), as in the scalar valued case. We also show that if G is compact and abelian, then L _p ⁰ (G, H) = L ₂(G, H) holds for 1 ≤ p ≤ 2. Thus, if F ∈ L _p (G, H), 1 ≤ p < 2 and F has an unconditionally convergent Fourier series in L _p -norm, then F ∈ L ₂(G, H). Let Ω be the set of all functions on Γ taking only the values 1, ?1 and Ω* be the set of all complex-valued functions on Γ having absolute value 1. As an application of the derived space L _p ⁰ (G, H), we prove the following main result of this paper. Let G be a compact abelian group and F be an H-valued function on the dual group Γ such that $$ \sum \omega (\gamma )F(\gamma )\gamma $$ is a Fourier-Stieltjes series of some measure µ ∈ M(G, H) for every scalar function ω such that |ω(γ)| = 1. Then F ∈ l ²(Γ, H).     

On one class of modules that are close to Noetherian

We consider an R G-module A over a commutative Noetherian ring R. Let G be a group having infinite section p-rank (or infinite 0-rank) such that C _G (A) = 1, A/C _A (G) is not a Noetherian R-module, but the quotient A/C _A (H) is a Noetherian R-module for every proper subgroup H of infinite section p-rank (or infinite 0-rank, respectively). In this paper, it is proved that if G is a locally soluble group, then G is soluble. Some properties of soluble groups of this type are also obtained.     

Doubly nonlinear evolution equations governed by time-dependent subdifferentials in reflexive Banach spaces

We prove the existence of solutions of the Cauchy problem for the doubly nonlinear evolution equation: dv(t)/dt+V_∂φt(u(t))∋f(t), v(t)∈H_∂ψ(u(t)), 0<t<T, where H_∂ψ (respectively, V_∂φt) denotes the subdifferential operator of a proper lower semicontinuous functional ψ (respectively, φt explicitly depending on t) from a Hilbert space H (respectively, reflexive Banach space V) into (−∞,+∞] and f is given. To do so, we suppose that V?H≡H^∗?V^∗ compactly and densely, and we also assume smoothness in t, boundedness and coercivity of φt in an appropriate sense, but use neither strong monotonicity nor boundedness of H_∂ψ. The method of our proof relies on approximation problems in H and a couple of energy inequalities. We also treat the initial-boundary value problem of a non-autonomous degenerate elliptic-parabolic problem.     

The Hosoya polynomial decomposition for catacondensed benzenoid graphs

For a graph G with the vertex set V(G), we denote by d(u,v) the distance between vertices u and v in G, by d(u) the degree of vertex u. The Hosoya polynomial of G is H(G)=∑_{u,v}⊆V(G)x^d(u,v). The partial Hosoya polynomials of G are for positive integer numbers m and n. It is shown that H(G₁)−H(G₂)=x²(x+1)²(H₃₃(G₁)−H₃₃(G₂)),H₂₂(G₁)−H₂₂(G₂)=(x²+x−1)²(H₃₃(G₁)−H₃₃(G₂)) and H₂₃(G₁)−H₂₃(G₂)=2(x²+x−1)(H₃₃(G₁)−H₃₃(G₂)) for arbitrary catacondensed benzenoid graphs G₁ and G₂ with equal number of hexagons. As an application, we give an affine relationship between H(G) with two other distance-based polynomials constructed by Gutman [I. Gutman, Some relations between distance-based polynomials of trees, Bulletin de l’Académie Serbe des Sciences et des Arts (Cl. Math. Natur.) 131 (2005) 1-7].     

Degree conditions for the partition of a graph into cycles, edges and isolated vertices

Let k,n be integers with 2≤k≤n, and let G be a graph of order n. We prove that if max{d_G(x),d_G(y)}≥(n−k+1)/2 for any x,y∈V(G) with x≠y and xy∉E(G), then G has k vertex-disjoint subgraphs H₁,…,H_k such that V(H₁)∪?∪V(H_k)=V(G) and H_i is a cycle or K₁ or K₂ for each 1≤i≤k, unless k=2 and G=C₅, or k=3 and G=K₁∪C₅.