Tabak, John
2004-01-01
Looking closely at algebra, its historical development, and its many useful applications, Algebra examines in detail the question of why this type of math is so important that it arose in different cultures at different times. The book also discusses the relationship between algebra and geometry, shows the progress of thought throughout the centuries, and offers biographical data on the key figures. Concise and comprehensive text accompanied by many illustrations presents the ideas and historical development of algebra, showcasing the relevance and evolution of this branch of mathematics.
Institute of Scientific and Technical Information of China (English)
无
2004-01-01
Through most of Greek history, mathematicians concentrated on geometry, although Euclid considered the theory of numbers. The Greek mathematician Diophantus (3rd century),however, presented problems that had to be solved by what we would today call algebra. His book is thus the first algebra text.
Flanders, Harley
1975-01-01
Algebra presents the essentials of algebra with some applications. The emphasis is on practical skills, problem solving, and computational techniques. Topics covered range from equations and inequalities to functions and graphs, polynomial and rational functions, and exponentials and logarithms. Trigonometric functions and complex numbers are also considered, together with exponentials and logarithms.Comprised of eight chapters, this book begins with a discussion on the fundamentals of algebra, each topic explained, illustrated, and accompanied by an ample set of exercises. The proper use of a
Shafarevich, I
1994-01-01
This book, the first printing of which was published as volume 38 of the Encyclopaedia of Mathematical Sciences, presents a modern approach to homological algebra, based on the systematic use of the terminology and ideas of derived categories and derived functors. The book contains applications of homological algebra to the theory of sheaves on topological spaces, to Hodge theory, and to the theory of modules over rings of algebraic differential operators (algebraic D-modules). The authors Gelfand and Manin explain all the main ideas of the theory of derived categories. Both authors are well-known researchers and the second, Manin, is famous for his work in algebraic geometry and mathematical physics. The book is an excellent reference for graduate students and researchers in mathematics and also for physicists who use methods from algebraic geometry and algebraic topology.
Left Artinian Algebraic Algebras
Institute of Scientific and Technical Information of China (English)
S. Akbari; M. Arian-Nejad
2001-01-01
Let R be a left artinian central F-algebra, T(R) = J(R) + [R, R],and U(R) the group of units of R. As one of our results, we show that, if R is algebraic and char F = 0, then the number of simple components of -R = R/J(R)is greater than or equal to dimF R/T(R). We show that, when char F = 0 or F is uncountable, R is algebraic over F if and only if [R, R] is algebraic over F. As another approach, we prove that R is algebraic over F if and only if the derived subgroup of U(R) is algebraic over F. Also, we present an elementary proof for a special case of an old question due to Jacobson.
Lefschetz, Solomon
2012-01-01
An introduction to algebraic geometry and a bridge between its analytical-topological and algebraical aspects, this text for advanced undergraduate students is particularly relevant to those more familiar with analysis than algebra. 1953 edition.
Villarreal, Rafael
2015-01-01
The book stresses the interplay between several areas of pure and applied mathematics, emphasizing the central role of monomial algebras. It unifies the classical results of commutative algebra with central results and notions from graph theory, combinatorics, linear algebra, integer programming, and combinatorial optimization. The book introduces various methods to study monomial algebras and their presentation ideals, including Stanley-Reisner rings, subrings and blowup algebra-emphasizing square free quadratics, hypergraph clutters, and effective computational methods.
Pavelle, Richard; And Others
1981-01-01
Describes the nature and use of computer algebra and its applications to various physical sciences. Includes diagrams illustrating, among others, a computer algebra system and flow chart of operation of the Euclidean algorithm. (SK)
Izhakian, Zur; Rowen, Louis
2008-01-01
We develop the algebraic polynomial theory for "supertropical algebra," as initiated earlier over the real numbers by the first author. The main innovation there was the introduction of "ghost elements," which also play the key role in our structure theory. Here, we work somewhat more generally over an ordered monoid, and develop a theory which contains the analogs of several basic theorems of classical commutative algebra. This structure enables one to develop a Zariski-type algebraic geomet...
Energy Technology Data Exchange (ETDEWEB)
Odesskii, A V [L.D. Landau Institute for Theoretical Physics, Russian Academy of Sciences, Moscow (Russian Federation)
2002-12-31
This survey is devoted to associative Z{sub {>=}}{sub 0}-graded algebras presented by n generators and n(n-1)/2 quadratic relations and satisfying the so-called Poincare-Birkhoff-Witt condition (PBW-algebras). Examples are considered of such algebras, depending on two continuous parameters (namely, on an elliptic curve and a point on it), that are flat deformations of the polynomial ring in n variables. Diverse properties of these algebras are described, together with their relations to integrable systems, deformation quantization, moduli spaces, and other directions of modern investigations.
Linear Algebra and Smarandache Linear Algebra
Vasantha, Kandasamy
2003-01-01
The present book, on Smarandache linear algebra, not only studies the Smarandache analogues of linear algebra and its applications, it also aims to bridge the need for new research topics pertaining to linear algebra, purely in the algebraic sense. We have introduced Smarandache semilinear algebra, Smarandache bilinear algebra and Smarandache anti-linear algebra and their fuzzy equivalents. Moreover, in this book, we have brought out the study of linear algebra and ve...
Algebra-Geometry of Piecewise Algebraic Varieties
Institute of Scientific and Technical Information of China (English)
Chun Gang ZHU; Ren Hong WANG
2012-01-01
Algebraic variety is the most important subject in classical algebraic geometry.As the zero set of multivariate splines,the piecewise algebraic variety is a kind generalization of the classical algebraic variety.This paper studies the correspondence between spline ideals and piecewise algebraic varieties based on the knowledge of algebraic geometry and multivariate splines.
The algebraic structure of the Onsager algebra
DATE, ETSURO; Roan, Shi-shyr
2000-01-01
We study the Lie algebra structure of the Onsager algebra from the ideal theoretic point of view. A structure theorem of ideals in the Onsager algebra is obtained with the connection to the finite-dimensional representations. We also discuss the solvable algebra aspect of the Onsager algebra through the formal Lie algebra theory.
Chisolm, Eric
2012-01-01
This is an introduction to geometric algebra, an alternative to traditional vector algebra that expands on it in two ways: 1. In addition to scalars and vectors, it defines new objects representing subspaces of any dimension. 2. It defines a product that's strongly motivated by geometry and can be taken between any two objects. For example, the product of two vectors taken in a certain way represents their common plane. This system was invented by William Clifford and is more commonly known as Clifford algebra. It's actually older than the vector algebra that we use today (due to Gibbs) and includes it as a subset. Over the years, various parts of Clifford algebra have been reinvented independently by many people who found they needed it, often not realizing that all those parts belonged in one system. This suggests that Clifford had the right idea, and that geometric algebra, not the reduced version we use today, deserves to be the standard "vector algebra." My goal in these notes is to describe geometric al...
Issa, A. Nourou
2010-01-01
Hom-Akivis algebras are introduced. The commutator-Hom-associator algebra of a non-Hom-associative algebra (i.e. a Hom-nonassociative algebra) is a Hom-Akivis algebra. It is shown that non-Hom-associative algebras can be obtained from nonassociative algebras by twisting along algebra automorphisms while Hom-Akivis algebras can be obtained from Akivis algebras by twisting along algebra endomorphisms. It is pointed out that a Hom-Akivis algebra associated to a Hom-alternative algebra is a Hom-M...
Garrett, Paul B
2007-01-01
Designed for an advanced undergraduate- or graduate-level course, Abstract Algebra provides an example-oriented, less heavily symbolic approach to abstract algebra. The text emphasizes specifics such as basic number theory, polynomials, finite fields, as well as linear and multilinear algebra. This classroom-tested, how-to manual takes a more narrative approach than the stiff formalism of many other textbooks, presenting coherent storylines to convey crucial ideas in a student-friendly, accessible manner. An unusual feature of the text is the systematic characterization of objects by universal
Kolman, Bernard
1985-01-01
College Algebra, Second Edition is a comprehensive presentation of the fundamental concepts and techniques of algebra. The book incorporates some improvements from the previous edition to provide a better learning experience. It provides sufficient materials for use in the study of college algebra. It contains chapters that are devoted to various mathematical concepts, such as the real number system, the theory of polynomial equations, exponential and logarithmic functions, and the geometric definition of each conic section. Progress checks, warnings, and features are inserted. Every chapter c
Holtz, Olga; Ron, Amos
2007-01-01
A wealth of geometric and combinatorial properties of a given linear endomorphism $X$ of $\\R^N$ is captured in the study of its associated zonotope $Z(X)$, and, by duality, its associated hyperplane arrangement ${\\cal H}(X)$. This well-known line of study is particularly interesting in case $n\\eqbd\\rank X \\ll N$. We enhance this study to an algebraic level, and associate $X$ with three algebraic structures, referred herein as {\\it external, central, and internal.} Each algebraic structure is ...
McKeague, Charles P
1986-01-01
Elementary Algebra, Third Edition focuses on the basic principles, operations, and approaches involved in elementary algebra. The book first ponders on the basics, linear equations and inequalities, and graphing and linear systems. Discussions focus on the elimination method, solving linear systems by graphing, word problems, addition property of equality, solving linear equations, linear inequalities, addition and subtraction of real numbers, and properties of real numbers. The text then takes a look at exponents and polynomials, factoring, and rational expressions. Topics include reducing ra
McKeague, Charles P
1981-01-01
Elementary Algebra 2e, Second Edition focuses on the basic principles, operations, and approaches involved in elementary algebra. The book first tackles the basics, linear equations and inequalities, and graphing and linear systems. Discussions focus on the substitution method, solving linear systems by graphing, solutions to linear equations in two variables, multiplication property of equality, word problems, addition property of equality, and subtraction, addition, multiplication, and division of real numbers. The manuscript then examines exponents and polynomials, factoring, and rational e
Which multiplier algebras are $W^*$-algebras?
Akemann, Charles A.; Amini, Massoud; Asadi, Mohammad B.
2013-01-01
We consider the question of when the multiplier algebra $M(\\mathcal{A})$ of a $C^*$-algebra $\\mathcal{A}$ is a $ W^*$-algebra, and show that it holds for a stable $C^*$-algebra exactly when it is a $C^*$-algebra of compact operators. This implies that if for every Hilbert $C^*$-module $E$ over a $C^*$-algebra $\\mathcal{A}$, the algebra $B(E)$ of adjointable operators on $E$ is a $ W^*$-algebra, then $\\mathcal{A}$ is a $C^*$-algebra of compact operators. Also we show that a unital $C^*$-algebr...
Institute of Scientific and Technical Information of China (English)
WANG Renhong; ZHU Chungang
2004-01-01
The piecewise algebraic variety is a generalization of the classical algebraic variety. This paper discusses some properties of piecewise algebraic varieties and their coordinate rings based on the knowledge of algebraic geometry.
Hazewinkel, Michiel
2004-01-01
Two important generalizations of the Hopf algebra of symmetric functions are the Hopf algebra of noncommutative symmetric functions and its graded dual the Hopf algebra of quasisymmetric functions. A common generalization of the latter is the selfdual Hopf algebra of permutations (MPR Hopf algebra). This latter Hopf algebra can be seen as a Hopf algebra of endomorphisms of a Hopf algebra. That turns out to be a fruitful way of looking at things and gives rise to wide ranging further generaliz...
Liesen, Jörg
2015-01-01
This self-contained textbook takes a matrix-oriented approach to linear algebra and presents a complete theory, including all details and proofs, culminating in the Jordan canonical form and its proof. Throughout the development, the applicability of the results is highlighted. Additionally, the book presents special topics from applied linear algebra including matrix functions, the singular value decomposition, the Kronecker product and linear matrix equations. The matrix-oriented approach to linear algebra leads to a better intuition and a deeper understanding of the abstract concepts, and therefore simplifies their use in real world applications. Some of these applications are presented in detailed examples. In several ‘MATLAB-Minutes’ students can comprehend the concepts and results using computational experiments. Necessary basics for the use of MATLAB are presented in a short introduction. Students can also actively work with the material and practice their mathematical skills in more than 300 exerc...
Edwards, Harold M
1995-01-01
In his new undergraduate textbook, Harold M Edwards proposes a radically new and thoroughly algorithmic approach to linear algebra Originally inspired by the constructive philosophy of mathematics championed in the 19th century by Leopold Kronecker, the approach is well suited to students in the computer-dominated late 20th century Each proof is an algorithm described in English that can be translated into the computer language the class is using and put to work solving problems and generating new examples, making the study of linear algebra a truly interactive experience Designed for a one-semester course, this text adopts an algorithmic approach to linear algebra giving the student many examples to work through and copious exercises to test their skills and extend their knowledge of the subject Students at all levels will find much interactive instruction in this text while teachers will find stimulating examples and methods of approach to the subject
GOLDMAN ALGEBRA, OPERS AND THE SWAPPING ALGEBRA
Labourie, François
2012-01-01
We define a Poisson Algebra called the {\\em swapping algebra} using the intersection of curves in the disk. We interpret a subalgebra of the fraction algebra of the swapping algebra -- called the {\\em algebra of multifractions} -- as an algebra of functions on the space of cross ratios and thus as an algebra of functions on the Hitchin component as well as on the space of $\\mathsf{SL}_n(\\mathbb R)$-opers with trivial holonomy. We relate this Poisson algebra to the Atiyah--Bott--Goldman symple...
Directory of Open Access Journals (Sweden)
G.C. Rao
2012-11-01
Full Text Available A C- algebra is the algebraic form of the 3-valued conditional logic, which was introduced by F. Guzman and C. C. Squier in 1990. In this paper, some equivalent conditions for a C- algebra to become a boolean algebra in terms of congruences are given. It is proved that the set of all central elements B(A is isomorphic to the Boolean algebra of all C-algebras Sa, where a B(A. It is also proved that B(A is isomorphic to the Boolean algebra of all C-algebras Aa, where a B(A.
Stoll, R R
1968-01-01
Linear Algebra is intended to be used as a text for a one-semester course in linear algebra at the undergraduate level. The treatment of the subject will be both useful to students of mathematics and those interested primarily in applications of the theory. The major prerequisite for mastering the material is the readiness of the student to reason abstractly. Specifically, this calls for an understanding of the fact that axioms are assumptions and that theorems are logical consequences of one or more axioms. Familiarity with calculus and linear differential equations is required for understand
Allenby, Reg
1995-01-01
As the basis of equations (and therefore problem-solving), linear algebra is the most widely taught sub-division of pure mathematics. Dr Allenby has used his experience of teaching linear algebra to write a lively book on the subject that includes historical information about the founders of the subject as well as giving a basic introduction to the mathematics undergraduate. The whole text has been written in a connected way with ideas introduced as they occur naturally. As with the other books in the series, there are many worked examples.Solutions to the exercises are available onlin
Deskins, W E
1996-01-01
This excellent textbook provides undergraduates with an accessible introduction to the basic concepts of abstract algebra and to the analysis of abstract algebraic systems. These systems, which consist of sets of elements, operations, and relations among the elements, and prescriptive axioms, are abstractions and generalizations of various models which evolved from efforts to explain or discuss physical phenomena.In Chapter 1, the author discusses the essential ingredients of a mathematical system, and in the next four chapters covers the basic number systems, decompositions of integers, diop
Jacobson, Nathan
2009-01-01
A classic text and standard reference for a generation, this volume and its companion are the work of an expert algebraist who taught at Yale for two decades. Nathan Jacobson's books possess a conceptual and theoretical orientation, and in addition to their value as classroom texts, they serve as valuable references.Volume I explores all of the topics typically covered in undergraduate courses, including the rudiments of set theory, group theory, rings, modules, Galois theory, polynomials, linear algebra, and associative algebra. Its comprehensive treatment extends to such rigorous topics as L
Indian Academy of Sciences (India)
Tomás L Gómez
2001-02-01
This is an expository article on the theory of algebraic stacks. After introducing the general theory, we concentrate in the example of the moduli stack of vector bundles, giving a detailed comparison with the moduli scheme obtained via geometric invariant theory.
Oliver, Bob; Pawałowski, Krzystof
1991-01-01
As part of the scientific activity in connection with the 70th birthday of the Adam Mickiewicz University in Poznan, an international conference on algebraic topology was held. In the resulting proceedings volume, the emphasis is on substantial survey papers, some presented at the conference, some written subsequently.
Clifford algebra, geometric algebra, and applications
Lundholm, Douglas
2009-01-01
These are lecture notes for a course on the theory of Clifford algebras, with special emphasis on their wide range of applications in mathematics and physics. Clifford algebra is introduced both through a conventional tensor algebra construction (then called geometric algebra) with geometric applications in mind, as well as in an algebraically more general form which is well suited for combinatorics, and for defining and understanding the numerous products and operations of the algebra. The various applications presented include vector space and projective geometry, orthogonal maps and spinors, normed division algebras, as well as simplicial complexes and graph theory.
Central simple Poisson algebras
Institute of Scientific and Technical Information of China (English)
SU; Yucai; XU; Xiaoping
2004-01-01
Poisson algebras are fundamental algebraic structures in physics and symplectic geometry. However, the structure theory of Poisson algebras has not been well developed. In this paper, we determine the structure of the central simple Poisson algebras related to locally finite derivations, over an algebraically closed field of characteristic zero.The Lie algebra structures of these Poisson algebras are in general not finitely-graded.
El-Chaar, Caroline
2012-01-01
In this thesis, four realizations of the Onsager algebra are explored. We begin with its original definition as introduced by Lars Onsager. We then examine how the Onsager algebra can be presented as a Lie algebra with two generators and two relations. The third realization of the Onsager algebra consists of viewing it as an equivariant map algebra which then gives us the tools to classify its closed ideals. Finally, we examine the Onsager algebra as a subalgebra of the tetrahedron algebra. U...
Chirvasitu, Alex; Smith, S. Paul
2015-01-01
This paper examines a general method for producing twists of a comodule algebra by tensoring it with a torsor then taking co-invariants. We examine the properties that pass from the original algebra to the twisted algebra and vice versa. We then examine the special case where the algebra is a 4-dimensional Sklyanin algebra viewed as a comodule algebra over the Hopf algebra of functions on the non-cyclic group of order 4 with the torsor being the 2x2 matrix algebra. The twisted algebra is an "...
Nonmonotonic logics and algebras
Institute of Scientific and Technical Information of China (English)
CHAKRABORTY Mihir Kr; GHOSH Sujata
2008-01-01
Several nonmonotonie logic systems together with their algebraic semantics are discussed. NM-algebra is defined.An elegant construction of an NM-algebra starting from a Boolean algebra is described which gives rise to a few interesting algebraic issues.
Kleyn, Aleks
2007-01-01
The concept of F-algebra and its representation can be extended to an arbitrary bundle. We define operations of fibered F-algebra in fiber. The paper presents the representation theory of of fibered F-algebra as well as a comparison of representation of F-algebra and of representation of fibered F-algebra.
Mahé, Louis; Roy, Marie-Françoise
1992-01-01
Ten years after the first Rennes international meeting on real algebraic geometry, the second one looked at the developments in the subject during the intervening decade - see the 6 survey papers listed below. Further contributions from the participants on recent research covered real algebra and geometry, topology of real algebraic varieties and 16thHilbert problem, classical algebraic geometry, techniques in real algebraic geometry, algorithms in real algebraic geometry, semialgebraic geometry, real analytic geometry. CONTENTS: Survey papers: M. Knebusch: Semialgebraic topology in the last ten years.- R. Parimala: Algebraic and topological invariants of real algebraic varieties.- Polotovskii, G.M.: On the classification of decomposing plane algebraic curves.- Scheiderer, C.: Real algebra and its applications to geometry in the last ten years: some major developments and results.- Shustin, E.L.: Topology of real plane algebraic curves.- Silhol, R.: Moduli problems in real algebraic geometry. Further contribu...
Solvable quadratic Lie algebras
Institute of Scientific and Technical Information of China (English)
无
2006-01-01
A Lie algebra endowed with a nondegenerate, symmetric, invariant bilinear form is called a quadratic Lie algebra. In this paper, the author investigates the structure of solvable quadratic Lie algebras, in particular, the solvable quadratic Lie algebras whose Cartan subalgebras consist of semi-simple elements, the author presents a procedure to construct a class of quadratic Lie algebras from the point of view of cohomology and shows that all solvable quadratic Lie algebras can be obtained in this way.
Grabowski, Jan
2015-01-01
In the cluster algebra literature, the notion of a graded cluster algebra has been implicit since the origin of the subject. In this work, we wish to bring this aspect of cluster algebra theory to the foreground and promote its study. We transfer a definition of Gekhtman, Shapiro and Vainshtein to the algebraic setting, yielding the notion of a multi-graded cluster algebra. We then study gradings for finite type cluster algebras without coefficients, giving a full classification. Translating ...
Institute of Scientific and Technical Information of China (English)
无
2007-01-01
It is a small step toward the Koszul-type algebras. The piecewise-Koszul algebras are,in general, a new class of quadratic algebras but not the classical Koszul ones, simultaneously they agree with both the classical Koszul and higher Koszul algebras in special cases. We give a criteria theorem for a graded algebra A to be piecewise-Koszul in terms of its Yoneda-Ext algebra E(A), and show an A∞-structure on E(A). Relations between Koszul algebras and piecewise-Koszul algebras are discussed. In particular, our results are related to the third question of Green-Marcos.
Li, Haisheng; Tan, Shaobin; Wang, Qing
2012-01-01
In this paper, we study a notion of what we call vertex Leibniz algebra. This notion naturally extends that of vertex algebra without vacuum, which was previously introduced by Huang and Lepowsky. We show that every vertex algebra without vacuum can be naturally extended to a vertex algebra. On the other hand, we show that a vertex Leibniz algebra can be embedded into a vertex algebra if and only if it admits a faithful module. To each vertex Leibniz algebra we associate a vertex algebra with...
Grätzer, George
1979-01-01
Universal Algebra, heralded as ". . . the standard reference in a field notorious for the lack of standardization . . .," has become the most authoritative, consistently relied on text in a field with applications in other branches of algebra and other fields such as combinatorics, geometry, and computer science. Each chapter is followed by an extensive list of exercises and problems. The "state of the art" account also includes new appendices (with contributions from B. Jónsson, R. Quackenbush, W. Taylor, and G. Wenzel) and a well-selected additional bibliography of over 1250 papers and books which makes this a fine work for students, instructors, and researchers in the field. "This book will certainly be, in the years to come, the basic reference to the subject." --- The American Mathematical Monthly (First Edition) "In this reviewer's opinion [the author] has more than succeeded in his aim. The problems at the end of each chapter are well-chosen; there are more than 650 of them. The book is especially sui...
Yoneda algebras of almost Koszul algebras
Indian Academy of Sciences (India)
Zheng Lijing
2015-11-01
Let be an algebraically closed field, a finite dimensional connected (, )-Koszul self-injective algebra with , ≥ 2. In this paper, we prove that the Yoneda algebra of is isomorphic to a twisted polynomial algebra $A^!$ [ ; ] in one indeterminate of degree +1 in which $A^!$ is the quadratic dual of , is an automorphism of $A^!$, and = () for each $t \\in A^!$. As a corollary, we recover Theorem 5.3 of [2].
WEAKLY ALGEBRAIC REFLEXIVITY AND STRONGLY ALGEBRAIC REFLEXIVITY
Institute of Scientific and Technical Information of China (English)
TaoChangli; LuShijie; ChenPeixin
2002-01-01
Algebraic reflexivity introduced by Hadwin is related to linear interpolation. In this paper, the concepts of weakly algebraic reflexivity and strongly algebraic reflexivity which are also related to linear interpolation are introduced. Some properties of them are obtained and some relations between them revealed.
Rigidification of algebras over essentially algebraic theories
Rosicky, J
2012-01-01
Badzioch and Bergner proved a rigidification theorem saying that each homotopy simplicial algebra is weakly equivalent to a simplicial algebra. The question is whether this result can be extended from algebraic theories to finite limit theories and from simplicial sets to more general monoidal model categories. We will present some answers to this question.
The Yoneda algebra of a K2 algebra need not be another K2 algebra
Cassidy, T.; Phan, C.; Shelton, B.
2010-01-01
The Yoneda algebra of a Koszul algebra or a D-Koszul algebra is Koszul. K2 algebras are a natural generalization of Koszul algebras, and one would hope that the Yoneda algebra of a K2 algebra would be another K2 algebra. We show that this is not necessarily the case by constructing a monomial K2 algebra for which the corresponding Yoneda algebra is not K2.
Enveloping algebras of some quantum Lie algebras
Pourkia, Arash
2014-01-01
We define a family of Hopf algebra objects, $H$, in the braided category of $\\mathbb{Z}_n$-modules (known as anyonic vector spaces), for which the property $\\psi^2_{H\\otimes H}=id_{H\\otimes H}$ holds. We will show that these anyonic Hopf algebras are, in fact, the enveloping (Hopf) algebras of particular quantum Lie algebras, also with the property $\\psi^2=id$. Then we compute the braided periodic Hopf cyclic cohomology of these Hopf algebras. For that, we will show the following fact: analog...
Dzhumadil'daev, A. S.
2002-01-01
Algebras with identity $(a\\star b)\\star (c\\star d) -(a\\star d)\\star(c\\star b)$ $=(a,b,c)\\star d-(a,d,c)\\star b$ are studied. Novikov algebras under Jordan multiplication and Leibniz dual algebras satisfy this identity. If algebra with such identity has unit, then it is associative and commutative.
National Council of Teachers of Mathematics, Inc., Reston, VA.
This is a reprint of the historical capsules dealing with algebra from the 31st Yearbook of NCTM,"Historical Topics for the Mathematics Classroom." Included are such themes as the change from a geometric to an algebraic solution of problems, the development of algebraic symbolism, the algebraic contributions of different countries, the origin and…
Workshop on Commutative Algebra
Simis, Aron
1990-01-01
The central theme of this volume is commutative algebra, with emphasis on special graded algebras, which are increasingly of interest in problems of algebraic geometry, combinatorics and computer algebra. Most of the papers have partly survey character, but are research-oriented, aiming at classification and structural results.
Probabilistic Concurrent Kleene Algebra
Directory of Open Access Journals (Sweden)
Annabelle McIver
2013-06-01
Full Text Available We provide an extension of concurrent Kleene algebras to account for probabilistic properties. The algebra yields a unified framework containing nondeterminism, concurrency and probability and is sound with respect to the set of probabilistic automata modulo probabilistic simulation. We use the resulting algebra to generalise the algebraic formulation of a variant of Jones' rely/guarantee calculus.
Generalized Quantum Current Algebras
Institute of Scientific and Technical Information of China (English)
ZHAO Liu
2001-01-01
Two general families of new quantum-deformed current algebras are proposed and identified both as infinite Hopf family of algebras, a structure which enables one to define "tensor products" of these algebras. The standard quantum affine algebras turn out to be a very special case of the two algebra families, in which case the infinite Hopf family structure degenerates into a standard Hopf algebra. The relationship between the two algebraic families as well as thefr various special examples are discussed, and the free boson representation is also considered.
El-Chaar, Caroline
2012-01-01
In this thesis, four realizations of the Onsager algebra are explored. We begin with its original definition as introduced by Lars Onsager. We then examine how the Onsager algebra can be presented as a Lie algebra with two generators and two relations. The third realization of the Onsager algebra consists of viewing it as an equivariant map algebra which then gives us the tools to classify its closed ideals. Finally, we examine the Onsager algebra as a subalgebra of the tetrahedron algebra. Using this fourth realization, we explicitly describe all its ideals.
Perturbations of planar algebras
Das, Paramita; Gupta, Ved Prakash
2010-01-01
We introduce the concept of {\\em weight} of a planar algebra $P$ and construct a new planar algebra referred as the {\\em perturbation of $P$} by the weight. We establish a one-to-one correspondence between pivotal structures on 2-categories and perturbations of planar algebras by weights. To each bifinite bimodule over $II_1$-factors, we associate a {\\em bimodule planar algebra} bimodule corresponds naturally with sphericality of the bimodule planar algebra. As a consequence of this, we reproduce an extension of Jones' theorem (of associating 'subfactor planar algebras' to extremal subfactors). Conversely, given a bimodule planar algebra, we construct a bifinite bimodule whose associated bimodule planar algebra is the one which we start with using perturbations and Jones-Walker-Shlyakhtenko-Kodiyalam-Sunder method of reconstructing an extremal subfactor from a subfactor planar algebra. We show that the perturbation class of a bimodule planar algebra contains a unique spherical unimodular bimodule planar algeb...
Multiparameter Twisted Weyl Algebras
Futorny, Vyacheslav; Hartwig, Jonas T.
2011-01-01
We introduce a new family of twisted generalized Weyl algebras, called multiparameter twisted Weyl algebras, for which we parametrize all simple quotients of a certain kind. Both Jordan's simple localization of the multiparameter quantized Weyl algebra and Hayashi's q-analog of the Weyl algebra are special cases of this construction. We classify all simple weight modules over any multiparameter twisted Weyl algebra. Extending results by Benkart and Ondrus, we also describe all Whittaker pairs...
Institute of Scientific and Technical Information of China (English)
Jia-feng; Lü
2007-01-01
[1]Priddy S.Koszul resolutions.Trans Amer Math Soc,152:39-60 (1970)[2]Beilinson A,Ginszburg V,Soergel W.Koszul duality patterns in representation theory.J Amer Math Soc,9:473-525 (1996)[3]Aquino R M,Green E L.On modules with linear presentations over Koszul algebras.Comm Algebra,33:19-36 (2005)[4]Green E L,Martinez-Villa R.Koszul and Yoneda algebras.Representation theory of algebras (Cocoyoc,1994).In:CMS Conference Proceedings,Vol 18.Providence,RI:American Mathematical Society,1996,247-297[5]Berger R.Koszulity for nonquadratic algebras.J Algebra,239:705-734 (2001)[6]Green E L,Marcos E N,Martinez-Villa R,et al.D-Koszul algebras.J Pure Appl Algebra,193:141-162(2004)[7]He J W,Lu D M.Higher Koszul Algebras and A-infinity Algebras.J Algebra,293:335-362 (2005)[8]Green E L,Marcos E N.δ-Koszul algebras.Comm Algebra,33(6):1753-1764 (2005)[9]Keller B.Introduction to A-infinity algebras and modules.Homology Homotopy Appl,3:1-35 (2001)[10]Green E L,Martinez-Villa R,Reiten I,et al.On modules with linear presentations.J Algebra,205(2):578-604 (1998)[11]Keller B.A-infinity algebras in representation theory.Contribution to the Proceedings of ICRA Ⅸ.Beijing:Peking University Press,2000[12]Lu D M,Palmieri J H,Wu Q S,et al.A∞-algebras for ring theorists.Algebra Colloq,11:91-128 (2004)[13]Weibel C A.An Introduction to homological algebra.Cambridge Studies in Avanced Mathematics,Vol 38.Cambridge:Cambridge University Press,1995
Maps from the enveloping algebra of the positive Witt algebra to regular algebras
Sierra, Susan J.; Walton, Chelsea
2015-01-01
We construct homomorphisms from the universal enveloping algebra of the positive (part of the) Witt algebra to several different Artin-Schelter regular algebras, and determine their kernels and images. As a result, we produce elementary proofs that the universal enveloping algebras of the Virasoro algebra, the Witt algebra, and the positive Witt algebra are neither left nor right noetherian.
Samuel, Pierre
2008-01-01
Algebraic number theory introduces students not only to new algebraic notions but also to related concepts: groups, rings, fields, ideals, quotient rings and quotient fields, homomorphisms and isomorphisms, modules, and vector spaces. Author Pierre Samuel notes that students benefit from their studies of algebraic number theory by encountering many concepts fundamental to other branches of mathematics - algebraic geometry, in particular.This book assumes a knowledge of basic algebra but supplements its teachings with brief, clear explanations of integrality, algebraic extensions of fields, Gal
Boicescu, V; Georgescu, G; Rudeanu, S
1991-01-01
The Lukasiewicz-Moisil algebras were created by Moisil as an algebraic counterpart for the many-valued logics of Lukasiewicz. The theory of LM-algebras has developed to a considerable extent both as an algebraic theory of intrinsic interest and in view of its applications to logic and switching theory.This book gives an overview of the theory, comprising both classical results and recent contributions, including those of the authors. N-valued and &THgr;-valued algebras are presented, as well as &THgr;-algebras with negation.Mathematicians interested in lattice theory or symbolic logic, and computer scientists, will find in this monograph stimulating material for further research.
Representations of twisted current algebras
Lau, Michael
2013-01-01
We use evaluation representations to give a complete classification of the finite-dimensional simple modules of twisted current algebras. This generalizes and unifies recent work on multiloop algebras, current algebras, equivariant map algebras, and twisted forms.
Hom-alternative algebras and Hom-Jordan algebras
Makhlouf, Abdenacer
2009-01-01
The purpose of this paper is to introduce Hom-alternative algebras and Hom-Jordan algebras. We discuss some of their properties and provide construction procedures using ordinary alternative algebras or Jordan algebras. Also, we show that a polarization of Hom-associative algebra leads to Hom-Jordan algebra.
Cylindric-like algebras and algebraic logic
Ferenczi, Miklós; Németi, István
2013-01-01
Algebraic logic is a subject in the interface between logic, algebra and geometry, it has strong connections with category theory and combinatorics. Tarski’s quest for finding structure in logic leads to cylindric-like algebras as studied in this book, they are among the main players in Tarskian algebraic logic. Cylindric algebra theory can be viewed in many ways: as an algebraic form of definability theory, as a study of higher-dimensional relations, as an enrichment of Boolean Algebra theory, or, as logic in geometric form (“cylindric” in the name refers to geometric aspects). Cylindric-like algebras have a wide range of applications, in, e.g., natural language theory, data-base theory, stochastics, and even in relativity theory. The present volume, consisting of 18 survey papers, intends to give an overview of the main achievements and new research directions in the past 30 years, since the publication of the Henkin-Monk-Tarski monographs. It is dedicated to the memory of Leon Henkin.
Lie Algebra of Noncommutative Inhomogeneous Hopf Algebra
Lagraa, M.; Touhami, N.
1997-01-01
We construct the vector space dual to the space of right-invariant differential forms construct from a first order differential calculus on inhomogeneous quantum group. We show that this vector space is equipped with a structure of a Hopf algebra which closes on a noncommutative Lie algebra satisfying a Jacobi identity.
Categories and Commutative Algebra
Salmon, P
2011-01-01
L. Badescu: Sur certaines singularites des varietes algebriques.- D.A. Buchsbaum: Homological and commutative algebra.- S. Greco: Anelli Henseliani.- C. Lair: Morphismes et structures algebriques.- B.A. Mitchell: Introduction to category theory and homological algebra.- R. Rivet: Anneaux de series formelles et anneaux henseliens.- P. Salmon: Applicazioni della K-teoria all'algebra commutativa.- M. Tierney: Axiomatic sheaf theory: some constructions and applications.- C.B. Winters: An elementary lecture on algebraic spaces.
Algebraic statistics computational commutative algebra in statistics
Pistone, Giovanni; Wynn, Henry P
2000-01-01
Written by pioneers in this exciting new field, Algebraic Statistics introduces the application of polynomial algebra to experimental design, discrete probability, and statistics. It begins with an introduction to Gröbner bases and a thorough description of their applications to experimental design. A special chapter covers the binary case with new application to coherent systems in reliability and two level factorial designs. The work paves the way, in the last two chapters, for the application of computer algebra to discrete probability and statistical modelling through the important concept of an algebraic statistical model.As the first book on the subject, Algebraic Statistics presents many opportunities for spin-off research and applications and should become a landmark work welcomed by both the statistical community and its relatives in mathematics and computer science.
REAL PIECEWISE ALGEBRAIC VARIETY
Institute of Scientific and Technical Information of China (English)
Ren-hong Wang; Yi-sheng Lai
2003-01-01
We give definitions of real piecewise algebraic variety and its dimension. By using the techniques of real radical ideal, P-radical ideal, affine Hilbert polynomial, Bernstein-net form of polynomials on simplex, and decomposition of semi-algebraic set, etc., we deal with the dimension of the real piecewise algebraic variety and real Nullstellensatz in Cμ spline ring.
Deficiently Extremal Gorenstein Algebras
Indian Academy of Sciences (India)
Pavinder Singh
2011-08-01
The aim of this article is to study the homological properties of deficiently extremal Gorenstein algebras. We prove that if / is an odd deficiently extremal Gorenstein algebra with pure minimal free resolution, then the codimension of / must be odd. As an application, the structure of pure minimal free resolution of a nearly extremal Gorenstein algebra is obtained.
Bases of Schur algebras associated to cellularly stratified diagram algebras
Bowman, C
2011-01-01
We examine homomorphisms between induced modules for a certain class of cellularly stratified diagram algebras, including the BMW algebra, Temperley-Lieb algebra, Brauer algebra, and (quantum) walled Brauer algebra. We define the `permutation' modules for these algebras, these are one-sided ideals which allow us to study the diagrammatic Schur algebras of Hartmann, Henke, Koenig and Paget. We construct bases of these Schur algebras in terms of modified tableaux. On the way we prove that the (quantum) walled Brauer algebra and the Temperley-Lieb algebra are both cellularly stratified and therefore have well-defined Specht filtrations.
Jespers, Eric; Riley, David; Siciliano, Salvatore
2007-01-01
An algebra is called a GI-algebra if its group of units satisfies a group identity. We provide positive support for the following two open problems. 1. Does every algebraic GI-algebra satisfy a polynomial identity? 2. Is every algebraically generated GI-algebra locally finite?
Indian Academy of Sciences (India)
Antonio J Calderón Martín; Manuel Forero Piulestán; José M Sánchez Delgado
2012-05-01
We study the structure of split Malcev algebras of arbitrary dimension over an algebraically closed field of characteristic zero. We show that any such algebras is of the form $M=\\mathcal{U}+\\sum_jI_j$ with $\\mathcal{U}$ a subspace of the abelian Malcev subalgebra and any $I_j$ a well described ideal of satisfying $[I_j, I_k]=0$ if ≠ . Under certain conditions, the simplicity of is characterized and it is shown that is the direct sum of a semisimple split Lie algebra and a direct sum of simple non-Lie Malcev algebras.
Computer algebra and operators
Fateman, Richard; Grossman, Robert
1989-01-01
The symbolic computation of operator expansions is discussed. Some of the capabilities that prove useful when performing computer algebra computations involving operators are considered. These capabilities may be broadly divided into three areas: the algebraic manipulation of expressions from the algebra generated by operators; the algebraic manipulation of the actions of the operators upon other mathematical objects; and the development of appropriate normal forms and simplification algorithms for operators and their actions. Brief descriptions are given of the computer algebra computations that arise when working with various operators and their actions.
Taghavi, Ali
2013-01-01
We study some properies of $Z^{*}$ algebras, thos C^* algebra which all positive elements are zero divisors. We show by means of an example that an extension of a Z* algebra by a Z* algebra is not necessarily Z* algebra. However we prove that an extension of a non Z* algebra by a non Z* algebra is again a Z^* algebra. As an application of our methods, we prove that evey compact subset of the positive cones of a C* algebra has an upper bound in the algebra.
Lectures on algebraic statistics
Drton, Mathias; Sullivant, Seth
2009-01-01
How does an algebraic geometer studying secant varieties further the understanding of hypothesis tests in statistics? Why would a statistician working on factor analysis raise open problems about determinantal varieties? Connections of this type are at the heart of the new field of "algebraic statistics". In this field, mathematicians and statisticians come together to solve statistical inference problems using concepts from algebraic geometry as well as related computational and combinatorial techniques. The goal of these lectures is to introduce newcomers from the different camps to algebraic statistics. The introduction will be centered around the following three observations: many important statistical models correspond to algebraic or semi-algebraic sets of parameters; the geometry of these parameter spaces determines the behaviour of widely used statistical inference procedures; computational algebraic geometry can be used to study parameter spaces and other features of statistical models.
The Boolean algebra and central Galois algebras
Directory of Open Access Journals (Sweden)
George Szeto
2001-01-01
Full Text Available Let B be a Galois algebra with Galois group G, Jg={b∈B∣bx=g(xb for all x∈B} for g∈G, and BJg=Beg for a central idempotent eg. Then a relation is given between the set of elements in the Boolean algebra (Ba,≤ generated by {0,eg∣g∈G} and a set of subgroups of G, and a central Galois algebra Be with a Galois subgroup of G is characterized for an e∈Ba.
On Derivations Of Genetic Algebras
International Nuclear Information System (INIS)
A genetic algebra is a (possibly non-associative) algebra used to model inheritance in genetics. In application of genetics this algebra often has a basis corresponding to genetically different gametes, and the structure constant of the algebra encode the probabilities of producing offspring of various types. In this paper, we find the connection between the genetic algebras and evolution algebras. Moreover, we prove the existence of nontrivial derivations of genetic algebras in dimension two
Linear algebra meets Lie algebra: the Kostant-Wallach theory
Shomron, Noam; Parlett, Beresford N.
2008-01-01
In two languages, Linear Algebra and Lie Algebra, we describe the results of Kostant and Wallach on the fibre of matrices with prescribed eigenvalues of all leading principal submatrices. In addition, we present a brief introduction to basic notions in Algebraic Geometry, Integrable Systems, and Lie Algebra aimed at specialists in Linear Algebra.
Stable endomorphism algebras of modules over special biserial algebras
Schröer, Jan; Zimmermann, Alexander
2002-01-01
We prove that the stable endomorphism algebra of a module without self-extensions over a special biserial algebra is a gentle algebra. In particular, it is again special biserial. As a consequence, any algebra which is derived equivalent to a gentle algebra is gentle.
$L_{\\infty}$ algebra structures of Lie algebra deformations
Gao, Jining
2004-01-01
In this paper,we will show how to kill the obstructions to Lie algebra deformations via a method which essentially embeds a Lie algebra into Strong homotopy Lie algebra or $L_{\\infty}$ algebra. All such obstructions have been transfered to the revelvant $L_{\\infty}$ algebras which contain only three terms
Omni-Lie Color Algebras and Lie Color 2-Algebras
Zhang, Tao
2013-01-01
Omni-Lie color algebras over an abelian group with a bicharacter are studied. The notions of 2-term color $L_{\\infty}$-algebras and Lie color 2-algebras are introduced. It is proved that there is a one-to-one correspondence between Lie color 2-algebras and 2-term color $L_{\\infty}$-algebras.
Evolution algebras and their applications
Tian, Jianjun Paul
2008-01-01
Behind genetics and Markov chains, there is an intrinsic algebraic structure. It is defined as a type of new algebra: as evolution algebra. This concept lies between algebras and dynamical systems. Algebraically, evolution algebras are non-associative Banach algebras; dynamically, they represent discrete dynamical systems. Evolution algebras have many connections with other mathematical fields including graph theory, group theory, stochastic processes, dynamical systems, knot theory, 3-manifolds, and the study of the Ihara-Selberg zeta function. In this volume the foundation of evolution algebra theory and applications in non-Mendelian genetics and Markov chains is developed, with pointers to some further research topics.
Finite-dimensional (*)-serial algebras
Institute of Scientific and Technical Information of China (English)
无
2010-01-01
Let A be a finite-dimensional associative algebra with identity over a field k. In this paper we introduce the concept of (*)-serial algebras which is a generalization of serial algebras. We investigate the properties of (*)-serial algebras, and we obtain suficient and necessary conditions for an associative algebra to be (*)-serial.
Directory of Open Access Journals (Sweden)
R. A. Borzooei
2006-01-01
Full Text Available We study hyper BCC-algebras which are a common generalization of BCC-algebras and hyper BCK-algebras. In particular, we investigate different types of hyper BCC-ideals and describe the relationship among them. Next, we calculate all nonisomorphic 22 hyper BCC-algebras of order 3 of which only three are not hyper BCK-algebras.
On the Toroidal Leibniz Algebras
Institute of Scientific and Technical Information of China (English)
Dong LIU; Lei LIN
2008-01-01
Toroidal Leibniz algebras are the universal central extensions of the iterated loop algebras gOC[t±11 ,...,t±v1] in the category of Leibniz algebras. In this paper, some properties and representations of toroidal Leibniz algebras are studied. Some general theories of central extensions of Leibniz algebras are also obtained.
Developable algebraic surfaces
Institute of Scientific and Technical Information of China (English)
CHEN Dongren; WANG Guojin
2004-01-01
An algebraic surface can be defined by an implicit polynomial equation F(x,y,z)=0. In this paper, general characterizations of developable algebraic surfaces of arbitrary degree are presented. Using the shift operators of the subscripts of Bézier ordinates, the uniform apparent discriminants of developable algebraic surfaces to their Bézier ordinates are given directly. To degree 2 algebraic surfaces, which are widely used in computer aided geometric design and graphics, all possible developable surface types are obtained. For more conveniently applying algebraic surfaces of high degree to computer aided geometric design, the notion of ε-quasi-developable surfaces is introduced, and an example of using a quasi-developable algebraic surface of degree 3 to interpolate three curves of degree 2 is given.
Iachello, Francesco
2015-01-01
This course-based primer provides an introduction to Lie algebras and some of their applications to the spectroscopy of molecules, atoms, nuclei and hadrons. In the first part, it concisely presents the basic concepts of Lie algebras, their representations and their invariants. The second part includes a description of how Lie algebras are used in practice in the treatment of bosonic and fermionic systems. Physical applications considered include rotations and vibrations of molecules (vibron model), collective modes in nuclei (interacting boson model), the atomic shell model, the nuclear shell model, and the quark model of hadrons. One of the key concepts in the application of Lie algebraic methods in physics, that of spectrum generating algebras and their associated dynamic symmetries, is also discussed. The book highlights a number of examples that help to illustrate the abstract algebraic definitions and includes a summary of many formulas of practical interest, such as the eigenvalues of Casimir operators...
Symmetric Extended Ockham Algebras
Institute of Scientific and Technical Information of China (English)
T.S. Blyth; Jie Fang
2003-01-01
The variety eO of extended Ockham algebras consists of those algealgebra with an additional endomorphism k such that the unary operations f and k commute. Here, we consider the cO-algebras which have a property of symmetry. We show that there are thirty two non-isomorphic subdirectly irreducible symmetric extended MS-algebras and give a complete description of them.2000 Mathematics Subject Classification: 06D15, 06D30
Brouder, Christian
2002-01-01
The Laplace Hopf algebra created by Rota and coll. is generalized to provide an algebraic tool for combinatorial problems of quantum field theory. This framework encompasses commutation relations, normal products, time-ordered products and renormalisation. It considers the operator product and the time-ordered product as deformations of the normal product. In particular, it gives an algebraic meaning to Wick's theorem and it extends the concept of Laplace pairing to prove that the renormalise...
Algebraic nonlinear collective motion
Troupe, J.; Rosensteel, G.
1999-01-01
Finite-dimensional Lie algebras of vector fields determine geometrical collective models in quantum and classical physics. Every set of vector fields on Euclidean space that generates the Lie algebra sl(3, R) and contains the angular momentum algebra so(3) is determined. The subset of divergence-free sl(3, R) vector fields is proven to be indexed by a real number $\\Lambda$. The $\\Lambda=0$ solution is the linear representation that corresponds to the Riemann ellipsoidal model. The nonlinear g...
Geometric Algebras and Extensors
Fernandez, V. V.; Moya, A. M.; Rodrigues Jr., W. A.
2007-01-01
This is the first paper in a series (of four) designed to show how to use geometric algebras of multivectors and extensors to a novel presentation of some topics of differential geometry which are important for a deeper understanding of geometrical theories of the gravitational field. In this first paper we introduce the key algebraic tools for the development of our program, namely the euclidean geometrical algebra of multivectors Cl(V,G_{E}) and the theory of its deformations leading to met...
Algebraic extensions of fields
McCarthy, Paul J
1991-01-01
""...clear, unsophisticated and direct..."" - MathThis textbook is intended to prepare graduate students for the further study of fields, especially algebraic number theory and class field theory. It presumes some familiarity with topology and a solid background in abstract algebra. Chapter 1 contains the basic results concerning algebraic extensions. In addition to separable and inseparable extensions and normal extensions, there are sections on finite fields, algebraically closed fields, primitive elements, and norms and traces. Chapter 2 is devoted to Galois theory. Besides the fundamenta
Kurosh, A G; Stark, M; Ulam, S
1965-01-01
Lectures in General Algebra is a translation from the Russian and is based on lectures on specialized courses in general algebra at Moscow University. The book starts with the basics of algebra. The text briefly describes the theory of sets, binary relations, equivalence relations, partial ordering, minimum condition, and theorems equivalent to the axiom of choice. The text gives the definition of binary algebraic operation and the concepts of groups, groupoids, and semigroups. The book examines the parallelism between the theory of groups and the theory of rings; such examinations show the
Solomon, Alan D
2012-01-01
REA's Essentials provide quick and easy access to critical information in a variety of different fields, ranging from the most basic to the most advanced. As its name implies, these concise, comprehensive study guides summarize the essentials of the field covered. Essentials are helpful when preparing for exams, doing homework and will remain a lasting reference source for students, teachers, and professionals. Boolean Algebra includes set theory, sentential calculus, fundamental ideas of Boolean algebras, lattices, rings and Boolean algebras, the structure of a Boolean algebra, and Boolean
Underwood, Robert G
2015-01-01
This text aims to provide graduate students with a self-contained introduction to topics that are at the forefront of modern algebra, namely, coalgebras, bialgebras, and Hopf algebras. The last chapter (Chapter 4) discusses several applications of Hopf algebras, some of which are further developed in the author’s 2011 publication, An Introduction to Hopf Algebras. The book may be used as the main text or as a supplementary text for a graduate algebra course. Prerequisites for this text include standard material on groups, rings, modules, algebraic extension fields, finite fields, and linearly recursive sequences. The book consists of four chapters. Chapter 1 introduces algebras and coalgebras over a field K; Chapter 2 treats bialgebras; Chapter 3 discusses Hopf algebras and Chapter 4 consists of three applications of Hopf algebras. Each chapter begins with a short overview and ends with a collection of exercises which are designed to review and reinforce the material. Exercises range from straightforw...
Relations Between BZMVdM-Algebra and Other Algebras
Institute of Scientific and Technical Information of China (English)
高淑萍; 邓方安; 刘三阳
2003-01-01
Some properties of BZMVdM-algebra are proved, and a new operator is introduced. It is shown that the substructure of BZMVdM-algebra can produce a quasi-lattice implication algebra. The relations between BZMVdM-algebra and other algebras are discussed in detail. A pseudo-distance function is defined in linear BZMVdM-algebra, and its properties are derived.
Differential Hopf algebra structures on the universal enveloping algebra ofa Lie algebra
Hijligenberg, N.W. van den; Martini, R.
1995-01-01
We discuss a method to construct a De Rham complex (differential algebra) of Poincar'e-Birkhoff-Witt-type on the universal enveloping algebra of a Lie algebra $g$. We determine the cases in which this gives rise to a differential Hopf algebra that naturally extends the Hopf algebra structure of $U(g
Tubular algebras and affine Kac-Moody algebras
Institute of Scientific and Technical Information of China (English)
Zheng-xin CHEN; Ya-nan LIN
2007-01-01
The purpose of this paper is to construct quotient algebras L(A)C1/I(A) of complex degenerate composition Lie algebras L(A)C1 by some ideals, where L(A)C1 is defined via Hall algebras of tubular algebras A, and to prove that the quotient algebras L(A)C1/I(A) are isomorphic to the corresponding affine Kac-Moody algebras. Moreover, it is shown that the Lie algebra Lre(A)C1 generated by A-modules with a real root coincides with the degenerate composition Lie algebra L(A)C1 generated by simple A-modules.
Tubular algebras and affine Kac-Moody algebras
Institute of Scientific and Technical Information of China (English)
2007-01-01
The purpose of this paper is to construct quotient algebras L(A)1C/I(A) of complex degenerate composition Lie algebras L(A)1C by some ideals, where L(A)1C is defined via Hall algebras of tubular algebras A, and to prove that the quotient algebras L(A)1C/I(A) are isomorphic to the corresponding affine Kac-Moody algebras. Moreover, it is shown that the Lie algebra Lre(A)1C generated by A-modules with a real root coincides with the degenerate composition Lie algebra L(A)1C generated by simple A-modules.
Universal Algebras of Hurwitz Numbers
A. Mironov; Morozov, A; Natanzon, S.
2009-01-01
Infinite-dimensional universal Cardy-Frobenius algebra is constructed, which unifies all particular algebras of closed and open Hurwitz numbers and is closely related to the algebra of differential operators, familiar from the theory of Generalized Kontsevich Model.
Indian Academy of Sciences (India)
Cătălin Ciupală
2005-02-01
In this paper we introduce non-commutative fields and forms on a new kind of non-commutative algebras: -algebras. We also define the Frölicher–Nijenhuis bracket in the non-commutative geometry on -algebras.
(Quasi-)Poisson enveloping algebras
Yang, Yan-Hong; Yuan YAO; Ye, Yu
2010-01-01
We introduce the quasi-Poisson enveloping algebra and Poisson enveloping algebra for a non-commutative Poisson algebra. We prove that for a non-commutative Poisson algebra, the category of quasi-Poisson modules is equivalent to the category of left modules over its quasi-Poisson enveloping algebra, and the category of Poisson modules is equivalent to the category of left modules over its Poisson enveloping algebra.
On algebraic volume density property
Kaliman, Shulim; Kutzschebauch, Frank
2012-01-01
A smooth affine algebraic variety $X$ equipped with an algebraic volume form $\\omega$ has the algebraic volume density property (AVDP) if the Lie algebra generated by completely integrable algebraic vector fields of $\\omega$-divergence zero coincides with the space of all algebraic vector fields of $\\omega$-divergence zero. We develop an effective criterion of verifying whether a given $X$ has AVDP. As an application of this method we establish AVDP for any homogeneous space $X=G/R$ that admi...
Automorphism groups of some algebras
Institute of Scientific and Technical Information of China (English)
PARK; Hong; Goo; LEE; Jeongsig; CHOI; Seul; Hee; NAM; Ki-Bong
2009-01-01
The automorphism groups of algebras are found in many papers. Using auto-invariance, we find the automorphism groups of the Laurent extension of the polynomial ring and the quantum n-plane (respectively, twisting polynomial ring) in this work. As an application of the results of this work, we can find the automorphism group of a twisting algebra. We define a generalized Weyl algebra and show that the generalized Weyl algebra is simple. We also find the automorphism group of a generalized Weyl algebra. We show that the generalized Weyl algebra Am,m+n is the universal enveloping algebra of the generalized Witt algebra W(m,m + n).
Automorphism groups of some algebras
Institute of Scientific and Technical Information of China (English)
PARK Hong Goo; LEE Jeongsig; CHOI Seul Hee; CHEN XueQing; NAM Ki-Bong
2009-01-01
The automorphism groups of algebras are found in many papers. Using auto-invariance, we find the automorphism groups of the Laurent extension of the polynomial ring and the quantum n-plane (respectively, twisting polynomial ring) in this work. As an application of the results of this work, we can find the automorphism group of a twisting algebra. We define a generalized Weyl algebra and show that the generalized Weyl algebra is simple. We also find the automorphism group of a generalized Weyl algebra. We show that the generalized Weyl algebra Am,m+n is the universal enveloping algebra of the generalized Witt algebra W(m, m+n).
Levy, Alissa Beth
2012-01-01
The California Department of Education (CDE) has long asserted that success Algebra I by Grade 8 is the goal for all California public school students. In fact, the state's accountability system penalizes schools that do not require all of their students to take the Algebra I end-of-course examination by Grade 8 (CDE, 2009). In this…
Lawson, C. L.; Krogh, F. T.; Gold, S. S.; Kincaid, D. R.; Sullivan, J.; Williams, E.; Hanson, R. J.; Haskell, K.; Dongarra, J.; Moler, C. B.
1982-01-01
The Basic Linear Algebra Subprograms (BLAS) library is a collection of 38 FORTRAN-callable routines for performing basic operations of numerical linear algebra. BLAS library is portable and efficient source of basic operations for designers of programs involving linear algebriac computations. BLAS library is supplied in portable FORTRAN and Assembler code versions for IBM 370, UNIVAC 1100 and CDC 6000 series computers.
Directory of Open Access Journals (Sweden)
Carlos C. Peña
2000-05-01
Full Text Available Topological algebras of sequences of complex numbers are introduced, endowed with a Hadamard product type. The complex homomorphisms on these algebras are characterized, and units, prime cyclic ideals, prime closed ideals, and prime minimal ideals, discussed. Existence of closed and maximal ideals are investigated, and it is shown that the Jacobson and nilradicals are both trivial.
Heinicke, C; Heinicke, Christian; Hehl, Friedrich W.
2001-01-01
We survey the application of computer algebra in the context of gravitational theories. After some general remarks, we show of how to check the second Bianchi-identity by means of the Reduce package Excalc. Subsequently we list some computer algebra systems and packages relevant to applications in gravitational physics. We conclude by presenting a couple of typical examples.
Introduction to noncommutative algebra
Brešar, Matej
2014-01-01
Providing an elementary introduction to noncommutative rings and algebras, this textbook begins with the classical theory of finite dimensional algebras. Only after this, modules, vector spaces over division rings, and tensor products are introduced and studied. This is followed by Jacobson's structure theory of rings. The final chapters treat free algebras, polynomial identities, and rings of quotients. Many of the results are not presented in their full generality. Rather, the emphasis is on clarity of exposition and simplicity of the proofs, with several being different from those in other texts on the subject. Prerequisites are kept to a minimum, and new concepts are introduced gradually and are carefully motivated. Introduction to Noncommutative Algebra is therefore accessible to a wide mathematical audience. It is, however, primarily intended for beginning graduate and advanced undergraduate students encountering noncommutative algebra for the first time.
Elements of mathematics algebra
Bourbaki, Nicolas
2003-01-01
This is a softcover reprint of the English translation of 1990 of the revised and expanded version of Bourbaki's, Algèbre, Chapters 4 to 7 (1981). This completes Algebra, 1 to 3, by establishing the theories of commutative fields and modules over a principal ideal domain. Chapter 4 deals with polynomials, rational fractions and power series. A section on symmetric tensors and polynomial mappings between modules, and a final one on symmetric functions, have been added. Chapter 5 was entirely rewritten. After the basic theory of extensions (prime fields, algebraic, algebraically closed, radical extension), separable algebraic extensions are investigated, giving way to a section on Galois theory. Galois theory is in turn applied to finite fields and abelian extensions. The chapter then proceeds to the study of general non-algebraic extensions which cannot usually be found in textbooks: p-bases, transcendental extensions, separability criterions, regular extensions. Chapter 6 treats ordered groups and fields and...
Deformation of central charges, vertex operator algebras whose Griess algebras are Jordan algebras
Ashihara, Takahiro; Miyamoto, Masahiko
2008-01-01
If a vertex operator algebra $V=\\oplus_{n=0}^{\\infty}V_n$ satisfies $\\dim V_0=1, V_1=0$, then $V_2$ has a commutative (nonassociative) algebra structure called Griess algebra. One of the typical examples of commutative (nonassociative) algebras is a Jordan algebra. For example, the set $Sym_d(\\C)$ of symmetric matrices of degree $d$ becomes a Jordan algebra. On the other hand, in the theory of vertex operator algebras, central charges influence the properties of vertex operator algebras. In t...
The Planar Algebra of a Semisimple and Cosemisimple Hopf Algebra
Indian Academy of Sciences (India)
Vijay Kodiyalam; V S Sunder
2006-11-01
To a semisimple and cosemisimple Hopf algebra over an algebraically closed field, we associate a planar algebra defined by generators and relations and show that it is a connected, irreducible, spherical, non-degenerate planar algebra with non-zero modulus and of depth two. This association is shown to yield a bijection between (the isomorphism classes, on both sides, of) such objects.
Graded Lie Algebra Generating of Parastatistical Algebraic Relations
Institute of Scientific and Technical Information of China (English)
JING Si-Cong; YANG Wei-Min; LI Ping
2001-01-01
A new kind of graded Lie algebra (We call it Z2,2 graded Lie algebra) is introduced as a framework for formulating parasupersymmetric theories. By choosing suitable Bose subspace of the Z2,2 graded Lie algebra and using relevant generalized Jacobi identities, we generate the whole algebraic structure of parastatistics.
Semigroups and computer algebra in algebraic structures
Bijev, G.
2012-11-01
Some concepts in semigroup theory can be interpreted in several algebraic structures. A generalization fA,B,fA,B(X) = A(X')B of the complement operator (') on Boolean matrices is made, where A and B denote any rectangular Boolean matrices. While (') is an isomorphism between Boolean semilattices, the generalized complement operator is homomorphism in the general case. The map fA,B and its general inverse (fA,B)+ have quite similar properties to those in the linear algebra and are useful for solving linear equations in Boolean matrix algebras. For binary relations on a finite set, necessary and sufficient conditions for the equation αξβ = γ to have a solution ξ are proved. A generalization of Green's equivalence relations in semigroups for rectangular matrices is proposed. Relationships between them and the Moore-Penrose inverses are investigated. It is shown how any generalized Green's H-class could be constructed by given its corresponding linear subspaces and converted into a group isomorphic to a linear group. Some information about using computer algebra methods concerning this paper is given.
Directory of Open Access Journals (Sweden)
Sinan AYDIN
2009-04-01
Full Text Available Linear algebra is a basic course followed in mathematics, science, and engineering university departments.Generally, this course is taken in either the first or second year but there have been difficulties in teachingand learning. This type of active algebra has resulted in an increase in research by mathematics educationresearchers. But there is insufficient information on this subject in Turkish and therefore it has not beengiven any educational status. This paper aims to give a general overview of this subject in teaching andlearning. These education studies can be considered quadruple: a the history of linear algebra, b formalismobstacles of linear algebra and cognitive flexibility to improve teaching and learning, c the relation betweenlinear algebra and geometry, d using technology in the teaching and learning linear algebra.Mathematicseducation researchers cannot provide an absolute solution to overcome the teaching and learning difficultiesof linear algebra. Epistemological analyses and experimental teaching have shown the learning difficulties.Given these results, further advice and assistance can be offered locally.
Springer, T A
1998-01-01
"[The first] ten chapters...are an efficient, accessible, and self-contained introduction to affine algebraic groups over an algebraically closed field. The author includes exercises and the book is certainly usable by graduate students as a text or for self-study...the author [has a] student-friendly style… [The following] seven chapters... would also be a good introduction to rationality issues for algebraic groups. A number of results from the literature…appear for the first time in a text." –Mathematical Reviews (Review of the Second Edition) "This book is a completely new version of the first edition. The aim of the old book was to present the theory of linear algebraic groups over an algebraically closed field. Reading that book, many people entered the research field of linear algebraic groups. The present book has a wider scope. Its aim is to treat the theory of linear algebraic groups over arbitrary fields. Again, the author keeps the treatment of prerequisites self-contained. The material of t...
Kandasamy, W B Vasantha
2008-01-01
In this book, the authors introduce the notion of Super linear algebra and super vector spaces using the definition of super matrices defined by Horst (1963). This book expects the readers to be well-versed in linear algebra. Many theorems on super linear algebra and its properties are proved. Some theorems are left as exercises for the reader. These new class of super linear algebras which can be thought of as a set of linear algebras, following a stipulated condition, will find applications in several fields using computers. The authors feel that such a paradigm shift is essential in this computerized world. Some other structures ought to replace linear algebras which are over a century old. Super linear algebras that use super matrices can store data not only in a block but in multiple blocks so it is certainly more powerful than the usual matrices. This book has 3 chapters. Chapter one introduces the notion of super vector spaces and enumerates a number of properties. Chapter two defines the notion of sup...
Equational axioms of test algebra
Hollenberg, M.
2008-01-01
We present a complete axiomatization of test algebra ([24,18,29]), the two-sorted algebraic variant of Propositional Dynamic Logic (PDL,[21,7]). The axiomatization consists of adding a finite number of equations to any axiomatization of Kleene algebra ([15,26,17,4]) and algebraic translations of the
Process algebra for Hybrid systems
Bergstra, J.A.; Middelburg, C.A.
2008-01-01
We propose a process algebra obtained by extending a combination of the process algebra with continuous relative timing from Baeten and Middelburg [Process Algebra with Timing, Springer, Chap. 4, 2002] and the process algebra with propositional signals from Baeten and Bergstra [Theoretical Computer
Process algebra for hybrid systems
Bergstra, J.A.; Middelburg, C.A.
2005-01-01
We propose a process algebra obtained by extending a combination of the process algebra with continuous relative timing from Baeten and Middelburg (Process Algebra with Timing, Springer,Berlin, 2002, Chapter 4), and the process algebra with propositional signals from Baeten and Bergstra(Theoret. Com
Symplectic algebraic dynamics algorithm
Institute of Scientific and Technical Information of China (English)
2007-01-01
Based on the algebraic dynamics solution of ordinary differential equations andintegration of ,the symplectic algebraic dynamics algorithm sn is designed,which preserves the local symplectic geometric structure of a Hamiltonian systemand possesses the same precision of the na ve algebraic dynamics algorithm n.Computer experiments for the 4th order algorithms are made for five test modelsand the numerical results are compared with the conventional symplectic geometric algorithm,indicating that sn has higher precision,the algorithm-inducedphase shift of the conventional symplectic geometric algorithm can be reduced,and the dynamical fidelity can be improved by one order of magnitude.
Schneider, Hans
1989-01-01
Linear algebra is one of the central disciplines in mathematics. A student of pure mathematics must know linear algebra if he is to continue with modern algebra or functional analysis. Much of the mathematics now taught to engineers and physicists requires it.This well-known and highly regarded text makes the subject accessible to undergraduates with little mathematical experience. Written mainly for students in physics, engineering, economics, and other fields outside mathematics, the book gives the theory of matrices and applications to systems of linear equations, as well as many related t
Directory of Open Access Journals (Sweden)
J. W. Kitchen
1994-01-01
Full Text Available We study bundles of Banach algebras π:A→X, where each fiber Ax=π−1({x} is a Banach algebra and X is a compact Hausdorff space. In the case where all fibers are commutative, we investigate how the Gelfand representation of the section space algebra Γ(π relates to the Gelfand representation of the fibers. In the general case, we investigate how adjoining an identity to the bundle π:A→X relates to the standard adjunction of identities to the fibers.
Michael Roitman
2003-01-01
In this paper we prove that for any commutative (but in general non-associative) algebra $A$ with an invariant symmetric non-degenerate bilinear form there is a graded vertex algebra $V = V_0 \\oplus V_2 \\oplus V_3\\oplus ...$, such that $\\dim V_0 = 1$ and $V_2$ contains $A$. We can choose $V$ so that if $A$ has a unit $e$, then $2e$ is the Virasoro element of $V$, and if $G$ is a finite group of automorphisms of $A$, then $G$ acts on $V$ as well. In addition, the algebra $V$ can be chosen with...
Meadow enriched ACP process algebras
J.A. Bergstra; Middelburg, C.A.
2009-01-01
We introduce the notion of an ACP process algebra. The models of the axiom system ACP are the origin of this notion. ACP process algebras have to do with processes in which no data are involved. We also introduce the notion of a meadow enriched ACP process algebra, which is a simple generalization of the notion of an ACP process algebra to processes in which data are involved. In meadow enriched ACP process algebras, the mathematical structure for data is a meadow.
Algebraic Properties of Propositional Calculus
Schuh, Bernd R.
2009-01-01
In this short note we relate some known properties of propositional calculus to purely algebraic considerations of a Boolean algebra. Classes of formulas of propositional calculus are considered as elements of a Boolean algebra. As such they can be represented by uniquely defined elements of this algebra which we call "logical primes". The algebraic notations appear useful because they make it possible to derive well known properties of propositional calculus by simple calculations or to subs...
Hom-power associative algebras
Yau, Donald
2010-01-01
A generalization of power associative algebra, called Hom-power associative algebra, is studied. The main result says that a multiplicative Hom-algebra is Hom-power associative if and only if it satisfies two identities of degrees three and four. It generalizes Albert's result that power associativity is equivalent to third and fourth power associativity. In particular, multiplicative right Hom-alternative algebras and non-commutative Hom-Jordan algebras are Hom-power associative.
On isomorphisms of integral table algebras
Institute of Scientific and Technical Information of China (English)
FAN; Yun(樊恽); SUN; Daying(孙大英)
2002-01-01
For integral table algebras with integral table basis T, we can consider integral R-algebra RT over a subring R of the ring of the algebraic integers. It is proved that an R-algebra isomorphism between two integral table algebras must be an integral table algebra isomorphism if it is compatible with the so-called normalizings of the integral table algebras.
Cameron, Peter J
2007-01-01
This Second Edition of a classic algebra text includes updated and comprehensive introductory chapters,. new material on axiom of Choice, p-groups and local rings, discussion of theory and applications, and over 300 exercises. It is an ideal introductory text for all Year 1 and 2 undergraduate students in mathematics. - ;Developed to meet the needs of modern students, this Second Edition of the classic algebra text by Peter Cameron covers all the abstract algebra an undergraduate student is likely to need. Starting with an introductory overview of numbers, sets and functions, matrices, polynomials, and modular arithmetic, the text then introduces the most important algebraic structures: groups, rings and fields, and their properties. This is followed by coverage of vector spaces and modules with. applications to abelian groups and canonical forms before returning to the construction of the number systems, including the existence of transcendental numbers. The final chapters take the reader further into the th...
Axler, Sheldon
2015-01-01
This best-selling textbook for a second course in linear algebra is aimed at undergrad math majors and graduate students. The novel approach taken here banishes determinants to the end of the book. The text focuses on the central goal of linear algebra: understanding the structure of linear operators on finite-dimensional vector spaces. The author has taken unusual care to motivate concepts and to simplify proofs. A variety of interesting exercises in each chapter helps students understand and manipulate the objects of linear algebra. The third edition contains major improvements and revisions throughout the book. More than 300 new exercises have been added since the previous edition. Many new examples have been added to illustrate the key ideas of linear algebra. New topics covered in the book include product spaces, quotient spaces, and dual spaces. Beautiful new formatting creates pages with an unusually pleasant appearance in both print and electronic versions. No prerequisites are assumed other than the ...
Indian Academy of Sciences (India)
Vijay Kodiyalam; R Srinivasan; V S Sunder
2000-08-01
In this paper, we study a tower $\\{A^G_n(d):n≥ 1\\}$ of finite-dimensional algebras; here, represents an arbitrary finite group, denotes a complex parameter, and the algebra $A^G_n(d)$ has a basis indexed by `-stable equivalence relations' on a set where acts freely and has 2 orbits. We show that the algebra $A^G_n(d)$ is semi-simple for all but a finite set of values of , and determine the representation theory (or, equivalently, the decomposition into simple summands) of this algebra in the `generic case'. Finally we determine the Bratteli diagram of the tower $\\{A^G_n(d): n≥ 1\\}$ (in the generic case).
Introduction to abstract algebra
Nicholson, W Keith
2012-01-01
Praise for the Third Edition ". . . an expository masterpiece of the highest didactic value that has gained additional attractivity through the various improvements . . ."-Zentralblatt MATH The Fourth Edition of Introduction to Abstract Algebra continues to provide an accessible approach to the basic structures of abstract algebra: groups, rings, and fields. The book's unique presentation helps readers advance to abstract theory by presenting concrete examples of induction, number theory, integers modulo n, and permutations before the abstract structures are defined. Readers can immediately be
Institute of Scientific and Technical Information of China (English)
Antonio AIZPURU; Antonio GUTI(E)RREZ-D(A)VILA
2004-01-01
In this paper we will study some families and subalgebras ( ) of ( )(N) that let us characterize the unconditional convergence of series through the weak convergence of subseries ∑i∈A xi, A ∈ ( ).As a consequence, we obtain a new version of the Orlicz-Pettis theorem, for Banach spaces. We also study some relationships between algebraic properties of Boolean algebras and topological properties of the corresponding Stone spaces.
Geometric Algebra for Physicists
Doran, Chris; Lasenby, Anthony
2007-11-01
Preface; Notation; 1. Introduction; 2. Geometric algebra in two and three dimensions; 3. Classical mechanics; 4. Foundations of geometric algebra; 5. Relativity and spacetime; 6. Geometric calculus; 7. Classical electrodynamics; 8. Quantum theory and spinors; 9. Multiparticle states and quantum entanglement; 10. Geometry; 11. Further topics in calculus and group theory; 12. Lagrangian and Hamiltonian techniques; 13. Symmetry and gauge theory; 14. Gravitation; Bibliography; Index.
Intermediate algebra a textworkbook
McKeague, Charles P
1985-01-01
Intermediate Algebra: A Text/Workbook, Second Edition focuses on the principles, operations, and approaches involved in intermediate algebra. The publication first takes a look at basic properties and definitions, first-degree equations and inequalities, and exponents and polynomials. Discussions focus on properties of exponents, polynomials, sums, and differences, multiplication of polynomials, inequalities involving absolute value, word problems, first-degree inequalities, real numbers, opposites, reciprocals, and absolute value, and addition and subtraction of real numbers. The text then ex
Andrilli, Stephen
2010-01-01
Elementary Linear Algebra develops and explains in careful detail the computational techniques and fundamental theoretical results central to a first course in linear algebra. This highly acclaimed text focuses on developing the abstract thinking essential for further mathematical study. The authors give early, intensive attention to the skills necessary to make students comfortable with mathematical proofs. The text builds a gradual and smooth transition from computational results to general theory of abstract vector spaces. It also provides flexbile coverage of practical applications, expl
Intermediate algebra & analytic geometry
Gondin, William R
1967-01-01
Intermediate Algebra & Analytic Geometry Made Simple focuses on the principles, processes, calculations, and methodologies involved in intermediate algebra and analytic geometry. The publication first offers information on linear equations in two unknowns and variables, functions, and graphs. Discussions focus on graphic interpretations, explicit and implicit functions, first quadrant graphs, variables and functions, determinate and indeterminate systems, independent and dependent equations, and defective and redundant systems. The text then examines quadratic equations in one variable, system
Law, Shirley
2014-01-01
International audience A general lattice theoretic construction of Reading constructs Hopf subalgebras of the Malvenuto-Reutenauer Hopf algebra (MR) of permutations. The products and coproducts of these Hopf subalgebras are defined extrinsically in terms of the embedding in MR. The goal of this paper is to find an intrinsic combinatorial description of a particular one of these Hopf subalgebras. This Hopf algebra has a natural basis given by permutations that we call Pell permutations. The...
Holomorphically Equivalent Algebraic Embeddings
Feller, Peter; Stampfli, Immanuel
2014-01-01
We prove that two algebraic embeddings of a smooth variety $X$ in $\\mathbb{C}^m$ are the same up to a holomorphic coordinate change, provided that $2 \\dim X + 1$ is smaller than or equal to $m$. This improves an algebraic result of Nori and Srinivas. For the proof we extend a technique of Kaliman using generic linear projections of $\\mathbb{C}^m$.
Beginning algebra a textworkbook
McKeague, Charles P
1985-01-01
Beginning Algebra: A Text/Workbook, Second Edition focuses on the principles, operations, and approaches involved in algebra. The publication first elaborates on the basics, linear equations and inequalities, and graphing and linear systems. Discussions focus on solving linear systems by graphing, elimination method, graphing ordered pairs and straight lines, linear and compound inequalities, addition and subtraction of real numbers, and properties of real numbers. The text then examines exponents and polynomials, factoring, and rational expressions. Topics include multiplication and division
Differential Hopf algebra structures on the universal enveloping algebra ofa Lie algebra
Hijligenberg, van den, N.W.; Martini, R.
1995-01-01
We discuss a method to construct a De Rham complex (differential algebra) of Poincar'e-Birkhoff-Witt-type on the universal enveloping algebra of a Lie algebra $g$. We determine the cases in which this gives rise to a differential Hopf algebra that naturally extends the Hopf algebra structure of $U(g)$. The construction of such differential structures is interpreted in terms of colour Lie superalgebras.
Topological ∗-algebras with *-enveloping Algebras II
Indian Academy of Sciences (India)
S J Bhatt
2001-02-01
Universal *-algebras *() exist for certain topological ∗-algebras called algebras with a *-enveloping algebra. A Frechet ∗-algebra has a *-enveloping algebra if and only if every operator representation of maps into bounded operators. This is proved by showing that every unbounded operator representation , continuous in the uniform topology, of a topological ∗-algebra , which is an inverse limit of Banach ∗-algebras, is a direct sum of bounded operator representations, thereby factoring through the enveloping pro-* algebra () of . Given a *-dynamical system (, , ), any topological ∗-algebra containing (, ) as a dense ∗-subalgebra and contained in the crossed product *-algebra *(, , ) satisfies ()=*(, , ). If $G = \\mathbb{R}$, if is an -invariant dense Frechet ∗-subalgebra of such that () = , and if the action on is -tempered, smooth and by continuous ∗-automorphisms: then the smooth Schwartz crossed product $S(\\mathbb{R}, B, )$ satisfies $E(S(\\mathbb{R}, B, )) = C^*(\\mathbb{R}, A, )$. When is a Lie group, the ∞-elements ∞(), the analytic elements () as well as the entire analytic elements () carry natural topologies making them algebras with a *-enveloping algebra. Given a non-unital *-algebra , an inductive system of ideals is constructed satisfying $A = C^*-\\mathrm{ind} \\lim I_$; and the locally convex inductive limit $\\mathrm{ind}\\lim I_$ is an -convex algebra with the *-enveloping algebra and containing the Pedersen ideal of . Given generators with weakly Banach admissible relations , we construct universal topological ∗-algebra (, ) and show that it has a *-enveloping algebra if and only if (, ) is *-admissible.
Institute of Scientific and Technical Information of China (English)
An Hui-hui; Wang Zhi-chun
2016-01-01
L-octo-algebra with 8 operations as the Lie algebraic analogue of octo-algebra such that the sum of 8 operations is a Lie algebra is discussed. Any octo-algebra is an L-octo-algebra. The relationships among L-octo-algebras, L-quadri-algebras, L-dendriform algebras, pre-Lie algebras and Lie algebras are given. The close relationships between L-octo-algebras and some interesting structures like Rota-Baxter operators, classical Yang-Baxter equations and some bilinear forms satisfying certain conditions are given also.
Axis Problem of Rough 3-Valued Algebras
Institute of Scientific and Technical Information of China (English)
Jianhua Dai; Weidong Chen; Yunhe Pan
2006-01-01
The collection of all the rough sets of an approximation space has been given several algebraic interpretations, including Stone algebras, regular double Stone algebras, semi-simple Nelson algebras, pre-rough algebras and 3-valued Lukasiewicz algebras. A 3-valued Lukasiewicz algebra is a Stone algebra, a regular double Stone algebra, a semi-simple Nelson algebra, a pre-rough algebra. Thus, we call the algebra constructed by the collection of rough sets of an approximation space a rough 3-valued Lukasiewicz algebra. In this paper,the rough 3-valued Lukasiewicz algebras, which are a special kind of 3-valued Lukasiewicz algebras, are studied. Whether the rough 3-valued Lukasiewicz algebra is a axled 3-valued Lukasiewicz algebra is examined.
Institute of Scientific and Technical Information of China (English)
无
2001-01-01
Over a field F of arbitrary characteristic, we define the associative and the Lie algebras of Weyl type on the same vector space A［D]=A［D] from any pair of a commutative associative algebra A with an identity element and the polynomial algebra ［D] of a commutative derivation subalgebra D of A. We prove that A[D], as a Lie algebra (modulo its center) or as an associative algebra, is simple if and only if A is D－simple and A［D] acts faithfully on A. Thus we obtain a lot of simple algebras.
Simple Algebras of Invariant Operators
Institute of Scientific and Technical Information of China (English)
Xiaorong Shen; J.D.H. Smith
2001-01-01
Comtrans algebras were introduced in as algebras with two trilinear operators, a commutator [x, y, z] and a translator , which satisfy certain identities. Previously known simple comtrans algebras arise from rectangular matrices, simple Lie algebras, spaces equipped with a bilinear form having trivial radical, spaces of hermitian operators over a field with a minimum polynomial x2+1. This paper is about generalizing the hermitian case to the so-called invariant case. The main result of this paper shows that the vector space of n-dimensional invariant operators furnishes some comtrans algebra structures, which are simple provided that certain Jordan and Lie algebras are simple.
Abstract Algebra for Algebra Teaching: Influencing School Mathematics Instruction
Wasserman, Nicholas H.
2016-01-01
This article explores the potential for aspects of abstract algebra to be influential for the teaching of school algebra (and early algebra). Using national standards for analysis, four primary areas common in school mathematics--and their progression across elementary, middle, and secondary mathematics--where teaching may be transformed by…
Rings of quotients of incidence algebras and path algebras
DEFF Research Database (Denmark)
Esparza, Eduardo Ortega
2006-01-01
We compute the maximal right/left/symmetric rings of quotients of finite dimensional incidence and graph algebras. We show that these rings of quotients are Morita equivalent to incidence algebras and path algebras respectively, with respect to simpler, well determined partially ordered sets...
The Planar Algebra Associated to a Kac Algebra
Indian Academy of Sciences (India)
Vijay Kodiyalam; Zeph Landau; V S Sunder
2003-02-01
We obtain (two equivalent) presentations – in terms of generators and relations-of the planar algebra associated with the subfactor corresponding to (an outer action on a factor by) a finite-dimensional Kac algebra. One of the relations shows that the antipode of the Kac algebra agrees with the `rotation on 2-boxes'.
Structure of Solvable Quadratic Lie Algebras
Institute of Scientific and Technical Information of China (English)
ZHU Lin-sheng
2005-01-01
@@ Killing form plays a key role in the theory of semisimple Lie algebras. It is natural to extend the study to Lie algebras with a nondegenerate symmetric invariant bilinear form. Such a Lie algebra is generally called a quadratic Lie algebra which occur naturally in physics[10,12,13]. Besides semisimple Lie algebras, interesting quadratic Lie algebras include the Kac-Moody algebras and the Extended Affine Lie algebras.
Algebraic totality, towards completeness
Tasson, Christine
2009-01-01
Finiteness spaces constitute a categorical model of Linear Logic (LL) whose objects can be seen as linearly topologised spaces, (a class of topological vector spaces introduced by Lefschetz in 1942) and morphisms as continuous linear maps. First, we recall definitions of finiteness spaces and describe their basic properties deduced from the general theory of linearly topologised spaces. Then we give an interpretation of LL based on linear algebra. Second, thanks to separation properties, we can introduce an algebraic notion of totality candidate in the framework of linearly topologised spaces: a totality candidate is a closed affine subspace which does not contain 0. We show that finiteness spaces with totality candidates constitute a model of classical LL. Finally, we give a barycentric simply typed lambda-calculus, with booleans ${\\mathcal{B}}$ and a conditional operator, which can be interpreted in this model. We prove completeness at type ${\\mathcal{B}}^n\\to{\\mathcal{B}}$ for every n by an algebraic metho...
Blyth, T S
2002-01-01
Basic Linear Algebra is a text for first year students leading from concrete examples to abstract theorems, via tutorial-type exercises. More exercises (of the kind a student may expect in examination papers) are grouped at the end of each section. The book covers the most important basics of any first course on linear algebra, explaining the algebra of matrices with applications to analytic geometry, systems of linear equations, difference equations and complex numbers. Linear equations are treated via Hermite normal forms which provides a successful and concrete explanation of the notion of linear independence. Another important highlight is the connection between linear mappings and matrices leading to the change of basis theorem which opens the door to the notion of similarity. This new and revised edition features additional exercises and coverage of Cramer's rule (omitted from the first edition). However, it is the new, extra chapter on computer assistance that will be of particular interest to readers:...
Algebraic quantum field theory
International Nuclear Information System (INIS)
The basic assumption that the complete information relevant for a relativistic, local quantum theory is contained in the net structure of the local observables of this theory results first of all in a concise formulation of the algebraic structure of the superselection theory and an intrinsic formulation of charge composition, charge conjugation and the statistics of an algebraic quantum field theory. In a next step, the locality of massive particles together with their spectral properties are wed for the formulation of a selection criterion which opens the access to the massive, non-abelian quantum gauge theories. The role of the electric charge as a superselection rule results in the introduction of charge classes which in term lead to a set of quantum states with optimum localization properties. Finally, the asymptotic observables of quantum electrodynamics are investigated within the framework of algebraic quantum field theory. (author)
Jarvis, Frazer
2014-01-01
The technical difficulties of algebraic number theory often make this subject appear difficult to beginners. This undergraduate textbook provides a welcome solution to these problems as it provides an approachable and thorough introduction to the topic. Algebraic Number Theory takes the reader from unique factorisation in the integers through to the modern-day number field sieve. The first few chapters consider the importance of arithmetic in fields larger than the rational numbers. Whilst some results generalise well, the unique factorisation of the integers in these more general number fields often fail. Algebraic number theory aims to overcome this problem. Most examples are taken from quadratic fields, for which calculations are easy to perform. The middle section considers more general theory and results for number fields, and the book concludes with some topics which are more likely to be suitable for advanced students, namely, the analytic class number formula and the number field sieve. This is the fi...
Directory of Open Access Journals (Sweden)
Michael Roitman
2008-08-01
Full Text Available In this paper we prove that for any commutative (but in general non-associative algebra A with an invariant symmetric non-degenerate bilinear form there is a graded vertex algebra V = V_0 oplus V2 oplus V3 oplus ..., such that dim V_0 = 1 and V_2 contains A. We can choose V so that if A has a unit e, then 2e is the Virasoro element of V, and if G is a finite group of automorphisms of A, then G acts on V as well. In addition, the algebra V can be chosen with a non-degenerate invariant bilinear form, in which case it is simple.
Roitman, Michael
2008-08-01
In this paper we prove that for any commutative (but in general non-associative) algebra A with an invariant symmetric non-degenerate bilinear form there is a graded vertex algebra V = V0 Å V2 Å V3 Å ¼, such that dim V0 = 1 and V2 contains A. We can choose V so that if A has a unit e, then 2e is the Virasoro element of V, and if G is a finite group of automorphisms of A, then G acts on V as well. In addition, the algebra V can be chosen with a non-degenerate invariant bilinear form, in which case it is simple.
Algebra for Gifted Third Graders.
Borenson, Henry
1987-01-01
Elementary school children who are exposed to a concrete, hands-on experience in algebraic linear equations will more readily develop a positive mind-set and expectation for success in later formal, algebraic studies. (CB)
Indian Academy of Sciences (India)
Anil K Karn
2003-02-01
Order unit property of a positive element in a *-algebra is defined. It is proved that precisely projections satisfy this order theoretic property. This way, unital hereditary *-subalgebras of a *-algebra are characterized.
Computer Program For Linear Algebra
Krogh, F. T.; Hanson, R. J.
1987-01-01
Collection of routines provided for basic vector operations. Basic Linear Algebra Subprogram (BLAS) library is collection from FORTRAN-callable routines for employing standard techniques to perform basic operations of numerical linear algebra.
Principles of algebraic geometry
Griffiths, Phillip A
1994-01-01
A comprehensive, self-contained treatment presenting general results of the theory. Establishes a geometric intuition and a working facility with specific geometric practices. Emphasizes applications through the study of interesting examples and the development of computational tools. Coverage ranges from analytic to geometric. Treats basic techniques and results of complex manifold theory, focusing on results applicable to projective varieties, and includes discussion of the theory of Riemann surfaces and algebraic curves, algebraic surfaces and the quadric line complex as well as special top
Reed, Nat
2011-01-01
For grades 3-5, our State Standards-based combined resource meets the algebraic concepts addressed by the NCTM standards and encourages the students to review the concepts in unique ways. The task sheets introduce the mathematical concepts to the students around a central problem taken from real-life experiences, while the drill sheets provide warm-up and timed practice questions for the students to strengthen their procedural proficiency skills. Included are opportunities for problem-solving, patterning, algebraic graphing, equations and determining averages. The combined task & drill sheets
Reed, Nat
2011-01-01
For grades 6-8, our State Standards-based combined resource meets the algebraic concepts addressed by the NCTM standards and encourages the students to review the concepts in unique ways. The task sheets introduce the mathematical concepts to the students around a central problem taken from real-life experiences, while the drill sheets provide warm-up and timed practice questions for the students to strengthen their procedural proficiency skills. Included are opportunities for problem-solving, patterning, algebraic graphing, equations and determining averages. The combined task & drill sheets
Recollements of extension algebras
Institute of Scientific and Technical Information of China (English)
CHEN; Qinghua(陈清华); LIN; Yanan(林亚南)
2003-01-01
Let A be a finite-dimensional algebra over arbitrary base field k. We prove: if the unbounded derived module category D-(Mod-A) admits symmetric recollement relative to unbounded derived module categories of two finite-dimensional k-algebras B and C:D-(Mod- B) ( ) D-(Mod- A) ( ) D-(Mod- C),then the unbounded derived module category D-(Mod - T(A)) admits symmetric recollement relative to the unbounded derived module categories of T(B) and T(C):D-(Mod - T(B)) ( ) D-(Mod - T(A)) ( ) D-(Mod - T(C)).
Hogben, Leslie
2013-01-01
With a substantial amount of new material, the Handbook of Linear Algebra, Second Edition provides comprehensive coverage of linear algebra concepts, applications, and computational software packages in an easy-to-use format. It guides you from the very elementary aspects of the subject to the frontiers of current research. Along with revisions and updates throughout, the second edition of this bestseller includes 20 new chapters.New to the Second EditionSeparate chapters on Schur complements, additional types of canonical forms, tensors, matrix polynomials, matrix equations, special types of
Cooperstein, Bruce
2010-01-01
Vector SpacesFieldsThe Space FnVector Spaces over an Arbitrary Field Subspaces of Vector SpacesSpan and IndependenceBases and Finite Dimensional Vector SpacesBases and Infinite Dimensional Vector SpacesCoordinate VectorsLinear TransformationsIntroduction to Linear TransformationsThe Range and Kernel of a Linear TransformationThe Correspondence and Isomorphism TheoremsMatrix of a Linear TransformationThe Algebra of L(V, W) and Mmn(F)Invertible Transformations and MatricesPolynomialsThe Algebra of PolynomialsRoots of PolynomialsTheory of a Single Linear OperatorInvariant Subspaces of an Operator
Algebra & trigonometry super review
2012-01-01
Get all you need to know with Super Reviews! Each Super Review is packed with in-depth, student-friendly topic reviews that fully explain everything about the subject. The Algebra and Trigonometry Super Review includes sets and set operations, number systems and fundamental algebraic laws and operations, exponents and radicals, polynomials and rational expressions, equations, linear equations and systems of linear equations, inequalities, relations and functions, quadratic equations, equations of higher order, ratios, proportions, and variations. Take the Super Review quizzes to see how much y
Weiss, Edwin
1998-01-01
Careful organization and clear, detailed proofs characterize this methodical, self-contained exposition of basic results of classical algebraic number theory from a relatively modem point of view. This volume presents most of the number-theoretic prerequisites for a study of either class field theory (as formulated by Artin and Tate) or the contemporary treatment of analytical questions (as found, for example, in Tate's thesis).Although concerned exclusively with algebraic number fields, this treatment features axiomatic formulations with a considerable range of applications. Modem abstract te
Kendig, Keith
2015-01-01
Designed to make learning introductory algebraic geometry as easy as possible, this text is intended for advanced undergraduates and graduate students who have taken a one-year course in algebra and are familiar with complex analysis. This newly updated second edition enhances the original treatment's extensive use of concrete examples and exercises with numerous figures that have been specially redrawn in Adobe Illustrator. An introductory chapter that focuses on examples of curves is followed by a more rigorous and careful look at plane curves. Subsequent chapters explore commutative ring th
Hohn, Franz E
2012-01-01
This complete and coherent exposition, complemented by numerous illustrative examples, offers readers a text that can teach by itself. Fully rigorous in its treatment, it offers a mathematically sound sequencing of topics. The work starts with the most basic laws of matrix algebra and progresses to the sweep-out process for obtaining the complete solution of any given system of linear equations - homogeneous or nonhomogeneous - and the role of matrix algebra in the presentation of useful geometric ideas, techniques, and terminology.Other subjects include the complete treatment of the structur
International Nuclear Information System (INIS)
In this paper, we begin the study of zero-dimensional field theories with fields taking values in a semistrict Lie 2-algebra. These theories contain the IKKT matrix model and various M-brane related models as special cases. They feature solutions that can be interpreted as quantized 2-plectic manifolds. In particular, we find solutions corresponding to quantizations of ℝ3, S3 and a five-dimensional Hpp-wave. Moreover, by expanding a certain class of Lie 2-algebra models around the solution corresponding to quantized ℝ3, we obtain higher BF-theory on this quantized space
Algebra & trigonometry I essentials
REA, Editors of
2012-01-01
REA's Essentials provide quick and easy access to critical information in a variety of different fields, ranging from the most basic to the most advanced. As its name implies, these concise, comprehensive study guides summarize the essentials of the field covered. Essentials are helpful when preparing for exams, doing homework and will remain a lasting reference source for students, teachers, and professionals. Algebra & Trigonometry I includes sets and set operations, number systems and fundamental algebraic laws and operations, exponents and radicals, polynomials and rational expressions, eq
Partially ordered algebraic systems
Fuchs, Laszlo
2011-01-01
Originally published in an important series of books on pure and applied mathematics, this monograph by a distinguished mathematician explores a high-level area in algebra. It constitutes the first systematic summary of research concerning partially ordered groups, semigroups, rings, and fields. The self-contained treatment features numerous problems, complete proofs, a detailed bibliography, and indexes. It presumes some knowledge of abstract algebra, providing necessary background and references where appropriate. This inexpensive edition of a hard-to-find systematic survey will fill a gap i
Energy Technology Data Exchange (ETDEWEB)
Christian, J M; McDonald, G S [Joule Physics Laboratory, School of Computing, Science and Engineering, Materials and Physics Research Centre, University of Salford, Salford M5 4WT (United Kingdom); Chamorro-Posada, P, E-mail: j.christian@salford.ac.u [Departamento de Teoria de la Senal y Comunicaciones e Ingenieria Telematica, Universidad de Valladolid, ETSI Telecomunicacion, Campus Miguel Delibes s/n, 47011 Valladolid (Spain)
2010-02-26
We report, to the best of our knowledge, the first exact analytical algebraic solitons of a generalized cubic-quintic Helmholtz equation. This class of governing equation plays a key role in photonics modelling, allowing a full description of the propagation and interaction of broad scalar beams. New conservation laws are presented, and the recovery of paraxial results is discussed in detail. The stability properties of the new solitons are investigated by combining semi-analytical methods and computer simulations. In particular, new general stability regimes are reported for algebraic bright solitons.
Endomorphisms of graph algebras
DEFF Research Database (Denmark)
Conti, Roberto; Hong, Jeong Hee; Szymanski, Wojciech
2012-01-01
We initiate a systematic investigation of endomorphisms of graph C*-algebras C*(E), extending several known results on endomorphisms of the Cuntz algebras O_n. Most but not all of this study is focused on endomorphisms which permute the vertex projections and globally preserve the diagonal MASA D...... that the restriction to the diagonal MASA of an automorphism which globally preserves both D_E and the core AF-subalgebra eventually commutes with the corresponding one-sided shift. Secondly, we exhibit several properties of proper endomorphisms, investigate invertibility of localized endomorphisms both on C...
Automorphism groups of pointed Hopf algebras
Institute of Scientific and Technical Information of China (English)
YANG Shilin
2007-01-01
The group of Hopf algebra automorphisms for a finite-dimensional semisimple cosemisimple Hopf algebra over a field k was considered by Radford and Waterhouse. In this paper, the groups of Hopf algebra automorphisms for two classes of pointed Hopf algebras are determined. Note that the Hopf algebras we consider are not semisimple Hopf algebras.
Derivations of generalized Weyl algebras
Institute of Scientific and Technical Information of China (English)
SU; Yucai(苏育才)
2003-01-01
A class of the associative and Lie algebras A[D] = A × F[D] of Weyl type are studied, where Ais a commutative associative algebra with an identity element over a field F of characteristic zero, and F[D] isthe polynomial algebra of a finite dimensional commutative subalgebra of locally finite derivations of A suchthat A is D-simple. The derivations of these associative and Lie algebras are precisely determined.
The theory of algebraic numbers
Pollard, Harry
1998-01-01
An excellent introduction to the basics of algebraic number theory, this concise, well-written volume examines Gaussian primes; polynomials over a field; algebraic number fields; and algebraic integers and integral bases. After establishing a firm introductory foundation, the text explores the uses of arithmetic in algebraic number fields; the fundamental theorem of ideal theory and its consequences; ideal classes and class numbers; and the Fermat conjecture. 1975 edition. References. List of Symbols. Index.
Optimal Algorithm for Algebraic Factoring
Institute of Scientific and Technical Information of China (English)
支丽红
1997-01-01
This paper presents on optimized method for factoring multivariate polynomials over algebraic extension fields defined by an irreducible ascending set. The basic idea is to convert multivariate polynomials to univariate polynomials and algebraic extension fields to algebraic number fields by suitable integer substituteions.Then factorize the univariate polynomials over the algebraic number fields.Finally,construct mulativariate factors of the original polynomial by Hensel lemma and TRUEFACTOR test.Some examples with timing are included.
Meadow enriched ACP process algebras
J.A. Bergstra; C.A. Middelburg
2009-01-01
We introduce the notion of an ACP process algebra. The models of the axiom system ACP are the origin of this notion. ACP process algebras have to do with processes in which no data are involved. We also introduce the notion of a meadow enriched ACP process algebra, which is a simple generalization o
Laan, P. van der
2001-01-01
In the literature several Hopf algebras that can be described in terms of trees have been studied. This paper tries to answer the question whether one can understand some of these Hopf algebras in terms of a single mathematical construction. The starting point is the Hopf algebra of rooted trees as
Computer Algebra in Particle Physics
Weinzierl, Stefan
2002-01-01
These lectures given to graduate students in theoretical particle physics, provide an introduction to the ``inner workings'' of computer algebra systems. Computer algebra has become an indispensable tool for precision calculations in particle physics. A good knowledge of the basics of computer algebra systems allows one to exploit these systems more efficiently.
An Algebra of Reversible Computation
Wang, Yong
2014-01-01
We design an axiomatization for reversible computation called reversible ACP (RACP). It has four extendible modules, basic reversible processes algebra (BRPA), algebra of reversible communicating processes (ARCP), recursion and abstraction. Just like process algebra ACP in classical computing, RACP can be treated as an axiomatization foundation for reversible computation.
The Maximal Graded Left Quotient Algebra of a Graded Algebra
Institute of Scientific and Technical Information of China (English)
Gonzalo ARANDA PINO; Mercedes SILES MOLINA
2006-01-01
We construct the maximal graded left quotient algebra of every graded algebra A without homogeneous total right zero divisors as the direct limit of graded homomorphisms (of left A-modules)from graded dense left ideals of A into a graded left quotient algebra of A. In the case of a superalgebra,and with some extra hypothesis, we prove that the component in the neutral element of the group of the maximal graded left quotient algebra coincides with the maximal left quotient algebra of the component in the neutral element of the group of the superalgebra.
Certain associative algebras similar to $U(sl_{2})$ and Zhu's algebra $A(V_{L})$
Dong, Chongying; Li, Haisheng; Mason, Geoffrey
1996-01-01
It is proved that Zhu's algebra for vertex operator algebra associated to a positive-definite even lattice of rank one is a finite-dimensional semiprimitive quotient algebra of certain associative algebra introduced by Smith. Zhu's algebra for vertex operator algebra associated to any positive-definite even lattice is also calculated and is related to a generalization of Smith's algebra.
Observable Algebra in Field Algebra of G-spin Models
Institute of Scientific and Technical Information of China (English)
蒋立宁
2003-01-01
Field algebra of G-spin models can provide the simplest examples of lattice field theory exhibiting quantum symmetry. Let D(G) be the double algebra of a finite group G and D(H), a sub-algebra of D(G) determined by subgroup H of G. This paper gives concrete generators and the structure of the observable algebra AH, which is a D(H)-invariant sub-algebra in the field algebra of G-spin models F, and shows that AH is a C*-algebra. The correspondence between H and AH is strictly monotonic. Finally, a duality between D(H) and AH is given via an irreducible vacuum C*-representation of F.
Commutative algebra with a view toward algebraic geometry
Eisenbud, David
1995-01-01
Commutative Algebra is best understood with knowledge of the geometric ideas that have played a great role in its formation, in short, with a view towards algebraic geometry. The author presents a comprehensive view of commutative algebra, from basics, such as localization and primary decomposition, through dimension theory, differentials, homological methods, free resolutions and duality, emphasizing the origins of the ideas and their connections with other parts of mathematics. Many exercises illustrate and sharpen the theory and extended exercises give the reader an active part in complementing the material presented in the text. One novel feature is a chapter devoted to a quick but thorough treatment of Grobner basis theory and the constructive methods in commutative algebra and algebraic geometry that flow from it. Applications of the theory and even suggestions for computer algebra projects are included. This book will appeal to readers from beginners to advanced students of commutative algebra or algeb...
Boiteau, Denise; Stansfield, David
This document describes mathematical programs on the basic concepts of algebra produced by Louisiana Public Broadcasting. Programs included are: (1) "Inverse Operations"; (2) "The Order of Operations"; (3) "Basic Properties" (addition and multiplication of numbers and variables); (4) "The Positive and Negative Numbers"; and (5) "Using Positive…
Zapatrin, R R
1998-01-01
An algebraic scheme is suggested in which discretized spacetime turns out to be a quantum observable. As an example, a toy model producing spacetimes of four points with different topologies is presented. The possibility of incorporating this scheme into the framework of non-commutative differential geometry is discussed.
Questions on Algebraic Varieties
Marchionna, E
2011-01-01
P. Dolbeault: Residus et courants.- D. Mumford: Varieties defined by quadratic equations.- A. Neron: Hauteurs et theorie des intersections.- A. Seidenberg: Report on analytic product.- C.S. Seshadri: Moduli of p-vector bundles over an algebraic curve.- O. Zariski: Contributions to the problem of equi-singularity.
Algebraic topology and concurrency
DEFF Research Database (Denmark)
Fajstrup, Lisbeth; Raussen, Martin; Goubault, Eric
2006-01-01
We show in this article that some concepts from homotopy theory, in algebraic topology,are relevant for studying concurrent programs. We exhibit a natural semantics of semaphore programs, based on partially ordered topological spaces, which are studied up to “elastic deformation” or homotopy, giv...
Operation of Algebraic Fractions
Institute of Scientific and Technical Information of China (English)
2008-01-01
<正>The first step in factorizing algebraic expressions is to take out the common factors of all the terms of the expression.For example,2x~2+14x+24=2(x~2+7x+12)=2(x+3)(x+4) The three identities are also useful in factorizing some quadratic expressions:
Institute of Scientific and Technical Information of China (English)
SU; Yucai(
2001-01-01
［1］ Kawamoto, N., Generalizations of Witt algebras over a field of characteristic zero, Hiroshima Math. J., 1986, 16: 417.［2］ Osborn, J. M., New simple infinite－dimensional Lie algebras of characteristic 0, J. Alg., 1996, 185: 820.［3］ Dokovic, D. Z., Zhao, K., Derivations, isomorphisms, and second cohomology of generalized Witt algebras, Trans. of Amer. Math. Soc., 1998, 350(2): 643.［4］ Dokovic, D. Z., Zhao, K., Generalized Cartan type W Lie algebras in characteristic zero, J. Alg., 1997, 195: 170.［5］ Osborn, J. M., Zhao, K., Generalized Poisson bracket and Lie algebras of type H in characteristic 0, Math. Z., 1999, 230: 107.［6］ Osborn, J. M., Zhao, K., Generalized Cartan type K Lie algebras in characteristic 0, Comm. Alg., 1997, 25: 3325.［7］ Zhao, K., Isomorphisms between generalized Cartan type W Lie algebras in characteristic zero, Canadian J. Math., 1998, 50: 210.［8］ Passman, D. P., Simple Lie algebras of Witt type, J. Algebra, 1998, 206: 682.［9］ Jordan, D. A., On the simplicity of Lie algebras of derivations of commutative algebras, J. Alg., 2000, 206: 682.［10］ Xu, X., New generalized simple Lie algebras of Cartan type over a field with characteristic 0, J. Alg., 2000, 244: 23.［11］ Su, Y., Xu, X., Zhang, H., Derivation－simple algebras and the structures of Lie algebras of generalized Witt type, J. Alg., 2000, 233: 642.［12］ Dixmer, J., Enveloping Algebras, Amsterdam: North Holland, 1977.
On ultraproducts of operator algebras
Institute of Scientific and Technical Information of China (English)
LI Weihua
2005-01-01
Some basic questions on ultraproducts of C*-algebras and yon Neumann algebras, including the relation to K-theory of C*-algebras are considered. More specifically,we prove that under certain conditions, the K-groups of ultraproduct of C*-algebras are isomorphic to the ultraproduct of respective K-groups of C*-algebras. We also show that the ultraproducts of factors of type Ⅱ1 are prime, i.e. not isomorphic to any non-trivial tensor product.
Ockham Algebras Arising from Monoids
Institute of Scientific and Technical Information of China (English)
T.S. Blyth; H.J. Silva; J.C. Varlet
2001-01-01
An Ockham algebra (L; f) is of boolean shape if its lattice reduct L is boolean and f is not the complementation. We investigate a natural construction of Ockham algebras of boolean shape from any given monoid. Of particular interest is the question of when such algebras are subdirectly irreducible. In settling this, we obtain what is probably the first example of a subdirectly irreducible Ockham algebra that does not belong to the generalized variety Kω. We also prove that every semigroup can be embedded in the monoid of endomorphisms of an Ockham algebra of boolean shape.
Quantum algebra of $N$ superspace
Hatcher, N; Stephany, J
2006-01-01
We identify the quantum algebra of position and momentum operators for a quantum system in superspace bearing an irreducible representation of the super Poinca\\'e algebra. This algebra is noncommutative for the position operators. We use the properties of superprojectors in D=4 $N$ superspace to construct explicit position and momentum operators satisfying the algebra. They act on wave functions corresponding to different supermultiplets classified by its superspin. We show that the quantum algebra associated to the massive superparticle is a particular case described by a supermultiplet of superspin 0. This result generalizes the construction for D=4, N=1 reported recently.
Algebraic Approach to Algorithmic Logic
Directory of Open Access Journals (Sweden)
Bancerek Grzegorz
2014-09-01
Full Text Available We introduce algorithmic logic - an algebraic approach according to [25]. It is done in three stages: propositional calculus, quantifier calculus with equality, and finally proper algorithmic logic. For each stage appropriate signature and theory are defined. Propositional calculus and quantifier calculus with equality are explored according to [24]. A language is introduced with language signature including free variables, substitution, and equality. Algorithmic logic requires a bialgebra structure which is an extension of language signature and program algebra. While-if algebra of generator set and algebraic signature is bialgebra with appropriate properties and is used as basic type of algebraic logic.
Notes on Piecewise-Koszul Algebras
Institute of Scientific and Technical Information of China (English)
Jia Feng L(U); Xiao Lan YU
2011-01-01
The relationships between piecewise-Koszul algebras and other "Koszul-type" algebras are discussed.. The Yoneda-Ext algebra and the dual algebra of a piecewise-Koszul algebra are studied, and a sufficient condition for the dual algebra A to be piecewise-Koszul is given. Finally, by studying the trivial extension algebras of the path algebras of Dynkin quivers in bipartite orientation, we give explicit constructions for piecewise-Koszul algebras with arbitrary "period" and piecewise-Koszul algebras with arbitrary "jump-degree".
The Green formula and heredity of algebras
Institute of Scientific and Technical Information of China (English)
无
2005-01-01
[1]Green, J. A., Hall algebras, hereditary algebras and quantum groups, Invent. Math. 1995, 120: 361-377.[2]Ringel, C. M., Green's theorem on Hall algebras, in Representations of Algebras and Related Topics, CMS Conference Proceedings 19, Providence, 1996, 185-245.[3]Xiao J., Drinfeld double and Ringel-Green theory of Hall Algebras, J. Algebra, 1997, 190: 100-144.[4]Sevenhant, B., Van den Bergh, M., A relation between a conjecture of Kac and the structure of the Hall algebra,J. Pure Appl. Algebra, 2001, 160: 319-332.[5]Deng B., Xiao, J., On double Ringel-Hall algebras, J. Algebra, 2002, 251: 110-149.
Operator algebras and topology
International Nuclear Information System (INIS)
These notes, based on three lectures on operator algebras and topology at the 'School on High Dimensional Manifold Theory' at the ICTP in Trieste, introduce a new set of tools to high dimensional manifold theory, namely techniques coming from the theory of operator algebras, in particular C*-algebras. These are extensively studied in their own right. We will focus on the basic definitions and properties, and on their relevance to the geometry and topology of manifolds. A central pillar of work in the theory of C*-algebras is the Baum-Connes conjecture. This is an isomorphism conjecture, as discussed in the talks of Luck, but with a certain special flavor. Nevertheless, it has important direct applications to the topology of manifolds, it implies e.g. the Novikov conjecture. In the first chapter, the Baum-Connes conjecture will be explained and put into our context. Another application of the Baum-Connes conjecture is to the positive scalar curvature question. This will be discussed by Stephan Stolz. It implies the so-called 'stable Gromov-Lawson-Rosenberg conjecture'. The unstable version of this conjecture said that, given a closed spin manifold M, a certain obstruction, living in a certain (topological) K-theory group, vanishes if and only M admits a Riemannian metric with positive scalar curvature. It turns out that this is wrong, and counterexamples will be presented in the second chapter. The third chapter introduces another set of invariants, also using operator algebra techniques, namely L2-cohomology, L2-Betti numbers and other L2-invariants. These invariants, their basic properties, and the central questions about them, are introduced in the third chapter. (author)
$A\\mathcal{T}$-Algebras and Extensions of $AT$-Algebras
Indian Academy of Sciences (India)
Hongliang Yao
2010-04-01
Lin and Su classified $A\\mathcal{T}$-algebras of real rank zero. This class includes all $A\\mathbb{T}$-algebras of real rank zero as well as many *-algebras which are not stably finite. An $A\\mathcal{T}$-algebra often becomes an extension of an $A\\mathbb{T}$-algebra by an -algebra. In this paper, we show that there is an essential extension of an $A\\mathbb{T}$-algebra by an -algebra which is not an $A\\mathcal{T}$-algebra. We describe a characterization of an extension of an $A\\mathbb{T}$-algebra by an -algebra if is an $A\\mathcal{T}$-algebra.
Proposition Algebra with Projective Limits
Bergstra, J A
2008-01-01
Sequential logic deviates from propositional logic by taking into account that atomic propositions yield different Boolean values at different times during the sequential evaluation of a single proposition. Reactive valuations capture this dynamics of a proposition's environment. This logic is phrased as an equationally specified algebra rather than in the form of proof rules. It is strictly more general than Boolean algebra to the extent that the classical connectives fail to be expressively complete in the sequential case. The proposition algebra PRA is developed in a fashion similar to the process algebra ACP and the program algebra PGA via an algebraic specification which has a meaningful initial algebra for which a range of courser congruences are considered important as well. In addition infinite objects (that is propositions, processes and programs respectively) are preferably dealt with by means of an inverse limit construction which allows the transfer of knowledge concerning finite objects to facts ...
Algebraic connectivity and graph robustness.
Energy Technology Data Exchange (ETDEWEB)
Feddema, John Todd; Byrne, Raymond Harry; Abdallah, Chaouki T. (University of New Mexico)
2009-07-01
Recent papers have used Fiedler's definition of algebraic connectivity to show that network robustness, as measured by node-connectivity and edge-connectivity, can be increased by increasing the algebraic connectivity of the network. By the definition of algebraic connectivity, the second smallest eigenvalue of the graph Laplacian is a lower bound on the node-connectivity. In this paper we show that for circular random lattice graphs and mesh graphs algebraic connectivity is a conservative lower bound, and that increases in algebraic connectivity actually correspond to a decrease in node-connectivity. This means that the networks are actually less robust with respect to node-connectivity as the algebraic connectivity increases. However, an increase in algebraic connectivity seems to correlate well with a decrease in the characteristic path length of these networks - which would result in quicker communication through the network. Applications of these results are then discussed for perimeter security.
Abstract algebra structure and application
Finston, David R
2014-01-01
This text seeks to generate interest in abstract algebra by introducing each new structure and topic via a real-world application. The down-to-earth presentation is accessible to a readership with no prior knowledge of abstract algebra. Students are led to algebraic concepts and questions in a natural way through their everyday experiences. Applications include: Identification numbers and modular arithmetic (linear) error-correcting codes, including cyclic codes ruler and compass constructions cryptography symmetry of patterns in the real plane Abstract Algebra: Structure and Application is suitable as a text for a first course on abstract algebra whose main purpose is to generate interest in the subject, or as a supplementary text for more advanced courses. The material paves the way to subsequent courses that further develop the theory of abstract algebra and will appeal to students of mathematics, mathematics education, computer science, and engineering interested in applications of algebraic concepts.
On Dunkl angular momenta algebra
Feigin, Misha; Hakobyan, Tigran
2015-11-01
We consider the quantum angular momentum generators, deformed by means of the Dunkl operators. Together with the reflection operators they generate a subalgebra in the rational Cherednik algebra associated with a finite real reflection group. We find all the defining relations of the algebra, which appear to be quadratic, and we show that the algebra is of Poincaré-Birkhoff-Witt (PBW) type. We show that this algebra contains the angular part of the Calogero-Moser Hamiltonian and that together with constants it generates the centre of the algebra. We also consider the gl( N ) version of the subalge-bra of the rational Cherednik algebra and show that it is a non-homogeneous quadratic algebra of PBW type as well. In this case the central generator can be identified with the usual Calogero-Moser Hamiltonian associated with the Coxeter group in the harmonic confinement.
Free Malcev algebra of rank three
Kornev, Alexandr
2011-01-01
We find a basis of the free Malcev algebra on three free generators over a field of characteristic zero. The specialty and semiprimity of this algebra are proved. In addition, we prove the decomposability of this algebra into subdirect sum of the free Lie algebra rank three and the free algebra of rank three of variety of Malcev algebras generated by a simple seven-dimensional Malcev algebra.
Vertex Algebras, Kac-Moody Algebras, and the Monster
Borcherds, Richard E.
1986-05-01
It is known that the adjoint representation of any Kac-Moody algebra A can be identified with a subquotient of a certain Fock space representation constructed from the root lattice of A. I define a product on the whole of the Fock space that restricts to the Lie algebra product on this subquotient. This product (together with a infinite number of other products) is constructed using a generalization of vertex operators. I also construct an integral form for the universal enveloping algebra of any Kac-Moody algebra that can be used to define Kac-Moody groups over finite fields, some new irreducible integrable representations, and a sort of affinization of any Kac-Moody algebra. The ``Moonshine'' representation of the Monster constructed by Frenkel and others also has products like the ones constructed for Kac-Moody algebras, one of which extends the Griess product on the 196884-dimensional piece to the whole representation.
Testing algebraic geometric codes
Institute of Scientific and Technical Information of China (English)
无
2009-01-01
Property testing was initially studied from various motivations in 1990’s. A code C GF (r)n is locally testable if there is a randomized algorithm which can distinguish with high possibility the codewords from a vector essentially far from the code by only accessing a very small (typically constant) number of the vector’s coordinates. The problem of testing codes was firstly studied by Blum, Luby and Rubinfeld and closely related to probabilistically checkable proofs (PCPs). How to characterize locally testable codes is a complex and challenge problem. The local tests have been studied for Reed-Solomon (RS), Reed-Muller (RM), cyclic, dual of BCH and the trace subcode of algebraicgeometric codes. In this paper we give testers for algebraic geometric codes with linear parameters (as functions of dimensions). We also give a moderate condition under which the family of algebraic geometric codes cannot be locally testable.
Combinatorics and commutative algebra
Stanley, Richard P
1996-01-01
Some remarkable connections between commutative algebra and combinatorics have been discovered in recent years. This book provides an overview of two of the main topics in this area. The first concerns the solutions of linear equations in nonnegative integers. Applications are given to the enumeration of integer stochastic matrices (or magic squares), the volume of polytopes, combinatorial reciprocity theorems, and related results. The second topic deals with the face ring of a simplicial complex, and includes a proof of the Upper Bound Conjecture for Spheres. An introductory chapter giving background information in algebra, combinatorics and topology broadens access to this material for non-specialists. New to this edition is a chapter surveying more recent work related to face rings, focusing on applications to f-vectors. Included in this chapter is an outline of the proof of McMullen's g-conjecture for simplicial polytopes based on toric varieties, as well as a discussion of the face rings of such special ...
Bochnak, Jacek; Roy, Marie-Françoise
1998-01-01
This book is a systematic treatment of real algebraic geometry, a subject that has strong interrelation with other areas of mathematics: singularity theory, differential topology, quadratic forms, commutative algebra, model theory, complexity theory etc. The careful and clearly written account covers both basic concepts and up-to-date research topics. It may be used as text for a graduate course. The present edition is a substantially revised and expanded English version of the book "Géometrie algébrique réelle" originally published in French, in 1987, as Volume 12 of ERGEBNISSE. Since the publication of the French version the theory has made advances in several directions. Many of these are included in this English version. Thus the English book may be regarded as a completely new treatment of the subject.
Topological convolution algebras
Alpay, Daniel
2012-01-01
In this paper we introduce a new family of topological convolution algebras of the form $\\bigcup_{p\\in\\mathbb N} L_2(S,\\mu_p)$, where $S$ is a Borel semi-group in a locally compact group $G$, which carries an inequality of the type $\\|f*g\\|_p\\le A_{p,q}\\|f\\|_q\\|g\\|_p$ for $p > q+d$ where $d$ pre-assigned, and $A_{p,q}$ is a constant. We give a sufficient condition on the measures $\\mu_p$ for such an inequality to hold. We study the functional calculus and the spectrum of the elements of these algebras, and present two examples, one in the setting of non commutative stochastic distributions, and the other related to Dirichlet series.
Operator product expansion algebra
Energy Technology Data Exchange (ETDEWEB)
Holland, Jan [CPHT, Ecole Polytechnique, Paris-Palaiseau (France)
2014-07-01
The Operator Product Expansion (OPE) is a theoretical tool for studying the short distance behaviour of products of local quantum fields. Over the past 40 years, the OPE has not only found widespread computational application in high-energy physics, but, on a more conceptual level, it also encodes fundamental information on algebraic structures underlying quantum field theories. I review new insights into the status and properties of the OPE within Euclidean perturbation theory, addressing in particular the topics of convergence and ''factorisation'' of the expansion. Further, I present a formula for the ''deformation'' of the OPE algebra caused by a quartic interaction. This formula can be used to set up a novel iterative scheme for the perturbative computation of OPE coefficients, based solely on the zeroth order coefficients (and renormalisation conditions) as initial input.
Testing algebraic geometric codes
Institute of Scientific and Technical Information of China (English)
CHEN Hao
2009-01-01
Property testing was initially studied from various motivations in 1990's.A code C (∩)GF(r)n is locally testable if there is a randomized algorithm which can distinguish with high possibility the codewords from a vector essentially far from the code by only accessing a very small (typically constant) number of the vector's coordinates.The problem of testing codes was firstly studied by Blum,Luby and Rubinfeld and closely related to probabilistically checkable proofs (PCPs).How to characterize locally testable codes is a complex and challenge problem.The local tests have been studied for Reed-Solomon (RS),Reed-Muller (RM),cyclic,dual of BCH and the trace subcode of algebraicgeometric codes.In this paper we give testers for algebraic geometric codes with linear parameters (as functions of dimensions).We also give a moderate condition under which the family of algebraic geometric codes cannot be locally testable.
Lee, Jaehoon; Wilczek, Frank
2013-11-27
Motivated by the problem of identifying Majorana mode operators at junctions, we analyze a basic algebraic structure leading to a doubled spectrum. For general (nonlinear) interactions the emergent mode creation operator is highly nonlinear in the original effective mode operators, and therefore also in the underlying electron creation and destruction operators. This phenomenon could open up new possibilities for controlled dynamical manipulation of the modes. We briefly compare and contrast related issues in the Pfaffian quantum Hall state.
Beigie, Darin
2014-01-01
Most people who are attracted to STEM-related fields are drawn not by a desire to take mathematics tests but to create things. The opportunity to create an algebra drawing gives students a sense of ownership and adventure that taps into the same sort of energy that leads a young person to get lost in reading a good book, building with Legos®,…
Fritzsch, H.; Gell-Mann, M.
2003-01-01
This talk follows by a few months a talk by the same authors on nearly the same subject at the Coral Gables Conference. The ideas presented here are basically the same, but with some amplification, some change of viewpoint, and a number of new questions for the future. For our own convenience, we have transcribed the Coral Gables paper, but with an added ninth section, entitled "Problems of light cone current algebra", dealing with our present views and emphasizing research topics that requir...
International Nuclear Information System (INIS)
Expository notes on Clifford algebras and spinors with a detailed discussion of Majorana, Weyl, and Dirac spinors. The paper is meant as a review of background material, needed, in particular, in now fashionable theoretical speculations on neutrino masses. It has a more mathematical flavour than the over twenty-six-year-old Introduction to Majorana masses [M84] and includes historical notes and biographical data on past participants in the story. (author)
Algebra & trigonometry II essentials
REA, Editors of
2012-01-01
REA's Essentials provide quick and easy access to critical information in a variety of different fields, ranging from the most basic to the most advanced. As its name implies, these concise, comprehensive study guides summarize the essentials of the field covered. Essentials are helpful when preparing for exams, doing homework and will remain a lasting reference source for students, teachers, and professionals. Algebra & Trigonometry II includes logarithms, sequences and series, permutations, combinations and probability, vectors, matrices, determinants and systems of equations, mathematica
Redesigning linear algebra algorithms
Energy Technology Data Exchange (ETDEWEB)
Dongarra, J.J.
1983-01-01
Many of the standard algorithms in linear algebra as implemented in FORTRAN do not achieve maximum performance on today's large-scale vector computers. The author examines the problem and constructs alternative formulations of algorithms that do not lose the clarity of the original algorithm or sacrifice the FORTRAN portable environment, but do gain the performance attainable on these supercomputers. The resulting implementation not only performs well on vector computers but also increases performance on conventional sequential computers. 13 references.
Redesigning linear algebra algorithms
Energy Technology Data Exchange (ETDEWEB)
Dongarra, J.J.
1983-01-01
Many of the standard algorithms in linear algebra as implemented in FORTRAN do not achieve maximum performance on today's large-scale vector computers. In this paper we examine the problem and construct alternative formulations of algorithms that do not lose the clarity of the original algorithm or sacrifice the Fortran portable environment, but do gain the performance attainable on these supercomputers. The resulting implementation not only performs well on vector computers but also increases performance on conventional sequential computers.
Fundamentals of linear algebra
Dash, Rajani Ballav
2008-01-01
FUNDAMENTALS OF LINEAR ALGEBRA is a comprehensive Text Book, which can be used by students and teachers of All Indian Universities. The Text has easy, understandable form and covers all topics of UGC Curriculum. There are lots of worked out examples which helps the students in solving the problems without anybody's help. The Problem sets have been designed keeping in view of the questions asked in different examinations.
Semisimple Metacyclic Group Algebras
Indian Academy of Sciences (India)
Gurmeet K Bakshi; Shalini Gupta; Inder Bir S Passi
2011-11-01
Given a group of order $p_1p_2$, where $p_1,p_2$ are primes, and $\\mathbb{F}_q$, a finite field of order coprime to $p_1p_2$, the object of this paper is to compute a complete set of primitive central idempotents of the semisimple group algebra $\\mathbb{F}_q[G]$. As a consequence, we obtain the structure of $\\mathbb{F}_q[G]$ and its group of automorphisms.
Lutfiyya, Lutfi A
2012-01-01
REA's Essentials provide quick and easy access to critical information in a variety of different fields, ranging from the most basic to the most advanced. As its name implies, these concise, comprehensive study guides summarize the essentials of the field covered. Essentials are helpful when preparing for exams, doing homework and will remain a lasting reference source for students, teachers, and professionals. Modern Algebra includes set theory, operations, relations, basic properties of the integers, group theory, and ring theory.
Algebra, Arithmetic, and Geometry
Tschinkel, Yuri
2009-01-01
The two volumes of "Algebra, Arithmetic, and Geometry: In Honor of Y.I. Manin" are composed of invited expository articles and extensions detailing Manin's contributions to the subjects, and are in celebration of his 70th birthday. The well-respected and distinguished contributors include: Behrend, Berkovich, Bost, Bressler, Calaque, Carlson, Chambert-Loir, Colombo, Connes, Consani, Dabrowski, Deninger, Dolgachev, Donaldson, Ekedahl, Elsenhans, Enriques, Etingof, Fock, Friedlander, Geemen, Getzler, Goncharov, Harris, Iskovskikh, Jahnel, Kaledin, Kapranov, Katz, Kaufmann, Kollar, Kont
Algebraic volume density property of affine algebraic manifolds
Kaliman, Shulim; Kutzschebauch, Frank
2009-01-01
We introduce the notion of algebraic volume density property for affine algebraic manifolds and prove some important basic facts about it, in particular that it implies the volume density property. The main results of the paper are producing two big classes of examples of Stein manifolds with volume density property. One class consists of certain affine modifications of $\\C^n$ equipped with a canonical volume form, the other is the class of all Linear Algebraic Groups equipped with the left i...
LOCAL AUTOMORPHISMS OF SEMISIMPLE ALGEBRAS AND GROUP ALGEBRAS
Institute of Scientific and Technical Information of China (English)
Wang Dengyin; Guan Qi; Zhan9 Dongju
2011-01-01
Let F be a field of characteristic not 2,and let A be a finite-dimensional semisimple F-algebra.All local automorphisms of A are characterized when all the degrees of A are larger than 1.If F is further assumed to be an algebraically closed field of characteristic zero,K a finite group,FK the group algebra of K over F,then all local automorphisms of FK are also characterized.
Exceptional Vertex Operator Algebras and the Virasoro Algebra
Tuite, Michael P.
2008-01-01
We consider exceptional vertex operator algebras for which particular Casimir vectors constructed from the primary vectors of lowest conformal weight are Virasoro descendants of the vacuum. We discuss constraints on these theories that follow from an analysis of appropriate genus zero and genus one two point correlation functions. We find explicit differential equations for the partition function in the cases where the lowest weight primary vectors form a Lie algebra or a Griess algebra. Exam...
Blyth, T S
2002-01-01
Most of the introductory courses on linear algebra develop the basic theory of finite dimensional vector spaces, and in so doing relate the notion of a linear mapping to that of a matrix. Generally speaking, such courses culminate in the diagonalisation of certain matrices and the application of this process to various situations. Such is the case, for example, in our previous SUMS volume Basic Linear Algebra. The present text is a continuation of that volume, and has the objective of introducing the reader to more advanced properties of vector spaces and linear mappings, and consequently of matrices. For readers who are not familiar with the contents of Basic Linear Algebra we provide an introductory chapter that consists of a compact summary of the prerequisites for the present volume. In order to consolidate the student's understanding we have included a large num ber of illustrative and worked examples, as well as many exercises that are strategi cally placed throughout the text. Solutions to the ex...
Energy Technology Data Exchange (ETDEWEB)
Palmkvist, Jakob, E-mail: palmkvist@ihes.fr [Institut des Hautes Etudes Scientifiques, 35 Route de Chartres, FR-91440 Bures-sur-Yvette (France)
2014-01-15
We introduce an infinite-dimensional Lie superalgebra which is an extension of the U-duality Lie algebra of maximal supergravity in D dimensions, for 3 ⩽ D ⩽ 7. The level decomposition with respect to the U-duality Lie algebra gives exactly the tensor hierarchy of representations that arises in gauge deformations of the theory described by an embedding tensor, for all positive levels p. We prove that these representations are always contained in those coming from the associated Borcherds-Kac-Moody superalgebra, and we explain why some of the latter representations are not included in the tensor hierarchy. The most remarkable feature of our Lie superalgebra is that it does not admit a triangular decomposition like a (Borcherds-)Kac-Moody (super)algebra. Instead the Hodge duality relations between level p and D − 2 − p extend to negative p, relating the representations at the first two negative levels to the supersymmetry and closure constraints of the embedding tensor.
Cleaveland, Rance; Luettgen, Gerald; Natarajan, V.
1999-01-01
This paper surveys the semantic ramifications of extending traditional process algebras with notions of priority that allow for some transitions to be given precedence over others. These enriched formalisms allow one to model system features such as interrupts, prioritized choice, or real-time behavior. Approaches to priority in process algebras can be classified according to whether the induced notion of preemption on transitions is global or local and whether priorities are static or dynamic. Early work in the area concentrated on global pre-emption and static priorities and led to formalisms for modeling interrupts and aspects of real-time, such as maximal progress, in centralized computing environments. More recent research has investigated localized notions of pre-emption in which the distribution of systems is taken into account, as well as dynamic priority approaches, i.e., those where priority values may change as systems evolve. The latter allows one to model behavioral phenomena such as scheduling algorithms and also enables the efficient encoding of real-time semantics. Technically, this paper studies the different models of priorities by presenting extensions of Milner's Calculus of Communicating Systems (CCS) with static and dynamic priority as well as with notions of global and local pre- emption. In each case the operational semantics of CCS is modified appropriately, behavioral theories based on strong and weak bisimulation are given, and related approaches for different process-algebraic settings are discussed.
Stability of functional equations in Banach algebras
Cho, Yeol Je; Rassias, Themistocles M; Saadati, Reza
2015-01-01
Some of the most recent and significant results on homomorphisms and derivations in Banach algebras, quasi-Banach algebras, C*-algebras, C*-ternary algebras, non-Archimedean Banach algebras and multi-normed algebras are presented in this book. A brief introduction for functional equations and their stability is provided with historical remarks. Since the homomorphisms and derivations in Banach algebras are additive and R-linear or C-linear, the stability problems for additive functional equations and additive mappings are studied in detail. The latest results are discussed and examined in stability theory for new functional equations and functional inequalities in Banach algebras and C*-algebras, non-Archimedean Banach algebras, non-Archimedean C*-algebras, multi-Banach algebras and multi-C*-algebras. Graduate students with an understanding of operator theory, functional analysis, functional equations and analytic inequalities will find this book useful for furthering their understanding and discovering the l...
Green, R. M.
1997-01-01
We introduce an analogue of the $q$-Schur algebra associated to Coxeter systems of type $\\hat A_{n-1}$. We give two constructions of this algebra. The first construction realizes the algebra as a certain endomorphism algebra arising from an affine Hecke algebra of type $\\hat A_{r-1}$, where $n \\geq r$. This generalizes the original $q$-Schur algebra as defined by Dipper and James, and the new algebra contains the ordinary $q$-Schur algebra and the affine Hecke algebra as subalgebras. Using th...
DERIVATIONS ON DIFFERENTIAL OPERATOR ALGEBRA AND WEYL ALGEBRA
Institute of Scientific and Technical Information of China (English)
CHENCAOYU
1996-01-01
Let L be an n-dimensional nilpotent Lie algebra with a basis{x1…,xn),and every xi acts as a locally nilpotent derivation on algebra A. This paper shows that there exists a set of derivations{y1,…,yn}on U(L) such that (A#U(L))#k{y,1,…,yn] is ismorphic to the Weyl algebra An(A).The author also uses the de4rivations to obtain a necessary and sufficient condition for a finite dimesional Lie algebra to be nilpotent.
Assessing Algebraic Solving Ability: A Theoretical Framework
Lian, Lim Hooi; Yew, Wun Thiam
2012-01-01
Algebraic solving ability had been discussed by many educators and researchers. There exists no definite definition for algebraic solving ability as it can be viewed from different perspectives. In this paper, the nature of algebraic solving ability in terms of algebraic processes that demonstrate the ability in solving algebraic problem is…
Minimal ambient nuclear C*-algebras
Suzuki, Yuhei
2015-01-01
We provide examples of ambient nuclear C*-algebras of non-nuclear C*-algebras with no proper intermediate C*-algebras. In particular this gives the first examples of minimal ambient nuclear C*-algebras of non-nuclear C*-algebras. For this purpose, we study generic Cantor systems of infinite free product groups.
Verburgt, Lukas M
2016-01-01
This paper provides a detailed account of the period of the complex history of British algebra and geometry between the publication of George Peacock's Treatise on Algebra in 1830 and William Rowan Hamilton's paper on quaternions of 1843. During these years, Duncan Farquharson Gregory and William Walton published several contributions on 'algebraical geometry' and 'geometrical algebra' in the Cambridge Mathematical Journal. These contributions enabled them not only to generalize Peacock's symbolical algebra on the basis of geometrical considerations, but also to initiate the attempts to question the status of Euclidean space as the arbiter of valid geometrical interpretations. At the same time, Gregory and Walton were bound by the limits of symbolical algebra that they themselves made explicit; their work was not and could not be the 'abstract algebra' and 'abstract geometry' of figures such as Hamilton and Cayley. The central argument of the paper is that an understanding of the contributions to 'algebraical geometry' and 'geometrical algebra' of the second generation of 'scientific' symbolical algebraists is essential for a satisfactory explanation of the radical transition from symbolical to abstract algebra that took place in British mathematics in the 1830s-1840s.
Verburgt, Lukas M
2016-01-01
This paper provides a detailed account of the period of the complex history of British algebra and geometry between the publication of George Peacock's Treatise on Algebra in 1830 and William Rowan Hamilton's paper on quaternions of 1843. During these years, Duncan Farquharson Gregory and William Walton published several contributions on 'algebraical geometry' and 'geometrical algebra' in the Cambridge Mathematical Journal. These contributions enabled them not only to generalize Peacock's symbolical algebra on the basis of geometrical considerations, but also to initiate the attempts to question the status of Euclidean space as the arbiter of valid geometrical interpretations. At the same time, Gregory and Walton were bound by the limits of symbolical algebra that they themselves made explicit; their work was not and could not be the 'abstract algebra' and 'abstract geometry' of figures such as Hamilton and Cayley. The central argument of the paper is that an understanding of the contributions to 'algebraical geometry' and 'geometrical algebra' of the second generation of 'scientific' symbolical algebraists is essential for a satisfactory explanation of the radical transition from symbolical to abstract algebra that took place in British mathematics in the 1830s-1840s. PMID:26806075
Quantum computation using geometric algebra
Matzke, Douglas James
This dissertation reports that arbitrary Boolean logic equations and operators can be represented in geometric algebra as linear equations composed entirely of orthonormal vectors using only addition and multiplication Geometric algebra is a topologically based algebraic system that naturally incorporates the inner and anticommutative outer products into a real valued geometric product, yet does not rely on complex numbers or matrices. A series of custom tools was designed and built to simplify geometric algebra expressions into a standard sum of products form, and automate the anticommutative geometric product and operations. Using this infrastructure, quantum bits (qubits), quantum registers and EPR-bits (ebits) are expressed symmetrically as geometric algebra expressions. Many known quantum computing gates, measurement operators, and especially the Bell/magic operators are also expressed as geometric products. These results demonstrate that geometric algebra can naturally and faithfully represent the central concepts, objects, and operators necessary for quantum computing, and can facilitate the design and construction of quantum computing tools.
Linear algebra and projective geometry
Baer, Reinhold
2005-01-01
Geared toward upper-level undergraduates and graduate students, this text establishes that projective geometry and linear algebra are essentially identical. The supporting evidence consists of theorems offering an algebraic demonstration of certain geometric concepts. These focus on the representation of projective geometries by linear manifolds, of projectivities by semilinear transformations, of collineations by linear transformations, and of dualities by semilinear forms. These theorems lead to a reconstruction of the geometry that constituted the discussion's starting point, within algebra
Higher theories of algebraic structures
Matsuoka, Takuo
2016-01-01
The notion of (symmetric) coloured operad or "multicategory" can be obtained from the notion of commutative algebra through a certain general process which we call "theorization" (where our term comes from an analogy with William Lawvere's notion of algebraic theory). By exploiting the inductivity in the structure of higher associativity, we obtain the notion of "$n$-theory" for every integer $n\\ge 0$, which inductively "theorizes" $n$ times, the notion of commutative algebra. As a result, (c...
Differential Equations with Linear Algebra
Boelkins, Matthew R; Potter, Merle C
2009-01-01
Linearity plays a critical role in the study of elementary differential equations; linear differential equations, especially systems thereof, demonstrate a fundamental application of linear algebra. In Differential Equations with Linear Algebra, we explore this interplay between linear algebra and differential equations and examine introductory and important ideas in each, usually through the lens of important problems that involve differential equations. Written at a sophomore level, the text is accessible to students who have completed multivariable calculus. With a systems-first approach, t
COCLEFT EXTENSIONS OF HOPF ALGEBRAS
Institute of Scientific and Technical Information of China (English)
祝家贵
2006-01-01
Let B and H be finitely generated projective Hopf algebras over a commutative ring R,with B cocommutative and H commutative. In this paper we investigate cocleft extensions of Hopf algebras, and prove that the isomorphism classes of cocleft Hopf algebras extensions of B by H are determined uniquely by the group C(B, H) = ZC(B, H)/d(B, H) .
Categorical Algebra and its Applications
1988-01-01
Categorical algebra and its applications contain several fundamental papers on general category theory, by the top specialists in the field, and many interesting papers on the applications of category theory in functional analysis, algebraic topology, algebraic geometry, general topology, ring theory, cohomology, differential geometry, group theory, mathematical logic and computer sciences. The volume contains 28 carefully selected and refereed papers, out of 96 talks delivered, and illustrates the usefulness of category theory today as a powerful tool of investigation in many other areas.
Algebraic Independence and Mahler's method
Zorin, Evgeniy
2011-01-01
We give some new results on algebraic independence within Mahler's method, including algebraic independence of values at transcendental points. We also give some new measures of algebraic independence for infinite series of numbers. In particular, our results furnishes, for $n\\geq 1$ arbitrarily large, new examples of sets $(\\theta_1,...,\\theta_n)\\in\\mrr^n$ normal in the sense of definition formulated by Grigory Chudnovsky (1980).
Algebraic geometric codes with applications
Institute of Scientific and Technical Information of China (English)
CHEN Hao
2007-01-01
The theory of linear error-correcting codes from algebraic geomet-ric curves (algebraic geometric (AG) codes or geometric Goppa codes) has been well-developed since the work of Goppa and Tsfasman, Vladut, and Zink in 1981-1982. In this paper we introduce to readers some recent progress in algebraic geometric codes and their applications in quantum error-correcting codes, secure multi-party computation and the construction of good binary codes.
NON-COMMUTATIVE POISSON ALGEBRA STRUCTURES ON LIE ALGEBRA sln(fCq) WITH NULLITY M
Institute of Scientific and Technical Information of China (English)
Jie TONG; Quanqin JIN
2013-01-01
Non-commutative Poisson algebras are the algebras having both an associa-tive algebra structure and a Lie algebra structure together with the Leibniz law. In this paper, the non-commutative poisson algebra structures on the Lie algebras sln(fCq) are determined.
Novotna, Jarmila; Hoch, Maureen
2008-01-01
Many students have difficulties with basic algebraic concepts at high school and at university. In this paper two levels of algebraic structure sense are defined: for high school algebra and for university algebra. We suggest that high school algebra structure sense components are sub-components of some university algebra structure sense…
Planar Para Algebras, Reflection Positivity
Jaffe, Arthur
2016-01-01
We define the notion of a planar para algebra, which arises naturally from combining planar algebras with the idea of $\\Z_{N}$ para symmetry in physics. A subfactor planar para algebra is a Hilbert space representation of planar tangles with parafermionic defects, that are invariant under isotopy. For each $\\Z_{N}$, we construct a family of subfactor planar para algebras which play the role of Temperley-Lieb-Jones planar algebras. The first example in this family is the parafermion planar para algebra. Based on this example, we introduce parafermion Pauli matrices, quaternion relations, and braided relations for parafermion algebras which one can use in the study of quantum information. Two different reflections play an important role in the theory of planar para algebras. One is the adjoint operator; the other is the modular conjugation in Tomita-Takesaki theory. We use the latter one to define the double algebra and to introduce reflection positivity. We give a new and geometric proof of reflection positivi...
Congruence Kernels of Orthoimplication Algebras
Directory of Open Access Journals (Sweden)
I. Chajda
2007-10-01
Full Text Available Abstracting from certain properties of the implication operation in Boolean algebras leads to so-called orthoimplication algebras. These are in a natural one-to-one correspondence with families of compatible orthomodular lattices. It is proved that congruence kernels of orthoimplication algebras are in a natural one-to-one correspondence with families of compatible p-filters on the corresponding orthomodular lattices. Finally, it is proved that the lattice of all congruence kernels of an orthoimplication algebra is relatively pseudocomplemented and a simple description of the relative pseudocomplement is given.
Introduction to algebraic independence theory
Philippon, Patrice
2001-01-01
In the last five years there has been very significant progress in the development of transcendence theory. A new approach to the arithmetic properties of values of modular forms and theta-functions was found. The solution of the Mahler-Manin problem on values of modular function j(tau) and algebraic independence of numbers pi and e^(pi) are most impressive results of this breakthrough. The book presents these and other results on algebraic independence of numbers and further, a detailed exposition of methods created in last the 25 years, during which commutative algebra and algebraic geometry exerted strong catalytic influence on the development of the subject.
Hochschild homology of structured algebras
DEFF Research Database (Denmark)
Wahl, Nathalie; Westerland, Craig Christopher
2016-01-01
We give a general method for constructing explicit and natural operations on the Hochschild complex of algebras over any prop with A∞-multiplication—we think of such algebras as A∞-algebras “with extra structure”. As applications, we obtain an integral version of the Costello......–Kontsevich–Soibelman moduli space action on the Hochschild complex of open TCFTs, the Tradler–Zeinalian and Kaufmann actions of Sullivan diagrams on the Hochschild complex of strict Frobenius algebras, and give applications to string topology in characteristic zero. Our main tool is a generalization of the Hochschild complex....
2-Local derivations on matrix algebras over semi-prime Banach algebras and on AW*-algebras
Ayupov, Shavkat; Kudaybergenov, Karimbergen
2016-03-01
The paper is devoted to 2-local derivations on matrix algebras over unital semi-prime Banach algebras. For a unital semi-prime Banach algebra A with the inner derivation property we prove that any 2-local derivation on the algebra M 2n (A), n ≥ 2, is a derivation. We apply this result to AW*-algebras and show that any 2-local derivation on an arbitrary AW*-algebra is a derivation.
Construction of complete generalized algebraic groups
Institute of Scientific and Technical Information of China (English)
WANG Dengyin
2005-01-01
With one exception, the holomorph of a finite dimensional abelian connectedalgebraic group is shown to be a complete generalized algebraic group. This result on algebraic group is an analogy to that on Lie algebra.
On triangular algebras with noncommutative diagonals
Institute of Scientific and Technical Information of China (English)
2008-01-01
We construct a triangular algebra whose diagonals form a noncommutative algebra and its lattice of invariant projections contains only two nontrivial projections. Moreover we prove that our triangular algebra is maximal.
Tilting mutation of Brauer tree algebras
Aihara, T
2010-01-01
We define tilting mutations of symmetric algebras as the endomorphism algebras of Okuyama-Rickard complexes. For Brauer tree algebras, we give an explicit description of the change of Brauer trees under mutation.
Algebraic dynamics solution and algebraic dynamics algorithm of Burgers equations
Institute of Scientific and Technical Information of China (English)
2008-01-01
Algebraic dynamics solution and algebraic dynamics algorithm of nonlinear partial differential evolution equations in the functional space are applied to Burgers equation. The results indicate that the approach is effective for analytical solutions to Burgers equation, and the algorithm for numerical solutions of Burgers equation is more stable, with higher precision than other existing finite difference algo-rithms.
Abstract Algebra to Secondary School Algebra: Building Bridges
Christy, Donna; Sparks, Rebecca
2015-01-01
The authors have experience with secondary mathematics teacher candidates struggling to make connections between the theoretical abstract algebra course they take as college students and the algebra they will be teaching in secondary schools. As a mathematician and a mathematics educator, the authors collaborated to create and implement a…
Dynamical entropy of C* algebras and Von Neumann algebras
International Nuclear Information System (INIS)
The definition of the dynamical entropy is extended for automorphism groups of C* algebras. As example the dynamical entropy of the shift of a lattice algebra is studied and it is shown that in some cases it coincides with the entropy density. (Author)
Niibori, Hidekazu; Sagaki, Daisuke
2009-01-01
Let $r \\in \\BC$ be a complex number, and $d \\in \\BZ_{\\ge 2}$ a positive integer greater than or equal to 2. Ashihara and Miyamoto introduced a vertex operator algebra $\\Vam$ of central charge $dr$, whose Griess algebra is isomorphic to the simple Jordan algebra of symmetric matrices of size $d$. In this paper, we prove that the vertex operator algebra $\\Vam$ is simple if and only if $r$ is not an integer. Further, in the case that $r$ is an integer (i.e., $\\Vam$ is not simple), we give a gene...
Semi-Hopf Algebra and Supersymmetry
Gunara, Bobby Eka
1999-01-01
We define a semi-Hopf algebra which is more general than a Hopf algebra. Then we construct the supersymmetry algebra via the adjoint action on this semi-Hopf algebra. As a result we have a supersymmetry theory with quantum gauge group, i.e., quantised enveloping algebra of a simple Lie algebra. For the example, we construct the Lagrangian N=1 and N=2 supersymmetry.
Stable flatness of nonarchimedean hyperenveloping algebras
Schmidt, Tobias
2008-01-01
Let L be a p-adic local field and g a finite dimensional Lie algebra over L. We show that its hyperenveloping algebra F(g) is a stably flat completion of its universal enveloping algebra. As a consequence the relative cohomology for the locally convex algebra F(g) coincides with the underlying Lie algebra cohomology. Final version. Some minor items corrected. Appeared in Journal of Algebra (2010).
Dimer models and Calabi-Yau algebras
Broomhead, Nathan
2008-01-01
In this thesis we study dimer models, as introduced in string theory, which give a way of writing down a class of non-commutative `superpotential' algebras. Some examples are 3-dimensional Calabi-Yau algebras, as defined by Ginzburg, and some are not. We consider two types of `consistency' condition on dimer models, and show that a `geometrically consistent' model is `algebraically consistent'. Finally we prove that the algebras obtained from algebraically consistent dimer models are 3-dimensional Calabi-Yau algebras.
Timorin, Vladlen
2002-01-01
Consider a smooth map from a neighborhood of the origin in a real vector space to a neighborhood of the origin in a Euclidean space. Suppose that this map takes all germs of lines passing through the origin to germs of Euclidean circles, or lines, or a point. We prove that under some simple additional assumptions this map takes all lines passing though the origin to the same circles as a Hopf map coming from a representation of a Clifford algebra does. We also describe a connection between ou...
Hazewinkel, M
2008-01-01
Algebra, as we know it today, consists of many different ideas, concepts and results. A reasonable estimate of the number of these different items would be somewhere between 50,000 and 200,000. Many of these have been named and many more could (and perhaps should) have a name or a convenient designation. Even the nonspecialist is likely to encounter most of these, either somewhere in the literature, disguised as a definition or a theorem or to hear about them and feel the need for more information. If this happens, one should be able to find enough information in this Handbook to judge if it i
Fritzsch, Harald
2003-01-01
This talk follows by a few months a talk by the same authors on nearly the same subject at the Coral Gables Conference. The ideas presented here are basically the same, but with some amplification, some change of viewpoint, and a number of new questions for the future. For our own convenience, we have transcribed the Coral Gables paper, but with an added ninth section, entitled "Problems of light cone current algebra", dealing with our present views and emphasizing research topics that require study.
Cooperstein, Bruce
2015-01-01
Advanced Linear Algebra, Second Edition takes a gentle approach that starts with familiar concepts and then gradually builds to deeper results. Each section begins with an outline of previously introduced concepts and results necessary for mastering the new material. By reviewing what students need to know before moving forward, the text builds a solid foundation upon which to progress. The new edition of this successful text focuses on vector spaces and the maps between them that preserve their structure (linear transformations). Designed for advanced undergraduate and beginning graduate stud
Energy Technology Data Exchange (ETDEWEB)
Casasent, D.; Ghosh, A.
1983-01-01
Many of the linear algebra operations and algorithms possible on optical matrix-vector processors are reviewed. Emphasis is given to the use of direct solutions and their realization on systolic optical processors. As an example, implicit and explicit solutions to partial differential equations are considered. The matrix-decomposition required is found to be the major operation recommended for optical realization. The pipelining and flow of data and operations are noted to be key issues in the realization of any algorithm on an optical systolic array processor. A realization of the direct solution by householder qr decomposition is provided as a specific case study. 19 references.
Lopez, Cesar
2014-01-01
MATLAB is a high-level language and environment for numerical computation, visualization, and programming. Using MATLAB, you can analyze data, develop algorithms, and create models and applications. The language, tools, and built-in math functions enable you to explore multiple approaches and reach a solution faster than with spreadsheets or traditional programming languages, such as C/C++ or Java. MATLAB Linear Algebra introduces you to the MATLAB language with practical hands-on instructions and results, allowing you to quickly achieve your goals. In addition to giving an introduction to
Corrochano, Eduardo Bayro
2010-01-01
This book presents contributions from a global selection of experts in the field. This useful text offers new insights and solutions for the development of theorems, algorithms and advanced methods for real-time applications across a range of disciplines. Written in an accessible style, the discussion of all applications is enhanced by the inclusion of numerous examples, figures and experimental analysis. Features: provides a thorough discussion of several tasks for image processing, pattern recognition, computer vision, robotics and computer graphics using the geometric algebra framework; int
Statecharts Via Process Algebra
Luttgen, Gerald; vonderBeeck, Michael; Cleaveland, Rance
1999-01-01
Statecharts is a visual language for specifying the behavior of reactive systems. The Language extends finite-state machines with concepts of hierarchy, concurrency, and priority. Despite its popularity as a design notation for embedded system, precisely defining its semantics has proved extremely challenging. In this paper, a simple process algebra, called Statecharts Process Language (SPL), is presented, which is expressive enough for encoding Statecharts in a structure-preserving and semantic preserving manner. It is establish that the behavioral relation bisimulation, when applied to SPL, preserves Statecharts semantics
Fernández, V. V.; Moya, A. M.; Rodrigues Jr., W. A.
2002-01-01
In this paper we introduce the concept of metric Clifford algebra $\\mathcal{C\\ell}(V,g)$ for a $n$-dimensional real vector space $V$ endowed with a metric extensor $g$ whose signature is $(p,q)$, with $p+q=n$. The metric Clifford product on $\\mathcal{C\\ell}(V,g)$ appears as a well-defined \\emph{deformation}(induced by $g$) of an euclidean Clifford product on $\\mathcal{C\\ell}(V)$. Associated with the metric extensor $g,$ there is a gauge metric extensor $h$ which codifies all the geometric inf...
Institute of Scientific and Technical Information of China (English)
无
2009-01-01
The paper focuses on the 1-generated positively graded algebras with non-pure resolutions and mainly discusses a new kind of algebras called(s,t,d)-bi-Koszul algebras as the generalization of bi-Koszul algebras. An(s,t,d)-bi-Koszul algebra can be obtained from two periodic algebras with pure resolutions. The generation of the Koszul dual of an(s,t,d)-bi-Koszul algebra is discussed. Based on it,the notion of strongly(s,t,d)-bi-Koszul algebras is raised and their homological properties are further discussed.
Institute of Scientific and Technical Information of China (English)
SI JunRu
2009-01-01
The paper focuses on the 1-generated positively graded algebras with non-pure resolutions and mainly discusses a new kind of algebras called (s, t, d)-bi-Koszul algebras as the generalization of bi-Koszul algebras. An (s, t, d)-bi-Koszul algebra can be obtained from two periodic algebras with pure resolutions. The generation of the Koszul dual of an (s, t, d)-bi-Koszul algebra is discussed. Based on it, the notion of strongly (s, t, d)-bi-Koszul algebras is raised and their homological properties are further discussed.
New criterion for algebraic volume density property
Kaliman, Shulim
2012-01-01
A smooth affine algebraic variety $X$ equipped with an algebraic volume form $\\omega$ has the algebraic volume density property (AVDP) if the Lie algebra generated by completely integrable algebraic vector fields of $\\omega$-divergence zero coincides with the space of all algebraic vector fields of $\\omega$-divergence zero. We develop an effective criterion of verifying whether a given $X$ has AVDP. As an application of this method we establish AVDP for any homogeneous space $X=G/R$ that admits a $G$-invariant algebraic volume form where $G$ is a linear algebraic group and $R$ is a closed reductive subgroup of $G$.
Algebraic solution of master equations
R. Rangel; L. Carvalho
2003-01-01
We present a simple analytical method to solve master equations for finite temperatures and any initial conditions, which consists in the expansion of the density operator into normal modes. These modes and the expansion coefficients are obtained algebraically by using ladder superoperators. This algebraic technique is successful in cases in which the Liouville superoperator is quadratic in the creation and annihilation operators.
Linear Algebra and Image Processing
Allali, Mohamed
2010-01-01
We use the computing technology digital image processing (DIP) to enhance the teaching of linear algebra so as to make the course more visual and interesting. Certainly, this visual approach by using technology to link linear algebra to DIP is interesting and unexpected to both students as well as many faculty. (Contains 2 tables and 11 figures.)
Toeplitz Algebras on Dirichlet Spaces
Institute of Scientific and Technical Information of China (English)
TAN Yan-hua; WANG Xiao-feng
2001-01-01
In the present paper, some properties of Toeplitz algebras on Dirichlet spaces for several complex variables are discussed; in particular, the automorphism group of the Toeplitz C* -algebra, (C1), generated by Toeplitz operators with C1-symbols is discussed. In addition, the first cohomology group of (C1) is computed.
On crossed product of algebras
Borowiec, A.; Marcinek, W.
2000-01-01
The concept of a crossed tensor product of algebras is studied from a few points of views. Some related constructions are considered. Crossed enveloping algebras and their representations are discussed. Applications to the noncommutative geometry and particle systems with generalized statistics are indicated.
Exploring Algebraic Patterns through Literature.
Austin, Richard A.; Thompson, Denisse R.
1997-01-01
Presents methods for using literature to develop algebraic thinking in an environment that connects algebra to various situations. Activities are based on the book "Anno's Magic Seeds" with additional resources listed. Students express a constant function, exponential function, and a recursive function in their own words as well as writing about…
Algebraic Squares: Complete and Incomplete.
Gardella, Francis J.
2000-01-01
Illustrates ways of using algebra tiles to give students a visual model of competing squares that appear in algebra as well as in higher mathematics. Such visual representations give substance to the symbolic manipulation and give students who do not learn symbolically a way of understanding the underlying concepts of completing the square. (KHR)
Algebraic Connectivity of Interdependent Networks
Martin-Hernandez, J.; Wang, H.; Van Mieghem, P.; D'Agostino, G.
2014-01-01
The algebraic connectivity UN-1, i.e. the second smallest eigenvalue of the Laplacian matrix, plays a crucial role in dynamic phenomena such as diffusion processes, synchronization stability, and network robustness. In this work we study the algebraic connectivity in the general context of interdepe
Templates for Linear Algebra Problems
Bai, Z.; Day, D.; Demmel, J.; Dongarra, J.; Gu, M.; Ruhe, A.; Vorst, H.A. van der
2001-01-01
The increasing availability of advanced-architecture computers is having a very signicant eect on all spheres of scientic computation, including algorithm research and software development in numerical linear algebra. Linear algebra {in particular, the solution of linear systems of equations and eig
Baxter Algebras and Umbral Calculus
Guo, Li
2004-01-01
We apply recent constructions of free Baxter algebras to the study of the umbral calculus. We give a characterization of the umbral calculus in terms of Baxter algebra. This characterization leads to a natural generalization of the umbral calculus that include the classical umbral calculus in a family of $\\lambda$-umbral calculi parameterized by $\\lambda$ in the base ring.
On Homomorphism of Valuation Algebras
Institute of Scientific and Technical Information of China (English)
GUAN XUE-CHONG; LI YONG-MING
2011-01-01
In this paper, firstly, a necessary condition and a sufficient condition for an isomorphism between two semiring-inducod valuation algebras to exist are presented respectively. Then a general valuation homomorphism based on different domains is defined, and the corresponding homomorphism theorem of valuation algebra is proved.
International Nuclear Information System (INIS)
PFSA (Program For Simple Algebra) is designed to be helpful to people doing algebra and calculus with polynomial expressions. It is written entirely in Fortran and hence is portable and easily modified. It is much (approximately 90 times) faster than Macsyma. PFSA uses Fortran integer arithmetic to compute coefficients, and so the occurrence of an excessively large number in a numerator or denominator during a computation bombs the computation. The program was developed to enable a computation (of a canonical transformation for a Hamiltonian system) which was too big to be run in other systems available at the time. The intent in creating PFSA was to make a program which would do the Hamiltonian computation and similar computations easily and fast. The only language available (on the Cray) was Fortran. Example C in Section III is a very simple canonical transformation. In running the problem for which PFSA was written some intermediate expressions have more than 20,000 terms and some answers have more than 1000 terms
Representations of affine Hecke algebras
Xi, Nanhua
1994-01-01
Kazhdan and Lusztig classified the simple modules of an affine Hecke algebra Hq (q E C*) provided that q is not a root of 1 (Invent. Math. 1987). Ginzburg had some very interesting work on affine Hecke algebras. Combining these results simple Hq-modules can be classified provided that the order of q is not too small. These Lecture Notes of N. Xi show that the classification of simple Hq-modules is essentially different from general cases when q is a root of 1 of certain orders. In addition the based rings of affine Weyl groups are shown to be of interest in understanding irreducible representations of affine Hecke algebras. Basic knowledge of abstract algebra is enough to read one third of the book. Some knowledge of K-theory, algebraic group, and Kazhdan-Lusztig cell of Cexeter group is useful for the rest
Elements of algebraic coding systems
Cardoso da Rocha, Jr, Valdemar
2014-01-01
Elements of Algebraic Coding Systems is an introductory textto algebraic coding theory. In the first chapter, you'll gain insideknowledge of coding fundamentals, which is essential for a deeperunderstanding of state-of-the-art coding systems.This book is a quick reference for those who are unfamiliar withthis topic, as well as for use with specific applications such as cryptographyand communication. Linear error-correcting block codesthrough elementary principles span eleven chapters of the text.Cyclic codes, some finite field algebra, Goppa codes, algebraic decodingalgorithms, and applications in public-key cryptography andsecret-key cryptography are discussed, including problems and solutionsat the end of each chapter. Three appendices cover the Gilbertbound and some related derivations, a derivation of the Mac-Williams' identities based on the probability of undetected error,and two important tools for algebraic decoding-namely, the finitefield Fourier transform and the Euclidean algorithm for polynomials.
Rota-Baxter algebras and the Hopf algebra of renormalization
Energy Technology Data Exchange (ETDEWEB)
Ebrahimi-Fard, K.
2006-06-15
Recently, the theory of renormalization in perturbative quantum field theory underwent some exciting new developments. Kreimer discovered an organization of Feynman graphs into combinatorial Hopf algebras. The process of renormalization is captured by a factorization theorem for regularized Hopf algebra characters. Hereby the notion of Rota-Baxter algebras enters the scene. In this work we develop in detail several mathematical aspects of Rota-Baxter algebras as they appear also in other sectors closely related to perturbative renormalization, to wit, for instance multiple-zeta-values and matrix differential equations. The Rota-Baxter picture enables us to present the algebraic underpinning for the Connes-Kreimer Birkhoff decomposition in a concise way. This is achieved by establishing a general factorization theorem for filtered algebras. Which in turn follows from a new recursion formula based on the Baker-Campbell-Hausdorff formula. This allows us to generalize a classical result due to Spitzer to non-commutative Rota-Baxter algebras. The Baker-Campbell-Hausdorff based recursion turns out to be a generalization of Magnus' expansion in numerical analysis to generalized integration operators. We will exemplify these general results by establishing a simple representation of the combinatorics of renormalization in terms of triangular matrices. We thereby recover in the presence of a Rota-Baxter operator the matrix representation of the Birkhoff decomposition of Connes and Kreimer. (orig.)
Rota-Baxter algebras and the Hopf algebra of renormalization
International Nuclear Information System (INIS)
Recently, the theory of renormalization in perturbative quantum field theory underwent some exciting new developments. Kreimer discovered an organization of Feynman graphs into combinatorial Hopf algebras. The process of renormalization is captured by a factorization theorem for regularized Hopf algebra characters. Hereby the notion of Rota-Baxter algebras enters the scene. In this work we develop in detail several mathematical aspects of Rota-Baxter algebras as they appear also in other sectors closely related to perturbative renormalization, to wit, for instance multiple-zeta-values and matrix differential equations. The Rota-Baxter picture enables us to present the algebraic underpinning for the Connes-Kreimer Birkhoff decomposition in a concise way. This is achieved by establishing a general factorization theorem for filtered algebras. Which in turn follows from a new recursion formula based on the Baker-Campbell-Hausdorff formula. This allows us to generalize a classical result due to Spitzer to non-commutative Rota-Baxter algebras. The Baker-Campbell-Hausdorff based recursion turns out to be a generalization of Magnus' expansion in numerical analysis to generalized integration operators. We will exemplify these general results by establishing a simple representation of the combinatorics of renormalization in terms of triangular matrices. We thereby recover in the presence of a Rota-Baxter operator the matrix representation of the Birkhoff decomposition of Connes and Kreimer. (orig.)
On the Lie-algebraic origin of metric 3-algebras
de Medeiros, Paul; Figueroa-O'Farrill, José; Méndez-Escobar, E.; Ritter, Patricia
2008-01-01
Since the pioneering work of Bagger-Lambert and Gustavsson, there has been a proliferation of three-dimensional superconformal Chern-Simons theories whose main ingredient is a metric 3-algebra. On the other hand, many of these theories have been shown to allow for a reformulation in terms of standard gauge theory coupled to matter, where the 3-algebra does not appear explicitly. In this paper we reconcile these two sets of results by pointing out the Lie-algebraic origin of some metric 3-alge...
Head First Algebra A Learner's Guide to Algebra I
Pilone, Tracey
2008-01-01
Having trouble understanding algebra? Do algebraic concepts, equations, and logic just make your head spin? We have great news: Head First Algebra is designed for you. Full of engaging stories and practical, real-world explanations, this book will help you learn everything from natural numbers and exponents to solving systems of equations and graphing polynomials. Along the way, you'll go beyond solving hundreds of repetitive problems, and actually use what you learn to make real-life decisions. Does it make sense to buy two years of insurance on a car that depreciates as soon as you drive i
Quaternionen and Geometric Algebra (Quaternionen und Geometrische Algebra)
Horn, Martin Erik
2007-01-01
In the last one and a half centuries, the analysis of quaternions has not only led to further developments in mathematics but has also been and remains an important catalyst for the further development of theories in physics. At the same time, Hestenes geometric algebra provides a didactically promising instrument to model phenomena in physics mathematically and in a tangible manner. Quaternions particularly have a catchy interpretation in the context of geometric algebra which can be used didactically. The relation between quaternions and geometric algebra is presented with a view to analysing its didactical possibilities.
Algebraic volume density property of affine algebraic manifolds
Kaliman, Shulim
2009-01-01
We introduce the notion of algebraic volume density property for affine algebraic manifolds and prove some important basic facts about it, in particular that it implies the volume density property. The main results of the paper are producing two big classes of examples of Stein manifolds with volume density property. One class consists of certain affine modifications of $\\C^n$ equipped with a canonical volume form, the other is the class of all Linear Algebraic Groups equipped with the left invariant volume form.
Ahmed, Tarek Sayed
2013-01-01
We give some general theorems on free algebras of varieties of Boolean algebras with operators; a hitherto new result is obtained for Pinter's substitution algebras. For n\\geq 3, and m>1, there is a generating set of the free algebra freely generated by m elements, which is not a free set of generators.
Gonzalez-Vega, Laureano
1999-01-01
Using a Computer Algebra System (CAS) to help with the teaching of an elementary course in linear algebra can be one way to introduce computer algebra, numerical analysis, data structures, and algorithms. Highlights the advantages and disadvantages of this approach to the teaching of linear algebra. (Author/MM)
Color Hom-Akivis algebras, Color Hom-Leibniz algebras and Modules over Color Hom-Leibniz algebras
Bakayoko, Ibrahima; Bangoura, Momo; Manga, Bakary
2014-01-01
In this paper we introduce color Hom-Akivis algebras and prove that the commutator of any color non-associative Hom-algebra structure map leads to a color Hom-akivis algebra. We give various constructions of color Hom-Akivis algebras. Next we study flexible and alternative color Hom-Akivis algebras. Likewise color Hom-Akivis algebras, we introduce non-commutative color Hom-Leibniz-Poisson algebras and presente several constructions. Moreover we give the relationship between Hom-dialgebras and...
Quantum algebra of N superspace
International Nuclear Information System (INIS)
We identify the quantum algebra of position and momentum operators for a quantum system bearing an irreducible representation of the super Poincare algebra in the N>1 and D=4 superspace, both in the case where there are no central charges in the algebra, and when they are present. This algebra is noncommutative for the position operators. We use the properties of superprojectors acting on the superfields to construct explicit position and momentum operators satisfying the algebra. They act on the projected wave functions associated to the various supermultiplets with defined superspin present in the representation. We show that the quantum algebra associated to the massive superparticle appears in our construction and is described by a supermultiplet of superspin 0. This result generalizes the construction for D=4, N=1 reported recently. For the case N=2 with central charges, we present the equivalent results when the central charge and the mass are different. For the κ-symmetric case when these quantities are equal, we discuss the reduction to the physical degrees of freedom of the corresponding superparticle and the construction of the associated quantum algebra
Bicrossproducts of algebraic quantum groups
Delvaux, Lydia; Wang, Shuanhong
2012-01-01
Let $A$ and $B$ be two algebraic quantum groups (i.e. multiplier Hopf algebras with integrals). Assume that $B$ is a right $A$-module algebra and that $A$ is a left $B$-comodule coalgebra. If the action and coaction are matched, it is possible to define a coproduct $\\Delta_#$ on the smash product $A # B$ making the pair $(A # B,\\Delta_#)$ into an algebraic quantum group. In this paper, we continue the study of these objects. First, we study the various data of the bicrossproduct $A # B$, such as the modular automorphisms, the modular elements, ... and obtain formulas in terms of the data of the components $A$ and $B$. Secondly, we look at the dual of $A # B$ (in the sense of algebraic quantum groups) and we show it is itself a bicrossproduct (of the second type) of the duals $\\hatA$ and $\\hatB$. The result is immediate for finite-dimensional Hopf algebras and therefore it is expected also for algebraic quantum groups. However, it turns out that some aspects involve a careful argument, mainly due to the fact t...
Operator algebras for analytic varieties
Davidson, Kenneth R; Shalit, Orr Moshe
2012-01-01
We study the isomorphism problem for the multiplier algebras of irreducible complete Pick kernels. These are precisely the restrictions $\\cM_V$ of the multiplier algebra $\\cM$ of Drury-Arveson space to a holomorphic subvariety $V$ of the unit ball. The related algebras of continuous multipliers are also considered. We find that $\\cM_V$ is completely isometrically isomorphic to $\\cM_W$ if and only if $W$ is the image of $V$ under a biholomorphic automorphism of the ball. A similar condition characterizes when there exists a unital completely contractive homomorphism from $\\cM_V$ to $\\cM_W$. If one of the varieties is a homogeneous algebraic variety, then isometric isomorphism is shown to imply completely isometric isomorphism of the algebras. The problem of characterizing when two such algebras are (algebraically) isomorphic is also studied. It is shown that if there is an isomorphism between $\\cM_V$ and $\\cM_W$, then there is a biholomorphism (with multiplier coordinates) between the varieties. We present a n...
Interval Algebraic Bistructures
Kandasamy, W B Vasantha
2011-01-01
This book has four chapters. In the first chapter interval bistructures (biinterval structures) such as interval bisemigroup, interval bigroupoid, interval bigroup and interval biloops are introduced. Throughout this book we work only with the intervals of the form [0, a] where a \\in Zn or Z+ \\cup {0} or R+ \\cup {0} or Q+ \\cup {0} unless otherwise specified. Also interval bistructures of the form interval loop-group, interval groupgroupoid so on are introduced and studied. In chapter two n-interval structures are introduced. n-interval groupoids, n-interval semigroups, n-interval loops and so on are introduced and analysed. Using these notions n-interval mixed algebraic structure are defined and described. Some probable applications are discussed. Only in due course of time several applications would be evolved by researchers as per their need. The final chapter suggests around 295 problems of which some are simple exercises, some are difficult and some of them are research problems.
Pérez López, César
2014-01-01
MATLAB is a high-level language and environment for numerical computation, visualization, and programming. Using MATLAB, you can analyze data, develop algorithms, and create models and applications. The language, tools, and built-in math functions enable you to explore multiple approaches and reach a solution faster than with spreadsheets or traditional programming languages, such as C/C++ or Java. MATLAB Matrix Algebra introduces you to the MATLAB language with practical hands-on instructions and results, allowing you to quickly achieve your goals. Starting with a look at symbolic and numeric variables, with an emphasis on vector and matrix variables, you will go on to examine functions and operations that support vectors and matrices as arguments, including those based on analytic parent functions. Computational methods for finding eigenvalues and eigenvectors of matrices are detailed, leading to various matrix decompositions. Applications such as change of bases, the classification of quadratic forms and ...
Decomposition of semigroup algebras
Boehm, Janko; Nitsche, Max Joachim
2011-01-01
Let A \\subseteq B be cancellative abelian semigroups, and let R be an integral domain. We show that the semigroup ring R[B] can be decomposed, as an R[A]-module, into a direct sum of R[A]-submodules of the quotient ring of R[A]. In the case of a finite extension of positive affine semigroup rings we obtain an algorithm computing the decomposition. When R[A] is a polynomial ring over a field we explain how to compute many ring-theoretic properties of R[B] in terms of this decomposition. In particular we obtain a fast algorithm to compute the Castelnuovo-Mumford regularity of homogeneous semigroup rings. As an application we confirm the Eisenbud-Goto conjecture in a range of new cases. Our algorithms are implemented in the Macaulay2 package MonomialAlgebras.
Applications of computer algebra
1985-01-01
Today, certain computer software systems exist which surpass the computational ability of researchers when their mathematical techniques are applied to many areas of science and engineering. These computer systems can perform a large portion of the calculations seen in mathematical analysis. Despite this massive power, thousands of people use these systems as a routine resource for everyday calculations. These software programs are commonly called "Computer Algebra" systems. They have names such as MACSYMA, MAPLE, muMATH, REDUCE and SMP. They are receiving credit as a computational aid with in creasing regularity in articles in the scientific and engineering literature. When most people think about computers and scientific research these days, they imagine a machine grinding away, processing numbers arithmetically. It is not generally realized that, for a number of years, computers have been performing non-numeric computations. This means, for example, that one inputs an equa tion and obtains a closed for...
Meijer, Alko R
2016-01-01
This textbook provides an introduction to the mathematics on which modern cryptology is based. It covers not only public key cryptography, the glamorous component of modern cryptology, but also pays considerable attention to secret key cryptography, its workhorse in practice. Modern cryptology has been described as the science of the integrity of information, covering all aspects like confidentiality, authenticity and non-repudiation and also including the protocols required for achieving these aims. In both theory and practice it requires notions and constructions from three major disciplines: computer science, electronic engineering and mathematics. Within mathematics, group theory, the theory of finite fields, and elementary number theory as well as some topics not normally covered in courses in algebra, such as the theory of Boolean functions and Shannon theory, are involved. Although essentially self-contained, a degree of mathematical maturity on the part of the reader is assumed, corresponding to his o...
Constraint algebra in bigravity
Energy Technology Data Exchange (ETDEWEB)
Soloviev, V. O., E-mail: Vladimir.Soloviev@ihep.ru [National Research Center Kurchatov Institute, Institute for High Energy Physics (Russian Federation)
2015-07-15
The number of degrees of freedom in bigravity theory is found for a potential of general form and also for the potential proposed by de Rham, Gabadadze, and Tolley (dRGT). This aim is pursued via constructing a Hamiltonian formalismand studying the Poisson algebra of constraints. A general potential leads to a theory featuring four first-class constraints generated by general covariance. The vanishing of the respective Hessian is a crucial property of the dRGT potential, and this leads to the appearance of two additional second-class constraints and, hence, to the exclusion of a superfluous degree of freedom—that is, the Boulware—Deser ghost. The use of a method that permits avoiding an explicit expression for the dRGT potential is a distinctive feature of the present study.
Hestenes, David
2015-01-01
This small book started a profound revolution in the development of mathematical physics, one which has reached many working physicists already, and which stands poised to bring about far-reaching change in the future. At its heart is the use of Clifford algebra to unify otherwise disparate mathematical languages, particularly those of spinors, quaternions, tensors and differential forms. It provides a unified approach covering all these areas and thus leads to a very efficient ‘toolkit’ for use in physical problems including quantum mechanics, classical mechanics, electromagnetism and relativity (both special and general) – only one mathematical system needs to be learned and understood, and one can use it at levels which extend right through to current research topics in each of these areas. These same techniques, in the form of the ‘Geometric Algebra’, can be applied in many areas of engineering, robotics and computer science, with no changes necessary – it is the same underlying mathematics, a...
$A_{\\infty}$-algebra Structures Associated to $\\mathcal{K}_2$-algebras
Conner, Andrew; Goetz, Pete
2010-01-01
The notion of a $\\mathcal{K}_2$-algebra was recently introduced by Cassidy and Shelton as a generalization of the notion of a Koszul algebra. The Yoneda algebra of any connected graded algebra admits a canonical $A_{\\infty}$-algebra structure. This structure is trivial if the algebra is Koszul. We study the $A_{\\infty}$-structure on the Yoneda algebra of a $\\mathcal{K}_2$-algebra. For each non-negative integer $n$ we prove the existence of a $\\mathcal{K}_2$-algebra $B$ and a canonical $A_{\\in...
Liu, Shoumin
2012-01-01
We present an algebra related to the Coxeter group of type F4 which can be viewed as the Brauer algebra of type F4 and is obtained as a subalgebra of the Brauer algebra of type E6. We also describe some properties of this algebra.
A Partition Temperley-Lieb Algebra
Juyumaya, Jesús
2013-01-01
We introduce a generalization of the Temperley--Lieb algebra. This generalization is defined by adding certain relations to the algebra of braids and ties. A specialization of this last algebra corresponds to one small Ramified Partition algebra, this fact is the motivation for the name of our generalization.
On Nambu-Lie 3-algebra representations
Sochichiu, Corneliu
2008-01-01
We propose a recipe to construct matrix representations of Nambu--Lie 3-algebras in terms of irreducible representations of underlying Lie algebra. The case of Euclidean four-dimensional 3-algebra is considered in details. We find that representations of this 3-algebra are not possible in terms of only Hermitian matrices in spite of its Euclidean nature.
Located Actions in Process Algebra with Timing
Bergstra, J.A.; Middelburg, C.A.
2004-01-01
We propose a process algebra obtained by adapting the process algebra with continuous relative timing from Baeten and Middelburg [Process Algebra with Timing, Springer, 2002, Chap. 4] to spatially located actions. This process algebra makes it possible to deal with the behaviour of systems with a kn
Turner doubles and generalized Schur algebras
Evseev, Anton; Kleshchev, Alexander
2016-01-01
Turner's Conjecture describes all blocks of symmetric groups and Hecke algebras up to derived equivalence in terms of certain double algebras. With a view towards a proof of this conjecture, we develop a general theory of Turner doubles. In particular, we describe doubles as explicit maximal symmetric subalgebras of certain generalized Schur algebras and establish a Schur-Weyl duality with wreath product algebras.
A Specialization of Prinjective Ringel-Hall Algebra and the associated Lie algebra
Institute of Scientific and Technical Information of China (English)
Justyna KOSAKOWSKA
2008-01-01
In the present paper we describe a specialization of prinjective Ringel-Hall algebra to 1, for prinjective modules over incidence algebras of posets of finite prinjective type,by generators and relations.This gives us a generalisation of Serre relations for semisimple Lie algebras.Connections of prinjective Ringel-Hall algebras with classical Lie algebras are also discussed.
A remark on BMW algebra, q-Schur algebras and categorification
Vaz, Pedro
2012-01-01
We prove that the 2-variable BMW algebra embeds into an algebra constructed from the HOMFLY-PT polynomial. We also prove that the so(2N)-BMW algebra embeds in the q-Schur algebra of type A. We use these results to construct categorifications of the so(2N)-BMW algebra.
Extension of a quantized enveloping algebra by a Hopf algebra
Institute of Scientific and Technical Information of China (English)
无
2010-01-01
Suppose that H is a Hopf algebra,and g is a generalized Kac-Moody algebra with Cartan matrix A =(aij)I×I,where I is an index set and is equal to either {1,2,...,n} or the natural number set N.Let f,g be two mappings from I to G(H),the set of group-like elements of H,such that the multiplication of elements in the set {f(i),g(i)|i ∈I} is commutative.Then we define a Hopf algebra Hgf Uq(g),where Uq(g) is the quantized enveloping algebra of g.
Splitting full matrix algebras over algebraic number fields
Ivanyos, Gábor; Schicho, Joseph
2011-01-01
Let K be an algebraic number field of degree d and discriminant D over Q. Let A be an associative algebra over K given by structure constants such that A is siomorphic to the algebra M_n(K) of n by n matrices over K for some positive integer n. Suppose that d, n and D are bounded. Then an isomorphism of A with M_n(K) can be constructed by a polynomial time ff-algorithm. (An ff-algorithm is a deterministic procedure which is allowed to call oracles for factoring integers and factoring univariate polynomials over finite fields.) As a consequence, we obtain a polynomial time ff-algorithm to compute isomorphisms of central simple algebras of bounded degree over K.
Using Homemade Algebra Tiles To Develop Algebra and Prealgebra Concepts.
Leitze, Annette Ricks; Kitt, Nancy A.
2000-01-01
Describes how to use homemade tiles, sketches, and the box method to reach a broader group of students for successful algebra learning. Provides a list of concepts appropriate for such an approach. (KHR)
Kolman, Bernard; Levitan, Michael L
1985-01-01
Test Bank for College Algebra, Second Edition is a supplementary material for the text, College Algebra, Second Edition. The book is intended for use by mathematics teachers.The book contains standard tests for each chapter in the textbook. Each set of test aims to evaluate the level of understanding the student has achieved during the course. The answers for each chapter test and the final exam are found at the end of the book.Mathematics teachers teaching college algebra will find the book very useful.
1996-01-01
Handbook of Algebra defines algebra as consisting of many different ideas, concepts and results. Even the nonspecialist is likely to encounter most of these, either somewhere in the literature, disguised as a definition or a theorem or to hear about them and feel the need for more information. Each chapter of the book combines some of the features of both a graduate-level textbook and a research-level survey. This book is divided into eight sections. Section 1A focuses on linear algebra and discusses such concepts as matrix functions and equations and random matrices. Section 1B cover linear d
Practical approach to linear algebra
Choudhary, Prabhat
2009-01-01
""Linear Algebra is the heart of applied science but there are divergent views concerning its meaning. The field of Linear Algebra is more beautiful and more fundamental than its rather dull name may suggest. More beautiful because it is full of powerful ideas that are quite unlike those normally emphasized in a linear algebra course in a mathematics department. Throughout the book the author follows the practice of first presenting required background material, which is then used to develop the results. The book is divided in ten chapters. Relevant material is included in each chapter from ot
Study guide for college algebra
Snow, James W; Shapiro, Arnold
1981-01-01
Study Guide for College Algebra is a supplemental material for the basic text, College Algebra. Its purpose is to make the learning of college algebra and trigonometry easier and enjoyable.The book provides detailed solutions to exercises found in the text. Students are encouraged to use the study guide as a learning tool during the duration of the course, a reviewer prior to an exam, a reference book, and as a quick overview before studying a section of the text. The Study Guide and Solutions Manual consists of four major components: basic concepts that should be learned from each unit, what
Unique Tensor Factorization of Algebras
Nüsken, Michael
1998-01-01
Tensor product decomposition of algebras is known to be non-unique in many cases. But, as will be shown here, an additively indecomposable, finite-dimensional C-algebra A has an essentially unique tensor factorization A=A1x...xAr into non-trivial, x-indecomposable factors Ai. Thus the semiring of isomorphism classes of finite-dimensional C-algebras is a polynomial semiring N[X]. Moreover, the field C of complex numbers can be replaced by an arbitrary field of characteristic zero if one restr...
Introduction to algebra and trigonometry
Kolman, Bernard
1981-01-01
Introduction to Algebra and Trigonometry provides a complete and self-contained presentation of the fundamentals of algebra and trigonometry.This book describes an axiomatic development of the foundations of algebra, defining complex numbers that are used to find the roots of any quadratic equation. Advanced concepts involving complex numbers are also elaborated, including the roots of polynomials, functions and function notation, and computations with logarithms. This text also discusses trigonometry from a functional standpoint. The angles, triangles, and applications involving triangles are
Loop Virasoro Lie conformal algebra
Energy Technology Data Exchange (ETDEWEB)
Wu, Henan, E-mail: wuhenanby@163.com; Chen, Qiufan; Yue, Xiaoqing [Department of Mathematics, Tongji University, Shanghai 200092 (China)
2014-01-15
The Lie conformal algebra of loop Virasoro algebra, denoted by CW, is introduced in this paper. Explicitly, CW is a Lie conformal algebra with C[∂]-basis (L{sub i} | i∈Z) and λ-brackets [L{sub i} {sub λ} L{sub j}] = (−∂−2λ)L{sub i+j}. Then conformal derivations of CW are determined. Finally, rank one conformal modules and Z-graded free intermediate series modules over CW are classified.
Operator algebras for multivariable dynamics
Davidson, Kenneth R.; Katsoulis, Elias G.
2007-01-01
Let $X$ be a locally compact Hausdorff space with $n$ proper continuous self maps $\\tau_i:X \\to X$ for $1 \\le i \\le n$. To this we associate two topological conjugacy algebras which emerge as the natural candidates for the universal algebra of the system, the tensor algebra $\\A(X, \\tau)$ and the semicrossed product $\\rC_0(X)\\times_\\tau\\Fn$. We introduce a concept of conjugacy for multidimensional systems, which we coin piecewise conjugacy. We prove that the piecewise conjugacy class of the sy...
Congruence Permutable Symmetric Extended de Morgan Algebras
Institute of Scientific and Technical Information of China (English)
Jie FANG
2006-01-01
An algebra A is said to be congruence permutable if any two congruences on it are per-mutable. This property has been investigated in several varieties of algebras, for example, de Morgan algebras, p-algebras, Kn,o-algebras. In this paper, we study the class of symmetric extended de Morgan algebras that are congruence permutable. In particular we consider the case where A is finite, and show that A is congruence permutable if and only if it is isomorphic to a direct product of finitely many simple algebras.
Modules Over Color Hom-Poisson Algebras
Bakayoko, Ibrahima
2014-01-01
In this paper we introduce color Hom-Poisson algebras and show that every color Hom-associative algebra has a non-commutative Hom-Poisson algebra structure in which the Hom-Poisson bracket is the commutator bracket. Then we show that color Poisson algebras (respectively morphism of color Poisson algebras) turn to color Hom-Poisson algebras (respectively morphism of Color Hom-Poisson algebras) by twisting the color Poisson structure. Next we prove that modules over color Hom–associative algebr...
Semiprojectivity of universal -algebras generated by algebraic elements
DEFF Research Database (Denmark)
Shulman, Tatiana
2012-01-01
Let be a polynomial in one variable whose roots all have multiplicity more than 1. It is shown that the universal -algebra of a relation , , is semiprojective and residually finite-dimensional. Applications to polynomially compact operators are given.......Let be a polynomial in one variable whose roots all have multiplicity more than 1. It is shown that the universal -algebra of a relation , , is semiprojective and residually finite-dimensional. Applications to polynomially compact operators are given....
Lectures on algebraic quantum field theory and operator algebras
Energy Technology Data Exchange (ETDEWEB)
Schroer, Bert [Berlin Univ. (Germany). Institut fuer Theoretische Physik. E-mail: schroer@cbpf.br
2001-04-01
In this series of lectures directed towards a mainly mathematically oriented audience I try to motivate the use of operator algebra methods in quantum field theory. Therefore a title as why mathematicians are/should be interested in algebraic quantum field theory would be equally fitting. besides a presentation of the framework and the main results of local quantum physics these notes may serve as a guide to frontier research problems in mathematical. (author)
Constructions of Lie algebras and their modules
Seligman, George B
1988-01-01
This book deals with central simple Lie algebras over arbitrary fields of characteristic zero. It aims to give constructions of the algebras and their finite-dimensional modules in terms that are rational with respect to the given ground field. All isotropic algebras with non-reduced relative root systems are treated, along with classical anisotropic algebras. The latter are treated by what seems to be a novel device, namely by studying certain modules for isotropic classical algebras in which they are embedded. In this development, symmetric powers of central simple associative algebras, along with generalized even Clifford algebras of involutorial algebras, play central roles. Considerable attention is given to exceptional algebras. The pace is that of a rather expansive research monograph. The reader who has at hand a standard introductory text on Lie algebras, such as Jacobson or Humphreys, should be in a position to understand the results. More technical matters arise in some of the detailed arguments. T...
A Jacobi identity for intertwining operator algebras
Huang, Y Z
1997-01-01
We find a Jacobi identity for intertwining operator algebras. Most of the main properties of genus-zero conformal field theories, including the main properties of vertex operator algebras, modules, intertwining operators, Verlinde algebras, and fusing and braiding matrices, are incorporated into this identity. We prove that intertwining operators for a suitable vertex operator algebra satisfy this Jacobi identity. Two equivalent definitions of intertwining operator algebra in terms of this Jacobi identity are given.
Reflexive Operator Algebras on Banach Spaces
Merlevède, Florence; Peligrad, Costel; Peligrad, Magda
2012-01-01
In this paper we study the reflexivity of a unital strongly closed algebra of operators with complemented invariant subspace lattice on a Banach space. We prove that if such an algebra contains a complete Boolean algebra of projections of finite uniform multiplicity and with the direct sum property, then it is reflexive, i.e. it contains every operator that leaves invariant every closed subspace in the invariant subspace lattice of the algebra. In particular, such algebras coincide with their...
Algebraic density property of homogeneous spaces
Donzelli, Fabrizio; Dvorsky, Alexander; Kaliman, Shulim
2008-01-01
Let $X$ be an affine algebraic variety with a transitive action of the algebraic automorphism group. Suppose that $X$ is equipped with several non-degenerate fixed point free $SL_2$-actions satisfying some mild additional assumption. Then we show that the Lie algebra generated by completely integrable algebraic vector fields on $X$ coincides with the set of all algebraic vector fields. In particular, we show that apart from a few exceptions this fact is true for any homogeneous space of form ...
On Monotone Product of Operator Algebras
Institute of Scientific and Technical Information of China (English)
Wen Ming WU; Li Guang WANG
2007-01-01
In this note, we give complete descriptions of the structure of the monotone product of two yon Neumann algebras and two C*-algebras. We show that the monotone product of two simple yon Neumann algebras and C*-algebras aren't simple again. We also show that the monotone product of two hyperfinite von Neumann algebras is again hyperfinite and determine the type of the monotone product of two factors.
Homology of L_{\\infty}-Algebras and Cyclic Homology
Khalkhali, Masoud
1998-01-01
A classical result of Loday-Quillen and Tsygan states that the Lie algebra homology of the algebra of stable matrices over an associative algebra is isomorphic, as a Hopf algebra, to the exterior algebra of the cyclic homology of the algebra. In this paper we develop the necessary tools needed to extend extend this result to the category of L_{\\infty} algebras.
Cartooning in Algebra and Calculus
Moseley, L. Jeneva
2014-01-01
This article discusses how teachers can create cartoons for undergraduate math classes, such as college algebra and basic calculus. The practice of cartooning for teaching can be helpful for communication with students and for students' conceptual understanding.
On Nilpotent Extensions of Algebras
Institute of Scientific and Technical Information of China (English)
Adam W. Marczak; Jerzy Plonka
2007-01-01
In this paper, we investigate essentially n-ary term operations of nilpotent extensions of algebras. We detect the connection between term operations of an original algebra and its nilpotent extensions. This structural point of view easily leads to the conclusion that the number of distinct essentially n-ary term operations of a proper algebraic nilpotent extension (ひ) of an algebra (ワ) is given by the formula pn(ひ)={pn(ワ)+1 for n=1,{pn(ワ) otherwise. We show that in general the converse theorem is not true. However, we suppose that if a variety V is uniquely determined by its pn-sequences, the converse theorem is also satisfied. In the second part of the paper, we characterize generics of nilpotent shifts of varieties and describe cardinalities of minimal generics. We give a number of examples and pose some problems.
Classical theory of algebraic numbers
Ribenboim, Paulo
2001-01-01
Gauss created the theory of binary quadratic forms in "Disquisitiones Arithmeticae" and Kummer invented ideals and the theory of cyclotomic fields in his attempt to prove Fermat's Last Theorem These were the starting points for the theory of algebraic numbers, developed in the classical papers of Dedekind, Dirichlet, Eisenstein, Hermite and many others This theory, enriched with more recent contributions, is of basic importance in the study of diophantine equations and arithmetic algebraic geometry, including methods in cryptography This book has a clear and thorough exposition of the classical theory of algebraic numbers, and contains a large number of exercises as well as worked out numerical examples The Introduction is a recapitulation of results about principal ideal domains, unique factorization domains and commutative fields Part One is devoted to residue classes and quadratic residues In Part Two one finds the study of algebraic integers, ideals, units, class numbers, the theory of decomposition, iner...
Semiclassical states on Lie algebras
Energy Technology Data Exchange (ETDEWEB)
Tsobanjan, Artur, E-mail: artur.tsobanjan@gmail.com [King’s College, 133 North River Street, Kingston, Pennsylvania 18702 (United States)
2015-03-15
The effective technique for analyzing representation-independent features of quantum systems based on the semiclassical approximation (developed elsewhere) has been successfully used in the context of the canonical (Weyl) algebra of the basic quantum observables. Here, we perform the important step of extending this effective technique to the quantization of a more general class of finite-dimensional Lie algebras. The case of a Lie algebra with a single central element (the Casimir element) is treated in detail by considering semiclassical states on the corresponding universal enveloping algebra. Restriction to an irreducible representation is performed by “effectively” fixing the Casimir condition, following the methods previously used for constrained quantum systems. We explicitly determine the conditions under which this restriction can be consistently performed alongside the semiclassical truncation.
GCD, LCM, and Boolean Algebra?
Cohen, Martin P.; Juraschek, William A.
1976-01-01
This article investigates the algebraic structure formed when the process of finding the greatest common divisor and the least common multiple are considered as binary operations on selected subsets of positive integers. (DT)
Computational linear and commutative algebra
Kreuzer, Martin
2016-01-01
This book combines, in a novel and general way, an extensive development of the theory of families of commuting matrices with applications to zero-dimensional commutative rings, primary decompositions and polynomial system solving. It integrates the Linear Algebra of the Third Millennium, developed exclusively here, with classical algorithmic and algebraic techniques. Even the experienced reader will be pleasantly surprised to discover new and unexpected aspects in a variety of subjects including eigenvalues and eigenspaces of linear maps, joint eigenspaces of commuting families of endomorphisms, multiplication maps of zero-dimensional affine algebras, computation of primary decompositions and maximal ideals, and solution of polynomial systems. This book completes a trilogy initiated by the uncharacteristically witty books Computational Commutative Algebra 1 and 2 by the same authors. The material treated here is not available in book form, and much of it is not available at all. The authors continue to prese...
Klumpp, A. R.; Lawson, C. L.
1988-01-01
Routines provided for common scalar, vector, matrix, and quaternion operations. Computer program extends Ada programming language to include linear-algebra capabilities similar to HAS/S programming language. Designed for such avionics applications as software for Space Station.
Asymptotic algebra of quantum electrodynamics
Herdegen, Andrzej
2004-01-01
The Staruszkiewicz quantum model of the long-range structure in electrodynamics is reviewed in the form of a Weyl algebra. This is followed by a personal view on the asymptotic structure of quantum electrodynamics.
Drinfeld center of planar algebra
Das, Paramita; Gupta, Ved Prakash
2012-01-01
We introduce fusion and contragadient of affine representations of a planar algebra $P$ (not necessarily having finite depth). We prove that if $N \\subset M$ is a subfactor realization of $P$, then the Drinfeld center of the $N$-$N$-bimodule category generated by $_N L^2 (M)_M$, is equivalent to the category Hilbert affine representations of $P$ satisfying certain finiteness criterion. As a consequence, we prove Kevin Walker's conjecture for planar algebras.
Ternary generalizations of Grassmann algebra
Abramov, V V
1996-01-01
We propose the ternary generalization of the classical anti-commutativity and study the algebras whose generators are ternary anti-commutative. The integral over an algebra with an arbitrary number of generators N is defined and the formula of a change of variables is proved. In analogy with the fermion integral we define an analogue of the Pfaffian for a cubic matrix by means of Gaussian type integral and calculate its explicit form in the case of N=3.
Distribution theory of algebraic numbers
Yang, Chung-Chun
2008-01-01
The book timely surveys new research results and related developments in Diophantine approximation, a division of number theory which deals with the approximation of real numbers by rational numbers. The book is appended with a list of challenging open problems and a comprehensive list of references. From the contents: Field extensions Algebraic numbers Algebraic geometry Height functions The abc-conjecture Roth''s theorem Subspace theorems Vojta''s conjectures L-functions.
FOUNDATION OF NUCLEAR ALGEBRAIC MODELS
Institute of Scientific and Technical Information of China (English)
周孝谦
1990-01-01
Based upon Tomonoga-Rowe's many body theory, we find that the algebraic models, including IBM and FDSM are simplest extension of Rowe-Rosensteel's sp(3R).Dynkin-Gruber's subalgebra embedding method is applied to find an appropriate algebra and it's reduction chains conforming to physical requirement. The separated cases sp(6) and so(8) now appear as two branches stemming from the same root D6-O(12). Transitional ease between sp(6) and so(8) is inherently include.
Cluster algebras and Poisson geometry
Gekhtman, M.; Shapiro, M.; Vainshtein, A.
2002-01-01
We introduce a Poisson variety compatible with a cluster algebra structure and a compatible toric action on this variety. We study Poisson and topological properties of the union of generic orbits of this toric action. In particular, we compute the number of connected components of the union of generic toric orbits for cluster algebras over real numbers. As a corollary we compute the number of connected components of refined open Bruhat cells in Grassmanians G(k,n) over real numbers.
Process algebra for synchronous communication
Bergstra, J. A.; Klop, Jan Willem
1984-01-01
Within the context of an algebraic theory of processes, an equational specification of process cooperation is provided. Four cases are considered: free merge or interleaving, merging with communication, merging with mutual exclusion of tight regions, and synchronous process cooperation. The rewrite system behind the communication algebra is shown to be confluent and terminating (modulo its permutative reductions). Further, some relationships are shown to hold between the four concepts of merg...
Lannes, A.; Teunissen, P. J. G.
2011-05-01
The first objective of this paper is to show that some basic concepts used in global navigation satellite systems (GNSS) are similar to those introduced in Fourier synthesis for handling some phase calibration problems. In experimental astronomy, the latter are at the heart of what is called `phase closure imaging.' In both cases, the analysis of the related structures appeals to the algebraic graph theory and the algebraic number theory. For example, the estimable functions of carrier-phase ambiguities, which were introduced in GNSS to correct some rank defects of the undifferenced equations, prove to be `closure-phase ambiguities:' the so-called `closure-delay' (CD) ambiguities. The notion of closure delay thus generalizes that of double difference (DD). The other estimable functional variables involved in the phase and code undifferenced equations are the receiver and satellite pseudo-clock biases. A related application, which corresponds to the second objective of this paper, concerns the definition of the clock information to be broadcasted to the network users for their precise point positioning (PPP). It is shown that this positioning can be achieved by simply having access to the satellite pseudo-clock biases. For simplicity, the study is restricted to relatively small networks. Concerning the phase for example, these biases then include five components: a frequency-dependent satellite-clock error, a tropospheric satellite delay, an ionospheric satellite delay, an initial satellite phase, and an integer satellite ambiguity. The form of the PPP equations to be solved by the network user is then similar to that of the traditional PPP equations. As soon as the CD ambiguities are fixed and validated, an operation which can be performed in real time via appropriate decorrelation techniques, estimates of these float biases can be immediately obtained. No other ambiguity is to be fixed. The satellite pseudo-clock biases can thus be obtained in real time. This is
Fa, Huanxia
2013-01-01
In this paper, we determine the derivation algebra and automorphism group of the twisted N=2 superconformal algebra. Then we generalize the relative results to the generalized twisted N=2 superconformal algebra in the final section.
A note on the "logarithmic-W_3" octuplet algebra and its Nichols algebra
Semikhatov, A M
2013-01-01
We describe a Nichols-algebra-motivated construction of an octuplet chiral algebra that is a "W_3-counterpart" of the triplet algebra of (p,1) logarithmic models of two-dimensional conformal field theory.
Stability of -Jordan Homomorphisms from a Normed Algebra to a Banach Algebra
Directory of Open Access Journals (Sweden)
Yang-Hi Lee
2013-01-01
Full Text Available We establish the hyperstability of -Jordan homomorphisms from a normed algebra to a Banach algebra, and also we show that an -Jordan homomorphism between two commutative Banach algebras is an -ring homomorphism.
Algebraic Systems and Pushdown Automata
Petre, Ion; Salomaa, Arto
We concentrate in this chapter on the core aspects of algebraic series, pushdown automata, and their relation to formal languages. We choose to follow here a presentation of their theory based on the concept of properness. We introduce in Sect. 2 some auxiliary notions and results needed throughout the chapter, in particular the notions of discrete convergence in semirings and C-cycle free infinite matrices. In Sect. 3 we introduce the algebraic power series in terms of algebraic systems of equations. We focus on interconnections with context-free grammars and on normal forms. We then conclude the section with a presentation of the theorems of Shamir and Chomsky-Schützenberger. We discuss in Sect. 4 the algebraic and the regulated rational transductions, as well as some representation results related to them. Section 5 is dedicated to pushdown automata and focuses on the interconnections with classical (non-weighted) pushdown automata and on the interconnections with algebraic systems. We then conclude the chapter with a brief discussion of some of the other topics related to algebraic systems and pushdown automata.
Algebras with actions and automata
Directory of Open Access Journals (Sweden)
W. Kühnel
1982-01-01
Full Text Available In the present paper we want to give a common structure theory of left action, group operations, R-modules and automata of different types defined over various kinds of carrier objects: sets, graphs, presheaves, sheaves, topological spaces (in particular: compactly generated Hausdorff spaces. The first section gives an axiomatic approach to algebraic structures relative to a base category B, slightly more powerful than that of monadic (tripleable functors. In section 2 we generalize Lawveres functorial semantics to many-sorted algebras over cartesian closed categories. In section 3 we treat the structures mentioned in the beginning as many-sorted algebras with fixed scalar or input object and show that they still have an algebraic (or monadic forgetful functor (theorem 3.3 and hence the general theory of algebraic structures applies. These structures were usually treated as one-sorted in the Lawvere-setting, the action being expressed by a family of unary operations indexed over the scalars. But this approach cannot, as the one developed here, describe continuity of the action (more general: the action to be a B-morphism, which is essential for the structures mentioned above, e.g. modules for a sheaf of rings or topological automata. Finally we discuss consequences of theorem 3.3 for the structure theory of various types of automata. The particular case of algebras with fixed natural numbers object has been studied by the authors in [23].
格蕴涵代数与MV-代数%Lattice Implication Algebras and MV-algebras
Institute of Scientific and Technical Information of China (English)
郭天榜
1999-01-01
Lattice implication algebras is an algebraic structure which is established by combining lattice and implication algebras. In this paper,the relationship between lattice implication algebras and MV-algebra was discussed,and then proved that both of the categorys of the two algebras are categorical equivalence. Finally,the infinitely distributivity in lattice implication algebras were proved.
Quantum Deformed $su(m|n)$ Algebra and Superconformal Algebra on Quantum Superspace
Kobayashi, Tatsuo
1993-01-01
We study a deformed $su(m|n)$ algebra on a quantum superspace. Some interesting aspects of the deformed algebra are shown. As an application of the deformed algebra we construct a deformed superconformal algebra. {}From the deformed $su(1|4)$ algebra, we derive deformed Lorentz, translation of Minkowski space, $iso(2,2)$ and its supersymmetric algebras as closed subalgebras with consistent automorphisms.
Wörz-Busekros, Angelika
1980-01-01
The purpose of these notes is to give a rather complete presentation of the mathematical theory of algebras in genetics and to discuss in detail many applications to concrete genetic situations. Historically, the subject has its origin in several papers of Etherington in 1939- 1941. Fundamental contributions have been given by Schafer, Gonshor, Holgate, Reiers¢l, Heuch, and Abraham. At the moment there exist about forty papers in this field, one survey article by Monique Bertrand from 1966 based on four papers of Etherington, a paper by Schafer and Gonshor's first paper. Furthermore Ballonoff in the third section of his book "Genetics and Social Structure" has included four papers by Etherington and Reiers¢l's paper. Apparently a complete review, in par ticular one comprising more recent results was lacking, and it was difficult for students to enter this field of research. I started to write these notes in spring 1978. A first german version was finished at the end of that year. Further revision and tran...
Directory of Open Access Journals (Sweden)
M. Sivasubramanian
2009-01-01
Full Text Available Problem statement: After formulating the special theory of relativity in 1905, Albert Einstein politely remarked: for velocities that are greater than light our deliberations become meaningless. In 1962, Sudarshan and his co-researchers proposed a hypothesis that particles/objects whose rest mass is imaginary can travel by birth faster than light. After the publication of Sudarshans research, many scholars began to probe into faster than light phenomena. In extended relativity, many properties of tachyons have been found. But still this micro second, the velocity of a free tachyon with respect to us is unknown. In this research the researchers found tachyon velocity. Approach: In this research, Einsteins variation of mass with velocity equation was transformed into quadratic equation. We introduced a new hypothesis to find the roots of the quadratic equation. Results: By introducing a new hypothesis in tachyon algebra, the researchers found that the velocity of superluminal objects with respect to us is v = c√3 where c is the velocity of the light. Conclusion/Recommendations: But the road to tachyon is too long. Hereafter it is up to experimental physicists to establish the existence/generation of tachyons.
Certain number-theoretic episodes in algebra
Sivaramakrishnan, R
2006-01-01
Many basic ideas of algebra and number theory intertwine, making it ideal to explore both at the same time. Certain Number-Theoretic Episodes in Algebra focuses on some important aspects of interconnections between number theory and commutative algebra. Using a pedagogical approach, the author presents the conceptual foundations of commutative algebra arising from number theory. Self-contained, the book examines situations where explicit algebraic analogues of theorems of number theory are available. Coverage is divided into four parts, beginning with elements of number theory and algebra such as theorems of Euler, Fermat, and Lagrange, Euclidean domains, and finite groups. In the second part, the book details ordered fields, fields with valuation, and other algebraic structures. This is followed by a review of fundamentals of algebraic number theory in the third part. The final part explores links with ring theory, finite dimensional algebras, and the Goldbach problem.
Congruences on Balanced Pseudocomplemented Ockham Algebras
Institute of Scientific and Technical Information of China (English)
Jie FANG
2009-01-01
The variety bpO consists of those algebras (L;∧,∨, f,* ) of type where (L; ∧, ∨, f, 0, 1) is an Ockham algebra, (L; ∧, ∨, *, 0, 1) is a p-algebra, and the operations x→f(x) and x →x* satisfy the identities f(x*) = x** and [f(x)]* = f2(x). In this note, we show that the compact congruences on a bpO-algebra form a dual Stone lattice. Using this, we characterize the algebras in which every principal congruence is complemented. We also give a description of congruence coherent bpO-algebras.
Double-partition Quantum Cluster Algebras
DEFF Research Database (Denmark)
Jakobsen, Hans Plesner; Zhang, Hechun
2012-01-01
A family of quantum cluster algebras is introduced and studied. In general, these algebras are new, but sub-classes have been studied previously by other authors. The algebras are indexed by double parti- tions or double flag varieties. Equivalently, they are indexed by broken lines L. By grouping...... together neighboring mutations into quantum line mutations we can mutate from the cluster algebra of one broken line to another. Compatible pairs can be written down. The algebras are equal to their upper cluster algebras. The variables of the quantum seeds are given by elements of the dual canonical basis....
Harmonic functions on groups and Fourier algebras
Chu, Cho-Ho
2002-01-01
This research monograph introduces some new aspects to the theory of harmonic functions and related topics. The authors study the analytic algebraic structures of the space of bounded harmonic functions on locally compact groups and its non-commutative analogue, the space of harmonic functionals on Fourier algebras. Both spaces are shown to be the range of a contractive projection on a von Neumann algebra and therefore admit Jordan algebraic structures. This provides a natural setting to apply recent results from non-associative analysis, semigroups and Fourier algebras. Topics discussed include Poisson representations, Poisson spaces, quotients of Fourier algebras and the Murray-von Neumann classification of harmonic functionals.
ISOMORPHISMS AND DERIVATIONS IN C*-ALGEBRAS
Institute of Scientific and Technical Information of China (English)
Lee Jung-Rye; Shin Dong-Yun
2011-01-01
In this article, we prove the Hyers-Ulam-Rassias stability of the following Cauchy-Jensen functional inequality:||f(x) + f(y) + 2f(z) + 2f(w)|| ≤ ||2f (x +y /2+ z +w)|| (0.1)This is applied to investigate isomorphisms between C*-algebras, Lie C*-algebras and JC*-algebras, and derivations on C*-algebras, Lie C*-algebras and JC*-algebras, associated with the Cauchy-Jensen functional equation2f(x+y/2+z+w)=f(x)+f(y)+2f(z)+2f(w).(0.2)
Principles of linear algebra with Mathematica
Shiskowski, Kenneth M
2013-01-01
A hands-on introduction to the theoretical and computational aspects of linear algebra using Mathematica® Many topics in linear algebra are simple, yet computationally intensive, and computer algebra systems such as Mathematica® are essential not only for learning to apply the concepts to computationally challenging problems, but also for visualizing many of the geometric aspects within this field of study. Principles of Linear Algebra with Mathematica uniquely bridges the gap between beginning linear algebra and computational linear algebra that is often encountered in applied settings,
Do Phantom Cuntz-Krieger Algebras Exist?
DEFF Research Database (Denmark)
Arklint, Sara E.
2013-01-01
If phantom Cuntz-Krieger algebras do not exist, then purely infinite Cuntz-Krieger algebras can be characterized by outer properties. In this survey paper, a summary of the known results on non-existence of phantom Cuntz-Krieger algebras is given......If phantom Cuntz-Krieger algebras do not exist, then purely infinite Cuntz-Krieger algebras can be characterized by outer properties. In this survey paper, a summary of the known results on non-existence of phantom Cuntz-Krieger algebras is given...
Operator product expansion algebra
Energy Technology Data Exchange (ETDEWEB)
Holland, Jan [School of Mathematics, Cardiff University, Senghennydd Rd, Cardiff CF24 4AG (United Kingdom); Hollands, Stefan [School of Mathematics, Cardiff University, Senghennydd Rd, Cardiff CF24 4AG (United Kingdom); Institut für Theoretische Physik, Universität Leipzig, Brüderstr. 16, Leipzig, D-04103 (Germany)
2013-07-15
We establish conceptually important properties of the operator product expansion (OPE) in the context of perturbative, Euclidean φ{sup 4}-quantum field theory. First, we demonstrate, generalizing earlier results and techniques of hep-th/1105.3375, that the 3-point OPE,
Homological Dimensions of the Extension Algebras of Monomial Algebras
Institute of Scientific and Technical Information of China (English)
Hong Bo SHI
2015-01-01
The main objective of this paper is to study the dimension trees and further the homo-logical dimensions of the extension algebras — dual and trivially twisted extensions — with a unified combinatorial approach using the two combinatorial algorithms — Topdown and Bottomup. We first present a more complete and clearer picture of a dimension tree, with which we are then able, on the one hand, to sharpen some results obtained before and furthermore reveal a few more hidden sub-tle homological phenomenons of or connections between the involved algebras; on the other hand, to provide two more eﬃ cient combinatorial algorithms for computing dimension trees, and consequently the homological dimensions as an application. We believe that the more refined complete structural information on dimension trees will be useful to study other homological properties of this class of extension algebras.
Discrete event systems in dioid algebra and conventional algebra
Declerck, Philippe
2013-01-01
This book concerns the use of dioid algebra as (max, +) algebra to treat the synchronization of tasks expressed by the maximum of the ends of the tasks conditioning the beginning of another task - a criterion of linear programming. A classical example is the departure time of a train which should wait for the arrival of other trains in order to allow for the changeover of passengers.The content focuses on the modeling of a class of dynamic systems usually called "discrete event systems" where the timing of the events is crucial. Events are viewed as sudden changes in a process which i
Linear algebra algorithms for divisors on an algebraic curve
Khuri-Makdisi, Kamal
2001-01-01
We use an embedding of the symmetric $d$th power of any algebraic curve $C$ of genus $g$ into a Grassmannian space to give algorithms for working with divisors on $C$, using only linear algebra in vector spaces of dimension $O(g)$, and matrices of size $O(g^2)\\times O(g)$. When the base field $k$ is finite, or if $C$ has a rational point over $k$, these give algorithms for working on the Jacobian of $C$ that require $O(g^4)$ field operations, arising from the Gaussian elimination. Our point o...
Rational and algebraic approximations of algebraic numbers and their application
Institute of Scientific and Technical Information of China (English)
袁平之
1997-01-01
Effective rational and algebraic approximations of a large class of algebraic numbers are obtained by Thue-Siegel’s method.As an application of this result,it is proved that; if D>0 is not a square,and ε=x0 +y0 D denotes the fundamental solution of x2-Dy2=-1,then x2+1=Dy4 is solvable if and only if y0=A2 where A is an integer.Moreover,if ≥64,then x2+1=Dy4 has at most one positive integral solution (x,y).
Birman-Murakami-Wenzl algebras for general Coxeter groups
Chen, Zhi
2012-01-01
We introduce a BMW type algebra for every Coxeter group. These new algebras are introduced as deformations of the Brauer type algebras introduced by the author, they have the corresponding Hecke algebras as quotients.
Twisted Hamiltonian Lie Algebras and Their Multiplicity-Free Representations
Institute of Scientific and Technical Information of China (English)
Ling CHEN
2011-01-01
We construct a class of new Lie algebras by generalizing the one-variable Lie algebras generated by the quadratic conformal algebras (or corresponding Hamiltonian operators) associated with Poisson algebras and a quasi-derivation found by Xu. These algebras can be viewed as certain twists of Xu's generalized Hamiltonian Lie algebras. The simplicity of these algebras is completely determined. Moreover, we construct a family of multiplicity-free representations of these Lie algebras and prove their irreducibility.
The quantum algebra of superspace
Hatcher, N; Stephany, J
2006-01-01
We present the complete set of N=1, D=4 quantum algebras associated to massive superparticles. We obtain the explicit solution of these algebras realized in terms of unconstrained operators acting on the Hilbert space of superfields. These solutions are expressed in terms of the chiral, anti-chiral and tensorial projectors which define the three irreducible representations of the supersymmetry on the superfields. In each case the space-time variables are non-commuting and their commutators are proportional to the internal angular momentum of the representation. The quantum algebras associated to the chiral or anti-chiral projectors is the one obtained by the quantization of the Casalbuoni-Brink-Schwarz massive superparticle. We present a new action for the tensorial case and show that their wave functions are restricted to be tensorial superfields.
Algebras, dialgebras, and polynomial identities
Bremner, Murray R
2012-01-01
This is a survey of some recent developments in the theory of associative and nonassociative dialgebras, with an emphasis on polynomial identities and multilinear operations. We discuss associative, Lie, Jordan, and alternative algebras, and the corresponding dialgebras; the KP algorithm for converting identities for algebras into identities for dialgebras; the BSO algorithm for converting operations in algebras into operations in dialgebras; Lie and Jordan triple systems, and the corresponding disystems; and a noncommutative version of Lie triple systems based on the trilinear operation abc-bca. The paper concludes with a conjecture relating the KP and BSO algorithms, and some suggestions for further research. Most of the original results are joint work with Raul Felipe, Luiz A. Peresi, and Juana Sanchez-Ortega.
A characterisation of algebraic exactness
Garner, Richard
2011-01-01
An algebraically exact category in one that admits all of the limits and colimits which every variety of algebras possesses and every forgetful functor between varieties preserves, and which verifies the same interactions between these limits and colimits as hold in any variety. Such categories were studied by Ad\\'amek, Lawvere and Rosick\\'y: they characterised them as the categories with small limits and sifted colimits for which the functor taking sifted colimits is continuous. They conjectured that a complete and sifted-cocomplete category should be algebraically exact just when it is Barr-exact, finite limits commute with filtered colimits, regular epimorphisms are stable by small products, and filtered colimits distribute over small products. We prove this conjecture.
Topics in quaternion linear algebra
Rodman, Leiba
2014-01-01
Quaternions are a number system that has become increasingly useful for representing the rotations of objects in three-dimensional space and has important applications in theoretical and applied mathematics, physics, computer science, and engineering. This is the first book to provide a systematic, accessible, and self-contained exposition of quaternion linear algebra. It features previously unpublished research results with complete proofs and many open problems at various levels, as well as more than 200 exercises to facilitate use by students and instructors. Applications presented in the book include numerical ranges, invariant semidefinite subspaces, differential equations with symmetries, and matrix equations. Designed for researchers and students across a variety of disciplines, the book can be read by anyone with a background in linear algebra, rudimentary complex analysis, and some multivariable calculus. Instructors will find it useful as a complementary text for undergraduate linear algebra courses...
Dynamical systems of algebraic origin
Schmidt, Klaus
1995-01-01
Although much of classical ergodic theory is concerned with single transformations and one-parameter flows, the subject inherits from statistical mechanics not only its name, but also an obligation to analyze spatially extended systems with multidimensional symmetry groups. However, the wealth of concrete and natural examples which has contributed so much to the appeal and development of classical dynamics, is noticeably absent in this more general theory. The purpose of this book is to help remedy this scarcity of explicit examples by introducing a class of continuous Zd-actions diverse enough to exhibit many of the new phenomena encountered in the transition from Z to Zd, but which nevertheless lends itself to systematic study: the Zd-actions by automorphisms of compact, abelian groups. One aspect of these actions, not surprising in itself but quite striking in its extent and depth nonetheless, is the connection with commutative algebra and arithmetical algebraic geometry. The algebraic framework resulting...
Probability on real Lie algebras
Franz, Uwe
2016-01-01
This monograph is a progressive introduction to non-commutativity in probability theory, summarizing and synthesizing recent results about classical and quantum stochastic processes on Lie algebras. In the early chapters, focus is placed on concrete examples of the links between algebraic relations and the moments of probability distributions. The subsequent chapters are more advanced and deal with Wigner densities for non-commutative couples of random variables, non-commutative stochastic processes with independent increments (quantum Lévy processes), and the quantum Malliavin calculus. This book will appeal to advanced undergraduate and graduate students interested in the relations between algebra, probability, and quantum theory. It also addresses a more advanced audience by covering other topics related to non-commutativity in stochastic calculus, Lévy processes, and the Malliavin calculus.
Algebraic lattices in QFT renormalization
Borinsky, Michael
2015-01-01
The structure of overlapping subdivergences, which appear in the perturbative expansions of quantum field theory, is analyzed using algebraic lattice theory. It is shown that for specific QFTs the sets of subdivergences of Feynman diagrams form algebraic lattices. This class of QFTs includes the Standard model. In kinematic renormalization schemes, in which tadpole diagrams vanish, the lattices are semimodular. This implies that the Hopf algebra of Feynman diagrams is graded by the coradical degree or equivalently that every maximal forest has the same length in the scope of BPHZ renormalization. As an application of this framework a formula for the counter terms in zero-dimensional QFT is given together with some examples of the enumeration of primitive or skeleton diagrams.
Algebraic Proofs over Noncommutative Formulas
Tzameret, Iddo
2010-01-01
We study possible formulations of algebraic propositional proof systems operating with noncommutative formulas. We observe that a simple formulation gives rise to systems at least as strong as Frege---yielding a semantic way to define a Cook-Reckhow (i.e., polynomially verifiable) algebraic analogue of Frege proofs, different from that given in [BIKPRS96,GH03]. We then turn to an apparently weaker system, namely, polynomial calculus (PC) where polynomials are written as ordered formulas ("PC over ordered formulas", for short). This is an algebraic propositional proof system that operates with noncommutative polynomials in which the order of products in all monomials respects a fixed linear order on the variables, and where proof-lines are written as noncommutative formulas. We show that the latter proof system is strictly stronger than resolution, polynomial calculus and polynomial calculus with resolution (PCR) and admits polynomial-size refutations for the pigeonhole principle and the Tseitin's formulas. We...
Algebraic realization of rotational dynamics
International Nuclear Information System (INIS)
It is shown that the dynamics of a quantum rotor can be realized in terms of the SU(3)→SO(3) group algebra. Specifically, an analytic result is given for mapping from the hamiltonian of a trixial rotor to its algebraic image. Under the mapping invariants of the rotor are carried into Casimir invariants of the algebraic theory. Results for spectra and transition rates and various sums are given to demonstrate the effectiveness of the mapping. The theory gives physical significance to operators that were first introduced by Racah as a means for resolving the SU(3)→SO(3) state labelling problem. As the SU(3)→SO(3) structure is common to the rotational limit of several nuclear models, the theory also offers an opportunity to explore in a new way the microscopic underpinnings of rotational phenomena in nuclei. (orig.)
A Metric Conceptual Space Algebra
Adams, Benjamin; Raubal, Martin
The modeling of concepts from a cognitive perspective is important for designing spatial information systems that interoperate with human users. Concept representations that are built using geometric and topological conceptual space structures are well suited for semantic similarity and concept combination operations. In addition, concepts that are more closely grounded in the physical world, such as many spatial concepts, have a natural fit with the geometric structure of conceptual spaces. Despite these apparent advantages, conceptual spaces are underutilized because existing formalizations of conceptual space theory have focused on individual aspects of the theory rather than the creation of a comprehensive algebra. In this paper we present a metric conceptual space algebra that is designed to facilitate the creation of conceptual space knowledge bases and inferencing systems. Conceptual regions are represented as convex polytopes and context is built in as a fundamental element. We demonstrate the applicability of the algebra to spatial information systems with a proof-of-concept application.
Algebraic Lattices in QFT Renormalization
Borinsky, Michael
2016-07-01
The structure of overlapping subdivergences, which appear in the perturbative expansions of quantum field theory, is analyzed using algebraic lattice theory. It is shown that for specific QFTs the sets of subdivergences of Feynman diagrams form algebraic lattices. This class of QFTs includes the standard model. In kinematic renormalization schemes, in which tadpole diagrams vanish, these lattices are semimodular. This implies that the Hopf algebra of Feynman diagrams is graded by the coradical degree or equivalently that every maximal forest has the same length in the scope of BPHZ renormalization. As an application of this framework, a formula for the counter terms in zero-dimensional QFT is given together with some examples of the enumeration of primitive or skeleton diagrams.
A Matrix Construction of Cellular Algebras
Institute of Scientific and Technical Information of China (English)
Dajing Xiang
2005-01-01
In this paper, we give a concrete method to construct cellular algebras from matrix algebras by specifying certain fixed matrices for the data of inflations. In particular,orthogonal matrices can be chosen for such data.
Quadratic and 2-Crossed Modules of Algebras
Institute of Scientific and Technical Information of China (English)
Z. Arvasi; E. Ulualan
2007-01-01
In this work, we define the quadratic modules for commutative algebras and give relations among 2-crossed modules, crossed squares, quadratic modules and simplicial commutative algebras with Moore complex of length 2.
Banana Algebra: Compositional syntactic language extension
DEFF Research Database (Denmark)
Andersen, Jacob; Brabrand, Claus; Christiansen, David Raymond
2013-01-01
We propose an algebra of languages and transformations as a means of compositional syntactic language extension. The algebra provides a layer of high-level abstractions built on top of languages (captured by context-free grammars) and transformations (captured by constructive catamorphisms......). The algebra is self-contained in that any term of the algebra specifying a transformation can be reduced to a constant catamorphism, before the transfor- mation is run. Thus, the algebra comes “for free” without sacrificing the strong safety and efficiency properties of constructive catamorphisms. The entire...... algebra as presented in the paper is implemented as the Banana Algebra Tool which may be used to syntactically extend languages in an incremental and modular fashion via algebraic composition of previously defined languages and transformations. We demonstrate and evaluate the tool via several kinds...
States on sharply dominating effect algebras
Institute of Scientific and Technical Information of China (English)
Zdenka; RIE■ANOV
2008-01-01
We prove that sharply dominating Archimedean atomic lattice effect algebras can be characterized by the property called basic decomposition of elements.As an application we prove the state smearing theorem for these effect algebras.
On Axiomatic Approaches to Intertwining Operator Algebras
Chen, Ling
2015-01-01
We study intertwining operator algebras introduced and constructed by Huang. In the case that the intertwining operator algebras involve intertwining operators among irreducible modules for their vertex operator subalgebras, a number of results on intertwining operator algebras were given in [H9] but some of the proofs were postponed to an unpublished monograph. In this paper, we give the proofs of these results in [H9] and we formulate and prove results for general intertwining operator algebras without assuming that the modules involved are irreducible. In particular, we construct fusing and braiding isomorphisms for general intertwining operator algebras and prove that they satisfy the genus-zero Moore-Seiberg equations. We show that the Jacobi identity for intertwining operator algebras is equivalent to generalized rationality, commutativity and associativity properties of intertwining operator algebras. We introduce the locality for intertwining operator algebras and show that the Jacobi identity is equi...
Uniform Algebras Over Complete Valued Fields
Mason, Jonathan W
2012-01-01
UNIFORM algebras have been extensively investigated because of their importance in the theory of uniform approximation and as examples of complex Banach algebras. An interesting question is whether analogous algebras exist when a complete valued field other than the complex numbers is used as the underlying field of the algebra. In the Archimedean setting, this generalisation is given by the theory of real function algebras introduced by S. H. Kulkarni and B. V. Limaye in the 1980s. This thesis establishes a broader theory accommodating any complete valued field as the underlying field by involving Galois automorphisms and using non-Archimedean analysis. The approach taken keeps close to the original definitions from the Archimedean setting. Basic function algebras are defined and generalise real function algebras to all complete valued fields. Several examples are provided. Each basic function algebra is shown to have a lattice of basic extensions related to the field structure. In the non-Archimedean settin...
Hopf algebra structures in particle physics
Weinzierl, Stefan
2004-01-01
In the recent years, Hopf algebras have been introduced to describe certain combinatorial properties of quantum field theories. I will give a basic introduction to these algebras and review some occurrences in particle physics.
Quantum Groupoids Acting on Semiprime Algebras
Directory of Open Access Journals (Sweden)
Inês Borges
2011-01-01
Full Text Available Following Linchenko and Montgomery's arguments we show that the smash product of an involutive weak Hopf algebra and a semiprime module algebra, satisfying a polynomial identity, is semiprime.
Open problems on open algebraic varieties
Gurjar, R V; Kumar, N M; Miyanishi, M; Russell, P; Sakai, F; Wright, D; Zaidenberg, M G; Kaliman, Shulim; Kumar, N Mohan; Miyanishi, Masayoshi; Russell, Peter; Sakai, Fumio; Wright, David; Zaidenberg, Mikhail
1995-01-01
This report records a large number of open problems in Affine Algebraic Geometry that were proposed by participants in a Conference on Open Algebraic Varieties at the Centre de Recherches en Mathematiques in Montreal at December 1994.
Irreducible representations of Birman-Wenzl algebras
Institute of Scientific and Technical Information of China (English)
潘峰
1995-01-01
Irreducible representations of Birman-Wenzl algebras are constructed by using the induced representation and the linear equation method. Self-adjoint representations of Birman-Wenzl algebras Cf (r, q) with f≤4 are presented.
THE ALGEBRAIC METHOD OF RATIONAL INTERPOLATION
Institute of Scientific and Technical Information of China (English)
Cai Shoufeng; Zhang Shugong
2005-01-01
This paper deals with rational interpolation. From algebraic viewpoint, we present an algebraic formulation of rational interpolation and discuss the existence of the interpolation function. Finally an algorithm for univariate case and an example are presented.
Non-commutative Poisson Algebra Structures on the Lie Algebra son(CQ)
Institute of Scientific and Technical Information of China (English)
Jie Tong; Quanqin Jin
2007-01-01
Non-commutative Poisson algebras are the algebras having both an associativealgebra structure and a Lie algebra structure together with the Leibniz law.In this paper,the non-commutative poisson algebra structures on son(CQ) are determined.
Universal Algebra of a Hom-Lie Algebra and group-like elements
Laurent-Gengoux, Camille; Makhlouf, Abdenacer; Teles, Joana
2015-01-01
We construct the universal enveloping algebra of a Hom-Lie algebra and endow it with a Hom-Hopf algebra structure. We discuss group-like elements that we see as a Hom-group integrating the initial Hom-Lie algebra.
Note on the Algebra of Screening Currents for the Quantum Deformed W-Algebra
Zhao, Liu; Hou, Bo-Yu
1997-01-01
With slight modifications in the zero modes contributions, the positive and negative screening currents for the quantum deformed W-algebra W_{q,p}(g) can be put together to form a single algebra which can be regarded as an elliptic deformation of the universal enveloping algebra of \\hat{g}, where g is any classical simply-laced Lie algebra.
The bar construction of an algebra as an E-infinite Hopf algebra
Fresse, Benoit
2003-01-01
We prove that the bar construction of an $E_\\infty$ algebra forms an $E_\\infty$ algebra. To be more precise, we provide the bar construction of an algebra over the surjection operad with the structure of a Hopf algebra over the Barratt-Eccles operad. (The surjection operad and the Barratt-Eccles operad are classical $E_\\infty$ operads.)
The tiling C*-algebra viewed as a tight inverse semigroup algebra
Exel, Ruy; Gonçalves, Daniel; Starling, Charles
2011-01-01
We realize Kellendonk'?s C*-algebra of an aperiodic tiling as the tight C*-algebra of the inverse semigroup associated to the tiling, thus providing further evidence that the tight C*-algebra is a good candidate to be the natural associative algebra to go along with an inverse semigroup.
Automorphism groups and derivation algebras of finitely generated vertex operator algebras
Dong, C.; Griess Jr., R. L.
2002-01-01
We investigate the general structure of the automorphism group and the Lie algebra of derivations of a finitely generated vertex operator algebra. The automorphism group is isomorphic to an algebraic group. Under natural assumptions, the derivation algebra has an invariant bilinear form and the ideal of inner derivations is nonsingular.
Matrix methods applied linear algebra
Bronson, Richard
2008-01-01
Matrix Methods: Applied Linear Algebra, 3e, as a textbook, provides a unique and comprehensive balance between the theory and computation of matrices. The application of matrices is not just for mathematicians. The use by other disciplines has grown dramatically over the years in response to the rapid changes in technology. Matrix methods is the essence of linear algebra and is what is used to help physical scientists; chemists, physicists, engineers, statisticians, and economists solve real world problems.* Applications like Markov chains, graph theory and Leontief Models are placed i
The algebraic combinatorics of snakes
Josuat-Vergès, Matthieu; Thibon, Jean-Yves
2011-01-01
Snakes are analogues of alternating permutations defined for any Coxeter group. We study these objects from the point of view of combinatorial Hopf algebras, such as noncommutative symmetric functions and their generalizations. The main purpose is to show that several properties of the generating functions of snakes, such as differential equations or closed form as trigonometric functions, can be lifted at the level of noncommutative symmetric functions or free quasi-symmetric functions. The results take the form of algebraic identities for type B noncommutative symmetric functions, noncommutative supersymmetric functions and colored free quasi-symmetric functions.
Scalable Parallel Algebraic Multigrid Solvers
Energy Technology Data Exchange (ETDEWEB)
Bank, R; Lu, S; Tong, C; Vassilevski, P
2005-03-23
The authors propose a parallel algebraic multilevel algorithm (AMG), which has the novel feature that the subproblem residing in each processor is defined over the entire partition domain, although the vast majority of unknowns for each subproblem are associated with the partition owned by the corresponding processor. This feature ensures that a global coarse description of the problem is contained within each of the subproblems. The advantages of this approach are that interprocessor communication is minimized in the solution process while an optimal order of convergence rate is preserved; and the speed of local subproblem solvers can be maximized using the best existing sequential algebraic solvers.
Algebra I Workbook For Dummies
Sterling, Mary Jane
2011-01-01
From signed numbers to story problems - calculate equations with ease Practice is the key to improving your algebra skills, and that's what this workbook is all about. This hands-on guide focuses on helping you solve the many types of algebra problems you'll encounter in a focused, step-by-step manner. With just enough refresher explanations before each set of problems, this workbook shows you how to work with fractions, exponents, factoring, linear and quadratic equations, inequalities, graphs, and more! 100s of problems! Hundreds of practice exercises and helpful explanations Explanations mi
Introduction to computational linear algebra
Nassif, Nabil; Erhel, Jocelyne
2015-01-01
Introduction to Computational Linear Algebra introduces the reader with a background in basic mathematics and computer programming to the fundamentals of dense and sparse matrix computations with illustrating examples. The textbook is a synthesis of conceptual and practical topics in ""Matrix Computations."" The book's learning outcomes are twofold: to understand state-of-the-art computational tools to solve matrix computations problems (BLAS primitives, MATLAB® programming) as well as essential mathematical concepts needed to master the topics of numerical linear algebra. It is suitable for s
Computational triadic algebras of signs
Energy Technology Data Exchange (ETDEWEB)
Zadrozny, W. [T.J. Watson Research Center, Yorktown Heights, NY (United States)
1996-12-31
We present a finite model of Peirce`s ten classes of signs. We briefly describe Peirce`s taxonomy of signs; we prove that any finite collection of signs can be extended to a finite algebra of signs in which all interpretants are themselves being interpreted; and we argue that Peirce`s ten classes of signs can be defined using constraints on algebras of signs. The paper opens the possibility of defining multimodal cognitive agents using Peirce`s classes of signs, and is a first step towards building a computational logic of signs based on Peirce`s taxonomies.
Regular algebra and finite machines
Conway, John Horton
2012-01-01
World-famous mathematician John H. Conway based this classic text on a 1966 course he taught at Cambridge University. Geared toward graduate students of mathematics, it will also prove a valuable guide to researchers and professional mathematicians.His topics cover Moore's theory of experiments, Kleene's theory of regular events and expressions, Kleene algebras, the differential calculus of events, factors and the factor matrix, and the theory of operators. Additional subjects include event classes and operator classes, some regulator algebras, context-free languages, communicative regular alg
Universal Algebra and Mathematical Logic
Luo, Zhaohua
2011-01-01
In this paper, first-order logic is interpreted in the framework of universal algebra, using the clone theory developed in three previous papers. We first define the free clone T(L, C) of terms of a first order language L over a set C of parameters in a standard way. The free right algebra F(L, C) of formulas over T(L, C) is then generated by atomic formulas. Structures for L over C are represented as perfect valuations of F(L, C), and theories of L are represented as filters of F(L). Finally...
Star products and geometric algebra
International Nuclear Information System (INIS)
The formalism of geometric algebra can be described as deformed super analysis. The deformation is done with a fermionic star product, that arises from deformation quantization of pseudoclassical mechanics. If one then extends the deformation to the bosonic coefficients of superanalysis one obtains quantum mechanics for systems with spin. This approach clarifies on the one hand the relation between Grassmann and Clifford structures in geometric algebra and on the other hand the relation between classical mechanics and quantum mechanics. Moreover it gives a formalism that allows to handle classical and quantum mechanics in a consistent manner
Block diagonalization for algebra's associated with block codes
Gijswijt, D.
2009-01-01
For a matrix *-algebra B, consider the matrix *-algebra A consisting of the symmetric tensors in the n-fold tensor product of B. Examples of such algebras in coding theory include the Bose-Mesner algebra and Terwilliger algebra of the (non)binary Hamming cube, and algebras arising in SDP-hierarchies
On Ideals and Quotients of $A\\mathcal{T}$-Algebras
Indian Academy of Sciences (India)
Changguo Wei
2008-11-01
Some results on $A\\mathcal{T}$-algebras are given. We study the problem when ideals, quotients and hereditary subalgebras of $A\\mathcal{T}$-algebras are $A\\mathcal{T}$-algebras or $A\\mathcal{T}$-algebras, and give a necessary and sufficient condition of a hereditary subalgebra of an $A\\mathcal{T}$-algebra being an $A\\mathcal{T}$-algebra.
Discrimination in a General Algebraic Setting
Directory of Open Access Journals (Sweden)
Benjamin Fine
2015-01-01
Full Text Available Discriminating groups were introduced by G. Baumslag, A. Myasnikov, and V. Remeslennikov as an outgrowth of their theory of algebraic geometry over groups. Algebraic geometry over groups became the main method of attack on the solution of the celebrated Tarski conjectures. In this paper we explore the notion of discrimination in a general universal algebra context. As an application we provide a different proof of a theorem of Malcev on axiomatic classes of Ω-algebras.
Characteristic Numbers of Matrix Lie Algebras
Zhang, Yu-Feng; Fan, En-Gui
2008-04-01
A notion of characteristic number of matrix Lie algebras is defined, which is devoted to distinguishing various Lie algebras that are used to generate integrable couplings of soliton equations. That is, the exact classification of the matrix Lie algebras by using computational formulas is given. Here the characteristic numbers also describe the relations between soliton solutions of the stationary zero curvature equations expressed by various Lie algebras.
DERIVATIONS AND EXTENSIONS OF LIE COLOR ALGEBRA
Institute of Scientific and Technical Information of China (English)
Zhang Qingcheng; Zhang Yongzheng
2008-01-01
In this article, the authors obtain some results concerning derivations of fi-nitely generated Lie color algebras and discuss the relation between skew derivation space SkDer(L) and central extension H2(L, F) on some Lie color algebras. Meanwhile, they generalize the notion of double extension to quadratic Lie color algebras, a sufficient con-dition for a quadratic Lie color algebra to be a double extension and further properties are given.
Discrimination in a General Algebraic Setting.
Fine, Benjamin; Gaglione, Anthony; Lipschutz, Seymour; Spellman, Dennis
2015-01-01
Discriminating groups were introduced by G. Baumslag, A. Myasnikov, and V. Remeslennikov as an outgrowth of their theory of algebraic geometry over groups. Algebraic geometry over groups became the main method of attack on the solution of the celebrated Tarski conjectures. In this paper we explore the notion of discrimination in a general universal algebra context. As an application we provide a different proof of a theorem of Malcev on axiomatic classes of Ω-algebras.
Discrimination in a General Algebraic Setting
Fine, Benjamin; Gaglione, Anthony; Lipschutz, Seymour; Spellman, Dennis
2015-01-01
Discriminating groups were introduced by G. Baumslag, A. Myasnikov, and V. Remeslennikov as an outgrowth of their theory of algebraic geometry over groups. Algebraic geometry over groups became the main method of attack on the solution of the celebrated Tarski conjectures. In this paper we explore the notion of discrimination in a general universal algebra context. As an application we provide a different proof of a theorem of Malcev on axiomatic classes of Ω-algebras. PMID:26171421
Liouville Extensions of Artinian Simple Module Algebras
Amano, Katsutoshi
2006-01-01
In a previous article (Amano and Masuoka, 2005), the author and Masuoka developed a Picard-Vessiot theory for module algebras over a cocommutative pointed smooth Hopf algebra D. By using the notion of Artinian simple (AS)D-module algebras, it generalizes and unifies the standard Picard-Vessiot theories for linear differential and difference equations. The purpose of this article is to define the notion of Liouville extensions of AS D-module algebras and to characterize the corresponding Picar...
String Quantization and the Shuffle Hopf Algebra
Bahns, Dorothea
2011-01-01
The Poisson algebra $\\mathfrak h$ of invariants of the Nambu-Goto string, which was first introduced by K. Pohlmeyer in 1982, is described using the Shuffle Hopf algebra. In particular, an underlying auxiliary Lie algebra is reformulated in terms of the image of the first Eulerian idempotent of the Shuffle Hopf algebra. This facilitates the comparison of different approaches to the quantization of $\\mathfrak h$.
Compact Weighted Composition Operators on Function Algebras
TAKAGI, Hiroyuki
1988-01-01
A weighted endomorphism of an algebra is an endomorphism followed by a multiplier. In [6] and [4], H. Kamowitz characterized compact weighted endomorphisms of $C(X)$ and the disc algebra. In this note we define a weighted composition operator on a function algebra as a generalization of a weighted endomorphism, and characterize compact weighted composition operators on a function algebra satisfying a certain condition [Theorem 2]. This theorem not only includes Kamowitz's results as ...
On the Model Properties of BCK Algebras
Institute of Scientific and Technical Information of China (English)
LIANGJun-qi
2004-01-01
This paper is devoted to the study of the logical properties of BCK algebras. For formalized BCK algebra theory T, it is proved that T is preserved under submodels and unions of chains; T is neither complete nor model complete, and hence there exist no builtin Skolem function. Moreover, the ultraproduct BCK algebras and the fuzzy ultraproduct of fuzzy subsets of BCK algebras were proposed by using the concept of ultrafilters with corresponding propertics of fuzzy ideals discussed.
Divisibility properties for C*-algebras
DEFF Research Database (Denmark)
Robert, Leonel; Rørdam, Mikael
2013-01-01
We consider three notions of divisibility in the Cuntz semigroup of a C*-algebra, and show how they reflect properties of the C*-algebra. We develop methods to construct (simple and non-simple) C*-algebras with specific divisibility behaviour. As a byproduct of our investigations, we show that...... there exists a sequence (An) of simple unital infinite dimensional C*-algebras such that the product ∏n=1∞ An has a character....
Spatial-Operator Algebra For Robotic Manipulators
Rodriguez, Guillermo; Kreutz, Kenneth K.; Milman, Mark H.
1991-01-01
Report discusses spatial-operator algebra developed in recent studies of mathematical modeling, control, and design of trajectories of robotic manipulators. Provides succinct representation of mathematically complicated interactions among multiple joints and links of manipulator, thereby relieving analyst of most of tedium of detailed algebraic manipulations. Presents analytical formulation of spatial-operator algebra, describes some specific applications, summarizes current research, and discusses implementation of spatial-operator algebra in the Ada programming language.
Homomorphisms between JC*-algebras and Lie C*-algebras
Institute of Scientific and Technical Information of China (English)
Chun Gil PARK; Jin Chuan HOU; Sei Qwon OH
2005-01-01
It is shown that every almost *-homomorphism h: A → B of a unital JC*-algebra A to a unital JC*-algebra B is a *-homomorphism when h(rx) = rh(x) (r ＞ 1) for all x ∈ A, and that every almost linear mapping h: A → B is a *-homomorphism when h(2nu o y) = h(2nu) o h(y),h(3nu o y) = h(3nu) o h(y) or h(qnu o y) = h(qnu) o h(y) for all unitaries u ∈ A, all y ∈ A, and n = 0, 1, Here the numbers 2, 3, q depend on the functional equations given in the almost linear mappings.We prove that every almost *-homomorphism h: A → B of a unital Lie C*-algebra A to a unital Lie C*-algebra B is a *-homomorphism when h(rx) = rh(x) (r ＞ 1) for all x ∈ A.
A Balancing Act: Making Sense of Algebra
Gavin, M. Katherine; Sheffield, Linda Jensen
2015-01-01
For most students, algebra seems like a totally different subject than the number topics they studied in elementary school. In reality, the procedures followed in arithmetic are actually based on the properties and laws of algebra. Algebra should be a logical next step for students in extending the proficiencies they developed with number topics…
Build an Early Foundation for Algebra Success
Knuth, Eric; Stephens, Ana; Blanton, Maria; Gardiner, Angela
2016-01-01
Research tells us that success in algebra is a factor in many other important student outcomes. Emerging research also suggests that students who are started on an algebra curriculum in the earlier grades may have greater success in the subject in secondary school. What's needed is a consistent, algebra-infused mathematics curriculum all…
Difficulties in Initial Algebra Learning in Indonesia
Jupri, Al; Drijvers, Paul; van den Heuvel-Panhuizen, Marja
2014-01-01
Within mathematics curricula, algebra has been widely recognized as one of the most difficult topics, which leads to learning difficulties worldwide. In Indonesia, algebra performance is an important issue. In the Trends in International Mathematics and Science Study (TIMSS) 2007, Indonesian students' achievement in the algebra domain was…
Unifying the Algebra for All Movement
Eddy, Colleen M.; Quebec Fuentes, Sarah; Ward, Elizabeth K.; Parker, Yolanda A.; Cooper, Sandi; Jasper, William A.; Mallam, Winifred A.; Sorto, M. Alejandra; Wilkerson, Trena L.
2015-01-01
There exists an increased focus on school mathematics, especially first-year algebra, due to recent efforts for all students to be college and career ready. In addition, there are calls, policies, and legislation advocating for all students to study algebra epitomized by four rationales of the "Algebra for All" movement. In light of this…
Teaching Strategies to Improve Algebra Learning
Zbiek, Rose Mary; Larson, Matthew R.
2015-01-01
Improving student learning is the primary goal of every teacher of algebra. Teachers seek strategies to help all students learn important algebra content and develop mathematical practices. The new Institute of Education Sciences[IES] practice guide, "Teaching Strategies for Improving Algebra Knowledge in Middle and High School Students"…
Representation dimension of m-replicated algebras
Institute of Scientific and Technical Information of China (English)
无
2010-01-01
Let A be a finite-dimensional hereditary algebra over an algebraically closed field and A(m) be the m-replicated algebra of A.We prove that the representation dimension of A(m) is at most 3,and that the dominant dimension of A(m) is at least m.
Braided Clifford algebras as braided quantum groups
Durdevic, M
1995-01-01
The paper deals with braided Clifford algebras, understood as Chevalley-Kahler deformations of braided exterior algebras. It is shown that Clifford algebras based on involutive braids can be naturally endowed with a braided quantum group structure. Basic group entities are constructed explicitly.
Baxter Algebras, Stirling Numbers and Partitions
Guo, Li
2004-01-01
Recent developments of Baxter algebras have lead to applications to combinatorics, number theory and mathematical physics. We relate Baxter algebras to Stirling numbers of the first kind and the second kind, partitions and multinomial coefficients. This allows us to apply congruences from number theory to obtain congruences in Baxter algebras.
Building Grassmann Numbers from PI-Algebras
Bentin, Ricardo M
2012-01-01
This works deals with the formal mathematical structure of so called Grassmann Numbers applied to Theoretical Physics, which is a basic concept on Berezin integration. To achieve this purpose we make use of some constructions from relative modern Polynomial Identity Algebras (PI-Algebras) applied to the special case of the Grassmann algebra.
Feature-Oriented Programming with Object Algebras
Oliveira, B.C.d.S.; Storm, T. van der; Loh, A.; Cook, W.R.
2013-01-01
Object algebras are a new programming technique that enables a simple solution to basic extensibility and modularity issues in programming languages. While object algebras excel at deﬁning modular features, the composition mechanisms for object algebras (and features) are still cumbersome and limite
Computations in finite-dimensional Lie algebras
Cohen, A.M.; Graaf, W.A. de; Rónyai, L.
2001-01-01
This paper describes progress made in context with the construction of a general library of Lie algebra algorithms, called ELIAS (Eindhoven Lie Algebra System), within the computer algebra package GAP. A first sketch of the packagecan be found in Cohen and de Graaf[1]. Since then, in a collaborative
The Cartan Matrix of a Centralizer Algebra
Indian Academy of Sciences (India)
Umesh V Dubey; Amritanshu Prasad; Pooja Singla
2012-02-01
The centralizer algebra of a matrix consists of those matrices that commute with it. We investigate the basic representation-theoretic invariants of centralizer algebras, namely their radicals, projective indecomposable modules, injective indecomposable modules, simple modules and Cartan matrices. With the help of our Cartan matrix calculations we determine their global dimensions. Many of these algebras are of infinite global dimension.
Algebra? A Gate! A Barrier! A Mystery!
Mathematics Educatio Dialogues, 2000
2000-01-01
This issue of Mathematics Education Dialogues focuses on the nature and the role of algebra in the K-14 curriculum. Articles on this theme include: (1) "Algebra For All? Why?" (Nel Noddings); (2) "Algebra For All: It's a Matter of Equity, Expectations, and Effectiveness" (Dorothy S. Strong and Nell B. Cobb); (3) "Don't Delay: Build and Talk about…
The Bezout Number of Piecewise Algebraic Curves
Institute of Scientific and Technical Information of China (English)
Dian Xuan GONG; Ren Hong WANG
2012-01-01
Based on the discussion of the number of roots of univariate spline and the common zero points of two piecewise algebraic curves,a lower upbound of Bezout number of two piecewise algebraic curves on any given non-obtuse-angled triangulation is found.Bezout number of two piecewise algebraic curves on two different partitions is also discussed in this paper.
Derived Picard groups of selfinjective Nakayama algebras
Volkov, Yury; Zvonareva, Alexandra
2015-01-01
In our proceeding paper a generating set of the derived Picard group of a selfinjective Nakayama algebra was constructed combining some previous results for Brauer tree algebras and the technique of orbit categories developed there. In this paper we finish the computation of the derived Picard group of a selfinjective Nakayama algebra.
Automorphism groups of finite dimensional simple algebras
Gordeev, Nikolai L.; Popov, Vladimir L.
2004-01-01
We show that if a field k contains sufficiently many elements(for instance, if k is infinite), and K is an algebraically closed field containing k, then every linear algebraic k-group over K is k-isomorphic to Aut(A\\otimes_kK), where A is a finite dimensional simple algebra over k.
Institute of Scientific and Technical Information of China (English)
Shan Wen HU; Hua Xin LIN; Yi Feng XUE
2003-01-01
A new limit of C*-algebras, the tracial limit, is introduced in this paper. We show thata separable simple C*-algebra 4 is a tracial limit of C*-algebras in Z(k) if and only if A has tracialtopological rank no more than k. We present several known results using the notion of tracial limits.
New family of Maxwell like algebras
Concha, P.K.; Durka, R.; Merino, N.; Rodríguez, E. K.
2016-01-01
We introduce an alternative way of closing Maxwell like algebras. We show, through a suitable change of basis, that resulting algebras are given by the direct sums of the AdS and the Maxwell algebras already known in the literature. Casting the result into the S-expansion method framework ensures the straightaway construction of the gravity theories based on a found enlargement.
On Some Varieties of Soluble Lie Algebras
Institute of Scientific and Technical Information of China (English)
NAN JI-ZHU; WANG CHENG-CHENG; LI HAI-LING
2012-01-01
In this paper,we study a class of soluble Lie algebras with variety relations that the commutator of m and n is zero.The aim of the paper is to consider the relationship between the Lie algebra L with the variety relations and the Lie algebra L which satisfies the permutation variety relations for the permutation φ of {3,….,k}.
Directory of Open Access Journals (Sweden)
Fu-Gui Shi
2010-01-01
Full Text Available The notion of (L,M-fuzzy σ-algebras is introduced in the lattice value fuzzy set theory. It is a generalization of Klement's fuzzy σ-algebras. In our definition of (L,M-fuzzy σ-algebras, each L-fuzzy subset can be regarded as an L-measurable set to some degree.
New family of Maxwell like algebras
Concha, P. K.; Durka, R.; Merino, N.; Rodríguez, E. K.
2016-08-01
We introduce an alternative way of closing Maxwell like algebras. We show, through a suitable change of basis, that resulting algebras are given by the direct sums of the AdS and the Maxwell algebras already known in the literature. Casting the result into the S-expansion method framework ensures the straightaway construction of the gravity theories based on a found enlargement.
String field representation of the Virasoro algebra
Mertes, Nicholas
2016-01-01
We construct a representation of the zero central charge Virasoro algebra using string fields in Witten's open bosonic string field theory. This construction is used to explore extensions of the KBc algebra and find novel algebraic solutions of open string field theory.
A Note on Solvable Polynomial Algebras
Directory of Open Access Journals (Sweden)
Huishi Li
2014-03-01
Full Text Available In terms of their defining relations, solvable polynomial algebras introduced by Kandri-Rody and Weispfenning [J. Symbolic Comput., 9(1990] are characterized by employing Gr\\"obner bases of ideals in free algebras, thereby solvable polynomial algebras are completely determinable and constructible in a computational way.
Primitive axial algebras of Jordan type
Hall, J I; Rehren, F; Shpectorov, S.
2014-01-01
An axial algebra over the field $\\mathbb F$ is a commutative algebra generated by idempotents whose adjoint action has multiplicity-free minimal polynomial. For semisimple associative algebras this leads to sums of copies of $\\mathbb F$. Here we consider the first nonassociative case, where adjoint minimal polynomials divide $(x-1)x(x-\\eta)$ for fixed $0\
On the Linking Algebra of Hilbert Modules and Morita Equivalence of Locally C*-Algebras
Directory of Open Access Journals (Sweden)
Maria Joita
2006-12-01
Full Text Available In this paper we introduce the notion of linking algebra of a Hilbert module over a locally C*-algebra and we extend in the context of locally C*-algebras a result of Brown, Green and Rieffel [Pacific J., 1977] which states that two C*-algebras are strongly Morita equivalent if and only if they are isomorphic with two complementary full corners of a C*-algebra.
Directory of Open Access Journals (Sweden)
Arsham Borumand Saeid
2009-01-01
Full Text Available In this note, by using the concept of vague sets, the notion of vague \\(BCK/BCI\\-algebra is introduced. And the notions of \\(\\alpha\\-cut and vague-cut are introduced and the relationships between these notions and crisp subalgebras are studied.
Algebra, Home Mortgages, and Recessions
Mariner, Jean A. Miller; Miller, Richard A.
2009-01-01
The current financial crisis and recession in the United States present an opportunity to discuss relevant applications of some topics in typical first-and second-year algebra and precalculus courses. Real-world applications of percent change, exponential functions, and sums of finite geometric sequences can help students understand the problems…
Experts Question California's Algebra Edict
Cavanagh, Sean
2008-01-01
Business leaders from important sectors of the American economy have been urging schools to set higher standards in math and science--and California officials, in mandating that 8th graders be tested in introductory algebra, have responded with one of the highest such standards in the land. Still, many California educators and school…
The Algebra of Schubert Calculus
Gatto, Letterio
2004-01-01
A flexible unified framework for both classical and quantum Schubert calculus is proposed. It is based on a natural combinatorial approach relying on the Hasse-Schmidt extension of a certain family of pairwise commuting endomorphisms of an infinite free Z-module M to its exterior algebra.
Kinds of Knowledge in Algebra.
Lewis, Clayton
Solving equations in elementary algebra requires knowledge of the permitted operations, and knowledge of what operation to use at a given point in the solution process. While just these kinds of knowledge would be adequate for an ideal solver, human solvers appear to need and use other kinds of knowledge. First, many errors seem to indicate that…
Weaving Geometry and Algebra Together
Cetner, Michelle
2015-01-01
When thinking about student reasoning and sense making, teachers must consider the nature of tasks given to students along with how to plan to use the tasks in the classroom. Students should be presented with tasks in a way that encourages them to draw connections between algebraic and geometric concepts. This article focuses on the idea that it…
Isomorphisms of Algebraic Number Fields
van Hoeij, Mark
2010-01-01
Let $\\mathbb{Q}(\\alpha)$ and $\\mathbb{Q}(\\beta)$ be algebraic number fields. We describe a new method to find (if they exist) all isomorphisms, $\\mathbb{Q}(\\beta) \\rightarrow \\mathbb{Q}(\\alpha)$. The algorithm is particularly efficient if the number of isomorphisms is one.
Computing Bits of Algebraic Numbers
Datta, Samir
2011-01-01
We initiate the complexity theoretic study of the problem of computing the bits of (real) algebraic numbers. This extends the work of Yap on computing the bits of transcendental numbers like \\pi, in Logspace. Our main result is that computing a bit of a fixed real algebraic number is in C=NC1\\subseteq Logspace when the bit position has a verbose (unary) representation and in the counting hierarchy when it has a succinct (binary) representation. Our tools are drawn from elementary analysis and numerical analysis, and include the Newton-Raphson method. The proof of our main result is entirely elementary, preferring to use the elementary Liouville's theorem over the much deeper Roth's theorem for algebraic numbers. We leave the possibility of proving non-trivial lower bounds for the problem of computing the bits of an algebraic number given the bit position in binary, as our main open question. In this direction we show very limited progress by proving a lower bound for rationals.
An introduction to abstract algebra
Robinson, Derek JS
2003-01-01
This is a high level introduction to abstract algebra which is aimed at readers whose interests lie in mathematics and in the information and physical sciences. In addition to introducing the main concepts of modern algebra, the book contains numerous applications, which are intended to illustrate the concepts and to convince the reader of the utility and relevance of algebra today. In particular applications to Polya coloring theory, latin squares, Steiner systems and error correcting codes are described. Another feature of the book is that group theory and ring theory are carried further than is often done at this level. There is ample material here for a two semester course in abstract algebra. The importance of proof is stressed and rigorous proofs of almost all results are given. But care has been taken to lead the reader through the proofs by gentle stages. There are nearly 400 problems, of varying degrees of difficulty, to test the reader''s skill and progress. The book should be suitable for students ...
Inequalities, Assessment and Computer Algebra
Sangwin, Christopher J.
2015-01-01
The goal of this paper is to examine single variable real inequalities that arise as tutorial problems and to examine the extent to which current computer algebra systems (CAS) can (1) automatically solve such problems and (2) determine whether students' own answers to such problems are correct. We review how inequalities arise in…
Spacetime algebra and electron physics
Doran, C J L; Gull, S F; Somaroo, S; Challinor, A D
1996-01-01
This paper surveys the application of geometric algebra to the physics of electrons. It first appeared in 1996 and is reproduced here with only minor modifications. Subjects covered include non-relativistic and relativistic spinors, the Dirac equation, operators and monogenics, the Hydrogen atom, propagators and scattering theory, spin precession, tunnelling times, spin measurement, multiparticle quantum mechanics, relativistic multiparticle wave equations, and semiclassical mechanics.
Equivalence Relations of -Algebra Extensions
Indian Academy of Sciences (India)
Changguo Wei
2010-04-01
In this paper, we consider equivalence relations of *-algebra extensions and describe the relationship between the isomorphism equivalence and the unitary equivalence. We also show that a certain group homomorphism is the obstruction for these equivalence relations to be the same.
Algebraic study of chiral anomalies
Indian Academy of Sciences (India)
Juan Mañes; Raymond Stora; Bruno Zumino
2012-06-01
The algebraic structure of chiral anomalies is made globally valid on non-trivial bundles by the introduction of a ﬁxed background connection. Some of the techniques used in the study of the anomaly are improved or generalized, including a systematic way of generating towers of ‘descent equations’.
Kato, Syu
2012-01-01
We generalize Lusztig's geometric construction of the PBW bases of finite quantum groups of type $\\mathsf{ADE}$ under the framework of [Varagnolo-Vasserot, J. reine angew. Math. 659 (2011)]. In particular, every PBW base of such quantum groups are proven to yield a orthogonal collection in the module category of KLR-algebras. This enables us to prove Lusztig's conjecture on the positivity of the canonical (lower global) bases in terms of the (lower) PBW bases, and Kashiwara's problem on the finiteness of the global dimensions of KLR-algebras in the $\\mathsf{ADE}$ case. To achieve our goal, we develop a general formulation which guarantees nice properties of extension algebras, including a new criteria of purity of weights. (This part also applies to quiver Schur algebras.) In the appendix, we provide a proof of Shoji's conjecture on limit symbols of type $\\mathsf{B}$ [Shoji, Adv. Stud. Pure Math. 40 (2004)] based on the general formulation developed in this paper.
The bitensor algebra through operads
Laan, P. van der; Moerdijk, I.
2007-01-01
This note shows that the construction of the bitensor algebra of a bialgebra (Brouder [2]) can be understood in terms of the construction of the cooperad of a bialgebra (Berger-Moerdijk [1]), and the construction of a bialgebra from a cooperad (Van der Laan [4], Frabetti-Van der Laan [3]).
Wild radical square zero algebras
Institute of Scientific and Technical Information of China (English)
无
2002-01-01
It is shown that a radical square zero algebra is wild, if and only if it is of Corner's type, and it is strictly wild if and only if it is Endo-wild. This gives a negative answer to a problem posed by Simson.
Kuipers, J.
2012-06-01
New features of the symbolic algebra package Form 4 are discussed. Most importantly, these features include polynomial factorization and polynomial gcd computation. Examples of their use are shown. One of them is an exact version of Mincer which gives answers in terms of rational polynomials and 5 master integrals.
Program algebra for sequential code
Bergstra, J.A.; Loots, M.E.
2002-01-01
The jump instruction is considered essential for an adequate theoretical understanding of imperative sequential programming. Using basic instructions and tests as a basis we outline an algebra of programs, denoted PGA, which captures the crux of sequential programming.We single out a behavior extrac
Program Algebra for Component Code
Bergstra, J.A.; Loots, M.E.
2000-01-01
The jump instruction is considered essential for an adequate theoretical understanding of imperative sequential programming. Using atomic actions and tests as a basis we outline an algebra of programs, denoted PGA, which captures the crux of sequential programming. PGA provides an ontology for progr
Algebraic Structure on Dirichlet Spaces
Institute of Scientific and Technical Information of China (English)
Xing FANG; Ping HE; Jian Gang YING
2006-01-01
In this short note, we shall give a few equivalent conditions for a closed form to be Markovian, and prove that the closure of a sub-algebra of bounded functions in a Dirichlet space must be Markovian. We also study the regular representation of Dirichlet spaces and the classification of Dirichlet subspaces.
Celestial mechanics with geometric algebra
Hestenes, D.
1983-01-01
Geometric algebra is introduced as a general tool for Celestial Mechanics. A general method for handling finite rotations and rotational kinematics is presented. The constants of Kepler motion are derived and manipulated in a new way. A new spinor formulation of perturbation theory is developed.
Computer algebra in spacetime embedding
Roque, Waldir L
2014-01-01
In this paper we describe an algorithm to determine the vectors normal to a space-time V4 embedded in a pseudo-Euclidean manifold M4+n. An application of this algorithm is given considering the Schwarzchild space-time geometry embedded in a 6 dimensional pseudo-Euclidean manifold, using the algebraic computing system REDUCE.
Algebra and Number Theory An Integrated Approach
Dixon, Martyn; Subbotin, Igor
2011-01-01
Explore the main algebraic structures and number systems that play a central role across the field of mathematics Algebra and number theory are two powerful branches of modern mathematics at the forefront of current mathematical research, and each plays an increasingly significant role in different branches of mathematics, from geometry and topology to computing and communications. Based on the authors' extensive experience within the field, Algebra and Number Theory has an innovative approach that integrates three disciplines-linear algebra, abstract algebra, and number theory-into one compr
Geng, Shengfei; Peng, Liangang
2013-01-01
For any finitely dimensional associative algebra with global dimension $\\leq 2$, we show that there is an embedding from the twisted Ringel-Hall algebra to the Brigeland's Ringel-Hall algebra. In particular, this result is true for tilted algebras and canonical algebras.
Compact DG modules and Gorenstein DG algebras
Institute of Scientific and Technical Information of China (English)
无
2009-01-01
When the base connected cochain DG algebra is cohomologically bounded, it is proved that the difference between the amplitude of a compact DG module and that of the DG algebra is just the projective dimension of that module. This yields the unboundedness of the cohomology of non-trivial regular DG algebras. When A is a regular DG algebra such that H(A) is a Koszul graded algebra, H(A) is proved to have the finite global dimension. And we give an example to illustrate that the global dimension of H(A) may be infinite, if the condition that H(A) is Koszul is weakened to the condition that A is a Koszul DG algebra. For a general regular DG algebra A, we give some equivalent conditions for the Gorensteiness. For a finite connected DG algebra A, we prove that Dc(A) and Dc(Aop) admit Auslander-Reiten triangles if and only if A and Aop are Gorenstein DG algebras. When A is a non-trivial regular DG algebra such that H(A) is locally finite, Dc(A) does not admit Auslander-Reiten triangles. We turn to study the existence of Auslander-Reiten triangles in Dlbf(A) and Dlbf(Aop) instead, when A is a regular DG algebra.
Graded automorphism group of TKK algebra
Institute of Scientific and Technical Information of China (English)
YE CongFeng; TAN ShaoBin
2008-01-01
The Classification of extended affine Lie algebras of type A1 depends on the Tits-Kantor-Koecher (TKK) algebras constructed from semilattices of Euclidean spaces. One can define a unitary Jordan algebra J(S) from a semilattice S of R (ν≥1), and then construct an extended affine Lie algebra of type A1 from the TKK algebra T(J(S)) which is obtained from the Jordan algebra J(S) by the so-called Tits-Kantor-Koecher construction. In R2 there are only two non-similar semilattices S and S', where S is a lattice and S' is a non-lattice semilattice. In this paper we study the Z2-graded automorphisms of the TKK algebra T(J(S)).
Classical algebra its nature, origins, and uses
Cooke, Roger L
2008-01-01
This insightful book combines the history, pedagogy, and popularization of algebra to present a unified discussion of the subject. Classical Algebra provides a complete and contemporary perspective on classical polynomial algebra through the exploration of how it was developed and how it exists today. With a focus on prominent areas such as the numerical solutions of equations, the systematic study of equations, and Galois theory, this book facilitates a thorough understanding of algebra and illustrates how the concepts of modern algebra originally developed from classical algebraic precursors. This book successfully ties together the disconnect between classical and modern algebraand provides readers with answers to many fascinating questions that typically go unexamined, including: What is algebra about? How did it arise? What uses does it have? How did it develop? What problems and issues have occurred in its history? How were these problems and issues resolved? The author answers these questions and more,...
Filiform Lie algebras of order 3
Energy Technology Data Exchange (ETDEWEB)
Navarro, R. M., E-mail: rnavarro@unex.es [Rosa María Navarro. Dpto. de Matemáticas, Universidad de Extremadura, Cáceres (Spain)
2014-04-15
The aim of this work is to generalize a very important type of Lie algebras and superalgebras, i.e., filiform Lie (super)algebras, into the theory of Lie algebras of order F. Thus, the concept of filiform Lie algebras of order F is obtained. In particular, for F = 3 it has been proved that by using infinitesimal deformations of the associated model elementary Lie algebra it can be obtained families of filiform elementary lie algebras of order 3, analogously as that occurs into the theory of Lie algebras [M. Vergne, “Cohomologie des algèbres de Lie nilpotentes. Application à l’étude de la variété des algèbres de Lie nilpotentes,” Bull. Soc. Math. France 98, 81–116 (1970)]. Also we give the dimension, using an adaptation of the sl(2,C)-module Method, and a basis of such infinitesimal deformations in some generic cases.
Graded automorphism group of TKK algebra
Institute of Scientific and Technical Information of China (English)
2008-01-01
The classification of extended affine Lie algebras of type A1 depends on the Tits-Kantor- Koecher （TKK） algebras constructed from semilattices of Euclidean spaces.One can define a unitary Jordan algebra J（S） from a semilattice S of Rv （v≥1）,and then construct an extended affine Lie algebra of type A1 from the TKK algebra T（J（S）） which is obtained from the Jordan algebra J（S） by the so-called Tits-Kantor-Koecher construction.In R2 there are only two non-similar semilattices S and S′,where S is a lattice and S′is a non-lattice semilattice.In this paper we study the Z2-graded automorphisms of the TKK algebra T（J（S））.
The Lie Algebras in which Every Subspace s Its Subalgebra
Institute of Scientific and Technical Information of China (English)
WU MING-ZHONG
2009-01-01
In this paper, we study the Lie algebras in which every subspace is its subalgebra (denoted by HB Lie algebras). We get that a nonabelian Lie algebra is an HB Lie algebra if and only if it is isomorphic to g+Cidg, where g is an abelian Lie algebra. Moreover we show that the derivation algebra and the holomorph of a nonabelian HB Lie algebra are complete.
Classification of solvable Leibniz algebras with naturally graded filiform nilradical
Casas, J M; Omirov, B A; Karimjanov, I A
2012-01-01
In this paper we show that the method for describing solvable Lie algebras with given nilradical by means of non-nilpotent outer derivations of the nilradical is also applicable to the case of Leibniz algebras. Using this method we extend the classification of solvable Lie algebras with naturally graded filiform Lie algebra to the case of Leibniz algebras. Namely, the classification of solvable Leibniz algebras whose nilradical is a naturally graded filiform Leibniz algebra is obtained.
Linear algebra algorithms for divisors on an algebraic curve
Khuri-Makdisi, Kamal
We use an embedding of the symmetric $d$th power of any algebraic curve $C$ of genus $g$ into a Grassmannian space to give algorithms for working with divisors on $C$, using only linear algebra in vector spaces of dimension $O(g)$, and matrices of size $O(g^2)\\times O(g)$. When the base field $k$ is finite, or if $C$ has a rational point over $k$, these give algorithms for working on the Jacobian of $C$ that require $O(g^4)$ field operations, arising from the Gaussian elimination. Our point of view is strongly geometric, and our representation of points on the Jacobian is fairly simple to work with; in particular, none of our algorithms involves arithmetic with polynomials. We note that our algorithms have the same asymptotic complexity for general curves as the more algebraic algorithms in Hess' 1999 Ph.D. thesis, which works with function fields as extensions of $k[x]$. However, for special classes of curves, Hess' algorithms are asymptotically more efficient than ours, generalizing other known efficient algorithms for special classes of curves, such as hyperelliptic curves (Cantor), superelliptic curves (Galbraith, Paulus, and Smart), and $C_{ab}$ curves (Harasawa and Suzuki); in all those cases, one can attain a complexity of $O(g^2)$.
Alternative algebraic approaches in quantum chemistry
Energy Technology Data Exchange (ETDEWEB)
Mezey, Paul G., E-mail: paul.mezey@gmail.com [Canada Research Chair in Scientific Modeling and Simulation, Department of Chemistry and Department of Physics and Physical Oceanography, Memorial University of Newfoundland, 283 Prince Philip Drive, St. John' s, NL A1B 3X7 (Canada)
2015-01-22
Various algebraic approaches of quantum chemistry all follow a common principle: the fundamental properties and interrelations providing the most essential features of a quantum chemical representation of a molecule or a chemical process, such as a reaction, can always be described by algebraic methods. Whereas such algebraic methods often provide precise, even numerical answers, nevertheless their main role is to give a framework that can be elaborated and converted into computational methods by involving alternative mathematical techniques, subject to the constraints and directions provided by algebra. In general, algebra describes sets of interrelations, often phrased in terms of algebraic operations, without much concern with the actual entities exhibiting these interrelations. However, in many instances, the very realizations of two, seemingly unrelated algebraic structures by actual quantum chemical entities or properties play additional roles, and unexpected connections between different algebraic structures are often giving new insight. Here we shall be concerned with two alternative algebraic structures: the fundamental group of reaction mechanisms, based on the energy-dependent topology of potential energy surfaces, and the interrelations among point symmetry groups for various distorted nuclear arrangements of molecules. These two, distinct algebraic structures provide interesting interrelations, which can be exploited in actual studies of molecular conformational and reaction processes. Two relevant theorems will be discussed.
The algebras of large N matrix mechanics
Energy Technology Data Exchange (ETDEWEB)
Halpern, M.B.; Schwartz, C.
1999-09-16
Extending early work, we formulate the large N matrix mechanics of general bosonic, fermionic and supersymmetric matrix models, including Matrix theory: The Hamiltonian framework of large N matrix mechanics provides a natural setting in which to study the algebras of the large N limit, including (reduced) Lie algebras, (reduced) supersymmetry algebras and free algebras. We find in particular a broad array of new free algebras which we call symmetric Cuntz algebras, interacting symmetric Cuntz algebras, symmetric Bose/Fermi/Cuntz algebras and symmetric Cuntz superalgebras, and we discuss the role of these algebras in solving the large N theory. Most important, the interacting Cuntz algebras are associated to a set of new (hidden!) local quantities which are generically conserved only at large N. A number of other new large N phenomena are also observed, including the intrinsic nonlocality of the (reduced) trace class operators of the theory and a closely related large N field identification phenomenon which is associated to another set (this time nonlocal) of new conserved quantities at large N.
Combinatorial algebra syntax and semantics
Sapir, Mark V
2014-01-01
Combinatorial Algebra: Syntax and Semantics provides a comprehensive account of many areas of combinatorial algebra. It contains self-contained proofs of more than 20 fundamental results, both classical and modern. This includes Golod–Shafarevich and Olshanskii's solutions of Burnside problems, Shirshov's solution of Kurosh's problem for PI rings, Belov's solution of Specht's problem for varieties of rings, Grigorchuk's solution of Milnor's problem, Bass–Guivarc'h theorem about the growth of nilpotent groups, Kleiman's solution of Hanna Neumann's problem for varieties of groups, Adian's solution of von Neumann-Day's problem, Trahtman's solution of the road coloring problem of Adler, Goodwyn and Weiss. The book emphasize several ``universal" tools, such as trees, subshifts, uniformly recurrent words, diagrams and automata. With over 350 exercises at various levels of difficulty and with hints for the more difficult problems, this book can be used as a textbook, and aims to reach a wide and diversified...
Symplectic maps from cluster algebras
Fordy, Allan
2011-01-01
We consider nonlinear recurrences generated from the iteration of maps that arise from cluster algebras. More precisely, starting from a skew-symmetric integer matrix, or its corresponding %associated quiver, one can define a set of mutation operations, as well as a set of associated cluster mutations that are applied to a set of affine coordinates (the cluster variables). Fordy and Marsh recently provided a complete classification of all such quivers that have a certain periodicity property under sequences of mutations. This periodicity implies that a suitable sequence of cluster mutations is precisely equivalent to iteration of a nonlinear recurrence relation. Here we explain briefly how to introduce a % symplectic structure in this setting, which is preserved by a corresponding birational map (possibly on a space of lower dimension). We give examples of both integrable and non-integrable maps that arise from this construction. We use algebraic entropy as an approach to classifying integrable cases. The deg...
Institute of Scientific and Technical Information of China (English)
Jie FANG; Zhong Ju SUN
2012-01-01
Here we introduce a subclass of the class of Ockham algebras (L; f) for which L satisfies the property that for every x ∈ L,there exists n ≥ 0 such that fn(x) and fn+1(x) are complementary.We characterize the structure of the lattice of congruences on such an algebra (L; f).We show that the lattice of compact congruences on L is a dual Stone lattice,and in particular,that the lattice Con L of congruences on L is boolean if and only if L is finite boolean.We also show that L is congruence coherent if and only if it is boolean.Finally,we give a sufficient and necessary condition to have the subdirectly irreducible chains.
Learning abstract algebra with ISETL
Dubinsky, Ed
1994-01-01
Most students in abstract algebra classes have great difficulty making sense of what the instructor is saying. Moreover, this seems to remain true almost independently of the quality of the lecture. This book is based on the constructivist belief that, before students can make sense of any presentation of abstract mathematics, they need to be engaged in mental activities which will establish an experiential base for any future verbal explanation. No less, they need to have the opportunity to reflect on their activities. This approach is based on extensive theoretical and empirical studies as well as on the substantial experience of the authors in teaching astract algebra. The main source of activities in this course is computer constructions, specifically, small programs written in the mathlike programming language ISETL; the main tool for reflections is work in teams of 2-4 students, where the activities are discussed and debated. Because of the similarity of ISETL expressions to standard written mathematics...
Automorphisms of the Cuntz algebras
DEFF Research Database (Denmark)
Conti, Roberto; Szymanski, Wojciech
2011-01-01
We survey recent results on endomorphisms and especially on automorphisms of the Cuntz algebras, with a special emphasis on the structure of the Weyl group. We discuss endomorphisms globally preserving the diagonal MASA and their corresponding actions. In particular, we investigate those endomorp...... endomorphisms of O_n which restrict to automorphisms of the diagonal. We review a combinatorial approach to the study of permutative endomorphisms. All the presented material is put in context with current research topics.......We survey recent results on endomorphisms and especially on automorphisms of the Cuntz algebras, with a special emphasis on the structure of the Weyl group. We discuss endomorphisms globally preserving the diagonal MASA and their corresponding actions. In particular, we investigate those...
Endomorphisms of the Cuntz algebras
DEFF Research Database (Denmark)
Conti, Roberto; Hong, Jeong Hee; Szymanski, Wojciech
2012-01-01
This mainly expository article is devoted to recent advances in the study of dynamical aspects of the Cuntz algebras O_n, n
On indecomposable modules over the Virasoro algebra
Institute of Scientific and Technical Information of China (English)
sU; Yucai(
2001-01-01
［1］Chari, V. , Pressley, A., Unitary representations of the Virasoro algebra and a conjecture of Kac, Compositio Math, 1988,67: 315-342.［2］Feign, B. L. , Fuchs, D. B., Verma modules over the Virasoro algebra, Lecture Notes in Math, 1984, 1060: 230-245.［3］Kac, V. G., Some problems on infinite-dimensional Lie algebras and their representations, Lie algebras and related topics,Lecture Notes in Math., 1982, 933: 117-126.［4］Kac, V. G., Infinite Dimensional Lie Algebras, 2nd ed., Boston, Cambridge: Birkhauser, 1985.［5］Kaplansky, I., Santharoubane, L. J., Harish-Chandra modules over the Virasoro algebra, Infinite-dimensional groups with application, Math. Sci. Res. Inst. Pub., 1985, 4: 217-231.［6］Langlands, R., On unitary representations of the Virasoro algebra, Infinite-Dimensional Lie Algebras and Their Application,Singapore: World Scientific, 1986, 141-159.［7］Martin. C. , Piard, A., Indecomposable modules over the Virasoro Lie algebra and a conjecture of V Kac, Comm. Math.Phys., 1991, 137: 109-132.［8］Mathieu, O. , Classification of Harish-Chandra modules over the Virasoro Lie algebra, Invent Math., 1992, 107: 225-234.［9］Su, Y., A classification of indecomposable sl2(2)-modules and a conjecture of Kac on irreducible modules over the Virasoro algebra, J. Alg., 1993, 161: 33-46.［10］Su, Y. , Classification of Harish-Chandra modules over the super-Virasoro algebras, Comm. Alg., 1995, 23: 3653-3675.［11］Su, Y. , Simple modules over the high rank Virasoro algebras, Comm. Alg., 2001, in press.
Composing Scalable Nonlinear Algebraic Solvers
Brune, Peter R.; Knepley, Matthew G.; Smith, Barry F.; Tu, Xuemin
2016-01-01
Most efficient linear solvers use composable algorithmic components, with the most common model being the combination of a Krylov accelerator and one or more preconditioners. A similar set of concepts may be used for nonlinear algebraic systems, where nonlinear composition of different nonlinear solvers may significantly improve the time to solution. We describe the basic concepts of nonlinear composition and preconditioning and present a number of solvers applicable to nonlinear partial diff...
Analytic extensions of algebraic isomorphisms
Kaliman, Shulim
2015-01-01
Let $\\Psi : X_1 \\to X_2$ be an isomorphism of closed affine algebraic subvarities of $\\C^n$ such that $n > \\max (2\\dim X_1, \\dim TX_1)$. We prove that $\\Psi$ can be extended to a holomorphic automorphism of $\\C^n$. Furthermore, when $\\Psi$ is an isomorphism of curves such an extension exists for every $n\\geq 3$ even when $\\dim TX_1=n$.
Algebraic Approach to Baryon Structure
Leviatan, A
1996-01-01
We present an algebraic approach to the internal structure of baryons in terms of three constituents. We investigate a collective model in which the nucleon is regarded as a rotating and vibrating oblate top with a prescribed distribution of charges and magnetization. We contrast the collective and single-particle descriptions of baryons and compare the predictions of the model with existing data on masses, electromagnetic elastic and transition form factors and strong decays widths.
Algebraic topology a first course
Fulton, William
1995-01-01
To the Teacher. This book is designed to introduce a student to some of the important ideas of algebraic topology by emphasizing the re lations of these ideas with other areas of mathematics. Rather than choosing one point of view of modem topology (homotopy theory, simplicial complexes, singular theory, axiomatic homology, differ ential topology, etc.), we concentrate our attention on concrete prob lems in low dimensions, introducing only as much algebraic machin ery as necessary for the problems we meet. This makes it possible to see a wider variety of important features of the subject than is usual in a beginning text. The book is designed for students of mathematics or science who are not aiming to become practicing algebraic topol ogists-without, we hope, discouraging budding topologists. We also feel that this approach is in better harmony with the historical devel opment of the subject. What would we like a student to know after a first course in to pology (assuming we reject the answer: ...
An introduction to algebraic topology
Rotman, Joseph J
1988-01-01
There is a canard that every textbook of algebraic topology either ends with the definition of the Klein bottle or is a personal communication to J. H. C. Whitehead. Of course, this is false, as a glance at the books of Hilton and Wylie, Maunder, Munkres, and Schubert reveals. Still, the canard does reflect some truth. Too often one finds too much generality and too little attention to details. There are two types of obstacle for the student learning algebraic topology. The first is the formidable array of new techniques (e. g. , most students know very little homological algebra); the second obstacle is that the basic defini tions have been so abstracted that their geometric or analytic origins have been obscured. I have tried to overcome these barriers. In the first instance, new definitions are introduced only when needed (e. g. , homology with coeffi cients and cohomology are deferred until after the Eilenberg-Steenrod axioms have been verified for the three homology theories we treat-singular, sim ...
3rd International Algebra Conference
Fong, Yuen; Zelmanov, Efim
2003-01-01
This volume contains one invited lecture which was presented by the 1994 Fields Medal ist Professor E. Zelmanov and twelve other papers which were presented at the Third International Conference on Algebra and Their Related Topics at Chang Jung Christian University, Tainan, Republic of China, during the period June 26-July 1, 200l. All papers in this volume have been refereed by an international referee board and we would like to express our deepest thanks to all the referees who were so helpful and punctual in submitting their reports. Thanks are also due to the Promotion and Research Center of National Science Council of Republic of China and the Chang Jung Christian University for their generous financial support of this conference. The spirit of this conference is a continuation of the last two International Tainan Moscow Algebra Workshop on Algebras and Their Related Topics which were held in the mid-90's of the last century. The purpose of this very conference was to give a clear picture of the rece...
Structure of Degenerate Block Algebras
Institute of Scientific and Technical Information of China (English)
Linsheng Zhu; Daoji Meng
2003-01-01
Given a non-trivial torsion-free abelian group (A,+,0), a field F of characteristic 0, and a non-degenerate bi-additive skew-symmetric map φ :A × A → F, we define a Lie algebra ∑ = ∑(A, φ) over F with basis {ex | x ∈ A\\{0}}and Lie product [ex, ey] = φ(x, y)ex+y. We show that ∑ is endowed uniquely with a non-degenerate symmetric invariant bilinear form and the derivation algebra Der ∑ of ∑ is a complete Lie algebra. We describe the double extension D(∑, T) of ∑ by T, where T is spanned by the locally finite derivations of ∑, and determine the second cohomology group H2(D(∑,T),F) using anti-derivations related to the form on D(∑, T). Finally, we compute the second Leibniz cohomology groups HL2(∑, F) and HL2(D(∑, T), F).
BLAS- BASIC LINEAR ALGEBRA SUBPROGRAMS
Krogh, F. T.
1994-01-01
The Basic Linear Algebra Subprogram (BLAS) library is a collection of FORTRAN callable routines for employing standard techniques in performing the basic operations of numerical linear algebra. The BLAS library was developed to provide a portable and efficient source of basic operations for designers of programs involving linear algebraic computations. The subprograms available in the library cover the operations of dot product, multiplication of a scalar and a vector, vector plus a scalar times a vector, Givens transformation, modified Givens transformation, copy, swap, Euclidean norm, sum of magnitudes, and location of the largest magnitude element. Since these subprograms are to be used in an ANSI FORTRAN context, the cases of single precision, double precision, and complex data are provided for. All of the subprograms have been thoroughly tested and produce consistent results even when transported from machine to machine. BLAS contains Assembler versions and FORTRAN test code for any of the following compilers: Lahey F77L, Microsoft FORTRAN, or IBM Professional FORTRAN. It requires the Microsoft Macro Assembler and a math co-processor. The PC implementation allows individual arrays of over 64K. The BLAS library was developed in 1979. The PC version was made available in 1986 and updated in 1988.
Introduction to Image Algebra Ada
Wilson, Joseph N.
1991-07-01
Image Algebra Ada (IAA) is a superset of the Ada programming language designed to support use of the Air Force Armament Laboratory's image algebra in the development of computer vision application programs. The IAA language differs from other computer vision languages is several respects. It is machine independent, and an IAA translator has been implemented in the military standard Ada language. Its image operands and operations can be used to program a range of both low- and high-level vision algorithms. This paper provides an overview of the image algebra constructs supported in IAA and describes the embodiment of these constructs in the IAA extension of Ada. Examples showing the use of IAA for a range of computer vision tasks are given. The design of IAA as a superset of Ada and the implementation of the initial translator in Ada represent critical choices. The authors discuss the reasoning behind these choices as well as the benefits and drawbacks associated with them. Implementation strategies associated with the use of Ada as an implementation language for IAA are also discussed. While one can look on IAA as a program design language (PDL) for specifying Ada programs, it is useful to consider IAA as a separate language superset of Ada. This admits the possibility of directly translating IAA for implementation on special purpose architectures. This paper explores strategies for porting IAA to various architectures and notes the critical language and implementation features for porting to different architectures.