Torsion in Boundary Coinvariants and K -Theory for Affine Buildings

Let (G, I, N, S) be an affine topological Tits system, and let Γ be a torsion-free cocompact lattice in G. This article studies the coinvariants H ₀(Γ; C(Ω,Z)), where Ω is the Furstenberg boundary of G. It is shown that the class [1] of the identity function in H ₀(Γ; C(Ω, Z)) has finite order, with explicit bounds for the order. A similar statement applies to the K ₀ group of the boundary crossed product C ^*-algebra C(Ω)Γ. If the Tits system has type ? ₂, exact computations are given, both for the crossed product algebra and for the reduced group C ^*-algebra.     

Extended Centres of Finitely Generated Prime Algebras

Let K be a field and let A be a finitely generated prime K-algebra. We generalize a result of Smith and Zhang, showing that if A is not PI and does not have a locally nilpotent ideal, then the extended centre of A has transcendence degree at most GKdim(A) ?2 over K. As a consequence, we are able to show that if A is a prime K-algebra of quadratic growth, then either the extended centre is algebraic over K or A is PI. Finally, we give an example of a finitely generated non-PI prime K-algebra of GK dimension 2 with a locally nilpotent ideal such that the extended centre has infinite transcendence degree over K.     

Equivariant Total Ring of Fractions and Factoriality of Rings Generated by Semi-Invariants

Let F be an affine flat group scheme over a commutative ring R, and S an F-algebra (an R-algebra on which F acts). We define an equivariant analogue Q _F (S) of the total ring of fractions Q(S) of S. It is the largest F-algebra T such that S ? T ? Q(S), and S is an F-subalgebra of T. We study some basic properties.

Utilizing this machinery, we give some new criteria for factoriality (unique factorization domain property) of (semi-)invariant subrings under the action of affine algebraic groups, generalizing a result of Popov. We also prove some variations of classical results on factoriality of (semi-)invariant subrings. Some results over an algebraically closed base field are generalized to those over an arbitrary base field.     

Representation-finite triangular algebras form an open scheme

Let V be a valuation ring in an algebraically closed field K with the residue field R. Assume that A is a V-order such that the R-algebra Ā obtained from A by reduction modulo the radical of V is triangular and representation-finite. Then the K-algebra KA ≅ A ⊗ _V is again triangular and representation-finite. It follows by the van den Dries’s test that triangular representation-finite algebras form an open scheme.     

相对于余挠对的维数(英文)

本文介绍了右R-模的F-维数(C-维数)以及环R上整体F-维数(C-维数).利用同调方法,给出了平坦模维数的新刻画.另外,得到了von Neumann正则环和完全环的新刻画.     

Real <Emphasis Type="Italic">AW</Emphasis><Superscript>*</Superscript>-Algebras of type I

Let R be a real AW ^*-algebra, and suppose that its complexification M = R + iR is also a (complex) AW ^*-algebra. We prove that R is of type I if and only if so is M.Translated from Funktsionalnyi Analiz i Ego Prilozheniya, Vol. 38, No. 4, pp. 79–81, 2004Original Russian Text Copyright © by Sh. A. Ayupov     

Norms on R[X 1, ... , X r ] Which Are Multiplicative on R

Let R be a commutative ring with identity, and let | | be a non-trivial absolute value on R. We study the R-algebra norms on the polynomial algebra R[X ₁, ... , X _r ] which extend | |. Received: March 22, 2007. Revised: October 2, 2007.     

Banach manifolds of algebraic elements in the algebra $$\mathcal{L}$$ ( H) of bounded linear operatorsof bounded linear operators

Given a complex Hilbert space H, we study the manifold of algebraic elements in . We represent as a disjoint union of closed connected subsets M of Z each of which is an orbit under the action of G, the group of all C^*-algebra automorphisms of Z. Those orbits M consisting of hermitian algebraic elements with a fixed finite rank r, (0< r<∞) are real-analytic direct submanifolds of Z. Using the C^*-algebra structure of Z, a Banach-manifold structure and a G-invariant torsionfree affine connection ∇ are defined on M, and the geodesics are computed. If M is the orbit of a finite rank projection, then a G-invariant Riemann structure is defined with respect to which ∇ is the Levi-Civita connection. Supported by Ministerio de Educación y Cultura of Spain, Research Project BFM2002-01529.     

Constants of Derivation and Differential Ideals

ABSTRACT

Let R be a differential domain finitely generated over a differential field F of characteristic 0. Let C be the subfield of differential constants of F. This paper investigates conditions on differential ideals of R that are necessary or sufficient to guarantee that C is also the set of constants of differentiation of the quotient field, E, of R. In particular, when C is algebraically closed and R has a finite number of height one differential prime ideals, there are no new constants in E. An example where F is infinitely generated over C shows the converse is false. If F is finitely generated over C and R is a polynomial ring over F, sufficient conditions on F are given so that no new constants in E does imply only finitely many height one prime differential ideals in R. In particular, F can be Q¯(T) where T is a finite transcendence set.

     

On a minimal set of generators for the invariants of 3 × 3 matrices

Let K be a field of characteristic p > 0, let L be a restricted Lie algebra and let R be an associative K-algebra. It is shown that the various constructions in the literature of crossed product of R with u(L) are equivalent. We calculate explicit formulae relating the parameters involved and obtain a formula which hints at a noncommutative version of the Bell polynomials.     

Generalized Hyers–Ulam–Rassias stability of n-sesquilinear-quadratic mappings on Banach modules over -algebras

Assume that X is a left Banach module over a unital C^*-algebra A. It is shown that almost every n-sesquilinear-quadratic mapping h:X×X×Xⁿ→A is an n-sesquilinear-quadratic mapping when holds for all x,y,z₁,…,z_nX.Moreover, we prove the generalized Hyers–Ulam–Rassias stability of an n-sesquilinear-quadratic mapping on a left Banach module over a unital C^*-algebra.     

The Category of Firm Modules for Nonunital Monomial Algebras

Let k be a field and X a set and P be a set of words over X. Consider the free nonunital k-algebra over X generated by the nonempty words over X and let R be the quotient of this algebra modulo the ideal generated by the words in P. R is called a “nonunital monomial algebra”. A right R-module M is said to be “firm” if M? _R R → M given by m ? r? mr is an isomorphism. In this article we prove that if R is a nonunital monomial algebra, the category of firm modules is Grothendieck.     

Conditions on decomposable symmetric tensors as an algebraic variety

Let V be a finite dimensional vector space of dimension at least 2 over an infinite field F. We show that the set of all decomposable elements in the rth symmetric product space over i:V(r≥ 2) is an algebraic set if F is algebraically closed and only if every polynomial of degree at most r splits completcly over F.     

Diophantine Undecidability of Function Fields of Characteristic Greater than 2, Finitely Generated over Fields Algebraic over a Finite Field

Let F be a function field of characteristic p > 2, finitely generated over a field C algebraic over a finite field C _p and such that it has an extension of degree p. Then Hilbert's Tenth Problem is not decidable over F.     

Injective Modules over Prüfer v-Multiplication Domains

Let R be an integral domain with quotient field F. It is shown that R is a strongly discrete Prüfer v-multiplication domain if and only if there exists a bijection between the set of the prime w-ideals and the set of isomorphism classes of GV-torsionfree indecomposable injective R-modules and every indecomposable injective R-module, viewed as a module over its endomorphism ring, is uniserial. It is also shown that the w-closure of any GV-torsionfree homomorphic image of F is injective if and only if R is a Prüfer v-multiplication domain satisfying an almost maximality-type property.     

Decomposing finitely generated torsion modules

Let R be a commutative ring and let F be a filter of ideals of R. We give three characterizations of the rings with the property that all finitely generated F pretorsion R modules decompose into a direct sum of cyclic R submodules. One of these characterizations involves decomposing the filter F into a product of subfilters. This filter decomposition is shown to be unique, and is used to characterize several other ring properties relative to the filter of ideals.     

On s-quasinormal and c-normal subgroups of a finite group

Let F be a saturated formation containing the class of supersolvable groups and let G be a finite group. The following theorems are shown： （1） G ∈ F if and only if there is a normal subgroup H such that G/H ∈ F and every maximal subgroup of all Sylow subgroups of H is either c-normal or s-quasinormally embedded in G; （2） G ∈F if and only if there is a soluble normal subgroup H such that G/H∈F and every maximal subgroup of all Sylow subgroups of F（H）, the Fitting subgroup of H, is either e-normally or s-quasinormally embedded in G.     

K-theory for rickart C*-algebras

We give an explicit index map for any properly infinite closed ideal of a Rickart C ^*-algebra. This generalizes Olsen's work on von Neumann algebras. We use our results to compute the topological and the algebraic K ₁-groups of any quotient algebra of a Rickart C ^*-algebra.     

The smallness problem for -algebras

Akemann showed that any von Neumann algebra with a weak^* separable dual space has a faithful normal representation on a separable Hilbert space. He posed the question: If a C^*-algebra has a weak^* separable state space, must it have a faithful representation on a separable Hilbert space? Wright solved this question negatively and showed that a unital C^*-algebra has the weak^* separable state space if and only if it has a unital completely positive map, into a type I factor on a separable Hilbert space, whose restriction to the self-adjoint part induces an order isomorphism. He called such a C^*-algebra almost separably representable. We say that a unital C^*-algebra is small if it has a unital complete isometry into a type I factor on a separable Hilbert space. In this paper we show that a unital C^*-algebra is small if and only if the state spaces of all n by n matrix algebras over the C^*-algebra are weak^*-separable. It is natural to ask whether almost separably representable algebras are small or not. We settle this question positively for simple C^*-algebras but the general question remains open.