Fréchet algebras of finite type
|
|
- Dominick Stokes
- 5 years ago
- Views:
Transcription
1 Fréchet algebras of finite type MK Kopp Abstract The main objects of study in this paper are Fréchet algebras having an Arens Michael representation in which every Banach algebra is finite dimensional. We shall classify these algebras using a theorem which enssures that the image of any continuous linear map of a Fréchet space of finite type (i.e. for which the defining seminorms have a finite dimensional cokernel) into any Fréchet space is in fact closed. 1 Preliminaries Throughout this paper, a Fréchet algebra shall be a locally multiplicatively convex, complete, topological algebra whose topology arises from an increasing countable collection {p j j N} of submultiplicative seminorms satisfying (the Hausdorff condition) ker(p j ) = {0}. j N Any Fréchet algebra can be realized in the following way (see [3] and [9]). Let f 1 f 2 χ : B 1 B2... be an inverse (projective) limit sequence of Banach algebras such that the f j s are continuous algebra homomorphisms with dense range. If limχ is equipped with the weakest topology making all the universal maps π j : limχ B j continuous, then it is in fact a Fréchet algebra. Conversely, given any Fréchet algebra F, if the topology of F is defined by the increasing sequence (p j ) j N of submultiplicative seminorms, then define B j to be the completion of F/ ker(p j ) equipped with the norm p j. Then not only is F = lim χ in the category of C-algebras alone, but if limχ is equipped with the Fréchet algebra topology outlined above, then it is a Fréchet algebra which is Fréchet algebra isomorphic to F. We shall say that an inverse limit sequence χ is an Arens Michael representation for F if F and limχ are isomorphic as Fréchet algebras. We shall be interested in the following special type of Fréchet algebras Mathematical Subject Classification 46H40, 46J05, 46M40. This work is part of the research project of the European Research Training Network Analysis and Operators, contract HPRN-CT , funded by the European Commission. 1
2 Definition 1 A Fréchet algebra is said to be of finite type if its topology can be defined by an increasing collection of submultiplicative seminorms all of which have a finite dimensional cokernel. Alternatively, we can say that a Fréchet algebra F is of finite type if each continuous seminorm has a finite dimensional cokernel. It is easy to see that any closed subalgebra of a Fréchet algebra of finite type is of finite type as well. Examples. 1. Consider the ring C[[X]] of formal power series equipped with its (unique) Fréchet algebra topology given by the submultiplciative seminorms p k : C[[X]] R +, λ j X j j=0 k λ j. Each C[[X]]/ ker(p k ) is finite dimensional and so the ring of formal power series is a Fréchet algebra of finite type. 2. Similarly, it is easy to show that power series rings in several variables are Fréchet algebras of finite type, as is the ring C N [[X]] (see [7]) of formal power series in countably many variables. We shall show that these examples are the basic building blocks to describe all commutative local Fréchet algebras of finite type. An important tool in showing this is the theorem in the next section which shows that any any continuous linear map from a Fréchet space of finite type into any Fréchet space has closed range. j=0 2 A Theorem in the spirit of G.R. Allan The following is a linear analogue to Fréchet algebras of finite type. Definition 2 A Fréchet space is said to be of finite type if its topology is given by an increasing sequence of seminorms all of whose cokernels are finite dimensional. In Corollary 6 of [2], G.R. Allan proved that if C[[X]] is a dense subalgebra in some commutative Fréchet algebra F, then F is in fact equal to C[[X]]. The main tool used in the proof of this result (see Proposition 4 of [2]) is the fact that C[[X]] is a principal ideal domain and so certain inclusions about kernels of seminorms follow. The following theorem is in some sense an extension of Allan s result. Theorem 1 Let F and G be real or complex Fréchet spaces and let F be of finite type. Suppose further that f : F G is a continuous linear map. Then Im(f) is closed. Proof. We note that by quotienting out the (closed) kernel of f we may assume that f be injective. Suppose that (p n ) n N is an increasing sequence of seminorms defining the complete locally convex Hausdorff vector space topology on F such that F / ker(p j ) 2
3 is a finite dimensional vector space for each j N. Let (q n ) n N be an increasing sequence of seminorms defining the Fréchet space topology on G. Since f is continuous we may assume without loss of generality (thinning out (p j ) and rescaling the p j s if necessary) that holds for all j N. q j f p j ( ) If we denote the quotient map F F / ker(p j ) by π j, then, noting that we assumed F/ ker(p j ) finite dimensional, (π j (ker(q m f))) m N = (ker(q m f) + ker(p j )) m N defines a decreasing sequence of subspaces of F/ ker(p j ) which must stabilize. Thus for each j N there exists some integer N j > 0 such that π j (ker(q Nj f)) = π j (ker(q Nj +1 f)) =.... Without loss of generality we may choose the N j s in such a way that (N j ) j N is strictly increasing. Claim. For each j N ker(q Nj f) ker(p j ) holds. Proof of claim. The following argument is due to Jean Esterle and represents a simplification of our original proof. In particular it avoids rather complicated global diagram arguments and a use of the Arens Michael representation theorem. By construction of the N j s, ker (q Nk f) ker ( q Nk+1 f ) + ker(p k ) ( ) holds for all all k N. Given any x ker(q Nj f), ( ) allows us to write x = y 1 + z 1 with y 1 ker(p j ) and z 1 ker(q Nj+1 f). Applying ( ) again on z 1, z 1 = y 2 + z 2 with y 2 ker(p j+1 ) and z 2 ker ( q Nj+2 f ). Continuing by applying ( ) to z 2, then z 3 etc., we obtain two sequences (y n ) n N and (z n ) n N such that n N x = y 1 + y y n + z n n N y n ker(p j+n 1 ) ker(p j n N z n ker ( q Nj+n f ) We note that for each m, n, M N with n m > j + M ( n ) p j+m y t = 0 t=m 3
4 and so the series n=1 y n converges in F and n=1 y n ker(p j ). Hence the sequence (z n ) n N converges in F and we shall denote its limit by z. Since each ker(q n f) is closed (as f is continous) and since we assumed f injective, z n N ker ( q Nj+n f ) = {0} which shows that ( ) ( ) x = y n + z = y n ker(p j ). This establishes the claim. n=1 n=1 Fix some j N. Then we may pick b 1,..., b m in F such that b 1 + ker(p j ),..., b m + ker(p j ) form a basis for F/ ker(p j ). If V denotes the linear span of b 1,..., b m in F, then F = V ker(p j ) is a linear decomposition of F. By the claim above, ker(q Nj f) is a linear subspace of ker(p j ) which by ( ) must contain ker(p Nj ). As the latter subspace has finite codimension in F, so does ker(q Nj f) and thus there exists a finite dimensional subspace W of ker(p j ) such that is a linear decomposition of F. By construction defines a norm on V W. Moreover defines a norm on V. As F = V W ker(q Nj f) }{{} =ker(p j ). : V W R +, x q Nj (f(x)). : V R +, v p j (v) θ : (V W,. ) (V,. ), v + w v is a linear map between finite dimensional vector spaces, it must be continuous and hence there exists a constant c j > 0 such that for any v V and w W c j p j (v) ( q Nj f ) (v + w). ( ) But for any x F = V W ker(q Nj f), if x = v + w + k with v V, w W and k ker(q Nj f) then c j p j (v + w + k) = c j p j (v) q Nj f(v + w + k) = q Nj f(v + w) 4
5 and hence c j p j q Nj f holds on F by ( ). But this implies that the sequence of increasing seminorms ( qnj f ) j N defines the same Fréchet space topology on F as the p j s do. The result thus follows. Corollary 1 Let F be a Fréchet algebra of finite type and let a 1,..., a n and b 1,..., b n a collection of elements in F. We define F to be F if F is unital or to be the usual unitization otherwise. Then both sets n a j F b j and are closed in F. n a j F b j Proof. Considering the continuous linear maps φ 1 : F n F n, (f 1,..., f n ) a j f j b j and φ 2 : F n F, (f 1,..., f n ) n a j f j b j. As the domain of both maps are Fréchet algebras of finite type and as Im(φ 1 ) = n a j F b j and Im(φ 2 ) = the result follows from Theorem 1. n a j F b j Remark. In particular any finitely generated (left or right) ideal in a Fréchet algebra of finite type is closed. 3 A classification theorem The aim of this section is to give a simple structure theorem for all Fréchet algebras of finite type. We shall first of all consider two examples which will turn out to be important. 5
6 1. Consider the C-algebra M nj (C) j N (where (n j ) j N is a given sequence of positive integers) equipped with the product topology. A defining collection of submultiplicative seminorms (p n ) for this topology is given by p m : m M nj (C) R +, (A 1,...) A j Mnj (C) m N j N (. Mnj (C) denotes a given (submultiplicative) norm on M nj (C)) and so the algebra above is a Fréchet algebra of finite type. 2. Let S ℵ0 denote the free semigroup generated by a countable collection of symbols, i.e. S ℵ0 = n N S n where S n denotes the free semigroup on n symbols and where S n S n+1 is obtained by identifying the n generating symbols of the former, in order, with the first n generating symbols of the latter. Denote by the set of formal C-linear sums C 0 [[S ℵ0 ]] g S ℵ0 λ g g which can be given a C-algebra structure via the product λ f f µ f f = f S ℵ0 f S ℵ0 f S ℵ0 g,h S ℵ0 ;gh=f λ g µ h f (the sum in brackets on the right hand side is defined as each element in S ℵ0 a finite product of elementary symbols). For each n N, define p n : C 0 [[S ℵ0 ]] R +, λ f f λ f f S ℵ0 f C n consists of where C n denotes the collection of all elements in S n which can be written as a product of no more than n (not necessarily distinct) basic symbols. It is easy to see that the p n s define submultiplicative seminorms and that the locally multiplicatively convex algebra obtained by equipping C 0 [[S ℵ0 ]] with these seminorms is a Fréchet algebra. The algebra C 0 [[S ℵ0 ]] is in fact a radical Fréchet algebra. This follows from the fact that the canonical image of any element f C 0 [[S ℵ0 ]] is quasi-regular and hence, by Theorem 5.2 part a) in [9], f must be quasi-regular. Theorem 2 Let F be a Fréchet algebra of finite type. Then F is radical if and only if F is Fréchet algebra isomorphic to a quotient of C 0 [[S ℵ0 ]] by a closed ideal. 6
7 Proof. We note that the if part is immediate from Theorem 5.2 part a) in [9] and from the fact that the Arens Michael representation for C 0 [[S ℵ0 ]] consists of nilpotent finite dimensional Banach algebras. For the only if part, suppose that f 1 f 2 B 1 B2... ( ) is an Arens Michael representation of F such that each B j is a finite dimensional C-vector space. Suppose further that (q n ) n N is an increasing sequence of submultiplicative seminorms associated with ( ), i.e. B j = F/ ker(q j ). We pick a sequence (a n ) n N in F in the following way. We let a 1,..., a N1 be such that {π 1 (a j ) j {1,..., N 1 }} is a basis for the vector space B 1. Then we pick a N1 +1,..., a N2 in F such that {π 2 (a j ) j {1,..., N 2 }} is a linear basis for B 2. This automatically implies that {π 2 (a j )) j {N 1 + 1,..., N 2 }} spans ker(f 1 ) and so π 1 (a j ) = 0 for each j {N 1 + 1,..., N 2 }. If we continue doing this we obtain a sequence (a n ) n N and an increasing sequence (N j ) j N of non-negative integers such that π j (a k ) = 0 for all k > N j and such that the closed linear span of {a n n N} equals F. Suppose now that S = j N N j and that for any sequence (b n ) n N in F and any (i 1,..., i k ) S we define b (i 1,...,i k ) = b i1 b i2... b ik. As each B j is a finite dimensional and radical algebra it is in fact nilpotent. Thus, taking into account the defining property π j (a k ) = 0 for all k > N j, we obtain that λ a S converges in F for any (λ ) S C S. Furthermore, if we denote the countable non-commuting basic symbols generating the free semigroup S ℵ0 by {X j j N} then, upon writing for any = (i 1,..., i k ) S X = X i1 X i2... X ik, we define a map Γ : C 0 [[S ℵ0 ]] F, S λ X S λ a 7
8 where the λ s are arbitrary scalars indexed by S. This is certainly an algebra homomorphism and it is also continuous. For given any j N, let N N be larger than dim C B j and also larger than the degree of nilpotency of B j. If S N denotes the union N {1,..., N}j then ( ) ( N q j λ a max ( 1, q j (a k ) N)) λ S k=1 S N ( N ) λ X k=1 max ( 1, q j (a k ) N)) p N ( S where the p j s are the defining submultiplicative seminorms for the Fréchet algebra topology on C 0 [[S ℵ0 ]] given in example 2. at the beginning of this section. It follows from Theorem 1 that Γ is in fact surjective. The proof of Theorem 4 we shall present here is a shorter version of our original proof. It relies on the following Lemma which was suggested to us by Jean Esterle and which will spare us from a rather elaborate matrix unit lifting procedure. Lemma 3 Let A 1 and A 2 be finite dimensional C-algebras and let π : A 2 A 1 be a surjective algebra homomorphism. Let R 1 and R 2 denote the Jacobson radicals of A 1 and A 2 respectively and assume that B 1 is a semisimple sub-algebra of A 1 such that A 1 = B 1 R 1 (direct sum of vector spaces). Then π(r 2 ) = R 1 and there exists a semisimple subalgebra B 2 of A 2 such that A 2 = B 2 R 2 (direct sum of vector spaces) and such that π(b 2 ) = B 1. Proof. By Wedderburn s principle theorem (see [8],p.127) there exists a semisimple subalgebra U of A 2 such that A 2 = U R 2 as a direct sum of vector spaces. Since π(u) is isomorphic to a quotient of a finite dimensional semisimple algebra, Wedderburn s structure theorem for finite dimensional semisimple algebras implies that π(u) is semisimple. As π(u) R 1 is a two-sided ideal in π(u) which is contained in rad(π(u)) (the Jacobson radical of π(u)) it follows that π(u) R 1 = {0} (#) Since π is surjective π(r 2 ) is a two-sided ideal of B 1. Since each element in π(r 2 ) is also nilpotent we deduce that π(r 2 ) R 1 Let x R 1. Since π is surjective there exist u U and r R 2 such that x = π(u + r) = π(u) + π(r). 8
9 But then π(u) π(u) R 1 and so x = π(r) by (#). Since x R 1 was arbitrary this shows π(r 2 ) = R 1. We note that π 1 (B 1 ) is a subalgebra of A 2 and, by the above Wedderburn s principle theorem implies that A 2 = π 1 (B 1 ) + R 2. π 1 (B 1 ) = B 2 H where B 2 is a semisimple subalgebra of π 1 (B 1 ) and H is its Jacobson radical. We note that H + R 2 is in fact a two-sided ideal in A 2 as for any h H, s, r R 2 and any b π 1 (B 1 ) (b + s)(h + r) = }{{} bh + br } + sh {{ + sr } H R 2 and (h + r)(b + s) = }{{} hb H + rb } + hs {{ + rs }. R 2 Since H is the Jacobson radical of π 1 (B 1 ) all its elements must be nilpotent. Thus given h H and r R 2, there exists some k N such that h k = 0. But then (h + r) k R 2 and so (h + r) is nilpotent. Thus H + R 2 is a nilpotent two-sided ideal and must thus be contained in R 2. But this means that H + R 2 = R 2 and so A 2 = B 2 R 2. and π(b 2 ) = B 1 since π(h) B 1 R 1 = {0}. Theorem 4 Suppose that F is a Fréchet algebra of finite type and let R denote the radical of F. Then there exists a closed subalgebra S of F such that F = R S, i.e. F decomposes as a vector space into a direct sum of a closed semisimple subalgebra S and the closed ideal R. Moreover, S is Fréchet algebra isomorphic to M nj (C) j N for some sequence (n j ) j N of non-negative integers equipped with the product topology. The ideal R is isomorphic to a quotient of C 0 [[S ℵ0 ]] by a closed ideal. Proof. Suppose that f 1 f 2 f 3 B 1 B2 B3... is an Arens Michael representation for F. Then by Wedderburn s principal theorem and a repeated application of Lemma 3 above there exists a decomposition for each B j B j = R j S j 9
10 such that R j is the Jacobson radical of B j, S j is a semisimple subalgebra and such that both f j (S j+1 ) = S j and f j (R j+1 ) = R j. We now define ( R = lim R 1 ( S = lim S 1 f 1 R2 R2 S 1 S2 S2 ) f 2 R3... ) f 2 S3... and equip these algebras with the weakest topology which makes all the universal maps R R j and S S j continuous. These topologies are both Fréchet algebra topologies (by [9]) and so S and R are Fréchet algebras of finite type. As subalgebras of F both R and S inherit subspace topologies. By definition, the identity map defined from R equipped with the Fréchet algebra topology defined above into R with its subspace topology from F is trivially continuous. Thus Theorem 1 implies that these two topologies coincide. Similarly the subspace topology on S coincides with the Fréchet algebra topology defined above. Moreover, Theorem 5.2 part a) in [9] implies that R = rad(f ). Concerning the statement about S, we note that each S j is isomorphic to M (j) n (C)... M (j) 1 n (C) k j for some k j Z + and some n (j) 1,..., n(j) k j Z +. Since f j (S j+1 ) = S j and since each matrix algebra M n (C) is semisimple we may relabel the n (j+1) 1,..., n (j+1), if necessary, such that n (j) k for all k {1,..., k j }. The result thus follows. = n (j+1) k In [7] the algebra C N [[X]] consisting of formal power series in countably many variables is defined. It is a local commutative algebra and its maximal ideal will be denoted by C 0,N [[X]]. It is not hard to see that this ideal is algebra isomorphic to the quotient of C 0 [[S ℵ0 ]] by the closure of the ideal generated by all commutation relations X i X j X j X i where i j; i, j N and where the X j s denote the basic non-commuting symbols generating S ℵ0. Corollary 1 Let F be a commutative Fréchet algebra of finite type. Then there exists a closed ideal I in C 0,N [[X]] and some ordinal α ℵ 0 {ℵ 0 } such that F is algebra isomorphic to the vector space direct sum C α C 0,N [[X]]/I where C 0,N [[X]] is subalgebra of C N [[X]] consisting of all formal power series in countably many variables whose constant term is zero. Remark. We note that our proofs yield analogous classification results for real Fréchet algebras of finite type. References [1] G. R. Allan:Embedding the algebra of formal power series in a Banach algebra, Proc. London Math. Soc. (3) 25 (1972), k j+1 10
11 [2] G. R. Allan:Fréchet algebras and formal power series, Studia Math. 119 (3), (1996), [3] R. F. Arens:Dense Inverse Limit Rings,Michigan Math. J. 5 (1958), [4] M.F. Atiyah, I.G. MacDonald: Introduction to Commutative Algebra, Addison-Wesley, 1969 [5] H. G. Dales: Banach algebras and automatic continuity, London Math. Soc. Monographs. New Series, 24. Oxford Science Publications 2000 [6] J. Esterle: Elements of a Classification of a Commutative Radical Banach Algebra,in Radical Banach Algebras and Automatic Continuity, Proceedings of the Long Beach Conference 1981, Springer Notes in Mathematics 975, pp.4-66 [7] J. Esterle:Picard s theorem, Mittag-Leffler methods, and continuity of characters on Fréchet algebras, Ann. Sci. Ecole Norm. Sup. (4) 29 (1996), no.5, [8] I. Kaplansky: Fields and Rings, Chicago Lectures in Mathematics, Second Edition (1972) [9] E. A. Michael:Locally multiplicatively convex topological algebras, Mem. Amer. Math. Soc. 11 (1953; third printing 1971) Laboratoire d Analyse et Géométrie UMR 5467 Université Bordeaux Cours de la libération Talence, Cedex France kopp@math.u-bordeaux.fr 11
Spectrally Bounded Operators on Simple C*-Algebras, II
Irish Math. Soc. Bulletin 54 (2004), 33 40 33 Spectrally Bounded Operators on Simple C*-Algebras, II MARTIN MATHIEU Dedicated to Professor Gerd Wittstock on the Occasion of his Retirement. Abstract. A
More informationREPRESENTATION THEORY, LECTURE 0. BASICS
REPRESENTATION THEORY, LECTURE 0. BASICS IVAN LOSEV Introduction The aim of this lecture is to recall some standard basic things about the representation theory of finite dimensional algebras and finite
More informationThe tensor algebra of power series spaces
The tensor algebra of power series spaces Dietmar Vogt Abstract The linear isomorphism type of the tensor algebra T (E) of Fréchet spaces and, in particular, of power series spaces is studied. While for
More informationLemma 1.3. The element [X, X] is nonzero.
Math 210C. The remarkable SU(2) Let G be a non-commutative connected compact Lie group, and assume that its rank (i.e., dimension of maximal tori) is 1; equivalently, G is a compact connected Lie group
More informationNOTES IN COMMUTATIVE ALGEBRA: PART 2
NOTES IN COMMUTATIVE ALGEBRA: PART 2 KELLER VANDEBOGERT 1. Completion of a Ring/Module Here we shall consider two seemingly different constructions for the completion of a module and show that indeed they
More informationFILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.
FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0
More informationA Note on the Inverse Limits of Linear Algebraic Groups
International Journal of Algebra, Vol. 5, 2011, no. 19, 925-933 A Note on the Inverse Limits of Linear Algebraic Groups Nadine J. Ghandour Math Department Lebanese University Nabatieh, Lebanon nadine.ghandour@liu.edu.lb
More informationInjective semigroup-algebras
Injective semigroup-algebras J. J. Green June 5, 2002 Abstract Semigroups S for which the Banach algebra l (S) is injective are investigated and an application to the work of O. Yu. Aristov is described.
More informationHow many units can a commutative ring have?
How many units can a commutative ring have? Sunil K. Chebolu and Keir Locridge Abstract. László Fuchs posed the following problem in 960, which remains open: classify the abelian groups occurring as the
More informationFormal power series rings, inverse limits, and I-adic completions of rings
Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely
More informationHomologically trivial and annihilator locally C -algebras
Homologically trivial and annihilator locally C -algebras Yurii Selivanov Abstract. In this talk, we give a survey of recent results concerning structural properties of some classes of homologically trivial
More informationFACTORIZATION IN COMMUTATIVE BANACH ALGEBRAS
FACTORIZATION IN COMMUTATIVE BANACH ALGEBRAS H. G. DALES, J. F. FEINSTEIN, AND H. L. PHAM Abstract. Let A be a (non-unital) commutative Banach algebra. We consider when A has a variety of factorization
More informationHomotopy and homology groups of the n-dimensional Hawaiian earring
F U N D A M E N T A MATHEMATICAE 165 (2000) Homotopy and homology groups of the n-dimensional Hawaiian earring by Katsuya E d a (Tokyo) and Kazuhiro K a w a m u r a (Tsukuba) Abstract. For the n-dimensional
More informationTopological vectorspaces
(July 25, 2011) Topological vectorspaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ Natural non-fréchet spaces Topological vector spaces Quotients and linear maps More topological
More informationThe Measure Problem. Louis de Branges Department of Mathematics Purdue University West Lafayette, IN , USA
The Measure Problem Louis de Branges Department of Mathematics Purdue University West Lafayette, IN 47907-2067, USA A problem of Banach is to determine the structure of a nonnegative (countably additive)
More informationInfinite-Dimensional Triangularization
Infinite-Dimensional Triangularization Zachary Mesyan March 11, 2018 Abstract The goal of this paper is to generalize the theory of triangularizing matrices to linear transformations of an arbitrary vector
More informationBulletin of the Iranian Mathematical Society
ISSN: 1017-060X (Print) ISSN: 1735-8515 (Online) Special Issue of the Bulletin of the Iranian Mathematical Society in Honor of Professor Heydar Radjavi s 80th Birthday Vol 41 (2015), No 7, pp 155 173 Title:
More informationSpectral isometries into commutative Banach algebras
Contemporary Mathematics Spectral isometries into commutative Banach algebras Martin Mathieu and Matthew Young Dedicated to the memory of James E. Jamison. Abstract. We determine the structure of spectral
More informationUNIQUENESS OF THE UNIFORM NORM
proceedings of the american mathematical society Volume 116, Number 2, October 1992 UNIQUENESS OF THE UNIFORM NORM WITH AN APPLICATION TO TOPOLOGICAL ALGEBRAS S. J. BHATT AND D. J. KARIA (Communicated
More informationALGEBRAIC GROUPS. Disclaimer: There are millions of errors in these notes!
ALGEBRAIC GROUPS Disclaimer: There are millions of errors in these notes! 1. Some algebraic geometry The subject of algebraic groups depends on the interaction between algebraic geometry and group theory.
More informationMATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
More informationALGEBRAIC GROUPS J. WARNER
ALGEBRAIC GROUPS J. WARNER Let k be an algebraically closed field. varieties unless otherwise stated. 1. Definitions and Examples For simplicity we will work strictly with affine Definition 1.1. An algebraic
More informationLECTURE 3: RELATIVE SINGULAR HOMOLOGY
LECTURE 3: RELATIVE SINGULAR HOMOLOGY In this lecture we want to cover some basic concepts from homological algebra. These prove to be very helpful in our discussion of singular homology. The following
More informationLECTURE NOTES AMRITANSHU PRASAD
LECTURE NOTES AMRITANSHU PRASAD Let K be a field. 1. Basic definitions Definition 1.1. A K-algebra is a K-vector space together with an associative product A A A which is K-linear, with respect to which
More informationSUMS OF UNITS IN SELF-INJECTIVE RINGS
SUMS OF UNITS IN SELF-INJECTIVE RINGS ANJANA KHURANA, DINESH KHURANA, AND PACE P. NIELSEN Abstract. We prove that if no field of order less than n + 2 is a homomorphic image of a right self-injective ring
More informationRings With Topologies Induced by Spaces of Functions
Rings With Topologies Induced by Spaces of Functions Răzvan Gelca April 7, 2006 Abstract: By considering topologies on Noetherian rings that carry the properties of those induced by spaces of functions,
More informationA Leibniz Algebra Structure on the Second Tensor Power
Journal of Lie Theory Volume 12 (2002) 583 596 c 2002 Heldermann Verlag A Leibniz Algebra Structure on the Second Tensor Power R. Kurdiani and T. Pirashvili Communicated by K.-H. Neeb Abstract. For any
More information5 Banach Algebras. 5.1 Invertibility and the Spectrum. Robert Oeckl FA NOTES 5 19/05/2010 1
Robert Oeckl FA NOTES 5 19/05/2010 1 5 Banach Algebras 5.1 Invertibility and the Spectrum Suppose X is a Banach space. Then we are often interested in (continuous) operators on this space, i.e, elements
More informationSimple Abelian Topological Groups. Luke Dominic Bush Hipwood. Mathematics Institute
M A E NS G I T A T MOLEM UNIVERSITAS WARWICENSIS Simple Abelian Topological Groups by Luke Dominic Bush Hipwood supervised by Dr Dmitriy Rumynin 4th Year Project Submitted to The University of Warwick
More informationMath 210C. A non-closed commutator subgroup
Math 210C. A non-closed commutator subgroup 1. Introduction In Exercise 3(i) of HW7 we saw that every element of SU(2) is a commutator (i.e., has the form xyx 1 y 1 for x, y SU(2)), so the same holds for
More informationCyclic cohomology of projective limits of topological algebras
Cyclic cohomology of projective limits of topological algebras Zinaida Lykova Newcastle University 9 August 2006 The talk will cover the following points: We present some relations between Hochschild,
More informationHomological Dimension
Homological Dimension David E V Rose April 17, 29 1 Introduction In this note, we explore the notion of homological dimension After introducing the basic concepts, our two main goals are to give a proof
More informationarxiv:math/ v1 [math.ra] 9 Jun 2006
Noetherian algebras over algebraically closed fields arxiv:math/0606209v1 [math.ra] 9 Jun 2006 Jason P. Bell Department of Mathematics Simon Fraser University 8888 University Drive Burnaby, BC, V5A 1S6
More informationExercise Solutions to Functional Analysis
Exercise Solutions to Functional Analysis Note: References refer to M. Schechter, Principles of Functional Analysis Exersize that. Let φ,..., φ n be an orthonormal set in a Hilbert space H. Show n f n
More informationON STRONGLY PRIME IDEALS AND STRONGLY ZERO-DIMENSIONAL RINGS. Christian Gottlieb
ON STRONGLY PRIME IDEALS AND STRONGLY ZERO-DIMENSIONAL RINGS Christian Gottlieb Department of Mathematics, University of Stockholm SE-106 91 Stockholm, Sweden gottlieb@math.su.se Abstract A prime ideal
More informationarxiv:math/ v1 [math.fa] 26 Oct 1993
arxiv:math/9310217v1 [math.fa] 26 Oct 1993 ON COMPLEMENTED SUBSPACES OF SUMS AND PRODUCTS OF BANACH SPACES M.I.Ostrovskii Abstract. It is proved that there exist complemented subspaces of countable topological
More informationTwo-sided multiplications and phantom line bundles
Two-sided multiplications and phantom line bundles Ilja Gogić Department of Mathematics University of Zagreb 19th Geometrical Seminar Zlatibor, Serbia August 28 September 4, 2016 joint work with Richard
More informationRegularity conditions for Banach function algebras. Dr J. F. Feinstein University of Nottingham
Regularity conditions for Banach function algebras Dr J. F. Feinstein University of Nottingham June 2009 1 1 Useful sources A very useful text for the material in this mini-course is the book Banach Algebras
More informationSung-Wook Park*, Hyuk Han**, and Se Won Park***
JOURNAL OF THE CHUNGCHEONG MATHEMATICAL SOCIETY Volume 16, No. 1, June 2003 CONTINUITY OF LINEAR OPERATOR INTERTWINING WITH DECOMPOSABLE OPERATORS AND PURE HYPONORMAL OPERATORS Sung-Wook Park*, Hyuk Han**,
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationNotes on p-divisible Groups
Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete
More informationBoundedly complete weak-cauchy basic sequences in Banach spaces with the PCP
Journal of Functional Analysis 253 (2007) 772 781 www.elsevier.com/locate/jfa Note Boundedly complete weak-cauchy basic sequences in Banach spaces with the PCP Haskell Rosenthal Department of Mathematics,
More informationALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.
ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ANDREW SALCH 1. Hilbert s Nullstellensatz. The last lecture left off with the claim that, if J k[x 1,..., x n ] is an ideal, then
More informationON COMPLEMENTED SUBSPACES OF SUMS AND PRODUCTS OF BANACH SPACES
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 124, Number 7, July 1996 ON COMPLEMENTED SUBSPACES OF SUMS AND PRODUCTS OF BANACH SPACES M. I. OSTROVSKII (Communicated by Dale Alspach) Abstract.
More informationThe most important result in this section is undoubtedly the following theorem.
28 COMMUTATIVE ALGEBRA 6.4. Examples of Noetherian rings. So far the only rings we can easily prove are Noetherian are principal ideal domains, like Z and k[x], or finite. Our goal now is to develop theorems
More informationTensor Product of modules. MA499 Project II
Tensor Product of modules A Project Report Submitted for the Course MA499 Project II by Subhash Atal (Roll No. 07012321) to the DEPARTMENT OF MATHEMATICS INDIAN INSTITUTE OF TECHNOLOGY GUWAHATI GUWAHATI
More informationIdeals Of The Ring Of Higher Dimensional Dual Numbers
Journal of Advances in Algebra (AA). ISSN 0973-6964 Volume 9, Number 1 (2016), pp. 1 8 Research India Publications http://www.ripublication.com/aa.htm Ideals Of The Ring Of Higher Dimensional Dual Numbers
More informationI teach myself... Hilbert spaces
I teach myself... Hilbert spaces by F.J.Sayas, for MATH 806 November 4, 2015 This document will be growing with the semester. Every in red is for you to justify. Even if we start with the basic definition
More informationStructure of rings. Chapter Algebras
Chapter 5 Structure of rings 5.1 Algebras It is time to introduce the notion of an algebra over a commutative ring. So let R be a commutative ring. An R-algebra is a ring A (unital as always) together
More informationINVARIANT IDEALS OF ABELIAN GROUP ALGEBRAS UNDER THE MULTIPLICATIVE ACTION OF A FIELD, II
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 INVARIANT IDEALS OF ABELIAN GROUP ALGEBRAS UNDER THE MULTIPLICATIVE ACTION OF A FIELD, II J. M.
More information12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold.
12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold. 12.1. Indecomposability of M and the localness of End
More informationNIL, NILPOTENT AND PI-ALGEBRAS
FUNCTIONAL ANALYSIS AND OPERATOR THEORY BANACH CENTER PUBLICATIONS, VOLUME 30 INSTITUTE OF MATHEMATICS POLISH ACADEMY OF SCIENCES WARSZAWA 1994 NIL, NILPOTENT AND PI-ALGEBRAS VLADIMÍR MÜLLER Institute
More informationSpectral theory for compact operators on Banach spaces
68 Chapter 9 Spectral theory for compact operators on Banach spaces Recall that a subset S of a metric space X is precompact if its closure is compact, or equivalently every sequence contains a Cauchy
More information08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms
(February 24, 2017) 08a. Operators on Hilbert spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2016-17/08a-ops
More informationarxiv:math/ v1 [math.fa] 26 Oct 1993
arxiv:math/9310218v1 [math.fa] 26 Oct 1993 STRUCTURE OF TOTAL SUBSPACES OF DUAL BANACH SPACES M.I.Ostrovskii I. Let X be a Banach space, X its dual. The unit ball and the unit sphere of X are denoted by
More informationOn z -ideals in C(X) F. A z a r p a n a h, O. A. S. K a r a m z a d e h and A. R e z a i A l i a b a d (Ahvaz)
F U N D A M E N T A MATHEMATICAE 160 (1999) On z -ideals in C(X) by F. A z a r p a n a h, O. A. S. K a r a m z a d e h and A. R e z a i A l i a b a d (Ahvaz) Abstract. An ideal I in a commutative ring
More informationThe projectivity of C -algebras and the topology of their spectra
The projectivity of C -algebras and the topology of their spectra Zinaida Lykova Newcastle University, UK Waterloo 2011 Typeset by FoilTEX 1 The Lifting Problem Let A be a Banach algebra and let A-mod
More informationRepresentations and Derivations of Modules
Irish Math. Soc. Bulletin 47 (2001), 27 39 27 Representations and Derivations of Modules JANKO BRAČIČ Abstract. In this article we define and study derivations between bimodules. In particular, we define
More informationTHE DUAL FORM OF THE APPROXIMATION PROPERTY FOR A BANACH SPACE AND A SUBSPACE. In memory of A. Pe lczyński
THE DUAL FORM OF THE APPROXIMATION PROPERTY FOR A BANACH SPACE AND A SUBSPACE T. FIGIEL AND W. B. JOHNSON Abstract. Given a Banach space X and a subspace Y, the pair (X, Y ) is said to have the approximation
More informationQUOTIENTS OF F-SPACES
QUOTIENTS OF F-SPACES by N. J. KALTON (Received 6 October, 1976) Let X be a non-locally convex F-space (complete metric linear space) whose dual X' separates the points of X. Then it is known that X possesses
More informationMethods of constructing topological vector spaces
CHAPTER 2 Methods of constructing topological vector spaces In this chapter we consider projective limits (in particular, products) of families of topological vector spaces, inductive limits (in particular,
More informationMath 249B. Nilpotence of connected solvable groups
Math 249B. Nilpotence of connected solvable groups 1. Motivation and examples In abstract group theory, the descending central series {C i (G)} of a group G is defined recursively by C 0 (G) = G and C
More informationAN ALGEBRAIC APPROACH TO GENERALIZED MEASURES OF INFORMATION
AN ALGEBRAIC APPROACH TO GENERALIZED MEASURES OF INFORMATION Daniel Halpern-Leistner 6/20/08 Abstract. I propose an algebraic framework in which to study measures of information. One immediate consequence
More informationOperators with numerical range in a closed halfplane
Operators with numerical range in a closed halfplane Wai-Shun Cheung 1 Department of Mathematics, University of Hong Kong, Hong Kong, P. R. China. wshun@graduate.hku.hk Chi-Kwong Li 2 Department of Mathematics,
More informationMATH 326: RINGS AND MODULES STEFAN GILLE
MATH 326: RINGS AND MODULES STEFAN GILLE 1 2 STEFAN GILLE 1. Rings We recall first the definition of a group. 1.1. Definition. Let G be a non empty set. The set G is called a group if there is a map called
More informationPart V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory
Part V 7 Introduction: What are measures and why measurable sets Lebesgue Integration Theory Definition 7. (Preliminary). A measure on a set is a function :2 [ ] such that. () = 2. If { } = is a finite
More informationMath 145. Codimension
Math 145. Codimension 1. Main result and some interesting examples In class we have seen that the dimension theory of an affine variety (irreducible!) is linked to the structure of the function field in
More informationCartan s Criteria. Math 649, Dan Barbasch. February 26
Cartan s Criteria Math 649, 2013 Dan Barbasch February 26 Cartan s Criteria REFERENCES: Humphreys, I.2 and I.3. Definition The Cartan-Killing form of a Lie algebra is the bilinear form B(x, y) := Tr(ad
More informationarxiv: v1 [math.ra] 10 Nov 2018
arxiv:1811.04243v1 [math.ra] 10 Nov 2018 BURNSIDE S THEOREM IN THE SETTING OF GENERAL FIELDS HEYDAR RADJAVI AND BAMDAD R. YAHAGHI Abstract. We extend a well-known theorem of Burnside in the setting of
More informationAvailable online at J. Math. Comput. Sci. 4 (2014), No. 3, ISSN: ORDERINGS AND PREORDERINGS ON MODULES
Available online at http://scik.org J. Math. Comput. Sci. 4 (2014), No. 3, 574-586 ISSN: 1927-5307 ORDERINGS AND PREORDERINGS ON MODULES DONGMING HUANG Department of Applied Mathematics, Hainan University,
More informationRINGS ISOMORPHIC TO THEIR NONTRIVIAL SUBRINGS
RINGS ISOMORPHIC TO THEIR NONTRIVIAL SUBRINGS JACOB LOJEWSKI AND GREG OMAN Abstract. Let G be a nontrivial group, and assume that G = H for every nontrivial subgroup H of G. It is a simple matter to prove
More informationA note on a construction of J. F. Feinstein
STUDIA MATHEMATICA 169 (1) (2005) A note on a construction of J. F. Feinstein by M. J. Heath (Nottingham) Abstract. In [6] J. F. Feinstein constructed a compact plane set X such that R(X), the uniform
More informationFURTHER STUDIES OF STRONGLY AMENABLE -REPRESENTATIONS OF LAU -ALGEBRAS
FURTHER STUDIES OF STRONGLY AMENABLE -REPRESENTATIONS OF LAU -ALGEBRAS FATEMEH AKHTARI and RASOUL NASR-ISFAHANI Communicated by Dan Timotin The new notion of strong amenability for a -representation of
More informationRENORMINGS OF L p (L q )
RENORMINGS OF L p (L q ) by arxiv:math/9804002v1 [math.fa] 1 Apr 1998 R. Deville, R. Gonzalo and J. A. Jaramillo (*) Laboratoire de Mathématiques, Université Bordeaux I, 351, cours de la Libération, 33400
More informationMATH 205B NOTES 2010 COMMUTATIVE ALGEBRA 53
MATH 205B NOTES 2010 COMMUTATIVE ALGEBRA 53 10. Completion The real numbers are the completion of the rational numbers with respect to the usual absolute value norm. This means that any Cauchy sequence
More informationLECTURES ON SYMPLECTIC REFLECTION ALGEBRAS
LECTURES ON SYMPLECTIC REFLECTION ALGEBRAS IVAN LOSEV 18. Category O for rational Cherednik algebra We begin to study the representation theory of Rational Chrednik algebras. Perhaps, the class of representations
More informationMAT 578 FUNCTIONAL ANALYSIS EXERCISES
MAT 578 FUNCTIONAL ANALYSIS EXERCISES JOHN QUIGG Exercise 1. Prove that if A is bounded in a topological vector space, then for every neighborhood V of 0 there exists c > 0 such that tv A for all t > c.
More informationExtended Index. 89f depth (of a prime ideal) 121f Artin-Rees Lemma. 107f descending chain condition 74f Artinian module
Extended Index cokernel 19f for Atiyah and MacDonald's Introduction to Commutative Algebra colon operator 8f Key: comaximal ideals 7f - listings ending in f give the page where the term is defined commutative
More information1 Absolute values and discrete valuations
18.785 Number theory I Lecture #1 Fall 2015 09/10/2015 1 Absolute values and discrete valuations 1.1 Introduction At its core, number theory is the study of the ring Z and its fraction field Q. Many questions
More informationINFINITE-DIMENSIONAL DIAGONALIZATION AND SEMISIMPLICITY
INFINITE-DIMENSIONAL DIAGONALIZATION AND SEMISIMPLICITY MIODRAG C. IOVANOV, ZACHARY MESYAN, AND MANUEL L. REYES Abstract. We characterize the diagonalizable subalgebras of End(V ), the full ring of linear
More informationGENERALIZED MORPHIC RINGS AND THEIR APPLICATIONS. Haiyan Zhu and Nanqing Ding Department of Mathematics, Nanjing University, Nanjing, China
Communications in Algebra, 35: 2820 2837, 2007 Copyright Taylor & Francis Group, LLC ISSN: 0092-7872 print/1532-4125 online DOI: 10.1080/00927870701354017 GENERALIZED MORPHIC RINGS AND THEIR APPLICATIONS
More informationAlgebraic Varieties. Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra
Algebraic Varieties Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra Algebraic varieties represent solutions of a system of polynomial
More informationPatryk Pagacz. Characterization of strong stability of power-bounded operators. Uniwersytet Jagielloński
Patryk Pagacz Uniwersytet Jagielloński Characterization of strong stability of power-bounded operators Praca semestralna nr 3 (semestr zimowy 2011/12) Opiekun pracy: Jaroslav Zemanek CHARACTERIZATION OF
More informationActa Mathematica Academiae Paedagogicae Nyíregyháziensis 24 (2008), ISSN
Acta Mathematica Academiae Paedagogicae Nyíregyháziensis 24 (2008), 313 321 www.emis.de/journals ISSN 1786-0091 DUAL BANACH ALGEBRAS AND CONNES-AMENABILITY FARUK UYGUL Abstract. In this survey, we first
More information(dim Z j dim Z j 1 ) 1 j i
Math 210B. Codimension 1. Main result and some interesting examples Let k be a field, and A a domain finitely generated k-algebra. In class we have seen that the dimension theory of A is linked to the
More informationNormed Vector Spaces and Double Duals
Normed Vector Spaces and Double Duals Mathematics 481/525 In this note we look at a number of infinite-dimensional R-vector spaces that arise in analysis, and we consider their dual and double dual spaces
More informationMath 676. A compactness theorem for the idele group. and by the product formula it lies in the kernel (A K )1 of the continuous idelic norm
Math 676. A compactness theorem for the idele group 1. Introduction Let K be a global field, so K is naturally a discrete subgroup of the idele group A K and by the product formula it lies in the kernel
More informationCombinatorics in Banach space theory Lecture 12
Combinatorics in Banach space theory Lecture The next lemma considerably strengthens the assertion of Lemma.6(b). Lemma.9. For every Banach space X and any n N, either all the numbers n b n (X), c n (X)
More informationJónsson posets and unary Jónsson algebras
Jónsson posets and unary Jónsson algebras Keith A. Kearnes and Greg Oman Abstract. We show that if P is an infinite poset whose proper order ideals have cardinality strictly less than P, and κ is a cardinal
More informationMATH 221 NOTES BRENT HO. Date: January 3, 2009.
MATH 22 NOTES BRENT HO Date: January 3, 2009. 0 Table of Contents. Localizations......................................................................... 2 2. Zariski Topology......................................................................
More informationDOUGLAS J. DAILEY AND THOMAS MARLEY
A CHANGE OF RINGS RESULT FOR MATLIS REFLEXIVITY DOUGLAS J. DAILEY AND THOMAS MARLEY Abstract. Let R be a commutative Noetherian ring and E the minimal injective cogenerator of the category of R-modules.
More informationSmith theory. Andrew Putman. Abstract
Smith theory Andrew Putman Abstract We discuss theorems of P. Smith and Floyd connecting the cohomology of a simplicial complex equipped with an action of a finite p-group to the cohomology of its fixed
More informationTopological K-theory, Lecture 3
Topological K-theory, Lecture 3 Matan Prasma March 2, 2015 1 Applications of the classification theorem continued Let us see how the classification theorem can further be used. Example 1. The bundle γ
More information7 Lecture 7: Rational domains, Tate rings and analytic points
7 Lecture 7: Rational domains, Tate rings and analytic points 7.1 Introduction The aim of this lecture is to topologize localizations of Huber rings, and prove some of their properties. We will discuss
More informationarxiv: v1 [math.ag] 14 Mar 2019
ASYMPTOTIC CONSTRUCTIONS AND INVARIANTS OF GRADED LINEAR SERIES ariv:1903.05967v1 [math.ag] 14 Mar 2019 CHIH-WEI CHANG AND SHIN-YAO JOW Abstract. Let be a complete variety of dimension n over an algebraically
More informationON HOCHSCHILD EXTENSIONS OF REDUCED AND CLEAN RINGS
Communications in Algebra, 36: 388 394, 2008 Copyright Taylor & Francis Group, LLC ISSN: 0092-7872 print/1532-4125 online DOI: 10.1080/00927870701715712 ON HOCHSCHILD EXTENSIONS OF REDUCED AND CLEAN RINGS
More informationMath 594. Solutions 5
Math 594. Solutions 5 Book problems 6.1: 7. Prove that subgroups and quotient groups of nilpotent groups are nilpotent (your proof should work for infinite groups). Give an example of a group G which possesses
More informationORDERED INVOLUTIVE OPERATOR SPACES
ORDERED INVOLUTIVE OPERATOR SPACES DAVID P. BLECHER, KAY KIRKPATRICK, MATTHEW NEAL, AND WEND WERNER Abstract. This is a companion to recent papers of the authors; here we consider the selfadjoint operator
More informationMath 530 Lecture Notes. Xi Chen
Math 530 Lecture Notes Xi Chen 632 Central Academic Building, University of Alberta, Edmonton, Alberta T6G 2G1, CANADA E-mail address: xichen@math.ualberta.ca 1991 Mathematics Subject Classification. Primary
More informationMath 210C. The representation ring
Math 210C. The representation ring 1. Introduction Let G be a nontrivial connected compact Lie group that is semisimple and simply connected (e.g., SU(n) for n 2, Sp(n) for n 1, or Spin(n) for n 3). Let
More information