Nilpotent Lie and Leibniz Algebras

Transcription

1 This article was downloaded by: [North Carolina State University] On: 03 March 2014, At: 08:05 Publisher: Taylor & Francis Informa Ltd Registered in England and Wales Registered Number: Registered office: Mortimer House, Mortimer Street, London W1T 3JH, UK Communications in Algebra Publication details, including instructions for authors and subscription information: Nilpotent Lie and Leibniz Algebras Chelsie Batten Ray a, Alexander Combs a, Nicole Gin a, Allison Hedges a, J. T. Hird b & Laurie Zack c a Department of Mathematics, North Carolina State University, Raleigh, North Carolina, USA b Department of Mathematics, West Virginia University, Institute of Technology, Montgomery, West Virginia, USA c Department of Mathematics and Computer Science, High Point University, High Point, North Carolina, USA Published online: 01 Feb To cite this article: Chelsie Batten Ray, Alexander Combs, Nicole Gin, Allison Hedges, J. T. Hird & Laurie Zack (2014) Nilpotent Lie and Leibniz Algebras, Communications in Algebra, 42:6, , DOI: / To link to this article: PLEASE SCROLL DOWN FOR ARTICLE Taylor & Francis makes every effort to ensure the accuracy of all the information (the Content ) contained in the publications on our platform. However, Taylor & Francis, our agents, and our licensors make no representations or warranties whatsoever as to the accuracy, completeness, or suitability for any purpose of the Content. Any opinions and views expressed in this publication are the opinions and views of the authors, and are not the views of or endorsed by Taylor & Francis. The accuracy of the Content should not be relied upon and should be independently verified with primary sources of information. Taylor and Francis shall not be liable for any losses, actions, claims, proceedings, demands, costs, expenses, damages, and other liabilities whatsoever or howsoever caused arising directly or indirectly in connection with, in relation to or arising out of the use of the Content. This article may be used for research, teaching, and private study purposes. Any substantial or systematic reproduction, redistribution, reselling, loan, sub-licensing, systematic supply, or distribution in any form to anyone is expressly forbidden. Terms & Conditions of access and use can be found at

2 Communications in Algebra, 42: , 2014 Copyright Taylor & Francis Group, LLC ISSN: print/ online DOI: / NILPOTENT LIE AND LEIBNIZ ALGEBRAS Chelsie Batten Ray 1, Alexander Combs 1, Nicole Gin 1, Allison Hedges 1, J. T. Hird 2, and Laurie Zack 3 1 Department of Mathematics, North Carolina State University, Raleigh, North Carolina, USA 2 Department of Mathematics, West Virginia University, Institute of Technology, Montgomery, West Virginia, USA 3 Department of Mathematics and Computer Science, High Point University, High Point, North Carolina, USA We extend results on finite dimensional nilpotent Lie algebras to Leibniz algebras and counterexamples to others are found. One generator algebras are used in these examples and are investigated further. 1. INTRODUCTION Results on nilpotent Lie algebras have been extended to Leibniz algebras by various authors. We focus on necessary and sufficient conditions for determining whether a Leibniz algebra A is nilpotent. Previous results on this topic include: Engel s Theorem ([2], [6], [8], [13]), the nilpotency of algebras which admit a prime period automorphism without nonzero fixed points, and the equivalence of (a) nilpotency, (b) the normalizer condition, (c) the right normalizer condition, (d) that all maximal subalgebras are ideals, and (e) that all maximal subalgebras are right ideals (which follows from material in [5]). In this work we show that a Leibniz algebra A is nilpotent exactly when it has a nilpotent ideal N such that A/N 2 is nilpotent, when A satisfies condition k (as defined in [11]), and when A is an S algebra (using a generalized version of the definition in [10]). We also show several nilpotency conditions which fail to extend from Lie to Leibniz algebras, using cyclic Leibniz algebras as counterexamples. We study these algebras in Section 4, characterizing maximal subalgebras, Frattini subalgebras, Cartan subalgebras and various ideals of these algebras in terms of annihilating polynomials for left multiplication by the generator. Finally, we consider Leibniz algebras whose center or right center is one dimensional and extend non-embedding results from Lie theory ([9], [14]). There are results in [1] for when the left center is one dimensional. In this work we consider only finite dimensional Leibniz algebras. Received July 16, 2012; Revised July 25, Communicated by K. Misra. Address correspondence to Chelsie Batten, Department of Mathematics, North Carolina State University, Raleigh, NC 27695, USA;

3 NILPOTENT LIE AND LEIBNIZ ALGEBRAS PRELIMINARIES Let A be the Frattini subalgebra of the Leibniz algebra A, which is the intersection of all maximal subalgebras of A. As in Lie theory, A is an ideal when the algebra is of characteristic 0 [7], but not generally, even if the algebra is solvable [7], which is counter to the case for solvable Lie algebras. We will consider left Leibniz algebras, following Barnes [5]. Hence a Leibniz algebra is an algebra that satisfies the identity x yz = xy z + y xz. We consider only finite dimensional algebras over a field. Let A be a Leibniz algebra. The center of A will be denoted by Z A and R A will be the right center, a A Aa= 0. We let A 2 = AA and define the lower central series by A j+1 = AA j. It is known that A j is the space of all linear combination of products of j elements no matter how associated. Thus it is often sufficient to consider only left-normed products of elements. A is nilpotent of class t if A t+1 = 0 but A t 0. When A has class t, then A t Z A. 3. EXTENDING LIE NILPOTENCY PROPERTIES In this section we extend several properties equivalent to nilpotency in Lie theory to Leibniz algebras. We show two properties that hold for Leibniz algebras as in the Lie algebra case, one property which fails to extend, and one which holds for Leibniz algebras when we generalize a definition from Lie theory. Theorem 3.1. Let A be a Leibniz algebra and N be a nilpotent ideal of A. Then A is nilpotent if and only if A/N 2 is nilpotent. The proof of this theorem is identical to the Lie algebra case, shown in [10], and we omit it here. The following corollary is a consequence of the proof of Theorem 3.1. Corollary 3.2. Let A be a Leibniz algebra and N be an ideal of A. Suppose that N is nilpotent of class c and A/N 2 is nilpotent of class d + 1. Then A is nilpotent of class at most ( ) c+1 2 d c 2. We say that a Leibniz algebra A satisfies condition k if the only subalgebra K of A with the property K + A 2 is K = A. Theorem 3.3. condition k. Let A be a Leibniz algebra. Then A is nilpotent if and only if A satisfies The proof of this result is the same as in the Lie algebra case [11], and follows from the result of [5] mentioned in the introduction. The following two examples are of concepts that when applied to Leibniz algebras are no longer equivalent to nilpotency. Let S be a subset of the Lie algebra A. The normal closure, S A,ofS is the smallest ideal of A that contains S. A Lie algebra, A, is nilpotent if and only if there is exactly one non-zero nilpotent subalgebra whose normal closure is A [11] (there is a requirement that the dimension of A is large compared to the cardinality of the field). This result fails for Leibniz algebras when the normal closure is defined as above.

4 2406 BATTEN RAY ET AL. Example 3.4. Let A be a Leibniz algebra with basis a a 2, and aa 2 = a 2. H = spn a a 2 is a nilpotent subalgebra and, since Ha is not contained in H, H A = A. H is unique with respect to this property. For any proper subalgebra is of the form J = spn a + a 2, and J is a subalgebra if and only if = 1. Therefore, although A is not nilpotent, the nilpotent subalgebra whose normal closure is A is unique. A Lie algebra is an S algebra if each non-abelian subalgebra H has dim H/H 2 2. A Lie algebra is an S algebra if and only if it is nilpotent [10]. This result does not extend directly to Leibniz algebras. Example 3.5. Let A be a Leibniz algebra with basis a a 2, and aa 2 = 0. Then A is nilpotent, however dim A/A 2 = 1. We can alter the definition of an S algebra to obtain a property equivalent to nilpotency which restricts to the original definition in the Lie algebra case. Define a Leibniz algebra to be an S algebra if every non-abelian subalgebra H has either dim H/H 2 2orH is nilpotent and generated by one element. Theorem 3.6. A Leibniz algebra is an S algebra if and only if it is nilpotent. Lemma 3.7. Let A be a non-abelian nilpotent Leibniz algebra. Then either dim A/A 2 2 or A is generated by one element. Proof. Since A is nilpotent, A 2 = A, the Frattini subalgebra of A. Clearly, dim A/A 2 0 since A is nilpotent. If dim A/A 2 = 1, then A is generated by one element. Otherwise, dim A/A 2 2. Lemma 3.8. If A is not nilpotent but all proper subalgebras of A are nilpotent, then dim A/A 2 1. Proof. Suppose that dim A/A 2 2. Then there exist distinct maximal subalgebras, M and N which contain A 2. Hence M and N are ideals and A = M + N is nilpotent, a contradiction. Proof of Theorem 3.6. If A is nilpotent, then every subalgebra is nilpotent, so A is an S algebra by Lemma 3.7. Conversely, suppose that there exists an S algebra that is not nilpotent. Let A be one of smallest dimension. All proper subalgebras of A are S algebras, hence are nilpotent. Thus dim A/A 2 1 by Lemma 3.8. Since A is an S algebra, it is generated by one element and is nilpotent, a contradiction. 4. CYCLIC LEIBNIZ ALGEBRA In the last section, we found that Leibniz algebras generated by one element provide counterexamples to the extension of several results from Lie to Leibniz algebras. It would seem to be of interest to find properties of these algebras. In this section, we study them in their own right. Let A be a cyclic Leibniz algebra generated by a, and let L a denote left multiplication on A by a. Let a a 2 a n be a basis for A and aa n = 1 a + +

5 NILPOTENT LIE AND LEIBNIZ ALGEBRAS 2407 n a n. The Leibniz identity on a, a 2, and a shows that 1 = 0. Thus A 2 has basis a 2 a n. Let T be the matrix for L a with respect to a a 2 a n. T is the companion matrix for p x = x n n x n 1 2 x = p 1 x n 1 ps x n s, where the p j are the distinct irreducible factors of p x. We will continue using this notation throughout this section. We will show the following theorem. Theorem 4.1. Let A be a cyclic Leibniz algebra generated by a, and notation as in the last paragraph. Then A = b A q L a b = 0 where q x = p 1 x n 1 1 p s x ns 1. Proof. Let A = W 1 W s be the associated primary decomposition of A with respect to L a. Then W j = b A p j L a n j b = 0. Here p x is also the minimal polynomial for L a on A, and therefore, each W j is of the form 0 U j 1 U j nj = W j, where U j i = b A p j L a i b = 0, each U j i+1 /U j i is irreducible under the induced action of L a, and dim U j i = ideg p j x. Since x is a factor of p x, we let p 1 x = x. For j 2, W j A 2 and for i n 1, U 1 i A 2. A 2 is abelian, and left multiplication by b A 2 has L b = 0onA. Hence W j W k = 0 for 1 j k s W j W 1 = 0 for 2 j W 1 W j W j for 1 j s U 1 n1 1 W j = 0 for 2 j Hence each U j i except U 1 n1 = W 1 is an ideal in A. W 1 is generally not a right ideal. Let M j = W 1 U j nj 1 W s. Since dim A/A 2 = 1, A 2 = U 1 n1 1 W 2 W s, and M 1 is a maximal subalgebra of A. We show that M j, j 2, is a maximal subalgebra of A. Since a = b + c, where b W 1 and c A 2, L a = L b.it follows that any subalgebra that contains W 1 is L a invariant. If M is a subalgebra of A that contains M j properly, then M U j nj contains U j nj 1 properly. Since U j nj /U j nj 1 is irreducible in A/U j nj 1, M U j nj = U j nj and M = A. Thus each M j is maximal in A and A M j. Let M be a maximal subalgebra of A. IfM = A 2, then M = b g L a b = 0 where g x = p x /x, som = M 1. Suppose that M A 2. Then A = M + A 2. Hence a = m + c, m M, and c A 2, and L a = L m. Hence M is invariant under L a. Thus the minimum polynomial g x for L a on M divides p x. If there is a polynomial h x properly between g x and p x, then the space H annihilated by h L a is properly between M and A, is invariant under left multiplications by a and by any element in A 2, hence by any element in A so it is a subalgebra. Since the minimum polynomial and characteristic polynomial for L a on A are equal, the same is true of invariant subspaces. Hence dim H = deg h x and H is properly between M and A, a contradiction. Hence M is the space annihilated by g x = p x /p j x for some j and M = M j. Therefore, A = s j=1 M j = b A q L a b = 0 where q x = p 1 x n 1 1 p s x ns 1. As a special case, we obtain Corollary 3 of [12]. Corollary 4.2. A = 0 if and only if p x is the product of distinct prime factors.

6 2408 BATTEN RAY ET AL. Corollary 4.3. The maximal subalgebras of A are precisely the null spaces of r j L a, where r j x = p x /p j x for j = 1 s. Now let A 0 and A 1 be the Fitting null and one components of L a acting on A. Since L a is a derivation of A, A 0 is a subalgebra of A. L a acts nilpotently on A 0 and L b = 0 when b A 2. Therefore, for each c A, L c is nilpotent on A 0, and A 0 is nilpotent by Engel s theorem. Let a = b + c, where b A 0 and c A 1. Then L a = L b since A 1 A 2 yields that L c = 0. Then ba 1 = aa 1 = A 1. For any nonzero x A 1, bx is nonzero in A 1, and x is not in the normalizer of A 0. Hence A 1 N A A 0 = 0 and A 0 = N A A 0. Hence A 0 is a Cartan subalgebra of A. Conversely, let C be a Cartan subalgebra of A and c C. Then c = d + e, d A 0, and e A 1. Since A 1 A 2, A 1 A 1 = A 1 A 0 = 0, A 0 A 1 = A 1, and A 0 A 0 A 0. Therefore, A 1 is an abelian subalgebra of A. Now 0 = L n c c = Ln d c = Ln d d + e = L n d e = Ln c e, where we used that ea = 0 and d A 0 which is nilpotent. Since L c is non-singular on A 1, e = 0 and c = d. Hence C A 0. Since C is a Cartan subalgebra and A 0 is nilpotent, C = A 0, and A 0 is the unique Cartan subalgebra of A. Theorem 4.4. A has a unique Cartan subalgebra. It is the Fitting null component of L a acting on A. Using these same ideas, the following corollary can be shown. Corollary 4.5. The minimal ideals of A are precisely I j = b A p j L a b = 0 for j>1 and, if n 1 > 1, I 1 = b A p 1 L a b = 0 Corollary 4.6. Asoc A = b A u L a b = 0, where u x = p 2 x p s x if n 1 = 1 and u x = p 1 x p s x otherwise. Corollary 4.7. The unique maximal ideal of A is M 1 = b A t L a b = 0, where t x = p x /p 1 x. 5. NON-EMBEDDING Non-abelian Lie algebras with one dimensional centers cannot be embedded as certain ideals in the derived algebra of any nilpotent Lie algebra [9], [14]. In this section, we extend these results to Leibniz algebras. Let A be a Leibniz algebra. Define the upper central series as usual; that is, let Z 1 A = z A za= Az = 0 and inductively, Z j+1 A = z A Azand za Z j A. IfA is an ideal in a Leibniz algebra N, then the terms in the upper central series of A are ideals in N. Suppose that A is nilpotent of dimension greater than one and dim Z 1 A is 1. We will show that A cannot be any N i i 2, for any nilpotent Leibniz algebra N. This is an extension of the Lie algebra result in [9]. Suppose to the contrary that A = N i, where N is nilpotent of class t, and let z be a basis for Z 1 A. For n N, nz = nz z and zn = zn z. If one of these coefficients is not 0, then N is not nilpotent. Hence, Z 1 A Z 1 N. Since N t is an ideal in A, N t Z 1 A. Then, since dim Z 1 A = 1 N t = Z 1 A. Our initial assumptions guarantee that N t 1 A. Hence there exists a y N t 1 A, y Z 1 A, such that yu = yu z and uy = uy z for all u N. Let w also be in N. Then y uw = yu w + u yw = yu zw +

24 ALGEBRAIC GROUPS 2.4. Orbits of algebraic groups. The reason that algebraic groups are so important is that they act on algebraic varieties!! Let G be an algebraic group and X be a variety (not necessarily

CHARACTERISATIONS OF GENETIC ALGEBRAS P. HOLGATE 1. Introduction This paper is concerned with the non-associative algebras which arise in theoretical population genetics, an introductory account of which

Chapter 2 Finite-Dimensional Vector Spaces In the last chapter we learned about vector spaces. Linear algebra focuses not on arbitrary vector spaces, but on finite-dimensional vector spaces, which we introduce

I GROUPS: BASIC DEFINITIONS AND EXAMPLES Definition 1: An operation on a set G is a function : G G G Definition 2: A group is a set G which is equipped with an operation and a special element e G, called

some algebra prelim solutions David Morawski August 19, 2012 Problem (Spring 2008, #5). Show that f(x) = x p x + a is irreducible over F p whenever a F p is not zero. Proof. First, note that f(x) has no

IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL R. DRNOVŠEK, T. KOŠIR Dedicated to Prof. Heydar Radjavi on the occasion of his seventieth birthday. Abstract. Let S be an irreducible

EXTENSION FIELDS Part I (Supplement to Section 3.8) 1 Creating Finite Fields We know a few in nite elds: Q; R and C: We also know in nitely many nite elds: Z p where p is a prime number. We want to determine

J.A.Beachy 1 0.3 Abelian groups The goal of this section is to look at several properties of abelian groups and see how they relate to general properties of modules. I ll usually repeat the definitions

Math 113, Summer 2015 Prof. Haiman Review guide and exercises 1. Outline of topics Questions on the final exam will cover some subset of the topics listed below. Approximately one half of the exam will

: An Introduction University of Puget Sound Math 434 April 28, 2010 c 2010 by. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Document License, Version

Vector Spaces and Linear Transformations Beifang Chen Fall 6 Vector spaces A vector space is a nonempty set V whose objects are called vectors equipped with two operations called addition and scalar multiplication:

THE EXISTENCE AND UNIQUENESS OF A SIMPLE GROUP OF ORDER 168 TIMOTHY L. VIS Abstract. The study of simple groups has been, and continues to be, the most significant area of work in group theory. In this

Chapter 3 Dedekind Domains 3.1 The Definition and Some Basic Properties We identify the natural class of integral domains in which unique factorization of ideals is possible. 3.1.1 Definition A Dedekind

BASIC THEORY OF ALGEBRAIC GEOMETRY SAMUEL BLOOM Abstract. In this paper, we discuss the basic theory of algebraic geometry, and in doing so begin to develop an intimate relationship between algebraic and

HOW RARE ARE SUBGROUPS OF INDEX 2? JEAN B. NGANOU Abstract. Using elementary combinatorics and linear algebra, we compute the number of subgroups of index 2 in any finite group. This leads to necessary

1 Rings and Ideals 1.1. Let x be a nilpotent element of a ring A and u be a unit of A. Then u + x is a unit. Proof. Since x is nilpotent, it is in every prime ideal, so that x + u cannot be in any prime

BOOLEAN ALGEBRAS AND BOOLEAN RINGS AMBRUS PÁL Definition 0.1. A ring R is Boolean if x 2 = x for every x R. Clearly the direct product of Boolean rings is Boolean, and the field with two elements F 2 is

Notes on Canonical Forms John Beachy, Spring 2007 Throughout these notes V will denote a finite dimensional vector space over a field F and T : V V will be a linear transformation. Our goal is to choose

The Jacobson radical April 1, 2015 At this point we have a good understanding of semisimple rings, in that we know they are all products of matrix rings over division algebras. Of course, the details of

Minimum Polynomials of Linear Transformations Spencer De Chenne 20 April 2014 1 Introduction and Preliminaries Throughout algebra, we occupy ourselves by studying the structure of various objects, even

REPRESENTATIONS OF sl (C) JAY TAYLOR Basic Definitions and Introduction Definition. A Lie algebra g is a vector space over a field k with an associated bilinear map [, ] : g g g, such that the following

THE AXIOM OF CHOICE, ZORN S LEMMA, AND THE WELL ORDERING PRINCIPLE The Axiom of Choice is a foundational statement of set theory: Given any collection {S i : i I} of nonempty sets, there exists a choice

ALGEBRA HANDOUT 2: IDEALS AND QUOTIENTS PETE L. CLARK 1. Ideals in Commutative Rings In this section all groups and rings will be commutative. 1.1. Basic definitions and examples. Let R be a (commutative!)

701 7. Polynomials and Linear Algebra In this section we apply nonstandard analysis to the study of roots of polynomials and to the structure of linear operators on finite dimensional vector spaces. Roots

Math 122, Solution Set No. 2 As a general note, all elements of S n will be written in disjoint cycle notation unless otherwise specified. Also, as a notational convention, H G means H is a subgroup of

LINEAR ALGEBRA QUESTIONS FROM THE ADMISSION TO CANDIDACY EXAM The following is a more or less complete list of the linear algebra questions that have appeared on the admission to candidacy exam for the

THE STATUS OF THE PROBLEMS FROM THE BOOK K. A. KEARNES 1. Introduction In this article we report on the status of the open problems in The Structure of Finite Algebras, by David Hobby and Ralph McKenzie,

MINIMAL GENERATING SETS OF GROUPS, RINGS, AND FIELDS LORENZ HALBEISEN, MARTIN HAMILTON, AND PAVEL RŮŽIČKA Abstract. A subset X of a group (or a ring, or a field) is called generating, if the smallest subgroup

CHAPTER 2 American mathematician Paul Halmos (1916 2006), who in 1942 published the first modern linear algebra book. The title of Halmos s book was the same as the title of this chapter. Finite-Dimensional

VECTOR SPACES AS UNIONS OF PROPER SUBSPACES APOORVA KHARE Abstract. In this note, we find a sharp bound for the minimal number (or in general, indexing set) of subspaces of a fixed (finite) codimension

Math 322 Definitions and Theorems Theorem 1.1 (Cancellation Law for Vector Addition). If x,y, and z are vectors in a vector space V such that x+z = y+z, then x = y. Corollary 1. The zero vector in a vector

Minimal spanning and maximal independent sets, Basis and Dimension February 23, 2010 Let S be a set of real n-vectors. In particular, S can be a linear space, or its subspace. Yet, S can also be just a

On The Orders of Primitive Groups Attila Maróti School of Mathematics and Statistics, University of Birmingham Birmingham B15 2TT, England 21th of February 2002 Abstract Almost all primitive permutation

proceedings of the american mathematical society Volume 109, Number 3, July 1990 MULTIPLIER GROUPS OF PLANAR DIFFERENCE SETS AND A THEOREM OF KANTOR CHAT YIN HO AND ALEXANDER POTT (Communicated by Warren

Finite Fields Basic Definitions A group is a set G with a binary operation (i.e., a function from G G into G) such that: 1) The operation is associative, a (b c) = (a b) c a,b,c G. 2) There exists an identity

21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UF. Therefore

4 Exterior algebra 4.1 Lines and 2-vectors The time has come now to develop some new linear algebra in order to handle the space of lines in a projective space P (V ). In the projective plane we have seen

Math 594. Solutions 4 Book problems 4.5: 6. Exhibit all Sylow 3-subgroups of S 4 and A 4. Solution: Any Sylow 3-subgroup of S 4 or A 4 has size 3 and is therefore generated by an element of order 3. Hence,

DIVISORS ON NONSINGULAR CURVES BRIAN OSSERMAN We now begin a closer study of the behavior of projective nonsingular curves, and morphisms between them, as well as to projective space. To this end, we introduce

Section 6.1 - Inner Products and Norms Definition. Let V be a vector space over F {R, C}. An inner product on V is a function that assigns, to every ordered pair of vectors x and y in V, a scalar in F,

Finite Fields Basic Definitions A group is a set G with a binary operation (i.e., a function from G G into G) such that: 1) The operation is associative, a (b c) = (a b) c a,b,c G. 2) There exists an identity

Chapter 5 Vector Spaces and Subspaces 5. The Column Space of a Matrix To a newcomer, matrix calculations involve a lot of numbers. To you, they involve vectors. The columns of Av and AB are linear combinations

Matrix Multiplication Chapter II- Matrix Analysis By Gokturk Poyrazoglu The State University of New York at Buffalo BEST Group Winter Lecture Series Outline 1. Basic Linear Algebra 2. Vector Norms 3. Matrix

RANK AND NULLITY. The row and column spaces Let A be an m n matrix. Then A has n columns, each of which is a vector in R m. The linear span of the columns is a subspace of R n. It s called the column space

Chapter 2 Rank, Inner Product and Nonsingularity 2.1 Rank Let A be an m n matrix. The subspace of R m spanned by the column vectors of A is called the column space or the column span of A and is denoted

Further linear algebra. Chapter III. Revision of linear algebra. Andrei Yafaev As in the previous chapter, we consider a field k. Typically, k = Q, R, C, F p. A vector space over a field k (one also says