Division algebras with integral elements

International Nuclear Information System (INIS)

Koca, M.; Ozdes, N.

1988-06-01

Pairing two elements of a given division algebra furnished with a multiplication rule leads to an algebra of higher dimension restricted by 8. This fact is used to obtain the roots of SO(4) and SP(2) from the roots ±1 of SU(2) and the weights ±1/2 of its spinor representation. The root lattice of SO(8) described by 24 integral quaternions are obtained by pairing two sets of roots of SP(2). The root system of F 4 is constructed in terms of 24 integral and 24 ''half-integral'' quaternions. The root lattice of E 8 expressed as 240 integral octonions are obtained by pairing two sets of roots of F 4 . 24 integral quaternions of SO(8) forming a discrete subgroup of SU(2) is shown to be the automorphism group of the root lattices of SO(8), F 4 and E 8 . The roots of maximal subgroups SO(16), E 7 XSU(2), E 6 XSU(3), SU(9) and SU(5)XSU(5) of E 8 are identified with a simple method. Subsets of the discrete subgroup of SU(2) leaving maximal subgroups of E 8 are obtained. Constructions of E 8 root lattice with integral octonions in 7 distinct ways are made. Magic square of integral lattices of Goddard, Nahm, Olive, Ruegg and Schwimmer are derived. Possible physical applications are suggested. (author). 16 refs, 6 figs, 5 tabs

On Frobenius, Mazur, and Gelfand-Mazur theorems on division ...

African Journals Online (AJOL)

... R of real numbers, the field C of complex numbers, or the non-commutative algebra Q of quaternions. Gelfand [15] proved that every normed division algebra over the field C is isomorphic to C. He named this theorem, which is fundamental for the development of the theory of Banach Algebras, the Gelfand-Mazur theorem.

From combinatorial optimization to real algebraic geometry and back

Directory of Open Access Journals (Sweden)

Janez Povh

2014-12-01

Full Text Available In this paper, we explain the relations between combinatorial optimization and real algebraic geometry with a special focus to the quadratic assignment problem. We demonstrate how to write a quadratic optimization problem over discrete feasible set as a linear optimization problem over the cone of completely positive matrices. The latter formulation enables a hierarchy of approximations which rely on results from polynomial optimization, a sub-eld of real algebraic geometry.

Filtrated K-theory for real rank zero C*-algebras

DEFF Research Database (Denmark)

Arklint, Sara Esther; Restorff, Gunnar; Ruiz, Efren

2012-01-01

The smallest primitive ideal spaces for which there exist counterexamples to the classification of non-simple, purely infinite, nuclear, separable C*-algebras using filtrated K-theory, are four-point spaces. In this article, we therefore restrict to real rank zero C*-algebras with four-point prim...

Model Checking Process Algebra of Communicating Resources for Real-time Systems

DEFF Research Database (Denmark)

Boudjadar, Jalil; Kim, Jin Hyun; Larsen, Kim Guldstrand

2014-01-01

This paper presents a new process algebra, called PACOR, for real-time systems which deals with resource constrained timed behavior as an improved version of the ACSR algebra. We define PACOR as a Process Algebra of Communicating Resources which allows to express preemptiveness, urgent ness...

Model checking process algebra of communicating resources for real-time systems

DEFF Research Database (Denmark)

Boudjadar, Jalil; Kim, Jin Hyun; Larsen, Kim Guldstrand

2014-01-01

This paper presents a new process algebra, called PACoR, for real-time systems which deals with resource- constrained timed behavior as an improved version of the ACSR algebra. We define PACoR as a Process Algebra of Communicating Resources which allows to explicitly express preemptiveness...

Infinite-dimensional Lie algebras in 4D conformal quantum field theory

International Nuclear Information System (INIS)

Bakalov, Bojko; Nikolov, Nikolay M; Rehren, Karl-Henning; Todorov, Ivan

2008-01-01

The concept of global conformal invariance (GCI) opens the way of applying algebraic techniques, developed in the context of two-dimensional chiral conformal field theory, to a higher (even) dimensional spacetime. In particular, a system of GCI scalar fields of conformal dimension two gives rise to a Lie algebra of harmonic bilocal fields, V M (x, y), where the M span a finite dimensional real matrix algebra M closed under transposition. The associative algebra M is irreducible iff its commutant M' coincides with one of the three real division rings. The Lie algebra of (the modes of) the bilocal fields is in each case an infinite-dimensional Lie algebra: a central extension of sp(∞,R) corresponding to the field R of reals, of u(∞, ∞) associated with the field C of complex numbers, and of so*(4∞) related to the algebra H of quaternions. They give rise to quantum field theory models with superselection sectors governed by the (global) gauge groups O(N), U(N) and U(N,H)=Sp(2N), respectively

Asynchronous communication in real space process algebra

NARCIS (Netherlands)

Baeten, J.C.M.; Bergstra, J.A.

1991-01-01

A version of classical real space process algebra is given in which messages travel with constant speed through a three-dimensional medium. It follows that communication is asynchronous and has a broadcasting character. A state operator is used to describe asynchronous message transfer and a

Asynchronous communication in real space process algebra

NARCIS (Netherlands)

Bergstra, J.A.; Baeten, J.C.M.

1992-01-01

A version of classical real space process algebra is given in which messages travel with constant speed through a three-dimensional medium. It follows that communication is asynchronous and has a broadcasting character. A state operator is used to describe asynchronous message transfer and a

On the topology of real algebraic plane curves

DEFF Research Database (Denmark)

Cheng, Jinsan; Lazard, Sylvain; Peñaranda, Luis

2010-01-01

We revisit the problem of computing the topology and geometry of a real algebraic plane curve. The topology is of prime interest but geometric information, such as the position of singular and critical points, is also relevant. A challenge is to compute efficiently this information for the given...... and isolation with rational univariate representations. This has the advantage of avoiding computations with polynomials with algebraic coefficients, even in non-generic positions. Our algorithm isolates critical points in boxes and computes a decomposition of the plane by rectangular boxes. This decomposition...

Euclidean distance degrees of real algebraic groups

NARCIS (Netherlands)

Baaijens, J.A.; Draisma, J.

2015-01-01

We study the problem of finding, in a real algebraic matrix group, the matrix closest to a given data matrix. We do so from the algebro-geometric perspective of Euclidean distance degrees. We recover several classical results; and among the new results that we prove is a formula for the Euclidean

Euclidean distance degrees of real algebraic groups

NARCIS (Netherlands)

Baaijens, J.A.; Draisma, J.

2014-01-01

We study the problem of finding, in a real algebraic matrix group, the matrix closest to a given data matrix. We do so from the algebro-geometric perspective of Euclidean distance degrees. We recover several classical results; and among the new results that we prove is a formula for the Euclidean

Invertibility-preserving maps of C∗-algebras with real rank zero

Directory of Open Access Journals (Sweden)

Istvan Kovacs

2005-01-01

Full Text Available In 1996, Harris and Kadison posed the following problem: show that a linear bijection between C∗-algebras that preserves the identity and the set of invertible elements is a Jordan isomorphism. In this paper, we show that if A and B are semisimple Banach algebras and Φ:A→B is a linear map onto B that preserves the spectrum of elements, then Φ is a Jordan isomorphism if either A or B is a C∗-algebra of real rank zero. We also generalize a theorem of Russo.

Wild kernels for higher K-theory of division and semi-simple algebras

International Nuclear Information System (INIS)

Quo Xuejun; Kuku, Aderemi

2003-06-01

Let Σ be a semi-simple algebra over a number field F. In this paper, we prove that for all n ≥ 0, the wild kernel WK n (Σ):Ker(K n (Σ) → Π finiteυ K n (Σ υ )) is contained in the torsion part of the image of the natural homomorphism K n (Λ) → K n (Σ), where Λ is a maximal order in Σ. In particular, WK n (Σ) is finite. In the process, we prove that if Λ is a maximal order in a central division algebra D over F, then the kernel of the reduction map K 2n-1 (Λ) → π υ Π finiteυ K 2n-1 (d υ ) is finite. In paragraph 3 we investigate the connections between WK n (D) and div(K n (D)) and prove that divK 2 (Σ) is a subset of WK 2 (Σ); if the index of D is square free, then div(K 2 (D)) ≅ div(K 2 (F)), WK 2 (F) ≅ WK 2 (D) and vertical bar WK 2 (D)/div(K 2 (D)) vertical bar ≤ 2. Finally we prove that if D is a central division algebra over F with [D : F] = m 2 , then (1) div(K n (D)) l = WK n (D) l for all odd primes I and n ≤ 2; (2) if I does not divide m, then div(K 3 (D)) l = WK 3 (D) l = 0; (3) if F = Q and I does not divide m, then div(K n (D)) l is a subset of WK n (D) l for all n. (author)

Equivalency of two-dimensional algebras

International Nuclear Information System (INIS)

Santos, Gildemar Carneiro dos; Pomponet Filho, Balbino Jose S.

2011-01-01

Full text: Let us consider a vector z = xi + yj over the field of real numbers, whose basis (i,j) satisfy a given algebra. Any property of this algebra will be reflected in any function of z, so we can state that the knowledge of the properties of an algebra leads to more general conclusions than the knowledge of the properties of a function. However structural properties of an algebra do not change when this algebra suffers a linear transformation, though the structural constants defining this algebra do change. We say that two algebras are equivalent to each other whenever they are related by a linear transformation. In this case, we have found that some relations between the structural constants are sufficient to recognize whether or not an algebra is equivalent to another. In spite that the basis transform linearly, the structural constants change like a third order tensor, but some combinations of these tensors result in a linear transformation, allowing to write the entries of the transformation matrix as function of the structural constants. Eventually, a systematic way to find the transformation matrix between these equivalent algebras is obtained. In this sense, we have performed the thorough classification of associative commutative two-dimensional algebras, and find that even non-division algebra may be helpful in solving non-linear dynamic systems. The Mandelbrot set was used to have a pictorial view of each algebra, since equivalent algebras result in the same pattern. Presently we have succeeded in classifying some non-associative two-dimensional algebras, a task more difficult than for associative one. (author)

Asynchronous communication in real space process algebra

OpenAIRE

Baeten, JCM Jos; Bergstra, JA Jan

1990-01-01

A version of classical real space process algebra is given in which messages travel with constant speed through a three-dimensional medium. It follows that communication is asynchronous and has a broadcasting character. A state operator is used to describe asynchronous message transfer and a priority mechanism allows to express the broadcasting mechanism. As an application, a protocol is specified in which the receiver moves with respect to the sender.

Regularity of C*-algebras and central sequence algebras

DEFF Research Database (Denmark)

Christensen, Martin S.

The main topic of this thesis is regularity properties of C*-algebras and how these regularity properties are re ected in their associated central sequence algebras. The thesis consists of an introduction followed by four papers [A], [B], [C], [D]. In [A], we show that for the class of simple...... Villadsen algebra of either the rst type with seed space a nite dimensional CW complex, or the second type, tensorial absorption of the Jiang-Su algebra is characterized by the absence of characters on the central sequence algebra. Additionally, in a joint appendix with Joan Bosa, we show that the Villadsen...... algebra of the second type with innite stable rank fails the corona factorization property. In [B], we consider the class of separable C*-algebras which do not admit characters on their central sequence algebra, and show that it has nice permanence properties. We also introduce a new divisibility property...

Standard integral table algebras generated by non-real element of small degree

CERN Document Server

Muzychuk, Mikhail

2002-01-01

This book is addressed to the researchers working in the theory of table algebras and association schemes. This area of algebraic combinatorics has been rapidly developed during the last decade. The volume contains further developments in the theory of table algebras. It collects several papers which deal with a classification problem for standard integral table algebras (SITA). More precisely, we consider SITA with a faithful non-real element of small degree. It turns out that such SITA with some extra conditions may be classified. This leads to new infinite series of SITA which has interesting properties. The last section of the book uses a part of obtained results in the classification of association schemes. This volume summarizes the research which was done at Bar-Ilan University in the academic year 1998/99.

An Algorithm for Isolating the Real Solutions of Piecewise Algebraic Curves

Directory of Open Access Journals (Sweden)

Jinming Wu

2011-01-01

to compute the real solutions of two piecewise algebraic curves. It is primarily based on the Krawczyk-Moore iterative algorithm and good initial iterative interval searching algorithm. The proposed algorithm is relatively easy to implement.

Strong result for real zeros of random algebraic polynomials

Directory of Open Access Journals (Sweden)

T. Uno

2001-01-01

Full Text Available An estimate is given for the lower bound of real zeros of random algebraic polynomials whose coefficients are non-identically distributed dependent Gaussian random variables. Moreover, our estimated measure of the exceptional set, which is independent of the degree of the polynomials, tends to zero as the degree of the polynomial tends to infinity.

Pole-placement Predictive Functional Control for under-damped systems with real numbers algebra.

Science.gov (United States)

Zabet, K; Rossiter, J A; Haber, R; Abdullah, M

2017-11-01

This paper presents the new algorithm of PP-PFC (Pole-placement Predictive Functional Control) for stable, linear under-damped higher-order processes. It is shown that while conventional PFC aims to get first-order exponential behavior, this is not always straightforward with significant under-damped modes and hence a pole-placement PFC algorithm is proposed which can be tuned more precisely to achieve the desired dynamics, but exploits complex number algebra and linear combinations in order to deliver guarantees of stability and performance. Nevertheless, practical implementation is easier by avoiding complex number algebra and hence a modified formulation of the PP-PFC algorithm is also presented which utilises just real numbers while retaining the key attributes of simple algebra, coding and tuning. The potential advantages are demonstrated with numerical examples and real-time control of a laboratory plant. Copyright © 2017 ISA. All rights reserved.

Real-Time Algebraic Derivative Estimations Using a Novel Low-Cost Architecture Based on Reconfigurable Logic

Science.gov (United States)

Morales, Rafael; Rincón, Fernando; Gazzano, Julio Dondo; López, Juan Carlos

2014-01-01

Time derivative estimation of signals plays a very important role in several fields, such as signal processing and control engineering, just to name a few of them. For that purpose, a non-asymptotic algebraic procedure for the approximate estimation of the system states is used in this work. The method is based on results from differential algebra and furnishes some general formulae for the time derivatives of a measurable signal in which two algebraic derivative estimators run simultaneously, but in an overlapping fashion. The algebraic derivative algorithm presented in this paper is computed online and in real-time, offering high robustness properties with regard to corrupting noises, versatility and ease of implementation. Besides, in this work, we introduce a novel architecture to accelerate this algebraic derivative estimator using reconfigurable logic. The core of the algorithm is implemented in an FPGA, improving the speed of the system and achieving real-time performance. Finally, this work proposes a low-cost platform for the integration of hardware in the loop in MATLAB. PMID:24859033

Algebraic and computational aspects of real tensor ranks

CERN Document Server

Sakata, Toshio; Miyazaki, Mitsuhiro

2016-01-01

This book provides comprehensive summaries of theoretical (algebraic) and computational aspects of tensor ranks, maximal ranks, and typical ranks, over the real number field. Although tensor ranks have been often argued in the complex number field, it should be emphasized that this book treats real tensor ranks, which have direct applications in statistics. The book provides several interesting ideas, including determinant polynomials, determinantal ideals, absolutely nonsingular tensors, absolutely full column rank tensors, and their connection to bilinear maps and Hurwitz-Radon numbers. In addition to reviews of methods to determine real tensor ranks in details, global theories such as the Jacobian method are also reviewed in details. The book includes as well an accessible and comprehensive introduction of mathematical backgrounds, with basics of positive polynomials and calculations by using the Groebner basis. Furthermore, this book provides insights into numerical methods of finding tensor ranks through...

Real forms of complex quantum anti-de-Sitter algebra Uq(Sp(4;C)) and their contraction schemes

International Nuclear Information System (INIS)

Lukierski, J.; Nowicki, A.; Ruegg, H.

1991-01-01

We describe four types of inner involutions of the Cartan-Weyl basis providing (for vertical strokeqvertical stroke=1 and q real) three types of real quantum Lie algebras: U q (O(3, 2)) (quantum D=4 anti-de-Sitter), U q (O(4, 1)) (quantum D=4 de-Sitter) and U q (O(5)). We give also two types of inner involutions of the Cartan-Chevalley basis of U q (Sp(4; C)) which cannot be extended to inner involutions of the Cartan-Weyl basis. We outline twelve contraction schemes for quantum D=4 anti-de-Sitter algebra. All these contractions provide four commuting translation generators, but only two (one for vertical strokeqvertical stroke=1, the second for q real) lead to the quantum Poincare algebra with an undeformed space rotation O(3) subalgebra. (orig.)

Algebraic partial Boolean algebras

International Nuclear Information System (INIS)

Smith, Derek

2003-01-01

Partial Boolean algebras, first studied by Kochen and Specker in the 1960s, provide the structure for Bell-Kochen-Specker theorems which deny the existence of non-contextual hidden variable theories. In this paper, we study partial Boolean algebras which are 'algebraic' in the sense that their elements have coordinates in an algebraic number field. Several of these algebras have been discussed recently in a debate on the validity of Bell-Kochen-Specker theorems in the context of finite precision measurements. The main result of this paper is that every algebraic finitely-generated partial Boolean algebra B(T) is finite when the underlying space H is three-dimensional, answering a question of Kochen and showing that Conway and Kochen's infinite algebraic partial Boolean algebra has minimum dimension. This result contrasts the existence of an infinite (non-algebraic) B(T) generated by eight elements in an abstract orthomodular lattice of height 3. We then initiate a study of higher-dimensional algebraic partial Boolean algebras. First, we describe a restriction on the determinants of the elements of B(T) that are generated by a given set T. We then show that when the generating set T consists of the rays spanning the minimal vectors in a real irreducible root lattice, B(T) is infinite just if that root lattice has an A 5 sublattice. Finally, we characterize the rays of B(T) when T consists of the rays spanning the minimal vectors of the root lattice E 8

Topological properties of real algebraic varieties: du cote de chez Rokhlin

Energy Technology Data Exchange (ETDEWEB)

Degtyarev, A I [Bilkent University, Ankara (Turkey); Kharlamov, V M [Institut de Recherche Matematique Avanee, Universite Louis Pasteur et CNRS 7, rue Rene Descartes (France)

2000-08-31

The survey covers results in the topology of real algebraic varieties in the direction initiated in the early seventies by V.I. Arnol'd and V.A. Rokhlin. We make an attempt to systematize the principal achievements in the subject. After presenting general tools and results, we pay special attention to surfaces and curves on surfaces.

Topological properties of real algebraic varieties: du cote de chez Rokhlin

International Nuclear Information System (INIS)

Degtyarev, A I; Kharlamov, V M

2000-01-01

The survey covers results in the topology of real algebraic varieties in the direction initiated in the early seventies by V.I. Arnol'd and V.A. Rokhlin. We make an attempt to systematize the principal achievements in the subject. After presenting general tools and results, we pay special attention to surfaces and curves on surfaces

Head First Algebra A Learner's Guide to Algebra I

CERN Document Server

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

Real forms of non-linear superconformal and quasi-superconformal algebras and their unified realization

International Nuclear Information System (INIS)

Bina, B.; Guenaydin, M.

1997-01-01

We give a complete classification of the real forms of simple non-linear superconformal algebras (SCA) and quasi-superconformal algebras (QSCA) and present a unified realization of these algebras with simple symmetry groups. This classification is achieved by establishing a correspondence between simple non-linear QSCA's and SCA's and quaternionic and super-quaternionic symmetric spaces of simple Lie groups and Lie supergroups, respectively. The unified realization we present involves a dimension zero scalar field (dilaton), dimension-1 symmetry currents, and dimension-1/2 free bosons for QSCA's and dimension-1/2 free fermions for SCA's. The free bosons and fermions are associated with the quaternionic and super-quaternionic symmetric spaces of corresponding Lie groups and Lie supergroups, respectively. We conclude with a discussion of possible applications of our results. (orig.)

Non-commutative multiple-valued logic algebras

CERN Document Server

Ciungu, Lavinia Corina

2014-01-01

This monograph provides a self-contained and easy-to-read introduction to non-commutative multiple-valued logic algebras; a subject which has attracted much interest in the past few years because of its impact on information science, artificial intelligence and other subjects.   A study of the newest results in the field, the monograph includes treatment of pseudo-BCK algebras, pseudo-hoops, residuated lattices, bounded divisible residuated lattices, pseudo-MTL algebras, pseudo-BL algebras and pseudo-MV algebras. It provides a fresh perspective on new trends in logic and algebras in that algebraic structures can be developed into fuzzy logics which connect quantum mechanics, mathematical logic, probability theory, algebra and soft computing.   Written in a clear, concise and direct manner, Non-Commutative Multiple-Valued Logic Algebras will be of interest to masters and PhD students, as well as researchers in mathematical logic and theoretical computer science.

Algebra 1r, Mathematics (Experimental): 5215.13.

Science.gov (United States)

Strachan, Florence

This third of six guidebooks on minimum course content for first-year algebra includes work with laws of exponents; multiplication, division, and factoring of polynomials; and fundamental operations with rational algebraic expressions. Course goals are stated, performance objectives listed, a course outline provided, testbook references specified…

Algebra of pseudo-differential operators over C*-algebra

International Nuclear Information System (INIS)

Mohammad, N.

1982-08-01

Algebras of pseudo-differential operators over C*-algebras are studied for the special case when in Hormander class Ssub(rho,delta)sup(m)(Ω) Ω = Rsup(n); rho = 1, delta = 0, m any real number, and the C*-algebra is infinite dimensional non-commutative. The space B, i.e. the set of A-valued C*-functions in Rsup(n) (or Rsup(n) x Rsup(n)) whose derivatives are all bounded, plays an important role. A denotes C*-algebra. First the operator class Ssub(phi,0)sup(m) is defined, and through it, the class Lsub(1,0)sup(m) of pseudo-differential operators. Then the basic asymptotic expansion theorems concerning adjoint and product of operators of class Ssub(1,0)sup(m) are stated. Finally, proofs are given of L 2 -continuity theorem and the main theorem, which states that algebra of all pseudo-differential operators over C*-algebras is itself C*-algebra

q-deformed Poincare algebra

International Nuclear Information System (INIS)

Ogievetsky, O.; Schmidke, W.B.; Wess, J.; Muenchen Univ.; Zumino, B.; Lawrence Berkeley Lab., CA

1992-01-01

The q-differential calculus for the q-Minkowski space is developed. The algebra of the q-derivatives with the q-Lorentz generators is found giving the q-deformation of the Poincare algebra. The reality structure of the q-Poincare algebra is given. The reality structure of the q-differentials is also found. The real Laplaacian is constructed. Finally the comultiplication, counit and antipode for the q-Poincare algebra are obtained making it a Hopf algebra. (orig.)

Exponentiation and deformations of Lie-admissible algebras

International Nuclear Information System (INIS)

Myung, H.C.

1982-01-01

The exponential function is defined for a finite-dimensional real power-associative algebra with unit element. The application of the exponential function is focused on the power-associative (p,q)-mutation of a real or complex associative algebra. Explicit formulas are computed for the (p,q)-mutation of the real envelope of the spin 1 algebra and the Lie algebra so(3) of the rotation group, in light of earlier investigations of the spin 1/2. A slight variant of the mutated exponential is interpreted as a continuous function of the Lie algebra into some isotope of the corresponding linear Lie group. The second part of this paper is concerned with the representation and deformation of a Lie-admissible algebra. The second cohomology group of a Lie-admissible algebra is introduced as a generalization of those of associative and Lie algebras in the Hochschild and Chevalley-Eilenberg theory. Some elementary theory of algebraic deformation of Lie-admissible algebras is discussed in view of generalization of that of associative and Lie algebras. Lie-admissible deformations are also suggested by the representation of Lie-admissible algebras. Some explicit examples of Lie-admissible deformation are given in terms of the (p,q)-mutation of associative deformation of an associative algebra. Finally, we discuss Lie-admissible deformations of order one

College algebra

CERN Document Server

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

Linear operators in Clifford algebras

International Nuclear Information System (INIS)

Laoues, M.

1991-01-01

We consider the real vector space structure of the algebra of linear endomorphisms of a finite-dimensional real Clifford algebra (2, 4, 5, 6, 7, 8). A basis of that space is constructed in terms of the operators M eI,eJ defined by x→e I .x.e J , where the e I are the generators of the Clifford algebra and I is a multi-index (3, 7). In particular, it is shown that the family (M eI,eJ ) is exactly a basis in the even case. (orig.)

Semi-algebraic function rings and reflectors of partially ordered rings

CERN Document Server

Schwartz, Niels

1999-01-01

The book lays algebraic foundations for real geometry through a systematic investigation of partially ordered rings of semi-algebraic functions. Real spectra serve as primary geometric objects, the maps between them are determined by rings of functions associated with the spectra. The many different possible choices for these rings of functions are studied via reflections of partially ordered rings. Readers should feel comfortable using basic algebraic and categorical concepts. As motivational background some familiarity with real geometry will be helpful. The book aims at researchers and graduate students with an interest in real algebra and geometry, ordered algebraic structures, topology and rings of continuous functions.

Clifford algebras and the minimal representations of the 1D N-extended supersymmetry algebra

International Nuclear Information System (INIS)

Toppan, Francesco

2008-01-01

The Atiyah-Bott-Shapiro classification of the irreducible Clifford algebra is used to derive general properties of the minimal representations of the 1D N-Extended Supersymmetry algebra (the Z 2 -graded symmetry algebra of the Supersymmetric Quantum Mechanics) linearly realized on a finite number of fields depending on a real parameter t, the time. (author)

Extended conformal algebras

International Nuclear Information System (INIS)

Goddard, Peter

1990-01-01

The algebra of the group of conformal transformations in two dimensions consists of two commuting copies of the Virasoro algebra. In many mathematical and physical contexts, the representations of ν which are relevant satisfy two conditions: they are unitary and they have the ''positive energy'' property that L o is bounded below. In an irreducible unitary representation the central element c takes a fixed real value. In physical contexts, the value of c is a characteristic of a theory. If c < 1, it turns out that the conformal algebra is sufficient to ''solve'' the theory, in the sense of relating the calculation of the infinite set of physically interesting quantities to a finite subset which can be handled in principle. For c ≥ 1, this is no longer the case for the algebra alone and one needs some sort of extended conformal algebra, such as the superconformal algebra. It is these algebras that this paper aims at addressing. (author)

Zorn algebra in general relativity

International Nuclear Information System (INIS)

Oliveira, C.G.; Maia, M.D.

The covariant differential properties of the split Cayley subalgebra of local real quaternion tetrads is considered. Referred to this local quaternion tetrad several geometrical objects are given in terms of Zorn-Weyl matrices. Associated to a pair of real null vectors we define two-component spinor fields over the curved space and the associated Zorn-Weyl matrices which satisfy the Dirac equation written in terms of the Zorn algebra. The formalism is generalized by considering a field of complex tetrads defining a Hermitian second rank tensor. The real part of this tensor describes the gravitational potentials and the imaginary part the electromagnetic potentials in the Lorentz gauge. The motion of a charged spin zero test body is considered. The Zorn-Weyl algebra associated to this generalized formalism has elements belonging to the full octonion algebra [pt

Non-Hermitian systems of Euclidean Lie algebraic type with real energy spectra

International Nuclear Information System (INIS)

Dey, Sanjib; Fring, Andreas; Mathanaranjan, Thilagarajah

2014-01-01

We study several classes of non-Hermitian Hamiltonian systems, which can be expressed in terms of bilinear combinations of Euclidean–Lie algebraic generators. The classes are distinguished by different versions of antilinear (PT)-symmetries exhibiting various types of qualitative behaviour. On the basis of explicitly computed non-perturbative Dyson maps we construct metric operators, isospectral Hermitian counterparts for which we solve the corresponding time-independent Schrödinger equation for specific choices of the coupling constants. In these cases general analytical expressions for the solutions are obtained in the form of Mathieu functions, which we analyze numerically to obtain the corresponding energy spectra. We identify regions in the parameter space for which the corresponding spectra are entirely real and also domains where the PT symmetry is spontaneously broken and sometimes also regained at exceptional points. In some cases it is shown explicitly how the threshold region from real to complex spectra is characterized by the breakdown of the Dyson maps or the metric operator. We establish the explicit relationship to models currently under investigation in the context of beam dynamics in optical lattices. -- Highlights: •Different PT-symmetries lead to qualitatively different systems. •Construction of non-perturbative Dyson maps and isospectral Hermitian counterparts. •Numerical discussion of the eigenvalue spectra for one of the E(2)-systems. •Established link to systems studied in the context of optical lattices. •Setup for the E(3)-algebra is provided

Real zeros of classes of random algebraic polynomials

Directory of Open Access Journals (Sweden)

K. Farahmand

2003-01-01

Full Text Available There are many known asymptotic estimates for the expected number of real zeros of an algebraic polynomial a0+a1x+a2x2+⋯+an−1xn−1 with identically distributed random coefficients. Under different assumptions for the distribution of the coefficients {aj}j=0n−1 it is shown that the above expected number is asymptotic to O(logn. This order for the expected number of zeros remains valid for the case when the coefficients are grouped into two, each group with a different variance. However, it was recently shown that if the coefficients are non-identically distributed such that the variance of the jth term is (nj the expected number of zeros of the polynomial increases to O(n. The present paper provides the value for this asymptotic formula for the polynomials with the latter variances when they are grouped into three with different patterns for their variances.

q-deformations of noncompact Lie (super-) algebras: The examples of q-deformed Lorentz, Weyl, Poincare' and (super-) conformal algebras

International Nuclear Information System (INIS)

Dobrev, V.K.

1992-01-01

We review and explain a canonical procedure for the q-deformation of the real forms G of complex Lie (super-) algebras associated with (generalized) Cartan matrices. Our procedure gives different q-deformations for the non-conjugate Cartan subalgebras of G. We give several in detail the q-deformed Lorentz and conformal (super-) algebras. The q-deformed conformal algebra contains as a subalgebra a q-deformed Poincare algebra and as Hopf subalgebras two conjugate 11-generator q-deformed Weyl algebras. The q-deformed Lorentz algebra in Hopf subalgebra of both Weyl algebras. (author). 24 refs

Value functions on simple algebras, and associated graded rings

CERN Document Server

Tignol, Jean-Pierre

2015-01-01

This monograph is the first book-length treatment of valuation theory on finite-dimensional division algebras, a subject of active and substantial research over the last forty years. Its development was spurred in the last decades of the twentieth century by important advances such as Amitsur's construction of noncrossed products and Platonov's solution of the Tannaka-Artin problem. This study is particularly timely because it approaches the subject from the perspective of associated graded structures. This new approach has been developed by the authors in the last few years and has significantly clarified the theory. Various constructions of division algebras are obtained as applications of the theory, such as noncrossed products and indecomposable algebras. In addition, the use of valuation theory in reduced Whitehead group calculations (after Hazrat and Wadsworth) and in essential dimension computations (after Baek and Merkurjev) is showcased. The intended audience consists of graduate students and researc...

Supersymmetrization schemes of D=4 Maxwell algebra

International Nuclear Information System (INIS)

Kamimura, Kiyoshi; Lukierski, Jerzy

2012-01-01

The Maxwell algebra, an enlargement of Poincaré algebra by Abelian tensorial generators, can be obtained in arbitrary dimension D by the suitable contraction of O(D-1,1)⊕O(D-1,2) (Lorentz algebra ⊕ AdS algebra). We recall that in D=4 the Lorentz algebra O(3,1) is described by the realification Sp R (2|C) of complex algebra Sp(2|C)≃Sl(2|C) and O(3,2)≃Sp(4). We study various D=4N-extended Maxwell superalgebras obtained by the contractions of real superalgebras OSp R (2N-k;2|C)⊕OSp(k;4) (k=0,1,2,…,2N); (extended Lorentz superalgebra ⊕ extended AdS superalgebra). If N=1 (k=0,1,2) one arrives at three different versions of simple Maxwell superalgebra. For any fixed N we get 2N different superextensions of Maxwell algebra with n-extended Poincaré superalgebras (1⩽n⩽N) and the internal symmetry sectors obtained by suitable contractions of the real algebra O R (2N-k|C)⊕O(k). Finally the comments on possible applications of Maxwell superalgebras are presented.

Finding all real roots of a polynomial by matrix algebra and the Adomian decomposition method

Directory of Open Access Journals (Sweden)

Hooman Fatoorehchi

2014-10-01

Full Text Available In this paper, we put forth a combined method for calculation of all real zeroes of a polynomial equation through the Adomian decomposition method equipped with a number of developed theorems from matrix algebra. These auxiliary theorems are associated with eigenvalues of matrices and enable convergence of the Adomian decomposition method toward different real roots of the target polynomial equation. To further improve the computational speed of our technique, a nonlinear convergence accelerator known as the Shanks transform has optionally been employed. For the sake of illustration, a number of numerical examples are given.

On Dunkl angular momenta algebra

Energy Technology Data Exchange (ETDEWEB)

Feigin, Misha [School of Mathematics and Statistics, University of Glasgow,15 University Gardens, Glasgow G12 8QW (United Kingdom); Hakobyan, Tigran [Yerevan State University,1 Alex Manoogian, 0025 Yerevan (Armenia); Tomsk Polytechnic University,Lenin Ave. 30, 634050 Tomsk (Russian Federation)

2015-11-17

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 subalgebra 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.

Classification of real Lie superalgebras based on a simple Lie algebra, giving rise to interesting examples involving {mathfrak {su}}(2,2)

Science.gov (United States)

Guzzo, H.; Hernández, I.; Sánchez-Valenzuela, O. A.

2014-09-01

Finite dimensional semisimple real Lie superalgebras are described via finite dimensional semisimple complex Lie superalgebras. As an application of these results, finite dimensional real Lie superalgebras mathfrak {m}=mathfrak {m}_0 oplus mathfrak {m}_1 for which mathfrak {m}_0 is a simple Lie algebra are classified up to isomorphism.

Algebra success in 20 minutes a day

CERN Document Server

LearningExpress, LLC

2014-01-01

Stripped of unnecessary math jargon but bursting with algebra essentials, this handy guide covers vital algebra skills that apply to real-world scenarios. Whether you're new to algebra or just looking for a refresher, Algebra Success in 20 Minutes a Day offers a lesson plan that provides quick and thorough instruction in practical, critical skills. All lessons can be completed in just 20 minutes a day, for a manageable and non-intimidating learning experience.

Invariants of triangular Lie algebras

International Nuclear Information System (INIS)

Boyko, Vyacheslav; Patera, Jiri; Popovych, Roman

2007-01-01

Triangular Lie algebras are the Lie algebras which can be faithfully represented by triangular matrices of any finite size over the real/complex number field. In the paper invariants ('generalized Casimir operators') are found for three classes of Lie algebras, namely those which are either strictly or non-strictly triangular, and for so-called special upper triangular Lie algebras. Algebraic algorithm of Boyko et al (2006 J. Phys. A: Math. Gen.39 5749 (Preprint math-ph/0602046)), developed further in Boyko et al (2007 J. Phys. A: Math. Theor.40 113 (Preprint math-ph/0606045)), is used to determine the invariants. A conjecture of Tremblay and Winternitz (2001 J. Phys. A: Math. Gen.34 9085), concerning the number of independent invariants and their form, is corroborated

The Algebra of Complex Numbers.

Science.gov (United States)

LePage, Wilbur R.

This programed text is an introduction to the algebra of complex numbers for engineering students, particularly because of its relevance to important problems of applications in electrical engineering. It is designed for a person who is well experienced with the algebra of real numbers and calculus, but who has no experience with complex number…

SU(3)_C× SU(2)_L× U(1)_Y( × U(1)_X ) as a symmetry of division algebraic ladder operators

Science.gov (United States)

Furey, C.

2018-05-01

We demonstrate a model which captures certain attractive features of SU(5) theory, while providing a possible escape from proton decay. In this paper we show how ladder operators arise from the division algebras R, C, H, and O. From the SU( n) symmetry of these ladder operators, we then demonstrate a model which has much structural similarity to Georgi and Glashow's SU(5) grand unified theory. However, in this case, the transitions leading to proton decay are expected to be blocked, given that they coincide with presumably forbidden transformations which would incorrectly mix distinct algebraic actions. As a result, we find that we are left with G_{sm} = SU(3)_C× SU(2)_L× U(1)_Y / Z_6. Finally, we point out that if U( n) ladder symmetries are used in place of SU( n), it may then be possible to find this same G_{sm}=SU(3)_C× SU(2)_L× U(1)_Y / Z_6, together with an extra U(1)_X symmetry, related to B-L.

Fuzzy commutative algebra and its application in mechanical engineering

International Nuclear Information System (INIS)

Han, J.; Song, H.

1996-01-01

Based on literature data, this paper discusses the whole mathematical structure about point-fuzzy number set F(R). By introducing some new operations about addition, subtraction, multiplication, division and scalar multiplication, we prove that F(R) can form fuzzy linear space, fuzzy commutative ring, fuzzy commutative algebra in order. Furthermore, we get that A is fuzzy commutative algebra for any fuzzy subset. At last, we give an application of point-fuzzy number to mechanical engineering

An analytical approach to bistable biological circuit discrimination using real algebraic geometry.

Science.gov (United States)

Siegal-Gaskins, Dan; Franco, Elisa; Zhou, Tiffany; Murray, Richard M

2015-07-06

Biomolecular circuits with two distinct and stable steady states have been identified as essential components in a wide range of biological networks, with a variety of mechanisms and topologies giving rise to their important bistable property. Understanding the differences between circuit implementations is an important question, particularly for the synthetic biologist faced with determining which bistable circuit design out of many is best for their specific application. In this work we explore the applicability of Sturm's theorem--a tool from nineteenth-century real algebraic geometry--to comparing 'functionally equivalent' bistable circuits without the need for numerical simulation. We first consider two genetic toggle variants and two different positive feedback circuits, and show how specific topological properties present in each type of circuit can serve to increase the size of the regions of parameter space in which they function as switches. We then demonstrate that a single competitive monomeric activator added to a purely monomeric (and otherwise monostable) mutual repressor circuit is sufficient for bistability. Finally, we compare our approach with the Routh-Hurwitz method and derive consistent, yet more powerful, parametric conditions. The predictive power and ease of use of Sturm's theorem demonstrated in this work suggest that algebraic geometric techniques may be underused in biomolecular circuit analysis.

On MV-algebras of non-linear functions

Directory of Open Access Journals (Sweden)

Antonio Di Nola

2017-01-01

Full Text Available In this paper, the main results are:a study of the finitely generated MV-algebras of continuous functions from the n-th power of the unit real interval I to I;a study of Hopfian MV-algebras; anda category-theoretic study of the map sending an MV-algebra as above to the range of its generators (up to a suitable form of homeomorphism.

On MV-algebras of non-linear functions

Directory of Open Access Journals (Sweden)

Antonio Di Nola

2017-01-01

Full Text Available In this paper, the main results are: a study of the finitely generated MV-algebras of continuous functions from the n-th power of the unit real interval I to I; a study of Hopfian MV-algebras; and a category-theoretic study of the map sending an MV-algebra as above to the range of its generators (up to a suitable form of homeomorphism.

Linear algebra

CERN Document Server

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...

A Statically Scheduled Time-Division-Multiplexed Network-on-Chip for Real-Time Systems

DEFF Research Database (Denmark)

Schoeberl, Martin; Brandner, Florian; Sparsø, Jens

2012-01-01

This paper explores the design of a circuit-switched network-on-chip (NoC) based on time-division-multiplexing (TDM) for use in hard real-time systems. Previous work has primarily considered application-specific systems. The work presented here targets general-purpose hardware platforms. We...

Non-Hermitian systems of Euclidean Lie algebraic type with real energy spectra

Science.gov (United States)

Dey, Sanjib; Fring, Andreas; Mathanaranjan, Thilagarajah

2014-07-01

We study several classes of non-Hermitian Hamiltonian systems, which can be expressed in terms of bilinear combinations of Euclidean-Lie algebraic generators. The classes are distinguished by different versions of antilinear (PT)-symmetries exhibiting various types of qualitative behaviour. On the basis of explicitly computed non-perturbative Dyson maps we construct metric operators, isospectral Hermitian counterparts for which we solve the corresponding time-independent Schrödinger equation for specific choices of the coupling constants. In these cases general analytical expressions for the solutions are obtained in the form of Mathieu functions, which we analyze numerically to obtain the corresponding energy spectra. We identify regions in the parameter space for which the corresponding spectra are entirely real and also domains where the PT symmetry is spontaneously broken and sometimes also regained at exceptional points. In some cases it is shown explicitly how the threshold region from real to complex spectra is characterized by the breakdown of the Dyson maps or the metric operator. We establish the explicit relationship to models currently under investigation in the context of beam dynamics in optical lattices.

College Algebra I.

Science.gov (United States)

Benjamin, Carl; And Others

Presented are student performance objectives, a student progress chart, and assignment sheets with objective and diagnostic measures for the stated performance objectives in College Algebra I. Topics covered include: sets; vocabulary; linear equations; inequalities; real numbers; operations; factoring; fractions; formulas; ratio, proportion, and…

Lattice and algebra homomorphisms on C (X) in Zermelo-Fraenkel ...

African Journals Online (AJOL)

Let C (X) denote the lattice-ordered algebra of all real-valued continuous functions on a topological space X. This paper discusses in Zermelo-Fraenkel Set Theory the equivalence on C (X) between algebra homomorphisms, lattice homo- morphisms, and point evaluations. Keywords: Algebra homomorphism, lattice ...

Conditions of the existence of the exact symmetric representation for some algebra classes with involution of the fields of real and complex numbers

International Nuclear Information System (INIS)

Ivanov, V.P.

1980-01-01

Necessary and sufficient conditions for existence of the exact symmetric representation of algebras with involution called sometimes regular of the fields of real and complex numbers are formulated in the paper

An algebraic approach to modeling in software engineering

International Nuclear Information System (INIS)

Loegel, C.J.; Ravishankar, C.V.

1993-09-01

Our work couples the formalism of universal algebras with the engineering techniques of mathematical modeling to develop a new approach to the software engineering process. Our purpose in using this combination is twofold. First, abstract data types and their specification using universal algebras can be considered a common point between the practical requirements of software engineering and the formal specification of software systems. Second, mathematical modeling principles provide us with a means for effectively analyzing real-world systems. We first use modeling techniques to analyze a system and then represent the analysis using universal algebras. The rest of the software engineering process exploits properties of universal algebras that preserve the structure of our original model. This paper describes our software engineering process and our experience using it on both research and commercial systems. We need a new approach because current software engineering practices often deliver software that is difficult to develop and maintain. Formal software engineering approaches use universal algebras to describe ''computer science'' objects like abstract data types, but in practice software errors are often caused because ''real-world'' objects are improperly modeled. There is a large semantic gap between the customer's objects and abstract data types. In contrast, mathematical modeling uses engineering techniques to construct valid models for real-world systems, but these models are often implemented in an ad hoc manner. A combination of the best features of both approaches would enable software engineering to formally specify and develop software systems that better model real systems. Software engineering, like mathematical modeling, should concern itself first and foremost with understanding a real system and its behavior under given circumstances, and then with expressing this knowledge in an executable form

Numerical linear algebra with applications using Matlab

CERN Document Server

Ford, William

2014-01-01

Designed for those who want to gain a practical knowledge of modern computational techniques for the numerical solution of linear algebra problems, Numerical Linear Algebra with Applications contains all the material necessary for a first year graduate or advanced undergraduate course on numerical linear algebra with numerous applications to engineering and science. With a unified presentation of computation, basic algorithm analysis, and numerical methods to compute solutions, this book is ideal for solving real-world problems. It provides necessary mathematical background information for

Priority in Process Algebras

Science.gov (United States)

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.

Vertex algebras and algebraic curves

CERN Document Server

Frenkel, Edward

2004-01-01

Vertex algebras are algebraic objects that encapsulate the concept of operator product expansion from two-dimensional conformal field theory. Vertex algebras are fast becoming ubiquitous in many areas of modern mathematics, with applications to representation theory, algebraic geometry, the theory of finite groups, modular functions, topology, integrable systems, and combinatorics. This book is an introduction to the theory of vertex algebras with a particular emphasis on the relationship with the geometry of algebraic curves. The notion of a vertex algebra is introduced in a coordinate-independent way, so that vertex operators become well defined on arbitrary smooth algebraic curves, possibly equipped with additional data, such as a vector bundle. Vertex algebras then appear as the algebraic objects encoding the geometric structure of various moduli spaces associated with algebraic curves. Therefore they may be used to give a geometric interpretation of various questions of representation theory. The book co...

Numerical algebra, matrix theory, differential-algebraic equations and control theory festschrift in honor of Volker Mehrmann

CERN Document Server

Bollhöfer, Matthias; Kressner, Daniel; Mehl, Christian; Stykel, Tatjana

2015-01-01

This edited volume highlights the scientific contributions of Volker Mehrmann, a leading expert in the area of numerical (linear) algebra, matrix theory, differential-algebraic equations and control theory. These mathematical research areas are strongly related and often occur in the same real-world applications. The main areas where such applications emerge are computational engineering and sciences, but increasingly also social sciences and economics. This book also reflects some of Volker Mehrmann's major career stages. Starting out working in the areas of numerical linear algebra (his first full professorship at TU Chemnitz was in "Numerical Algebra," hence the title of the book) and matrix theory, Volker Mehrmann has made significant contributions to these areas ever since. The highlights of these are discussed in Parts I and II of the present book. Often the development of new algorithms in numerical linear algebra is motivated by problems in system and control theory. These and his later major work on ...

The Euclidean distance degree of an algebraic variety

NARCIS (Netherlands)

Draisma, J.; Horobet, E.; Ottaviani, G.; Sturmfels, B.; Thomas, R.R.

2013-01-01

The nearest point map of a real algebraic variety with respect to Euclidean distance is an algebraic function. For instance, for varieties of low rank matrices, the Eckart-Young Theorem states that this map is given by the singular value decomposition. This article develops a theory of such nearest

The Euclidean distance degree of an algebraic variety

NARCIS (Netherlands)

Draisma, J.; Horobet, E.; Ottaviani, G.; Sturmfels, B.; Thomas, R.R.

The nearest point map of a real algebraic variety with respect to Euclidean distance is an algebraic function. For instance, for varieties of low-rank matrices, the Eckart–Young Theorem states that this map is given by the singular value decomposition. This article develops a theory of such nearest

A set for relational reasoning: Facilitation of algebraic modeling by a fraction task.

Science.gov (United States)

DeWolf, Melissa; Bassok, Miriam; Holyoak, Keith J

2016-12-01

Recent work has identified correlations between early mastery of fractions and later math achievement, especially in algebra. However, causal connections between aspects of reasoning with fractions and improved algebra performance have yet to be established. The current study investigated whether relational reasoning with fractions facilitates subsequent algebraic reasoning using both pre-algebra students and adult college students. Participants were first given either a relational reasoning fractions task or a fraction algebra procedures control task. Then, all participants solved word problems and constructed algebraic equations in either multiplication or division format. The word problems and the equation construction tasks involved simple multiplicative comparison statements such as "There are 4 times as many students as teachers in a classroom." Performance on the algebraic equation construction task was enhanced for participants who had previously completed the relational fractions task compared with those who completed the fraction algebra procedures task. This finding suggests that relational reasoning with fractions can establish a relational set that promotes students' tendency to model relations using algebraic expressions. Copyright © 2016 Elsevier Inc. All rights reserved.

Coherent states and classical limit of algebraic quantum models

International Nuclear Information System (INIS)

Scutaru, H.

1983-01-01

The algebraic models for collective motion in nuclear physics belong to a class of theories the basic observables of which generate selfadjoint representations of finite dimensional, real Lie algebras, or of the enveloping algebras of these Lie algebras. The simplest and most used for illustrations model of this kind is the Lipkin model, which is associated with the Lie algebra of the three dimensional rotations group, and which presents all characteristic features of an algebraic model. The Lipkin Hamiltonian is the image, of an element of the enveloping algebra of the algebra SO under a representation. In order to understand the structure of the algebraic models the author remarks that in both classical and quantum mechanics the dynamics is associated to a typical algebraic structure which we shall call a dynamical algebra. In this paper he shows how the constructions can be made in the case of the algebraic quantum systems. The construction of the symplectic manifold M can be made in this case using a quantum analog of the momentum map which he defines

Numerical linear algebra theory and applications

CERN Document Server

Beilina, Larisa; Karchevskii, Mikhail

2017-01-01

This book combines a solid theoretical background in linear algebra with practical algorithms for numerical solution of linear algebra problems. Developed from a number of courses taught repeatedly by the authors, the material covers topics like matrix algebra, theory for linear systems of equations, spectral theory, vector and matrix norms combined with main direct and iterative numerical methods, least squares problems, and eigen problems. Numerical algorithms illustrated by computer programs written in MATLAB® are also provided as supplementary material on SpringerLink to give the reader a better understanding of professional numerical software for the solution of real-life problems. Perfect for a one- or two-semester course on numerical linear algebra, matrix computation, and large sparse matrices, this text will interest students at the advanced undergraduate or graduate level.

Linear Algebra and Smarandache Linear Algebra

OpenAIRE

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 vector spaces over finite p...

Gauss Elimination: Workhorse of Linear Algebra.

Science.gov (United States)

1995-08-05

linear algebra computation for solving systems, computing determinants and determining the rank of matrix. All of these are discussed in varying contexts. These include different arithmetic or algebraic setting such as integer arithmetic or polynomial rings as well as conventional real (floating-point) arithmetic. These have effects on both accuracy and complexity analyses of the algorithm. These, too, are covered here. The impact of modern parallel computer architecture on GE is also

The algebra and geometry of SU(3) matrices

OpenAIRE

Mallesh, KS; Mukunda, N

1997-01-01

We give an elementary treatment of the defining representation and Lie algebra of the three-dimensional unitary unimodular group SU(3). The geometrical properties of the Lie algebra, which is an eight dimensional real Linear vector space, are developed in an SU(3) covariant manner. The f and d symbols of SU(3) lead to two ways of 'multiplying' two vectors to produce a third, and several useful geometric and algebraic identities are derived. The axis-angle parametrization of SU(3) is developed...

Introduction to vertex algebras, Borcherds algebras and the Monster Lie algebras

International Nuclear Information System (INIS)

Gebert, R.W.

1993-09-01

The theory of vertex algebras constitutes a mathematically rigorous axiomatic formulation of the algebraic origins of conformal field theory. In this context Borcherds algebras arise as certain ''physical'' subspaces of vertex algebras. The aim of this review is to give a pedagogical introduction into this rapidly-developing area of mathematics. Based on the machinery of formal calculus we present the axiomatic definition of vertex algebras. We discuss the connection with conformal field theory by deriving important implications of these axioms. In particular, many explicit calculations are presented to stress the eminent role of the Jacobi identity axiom for vertex algebras. As a class of concrete examples the vertex algebras associated with even lattices are constructed and it is shown in detail how affine Lie algebras and the fake Monster Lie algebra naturally appear. This leads us to the abstract definition of Borcherds algebras as generalized Kac-Moody algebras and their basic properties. Finally, the results about the simplest generic Borcherds algebras are analysed from the point of view of symmetry in quantum theory and the construction of the Monster Lie algebra is sketched. (orig.)

Orthogonal designs Hadamard matrices, quadratic forms and algebras

CERN Document Server

Seberry, Jennifer

2017-01-01

Orthogonal designs have proved fundamental to constructing code division multiple antenna systems for more efficient mobile communications. Starting with basic theory, this book develops the algebra and combinatorics to create new communications modes. Intended primarily for researchers, it is also useful for graduate students wanting to understand some of the current communications coding theories.

Group C∗-algebras without the completely bounded approximation property

DEFF Research Database (Denmark)

Haagerup, U.

2016-01-01

It is proved that: (1) The Fourier algebra A(G) of a simple Lie group G of real rank at least 2 with finite center does not have a multiplier bounded approximate unit. (2) The reduced C∗-algebra C∗ r of any lattice in a non-compact simple Lie group of real rank at least 2 with finite center does...... not have the completely bounded approximation property. Hence, the results obtained by de Canniere and the author for SOe (n, 1), n ≥ 2, and by Cowling for SU(n, 1) do not generalize to simple Lie groups of real rank at least 2. © 2016 Heldermann Verlag....

Tracing a planar algebraic curve

International Nuclear Information System (INIS)

Chen Falai; Kozak, J.

1994-09-01

In this paper, an algorithm that determines a real algebraic curve is outlined. Its basic step is to divide the plane into subdomains that include only simple branches of the algebraic curve without singular points. Each of the branches is then stably and efficiently traced in the particular subdomain. Except for the tracing, the algorithm requires only a couple of simple operations on polynomials that can be carried out exactly if the coefficients are rational, and the determination of zeros of several polynomials of one variable. (author). 5 refs, 4 figs

On derived groups of division rings II

International Nuclear Information System (INIS)

Mahdavi Hezavehi, M.; Akbari Feyzaabaadi, S.; Mehraabaadi, M.; Hajie Abolhassan, H.

1995-05-01

Let D be a division ring with centre F and denote by D' the derived group (commutator subgroup) of D * = D - {0}. It is shown that if each element of D' is algebraic over F, then D is algebraic over F. It is also proved that each finite separable extension of F in D is of the form F(c) for some element c in the derived group D'. Using these results, it is shown that if each element of the derived group D' is of bounded degree over F, then D is finite dimensional over F. (author). 5 refs

Quantum W-algebras and elliptic algebras

International Nuclear Information System (INIS)

Feigin, B.; Kyoto Univ.; Frenkel, E.

1996-01-01

We define a quantum W-algebra associated to sl N as an associative algebra depending on two parameters. For special values of the parameters, this algebra becomes the ordinary W-algebra of sl N , or the q-deformed classical W-algebra of sl N . We construct free field realizations of the quantum W-algebras and the screening currents. We also point out some interesting elliptic structures arising in these algebras. In particular, we show that the screening currents satisfy elliptic analogues of the Drinfeld relations in U q (n). (orig.)

Recoupling Lie algebra and universal ω-algebra

International Nuclear Information System (INIS)

Joyce, William P.

2004-01-01

We formulate the algebraic version of recoupling theory suitable for commutation quantization over any gradation. This gives a generalization of graded Lie algebra. Underlying this is the new notion of an ω-algebra defined in this paper. ω-algebra is a generalization of algebra that goes beyond nonassociativity. We construct the universal enveloping ω-algebra of recoupling Lie algebras and prove a generalized Poincare-Birkhoff-Witt theorem. As an example we consider the algebras over an arbitrary recoupling of Z n graded Heisenberg Lie algebra. Finally we uncover the usual coalgebra structure of a universal envelope and substantiate its Hopf structure

An Asynchronous Time-Division-Multiplexed Network-on-Chip for Real-Time Systems

DEFF Research Database (Denmark)

Kasapaki, Evangelia

is an important part of the T-CREST paltform and used in a number of configurations. The flexible timing organization of Argo combines asynchronous routers with mesochronous NIs, which are connected to individually clocked cores, supporting a GALS system organization. The mesochronous NIs operate at the same......Multi-processor architectures using networks-on-chip (NOCs) for communication are becoming the standard approach in the development of embedded systems and general purpose platforms. Typically, multi-processor platforms follow a globally asynchronous locally synchronous (GALS) timing organization....... This thesis focuses on the design of Argo, a NOC targeted at hard real-time multi-processor platforms with a GALS timing organization. To support real-time communication, NOCs establish end-to-end connections and provide latency and throughput guarantees for these connections. Argo uses time division...

Differential Hopf algebra structures on the universal enveloping algebra ofa Lie algebra

NARCIS (Netherlands)

N.W. van den Hijligenberg; R. Martini

1995-01-01

textabstractWe 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

Mathematics in the Real World.

Science.gov (United States)

Borenstein, Matt

1997-01-01

The abstract nature of algebra causes difficulties for many students. Describes "Real-World Data," an algebra course designed for students with low grades in algebra and provides multidisciplinary experiments (linear functions and variations; quadratic, square-root, and inverse relations; and exponential and periodic variation)…

The Yoneda algebra of a K2 algebra need not be another K2 algebra

OpenAIRE

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.

Algebra Survival Guide A Conversational Handbook for the Thoroughly Befuddled

CERN Document Server

Rappaport, Josh

2011-01-01

If you think algebra has to be boring, confusing and unrelated to anything in the real world, think again! Written in a humorous, conversational style, this book gently nudges students toward success in pre-algebra and Algebra I. With its engaging question/answer format and helpful practice problems, glossary and index, it is ideal for homeschoolers, tutors and students striving for classroom excellence. It features funky icons and lively cartoons by award-winning Santa Fe artist Sally BlakemoreThe Algebra Survival Guide is the winner of a Paretns' Choice award, and it meets the Standards 2000

On the 'near to minimal' canonical realizations of the Lie algebra Csub(n)

International Nuclear Information System (INIS)

Havlicek, M.; Lassner, W.

1975-01-01

It is proved that canonical realizations of the Lie algebra Csub(n) in the quotient division ring Dsub(2(2n-2)) of the Weyl algebra Wsub(2(2n-2)) in 2n-2 quantum canonical pairs are, in a definite sense, related to the standard minimal one in Dsub(2n) contains Dsub(2(2n-2)). Further, in any realization of Csub(n) in Wsub(2(2n-1)) all Casimir operators are realized by multiples of identity element

Cylindric-like algebras and algebraic logic

CERN Document Server

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.

On Roots of Polynomials and Algebraically Closed Fields

Directory of Open Access Journals (Sweden)

Schwarzweller Christoph

2017-10-01

Full Text Available In this article we further extend the algebraic theory of polynomial rings in Mizar [1, 2, 3]. We deal with roots and multiple roots of polynomials and show that both the real numbers and finite domains are not algebraically closed [5, 7]. We also prove the identity theorem for polynomials and that the number of multiple roots is bounded by the polynomial’s degree [4, 6].

Differential Hopf algebra structures on the universal enveloping algebra of a Lie algebra

NARCIS (Netherlands)

van den Hijligenberg, N.W.; van den Hijligenberg, N.W.; Martini, Ruud

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

Introduction to relation algebras relation algebras

CERN Document Server

Givant, Steven

2017-01-01

The first volume of a pair that charts relation algebras from novice to expert level, this text offers a comprehensive grounding for readers new to the topic. Upon completing this introduction, mathematics students may delve into areas of active research by progressing to the second volume, Advanced Topics in Relation Algebras; computer scientists, philosophers, and beyond will be equipped to apply these tools in their own field. The careful presentation establishes first the arithmetic of relation algebras, providing ample motivation and examples, then proceeds primarily on the basis of algebraic constructions: subalgebras, homomorphisms, quotient algebras, and direct products. Each chapter ends with a historical section and a substantial number of exercises. The only formal prerequisite is a background in abstract algebra and some mathematical maturity, though the reader will also benefit from familiarity with Boolean algebra and naïve set theory. The measured pace and outstanding clarity are particularly ...

The algebra and geometry of SU(3) matrices

International Nuclear Information System (INIS)

Mallesh, K.S.; Mukunda, N.

1997-01-01

We give an elementary treatment of the defining representation and Lie algebra of the three-dimensional unitary unimodular group SU(3). The geometrical properties of the Lie algebra, which is an eight dimensional real linear vector space, are developed in an SU(3) covariant manner. The f and d symbols of SU(3) lead to two ways of multiplying two vectors to produce a third, and several useful geometric and algebraic identities are derived. The axis-angle parametrization of SU(3) is developed as a generalization of that for SU(2), and the specifically new features are brought out. Application to the dynamics of three-level system is outlined. (author)

Non commutative geometry methods for group C*-algebras

International Nuclear Information System (INIS)

Do Ngoc Diep.

1996-09-01

This book is intended to provide a quick introduction to the subject. The exposition is scheduled in the sequence, as possible for more understanding for beginners. The author exposed a K-theoretic approach to study group C * -algebras: started in the elementary part, with one example of description of the structure of C * -algebra of the group of affine transformations of the real straight line, continued then for some special classes of solvable and nilpotent Lie groups. In the second advanced part, he introduced the main tools of the theory. In particular, the conception of multidimensional geometric quantization and the index of group C * -algebras were created and developed. (author). Refs

Reductive Lie-admissible algebras applied to H-spaces and connections

International Nuclear Information System (INIS)

Sagle, A.A.

1982-01-01

An algebra A with multiplication xy is Lie-admissible if the vector space A with new multiplication [x,y] = xy-yx is a Lie algebra; we denote this Lie algebra by A - . Thus, an associative algebra is Lie-admissible but a Cayley algebra is not Lie-admissible. In this paper we show how Lie-admissible algebras arise from Lie groups and their application to differential geometry on Lie groups via the following theorem. Let A be an n-dimensional Lie-admissible algebra over the reals. Let G be a Lie group with multiplication function μ and with Lie algebra g which is isomorphic to A - . Then there exiss a corrdinate system at the identify e in G which represents μ by a function F:gxg→g defined locally at the origin, such that the second derivative, F 2 , at the origin defines on the vector space g the structure of a nonassociative algebra (g, F 2 ). Furthermore this algebra is isomorphic to A and (g, F 2 ) - is isomorphic to A - . Thus roughly, any Lie-admissible algebra is isomorphic to an algebra obtained from a Lie algebra via a change of coordinates in the Lie group. Lie algebras arise by using canonical coordinates and the Campbell-Hausdorff formula. Applications of this show that any G-invariant psuedo-Riemannian connection on G is completely determined by a suitable Lie-admissible algebra. These results extend to H-spaces, reductive Lie-admissible algebras and connections on homogeneous H-spaces. Thus, alternative and other non-Lie-admissible algebras can be utilized

From Rota-Baxter algebras to pre-Lie algebras

International Nuclear Information System (INIS)

An Huihui; Ba, Chengming

2008-01-01

Rota-Baxter algebras were introduced to solve some analytic and combinatorial problems and have appeared in many fields in mathematics and mathematical physics. Rota-Baxter algebras provide a construction of pre-Lie algebras from associative algebras. In this paper, we give all Rota-Baxter operators of weight 1 on complex associative algebras in dimension ≤3 and their corresponding pre-Lie algebras

Algebra, Home Mortgages, and Recessions

Science.gov (United States)

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…

Quartic Poisson algebras and quartic associative algebras and realizations as deformed oscillator algebras

International Nuclear Information System (INIS)

Marquette, Ian

2013-01-01

We introduce the most general quartic Poisson algebra generated by a second and a fourth order integral of motion of a 2D superintegrable classical system. We obtain the corresponding quartic (associative) algebra for the quantum analog, extend Daskaloyannis construction obtained in context of quadratic algebras, and also obtain the realizations as deformed oscillator algebras for this quartic algebra. We obtain the Casimir operator and discuss how these realizations allow to obtain the finite-dimensional unitary irreducible representations of quartic algebras and obtain algebraically the degenerate energy spectrum of superintegrable systems. We apply the construction and the formula obtained for the structure function on a superintegrable system related to type I Laguerre exceptional orthogonal polynomials introduced recently

On Dimension Theory for a Certain Class of Simple AH Algebras

International Nuclear Information System (INIS)

Ho, Toan M.

2010-06-01

A class of unital diagonal AH algebras will be studied in this paper. The density property of the set of all elements which are nilpotent up to (left and right multiple) unitaries is presented. As a consequence, these algebras have stable rank one. Section 3 also shows that an algebra in this class has the property LP (i.e., the linear span of projections is dense) provided a certain condition. Finally, restricting our attention to a special subclass which includes Villadsen algebras of the first type, we give the necessary and sufficient condition of real rank zero. (author)

Subgroups of class groups of algebraic quadratic function fields

International Nuclear Information System (INIS)

Wang Kunpeng; Zhang Xianke

2001-09-01

Ideal class groups H(K) of algebraic quadratic function fields K are studied, by using mainly the theory of continued fractions of algebraic functions. Properties of such continued fractions are discussed first. Then a necessary and sufficient condition is given for the class group H(K) to contain a cyclic subgroup of any order n, this criterion condition holds true for both real and imaginary fields K. Furthermore, several series of function fields K, including real, inertia imaginary, as well as ramified imaginary quadratic function fields, are given, and their class groups H(K) are proved to contain cyclic subgroups of order n. (author)

Second-Order Systems of ODEs Admitting Three-Dimensional Lie Algebras and Integrability

Directory of Open Access Journals (Sweden)

Muhammad Ayub

2013-01-01

the case of k≥3. We discuss the singular invariant representations of canonical forms for systems of two second-order ODEs admitting three-dimensional Lie algebras. Furthermore, we give an integration procedure for canonical forms for systems of two second-order ODEs admitting three-dimensional Lie algebras which comprises of two approaches, namely, division into four types I, II, III, and IV and that of integrability of the invariant representations. We prove that if a system of two second-order ODEs has a three-dimensional solvable Lie algebra, then, its general solution can be obtained from a partially linear, partially coupled or reduced invariantly represented system of equations. A natural extension of this result is provided for a system of two kth-order (k≥3 ODEs. We present illustrative examples of familiar integrable physical systems which admit three-dimensional Lie algebras such as the classical Kepler problem and the generalized Ermakov systems that give rise to closed trajectories.

Yoneda algebras of almost Koszul algebras

Indian Academy of Sciences (India)

Abstract. Let k be an algebraically closed field, A a finite dimensional connected. (p,q)-Koszul self-injective algebra with p, q ≥ 2. In this paper, we prove that the. Yoneda algebra of A is isomorphic to a twisted polynomial algebra A![t; β] in one inde- terminate t of degree q +1 in which A! is the quadratic dual of A, β is an ...

Quantum cluster algebras and quantum nilpotent algebras

Science.gov (United States)

Goodearl, Kenneth R.; Yakimov, Milen T.

2014-01-01

A major direction in the theory of cluster algebras is to construct (quantum) cluster algebra structures on the (quantized) coordinate rings of various families of varieties arising in Lie theory. We prove that all algebras in a very large axiomatically defined class of noncommutative algebras possess canonical quantum cluster algebra structures. Furthermore, they coincide with the corresponding upper quantum cluster algebras. We also establish analogs of these results for a large class of Poisson nilpotent algebras. Many important families of coordinate rings are subsumed in the class we are covering, which leads to a broad range of applications of the general results to the above-mentioned types of problems. As a consequence, we prove the Berenstein–Zelevinsky conjecture [Berenstein A, Zelevinsky A (2005) Adv Math 195:405–455] for the quantized coordinate rings of double Bruhat cells and construct quantum cluster algebra structures on all quantum unipotent groups, extending the theorem of Geiß et al. [Geiß C, et al. (2013) Selecta Math 19:337–397] for the case of symmetric Kac–Moody groups. Moreover, we prove that the upper cluster algebras of Berenstein et al. [Berenstein A, et al. (2005) Duke Math J 126:1–52] associated with double Bruhat cells coincide with the corresponding cluster algebras. PMID:24982197

An introduction to algebraic geometry and algebraic groups

CERN Document Server

Geck, Meinolf

2003-01-01

An accessible text introducing algebraic geometries and algebraic groups at advanced undergraduate and early graduate level, this book develops the language of algebraic geometry from scratch and uses it to set up the theory of affine algebraic groups from first principles.Building on the background material from algebraic geometry and algebraic groups, the text provides an introduction to more advanced and specialised material. An example is the representation theory of finite groups of Lie type.The text covers the conjugacy of Borel subgroups and maximal tori, the theory of algebraic groups

Inequalities, Assessment and Computer Algebra

Science.gov (United States)

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 contemporary…

Differential Hopf algebra structures on the Universal Enveloping Algebra of a Lie Algebra

NARCIS (Netherlands)

van den Hijligenberg, N.W.; van den Hijligenberg, N.; Martini, Ruud

1995-01-01

We discuss a method to construct a De Rham complex (differential algebra) of Poincaré–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 algebrastructure of U(g).

The relation between quantum W algebras and Lie algebras

International Nuclear Information System (INIS)

Boer, J. de; Tjin, T.

1994-01-01

By quantizing the generalized Drinfeld-Sokolov reduction scheme for arbitrary sl 2 embeddings we show that a large set W of quantum W algebras can be viewed as (BRST) cohomologies of affine Lie algebras. The set W contains many known W algebras such as W N and W 3 (2) . Our formalism yields a completely algorithmic method for calculating the W algebra generators and their operator product expansions, replacing the cumbersome construction of W algebras as commutants of screening operators. By generalizing and quantizing the Miura transformation we show that any W algebra in W can be embedded into the universal enveloping algebra of a semisimple affine Lie algebra which is, up to shifts in level, isomorphic to a subalgebra of the original affine algebra. Therefore any realization of this semisimple affine Lie algebra leads to a realization of the W algebra. In particular, one obtains in this way a general and explicit method for constructing the free field realizations and Fock resolutions for all algebras in W. Some examples are explicitly worked out. (orig.)

2-Local derivations on matrix algebras over semi-prime Banach algebras and on AW*-algebras

International Nuclear Information System (INIS)

Ayupov, Shavkat; Kudaybergenov, Karimbergen

2016-01-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 2 n (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. (paper)

Quantum cluster algebra structures on quantum nilpotent algebras

CERN Document Server

Goodearl, K R

2017-01-01

All algebras in a very large, axiomatically defined class of quantum nilpotent algebras are proved to possess quantum cluster algebra structures under mild conditions. Furthermore, it is shown that these quantum cluster algebras always equal the corresponding upper quantum cluster algebras. Previous approaches to these problems for the construction of (quantum) cluster algebra structures on (quantized) coordinate rings arising in Lie theory were done on a case by case basis relying on the combinatorics of each concrete family. The results of the paper have a broad range of applications to these problems, including the construction of quantum cluster algebra structures on quantum unipotent groups and quantum double Bruhat cells (the Berenstein-Zelevinsky conjecture), and treat these problems from a unified perspective. All such applications also establish equality between the constructed quantum cluster algebras and their upper counterparts.

Quadratic algebras

CERN Document Server

Polishchuk, Alexander

2005-01-01

Quadratic algebras, i.e., algebras defined by quadratic relations, often occur in various areas of mathematics. One of the main problems in the study of these (and similarly defined) algebras is how to control their size. A central notion in solving this problem is the notion of a Koszul algebra, which was introduced in 1970 by S. Priddy and then appeared in many areas of mathematics, such as algebraic geometry, representation theory, noncommutative geometry, K-theory, number theory, and noncommutative linear algebra. The book offers a coherent exposition of the theory of quadratic and Koszul algebras, including various definitions of Koszulness, duality theory, Poincar�-Birkhoff-Witt-type theorems for Koszul algebras, and the Koszul deformation principle. In the concluding chapter of the book, they explain a surprising connection between Koszul algebras and one-dependent discrete-time stochastic processes.

Asymptotic identity in min-plus algebra: a report on CPNS.

Science.gov (United States)

Li, Ming; Zhao, Wei

2012-01-01

Network calculus is a theory initiated primarily in computer communication networks, especially in the aspect of real-time communications, where min-plus algebra plays a role. Cyber-physical networking systems (CPNSs) are recently developing fast and models in data flows as well as systems in CPNS are, accordingly, greatly desired. Though min-plus algebra may be a promising tool to linearize any node in CPNS as can be seen from its applications to the Internet computing, there are tough problems remaining unsolved in this regard. The identity in min-plus algebra is one problem we shall address. We shall point out the confusions about the conventional identity in the min-plus algebra and present an analytical expression of the asymptotic identity that may not cause confusions.

Development of abstract mathematical reasoning: the case of algebra.

Science.gov (United States)

Susac, Ana; Bubic, Andreja; Vrbanc, Andrija; Planinic, Maja

2014-01-01

Algebra typically represents the students' first encounter with abstract mathematical reasoning and it therefore causes significant difficulties for students who still reason concretely. The aim of the present study was to investigate the developmental trajectory of the students' ability to solve simple algebraic equations. 311 participants between the ages of 13 and 17 were given a computerized test of equation rearrangement. Equations consisted of an unknown and two other elements (numbers or letters), and the operations of multiplication/division. The obtained results showed that younger participants are less accurate and slower in solving equations with letters (symbols) than those with numbers. This difference disappeared for older participants (16-17 years), suggesting that they had reached an abstract reasoning level, at least for this simple task. A corresponding conclusion arises from the analysis of their strategies which suggests that younger participants mostly used concrete strategies such as inserting numbers, while older participants typically used more abstract, rule-based strategies. These results indicate that the development of algebraic thinking is a process which unfolds over a long period of time. In agreement with previous research, we can conclude that, on average, children at the age of 15-16 transition from using concrete to abstract strategies while solving the algebra problems addressed within the present study. A better understanding of the timing and speed of students' transition from concrete arithmetic reasoning to abstract algebraic reasoning might help in designing better curricula and teaching materials that would ease that transition.

Hom-Novikov algebras

International Nuclear Information System (INIS)

Yau, Donald

2011-01-01

We study a twisted generalization of Novikov algebras, called Hom-Novikov algebras, in which the two defining identities are twisted by a linear map. It is shown that Hom-Novikov algebras can be obtained from Novikov algebras by twisting along any algebra endomorphism. All algebra endomorphisms on complex Novikov algebras of dimensions 2 or 3 are computed, and their associated Hom-Novikov algebras are described explicitly. Another class of Hom-Novikov algebras is constructed from Hom-commutative algebras together with a derivation, generalizing a construction due to Dorfman and Gel'fand. Two other classes of Hom-Novikov algebras are constructed from Hom-Lie algebras together with a suitable linear endomorphism, generalizing a construction due to Bai and Meng.

Matematica Para La Escuela Secundaria, Primer Curso de Algebra (Parte 2). Traduccion Preliminar de la Edicion Inglesa Revisada. (Mathematics for High School, First Course in Algebra, Part 2. Preliminary Translation of the Revised English Edition).

Science.gov (United States)

Allen, Frank B.; And Others

This is part two of a three-part SMSG algebra text for high school students. The principal objective of the text is to help the student develop an understanding and appreciation of some of the algebraic structure as a basis for the techniques of algebra. Chapter topics include addition and multiplication of real numbers, subtraction and division…

A note on the Akivis algebra of a smooth hyporeductive loop

International Nuclear Information System (INIS)

Issa, A.N.

2002-05-01

Using the fundamental tensors of a smooth loop and the differential geometric characterization of smooth hyporeductive loops, the Akivis operations of a local smooth hyporeductive loop are expressed through the two binary and the one ternary operations of the hyporeductive triple algebra (h.t.a.) associated with the given hyporeductive loop. Those Akivis operations are also given in terms of Lie brackets of a Lie algebra of vector fields with the hyporeductive decomposition which generalizes the reductive decomposition of Lie algebras. A nontrivial real two-dimensional h.t.a. is presented. (author)

College Algebra in Context: A Project Incorporating Social Issues

Directory of Open Access Journals (Sweden)

Michael T. Catalano

2010-01-01

Full Text Available This paper discusses the development of an innovative college algebra text designed for use in a data-driven, activity-oriented college algebra course, incorporating realistic problem situations emphasizing social and economic issues, including hunger and poverty, energy, and the environment. The course incorporates quantitative literacy themes, is informed by existing college algebra texts within the college algebra reform movement, and implements a collaborative pedagogical approach intended to provide future K-12 teachers an alternative model for the teaching of mathematics. The paper contains a short history of the project development phase, supported by an NSF grant (DUE #0442979, as well as the perceived role of the project in the college algebra reform and quantitative literacy movements. We make a short case for redefining the content of a college algebra course and acknowledging that for many students, it has become a terminal mathematics course. A description of the contents of the text, its relation to more traditional college algebra content, and four example student activities are included (on the topics of homelessness, the effects of airline deregulation, real estate versus savings as investment instruments, and the 2008 election. A summary of evaluation and assessment data from five years of pilot-testing, done primarily in conjuction with our NSF grant evaluation plan, is provided.

Algebra task sheets : grades pk-2

CERN Document Server

Reed, Nat

2009-01-01

For grades PK-2, our Common Core State Standards-based resource meets the algebraic concepts addressed by the NCTM standards and encourages the students to learn and review the concepts in unique ways. Each task sheet is organized around a central problem taken from real-life experiences of the students.

Pure Jauch-Piron states on von Neumann algebras

International Nuclear Information System (INIS)

Hamhalter, J.

1993-01-01

We study Jauch-Piron states and two-valued measures on von Neumann algebra. We prove as the main result that, under some set-theoretical assumption, a pure state of a von Neumann algebra A not containing a central abelian portion is Jauch-Piron if and only if it is σ-additive. Moreover, we show that this result holds for type I factor indenpendently on the set-theoretical axiomatics. As a consequence we obtain a lucid characterization of pure Jauch-Piron states on von Neumann algebras acting on a Hilbert space with real-nonmeasurable dimension (this can be viewed as a generalization of the paper). We also characterize the von Neumann algebras whose logic of projections is Jauch-Piron. Finally, we prove that every two-valued measure on the projection logic of A, where A contains no type I 2 central portion, has to be concentrated at an abelian direct summand of A. (orig.)

Linear algebra meets Lie algebra: the Kostant-Wallach theory

OpenAIRE

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.

Algebra a teaching and source book

CERN Document Server

Shult, Ernest

2015-01-01

This book presents a graduate-level course on modern algebra. It can be used as a teaching book – owing to the copious exercises – and as a source book for those who wish to use the major theorems of algebra. The course begins with the basic combinatorial principles of algebra: posets, chain conditions, Galois connections, and dependence theories. Here, the general Jordan–Holder Theorem becomes a theorem on interval measures of certain lower semilattices. This is followed by basic courses on groups, rings and modules; the arithmetic of integral domains; fields; the categorical point of view; and tensor products. Beginning with introductory concepts and examples, each chapter proceeds gradually towards its more complex theorems. Proofs progress step-by-step from first principles. Many interesting results reside in the exercises, for example, the proof that ideals in a Dedekind domain are generated by at most two elements. The emphasis throughout is on real understanding as opposed to memorizing a catech...

Non commutative geometry methods for group C{sup *}-algebras

Energy Technology Data Exchange (ETDEWEB)

Diep, Do Ngoc

1996-09-01

This book is intended to provide a quick introduction to the subject. The exposition is scheduled in the sequence, as possible for more understanding for beginners. The author exposed a K-theoretic approach to study group C{sup *}-algebras: started in the elementary part, with one example of description of the structure of C{sup *}-algebra of the group of affine transformations of the real straight line, continued then for some special classes of solvable and nilpotent Lie groups. In the second advanced part, he introduced the main tools of the theory. In particular, the conception of multidimensional geometric quantization and the index of group C{sup *}-algebras were created and developed. (author). Refs.

Hilbert's Nullstellensatz and the Beginning of Algebraic Geometry

Indian Academy of Sciences (India)

The objects of study in algebraic geometry are the loci, or zero sets of polynomials. ... of polynomials in n-variables with real coefficients, indexed by some (finite or ... complex, can defined by only finitely many polynomials.) _ _ _ _ _ _ _ _ ...

Extended Virasoro algebra and algebra of area preserving diffeomorphisms

International Nuclear Information System (INIS)

Arakelyan, T.A.

1990-01-01

The algebra of area preserving diffeomorphism plays an important role in the theory of relativistic membranes. It is pointed out that the relation between this algebra and the extended Virasoro algebra associated with the generalized Kac-Moody algebras G(T 2 ). The highest weight representation of these infinite-dimensional algebras as well as of their subalgebras is studied. 5 refs

Asymptotic Identity in Min-Plus Algebra: A Report on CPNS

Science.gov (United States)

Li, Ming; Zhao, Wei

2012-01-01

Network calculus is a theory initiated primarily in computer communication networks, especially in the aspect of real-time communications, where min-plus algebra plays a role. Cyber-physical networking systems (CPNSs) are recently developing fast and models in data flows as well as systems in CPNS are, accordingly, greatly desired. Though min-plus algebra may be a promising tool to linearize any node in CPNS as can be seen from its applications to the Internet computing, there are tough problems remaining unsolved in this regard. The identity in min-plus algebra is one problem we shall address. We shall point out the confusions about the conventional identity in the min-plus algebra and present an analytical expression of the asymptotic identity that may not cause confusions. PMID:21822446

Interactions Between Representation Ttheory, Algebraic Topology and Commutative Algebra

CERN Document Server

Pitsch, Wolfgang; Zarzuela, Santiago

2016-01-01

This book includes 33 expanded abstracts of selected talks given at the two workshops "Homological Bonds Between Commutative Algebra and Representation Theory" and "Brave New Algebra: Opening Perspectives," and the conference "Opening Perspectives in Algebra, Representations, and Topology," held at the Centre de Recerca Matemàtica (CRM) in Barcelona between January and June 2015. These activities were part of the one-semester intensive research program "Interactions Between Representation Theory, Algebraic Topology and Commutative Algebra (IRTATCA)." Most of the abstracts present preliminary versions of not-yet published results and cover a large number of topics (including commutative and non commutative algebra, algebraic topology, singularity theory, triangulated categories, representation theory) overlapping with homological methods. This comprehensive book is a valuable resource for the community of researchers interested in homological algebra in a broad sense, and those curious to learn the latest dev...

Geometric Algebra Computing

CERN Document Server

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

Duncan F. Gregory, William Walton and the development of British algebra: 'algebraical geometry', 'geometrical algebra', abstraction.

Science.gov (United States)

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.

Monomial algebras

CERN Document Server

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.

Algebra

CERN Document Server

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.

Iwahori-Hecke algebras and Schur algebras of the symmetric group

CERN Document Server

Mathas, Andrew

1999-01-01

This volume presents a fully self-contained introduction to the modular representation theory of the Iwahori-Hecke algebras of the symmetric groups and of the q-Schur algebras. The study of these algebras was pioneered by Dipper and James in a series of landmark papers. The primary goal of the book is to classify the blocks and the simple modules of both algebras. The final chapter contains a survey of recent advances and open problems. The main results are proved by showing that the Iwahori-Hecke algebras and q-Schur algebras are cellular algebras (in the sense of Graham and Lehrer). This is proved by exhibiting natural bases of both algebras which are indexed by pairs of standard and semistandard tableaux respectively. Using the machinery of cellular algebras, which is developed in Chapter 2, this results in a clean and elegant classification of the irreducible representations of both algebras. The block theory is approached by first proving an analogue of the Jantzen sum formula for the q-Schur algebras. T...

Commutative algebra with a view toward algebraic geometry

CERN Document Server

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...

Cubic and quartic planar differential systems with exact algebraic limit cycles

Directory of Open Access Journals (Sweden)

Ahmed Bendjeddou

2011-01-01

Full Text Available We construct cubic and quartic polynomial planar differential systems with exact limit cycles that are ovals of algebraic real curves of degree four. The result obtained for the cubic case generalizes a proposition of [9]. For the quartic case, we deduce for the first time a class of systems with four algebraic limit cycles and another for which nested configurations of limit cycles occur.

Jordan algebras versus C*- algebras

International Nuclear Information System (INIS)

Stormer, E.

1976-01-01

The axiomatic formulation of quantum mechanics and the problem of whether the observables form self-adjoint operators on a Hilbert space, are discussed. The relation between C*- algebras and Jordan algebras is studied using spectral theory. (P.D.)

Implicative Algebras

African Journals Online (AJOL)

Tadesse

In this paper we introduce the concept of implicative algebras which is an equivalent definition of lattice implication algebra of Xu (1993) and further we prove that it is a regular Autometrized. Algebra. Further we remark that the binary operation → on lattice implicative algebra can never be associative. Key words: Implicative ...

Gleason-kahane-Żelazko theorem for spectrally bounded algebra

Directory of Open Access Journals (Sweden)

S. H. Kulkarni

2005-01-01

Full Text Available We prove by elementary methods the following generalization of a theorem due to Gleason, Kahane, and Żelazko. Let A be a real algebra with unit 1 such that the spectrum of every element in A is bounded and let φ:A→ℂ be a linear map such that φ(1=1 and (φ(a2+(φ(b2≠0 for all a, b in A satisfying ab=ba and a2+b2 is invertible. Then φ(ab=φ(aφ(b for all a, b in A. Similar results are proved for real and complex algebras using Ransford's concept of generalized spectrum. With these ideas, a sufficient condition for a linear transformation to be multiplicative is established in terms of generalized spectrum.

Open algebraic surfaces

CERN Document Server

Miyanishi, Masayoshi

2000-01-01

Open algebraic surfaces are a synonym for algebraic surfaces that are not necessarily complete. An open algebraic surface is understood as a Zariski open set of a projective algebraic surface. There is a long history of research on projective algebraic surfaces, and there exists a beautiful Enriques-Kodaira classification of such surfaces. The research accumulated by Ramanujan, Abhyankar, Moh, and Nagata and others has established a classification theory of open algebraic surfaces comparable to the Enriques-Kodaira theory. This research provides powerful methods to study the geometry and topology of open algebraic surfaces. The theory of open algebraic surfaces is applicable not only to algebraic geometry, but also to other fields, such as commutative algebra, invariant theory, and singularities. This book contains a comprehensive account of the theory of open algebraic surfaces, as well as several applications, in particular to the study of affine surfaces. Prerequisite to understanding the text is a basic b...

Separable algebras

CERN Document Server

Ford, Timothy J

2017-01-01

This book presents a comprehensive introduction to the theory of separable algebras over commutative rings. After a thorough introduction to the general theory, the fundamental roles played by separable algebras are explored. For example, Azumaya algebras, the henselization of local rings, and Galois theory are rigorously introduced and treated. Interwoven throughout these applications is the important notion of étale algebras. Essential connections are drawn between the theory of separable algebras and Morita theory, the theory of faithfully flat descent, cohomology, derivations, differentials, reflexive lattices, maximal orders, and class groups. The text is accessible to graduate students who have finished a first course in algebra, and it includes necessary foundational material, useful exercises, and many nontrivial examples.

Generalized EMV-Effect Algebras

Science.gov (United States)

Borzooei, R. A.; Dvurečenskij, A.; Sharafi, A. H.

2018-04-01

Recently in Dvurečenskij and Zahiri (2017), new algebraic structures, called EMV-algebras which generalize both MV-algebras and generalized Boolean algebras, were introduced. We present equivalent conditions for EMV-algebras. In addition, we define a partial algebraic structure, called a generalized EMV-effect algebra, which is close to generalized MV-effect algebras. Finally, we show that every generalized EMV-effect algebra is either an MV-effect algebra or can be embedded into an MV-effect algebra as a maximal ideal.

Special set linear algebra and special set fuzzy linear algebra

OpenAIRE

Kandasamy, W. B. Vasantha; Smarandache, Florentin; Ilanthenral, K.

2009-01-01

The authors in this book introduce the notion of special set linear algebra and special set fuzzy Linear algebra, which is an extension of the notion set linear algebra and set fuzzy linear algebra. These concepts are best suited in the application of multi expert models and cryptology. This book has five chapters. In chapter one the basic concepts about set linear algebra is given in order to make this book a self contained one. The notion of special set linear algebra and their fuzzy analog...

Unitary W-algebras and three-dimensional higher spin gravities with spin one symmetry

International Nuclear Information System (INIS)

Afshar, Hamid; Creutzig, Thomas; Grumiller, Daniel; Hikida, Yasuaki; Rønne, Peter B.

2014-01-01

We investigate whether there are unitary families of W-algebras with spin one fields in the natural example of the Feigin-Semikhatov W_n"("2")-algebra. This algebra is conjecturally a quantum Hamiltonian reduction corresponding to a non-principal nilpotent element. We conjecture that this algebra admits a unitary real form for even n. Our main result is that this conjecture is consistent with the known part of the operator product algebra, and especially it is true for n=2 and n=4. Moreover, we find certain ranges of allowed levels where a positive definite inner product is possible. We also find a unitary conformal field theory for every even n at the special level k+n=(n+1)/(n−1). At these points, the W_n"("2")-algebra is nothing but a compactified free boson. This family of W-algebras admits an ’t Hooft limit. Further, in the case of n=4, we reproduce the algebra from the higher spin gravity point of view. In general, gravity computations allow us to reproduce some leading coefficients of the operator product.

A concrete approach to abstract algebra from the integers to the insolvability of the quintic

CERN Document Server

Bergen, Jeffrey

2010-01-01

A Concrete Approach to Abstract Algebra begins with a concrete and thorough examination of familiar objects like integers, rational numbers, real numbers, complex numbers, complex conjugation and polynomials, in this unique approach, the author builds upon these familar objects and then uses them to introduce and motivate advanced concepts in algebra in a manner that is easier to understand for most students. The text will be of particular interest to teachers and future teachers as it links abstract algebra to many topics wich arise in courses in algebra, geometry, trigonometry, preca

Banach Synaptic Algebras

Science.gov (United States)

Foulis, David J.; Pulmannov, Sylvia

2018-04-01

Using a representation theorem of Erik Alfsen, Frederic Schultz, and Erling Størmer for special JB-algebras, we prove that a synaptic algebra is norm complete (i.e., Banach) if and only if it is isomorphic to the self-adjoint part of a Rickart C∗-algebra. Also, we give conditions on a Banach synaptic algebra that are equivalent to the condition that it is isomorphic to the self-adjoint part of an AW∗-algebra. Moreover, we study some relationships between synaptic algebras and so-called generalized Hermitian algebras.

Seven-sphere and the exceptional N=7 and N=8 superconformal algebras

International Nuclear Information System (INIS)

Guenaydin, M.; Ketov, S.V.

1996-01-01

We study realisations of the exceptional non-linear (quadratically generated, or W-type) N=8 and N=7 superconformal algebras with Spin(7) and G 2 affine symmetry currents, respectively. Both the N=8 and N=7 algebras admit unitary highest-weight representations in terms of a single boson and free fermions in 8 of Spin(7) and 7 of G 2 , with the central charges c 8 =26/5 and c 7 =5, respectively. Furthermore, we show that the general coset ansaetze for the N=8 and N=7 algebras naturally lead to the coset spaces SO(8) x U(1)/SO(7) and SO(7) x U(1)/G 2 , respectively, as the additional consistent solutions for certain values of the central charge. The coset space SO(8)/SO(7) is the seven-sphere S 7 , whereas the space SO(7)/G 2 represents the seven-sphere with torsion, S 7 T . The division algebra of octonions and the associated triality properties of SO(8) play an essential role in all these realisations. We also comment on some possible applications of our results to string theory. (orig.)

Division algebras and extended N = 2, 4, 8 super KdVs

International Nuclear Information System (INIS)

Carrion, H.L.; Rojas, M.; Toppan, F.

2001-09-01

The first example of an N = 8 supersymmetric extension of the KdV equation is here explicitly constructed. It involves 8 bosonic and 8 fermionic fields. It corresponds to the unique N = 8 solution based a generalized hamiltonian dynamics with (generalized) Poisson brackets given by the Non-associate N = 8 Superconformal Algebra. The complete list of inequivalent classes of parametric-dependent N = 3 and N = 4 superKdVs obtained from the 'Non-associative N= 8 SCA' is also furnished. Furthermore, a fundamental domain characterizing the class of inequivalent N = 4 superKdVs based on the 'minimal N = 4 SCA' is given. (author)

Grassmann algebras

International Nuclear Information System (INIS)

Garcia, R.L.

1983-11-01

The Grassmann algebra is presented briefly. Exponential and logarithm of matrices functions, whose elements belong to this algebra, are studied with the help of the SCHOONSCHIP and REDUCE 2 algebraic manipulators. (Author) [pt

Geometric invariant theory over the real and complex numbers

CERN Document Server

Wallach, Nolan R

2017-01-01

Geometric Invariant Theory (GIT) is developed in this text within the context of algebraic geometry over the real and complex numbers. This sophisticated topic is elegantly presented with enough background theory included to make the text accessible to advanced graduate students in mathematics and physics with diverse backgrounds in algebraic and differential geometry.  Throughout the book, examples are emphasized. Exercises add to the reader’s understanding of the material; most are enhanced with hints. The exposition is divided into two parts. The first part, ‘Background Theory’, is organized as a reference for the rest of the book. It contains two chapters developing material in complex and real algebraic geometry and algebraic groups that are difficult to find in the literature. Chapter 1 emphasizes the relationship between the Zariski topology and the canonical Hausdorff topology of an algebraic variety over the complex numbers. Chapter 2 develops the interaction between Lie groups and algebraic ...

Algebraic geometry

CERN Document Server

Lefschetz, Solomon

2005-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.

Converting nested algebra expressions into flat algebra expressions

NARCIS (Netherlands)

Paredaens, J.; Van Gucht, D.

1992-01-01

Nested relations generalize ordinary flat relations by allowing tuple values to be either atomic or set valued. The nested algebra is a generalization of the flat relational algebra to manipulate nested relations. In this paper we study the expressive power of the nested algebra relative to its

Fibered F-Algebra

OpenAIRE

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.

The bubble algebra: structure of a two-colour Temperley-Lieb Algebra

International Nuclear Information System (INIS)

Grimm, Uwe; Martin, Paul P

2003-01-01

We define new diagram algebras providing a sequence of multiparameter generalizations of the Temperley-Lieb algebra, suitable for the modelling of dilute lattice systems of two-dimensional statistical mechanics. These algebras give a rigorous foundation to the various 'multi-colour algebras' of Grimm, Pearce and others. We determine the generic representation theory of the simplest of these algebras, and locate the nongeneric cases (at roots of unity of the corresponding parameters). We show by this example how the method used (Martin's general procedure for diagram algebras) may be applied to a wide variety of such algebras occurring in statistical mechanics. We demonstrate how these algebras may be used to solve the Yang-Baxter equations

Three lectures on quantum groups: Representations, duality, real forms

International Nuclear Information System (INIS)

Dobrev, V.K.

1992-07-01

Quantum groups appeared first as quantum algebra, i.e. as one parameter deformations of the numerical enveloping algebras of complex Lie algebras, in the study of the algebraic aspects of quantum integrable systems. Then quantum algebras related to triparametric solutions of the quantum Yang-Baxter equation were axiomatically introduced as (pseudo) quasi-triangular Hopf algebras. Later, a theory of formal deformations has been developed and the notion of quasi-Hopf algebra has been introduced. In other approaches to quantum groups the objects are called quantum matrix groups and are Hopf algebras in chirality to the quantum algebras. The representations of U q (G), the chirality and the real forms associated to these approaches are discussed here. Refs

An Algebraic Criterion of Zero Solutions of Some Dynamic Systems

Directory of Open Access Journals (Sweden)

Ying Wang

2012-01-01

Full Text Available We establish some algebraic results on the zeros of some exponential polynomials and a real coefficient polynomial. Based on the basic theorem, we develop a decomposition technique to investigate the stability of two coupled systems and their discrete versions, that is, to find conditions under which all zeros of the exponential polynomials have negative real parts and the moduli of all roots of a real coefficient polynomial are less than 1.

Algebraic monoids, group embeddings, and algebraic combinatorics

CERN Document Server

Li, Zhenheng; Steinberg, Benjamin; Wang, Qiang

2014-01-01

This book contains a collection of fifteen articles and is dedicated to the sixtieth birthdays of Lex Renner and Mohan Putcha, the pioneers of the field of algebraic monoids.   Topics presented include:   v  structure and representation theory of reductive algebraic monoids v  monoid schemes and applications of monoids v  monoids related to Lie theory v  equivariant embeddings of algebraic groups v  constructions and properties of monoids from algebraic combinatorics v  endomorphism monoids induced from vector bundles v  Hodge–Newton decompositions of reductive monoids   A portion of these articles are designed to serve as a self-contained introduction to these topics, while the remaining contributions are research articles containing previously unpublished results, which are sure to become very influential for future work. Among these, for example, the important recent work of Michel Brion and Lex Renner showing that the algebraic semigroups are strongly π-regular.   Graduate students as well a...

Leavitt path algebras

CERN Document Server

Abrams, Gene; Siles Molina, Mercedes

2017-01-01

This book offers a comprehensive introduction by three of the leading experts in the field, collecting fundamental results and open problems in a single volume. Since Leavitt path algebras were first defined in 2005, interest in these algebras has grown substantially, with ring theorists as well as researchers working in graph C*-algebras, group theory and symbolic dynamics attracted to the topic. Providing a historical perspective on the subject, the authors review existing arguments, establish new results, and outline the major themes and ring-theoretic concepts, such as the ideal structure, Z-grading and the close link between Leavitt path algebras and graph C*-algebras. The book also presents key lines of current research, including the Algebraic Kirchberg Phillips Question, various additional classification questions, and connections to noncommutative algebraic geometry. Leavitt Path Algebras will appeal to graduate students and researchers working in the field and related areas, such as C*-algebras and...

Approximation of complex algebraic numbers by algebraic numbers of bounded degree

OpenAIRE

Bugeaud, Yann; Evertse, Jan-Hendrik

2007-01-01

We investigate how well complex algebraic numbers can be approximated by algebraic numbers of degree at most n. We also investigate how well complex algebraic numbers can be approximated by algebraic integers of degree at most n+1. It follows from our investigations that for every positive integer n there are complex algebraic numbers of degree larger than n that are better approximable by algebraic numbers of degree at most n than almost all complex numbers. As it turns out, these numbers ar...

Operadic formulation of topological vertex algebras and gerstenhaber or Batalin-Vilkovisky algebras

International Nuclear Information System (INIS)

Huang Yizhi

1994-01-01

We give the operadic formulation of (weak, strong) topological vertex algebras, which are variants of topological vertex operator algebras studied recently by Lian and Zuckerman. As an application, we obtain a conceptual and geometric construction of the Batalin-Vilkovisky algebraic structure (or the Gerstenhaber algebra structure) on the cohomology of a topological vertex algebra (or of a weak topological vertex algebra) by combining this operadic formulation with a theorem of Getzler (or of Cohen) which formulates Batalin-Vilkovisky algebras (or Gerstenhaber algebras) in terms of the homology of the framed little disk operad (or of the little disk operad). (orig.)

Refined algebraic quantisation in a system with nonconstant gauge invariant structure functions

International Nuclear Information System (INIS)

Martínez-Pascual, Eric

2013-01-01

In a previous work [J. Louko and E. Martínez-Pascual, “Constraint rescaling in refined algebraic quantisation: Momentum constraint,” J. Math. Phys. 52, 123504 (2011)], refined algebraic quantisation (RAQ) within a family of classically equivalent constrained Hamiltonian systems that are related to each other by rescaling one momentum-type constraint was investigated. In the present work, the first steps to generalise this analysis to cases where more constraints occur are developed. The system under consideration contains two momentum-type constraints, originally abelian, where rescalings of these constraints by a non-vanishing function of the coordinates are allowed. These rescalings induce structure functions at the level of the gauge algebra. Providing a specific parametrised family of real-valued scaling functions, the implementation of the corresponding rescaled quantum momentum-type constraints is performed using RAQ when the gauge algebra: (i) remains abelian and (ii) undergoes into an algebra of a nonunimodular group with nonconstant gauge invariant structure functions. Case (ii) becomes the first example known to the author where an open algebra is handled in refined algebraic quantisation. Challenging issues that arise in the presence of non-gauge invariant structure functions are also addressed

Wn(2) algebras

International Nuclear Information System (INIS)

Feigin, B.L.; Semikhatov, A.M.

2004-01-01

We construct W-algebra generalizations of the sl-circumflex(2) algebra-W algebras W n (2) generated by two currents E and F with the highest pole of order n in their OPE. The n=3 term in this series is the Bershadsky-Polyakov W 3 (2) algebra. We define these algebras as a centralizer (commutant) of the Uqs-bar (n vertical bar 1) quantum supergroup and explicitly find the generators in a factored, 'Miura-like' form. Another construction of the W n (2) algebras is in terms of the coset sl-circumflex(n vertical bar 1)/sl-circumflex(n). The relation between the two constructions involves the 'duality' (k+n-1)(k'+n-1)=1 between levels k and k' of two sl-circumflex(n) algebras

The vacuum preserving Lie algebra of a classical W-algebra

International Nuclear Information System (INIS)

Feher, L.; Tsutsui, I.

1993-07-01

We simplify and generalize an argument due to Bowcock and Watts showing that one can associate a finite Lie algebra (the 'classical vacuum preserving algebra') containing the Moebius sl(2) subalgebra to any classical W-algebra. Our construction is based on a kinematical analysis of the Poisson brackets of quasi-fields. In the case of the W S G -subalgebra S of a simple Lie algebra G, we exhibit a natural isomorphism between this finite Lie algebra and G whereby the Moebius sl(2) is identified with S. (orig.)

Nonflexible Lie-admissible algebras

International Nuclear Information System (INIS)

Myung, H.C.

1978-01-01

We discuss the structure of Lie-admissible algebras which are defined by nonflexible identities. These algebras largely arise from the antiflexible algebras, 2-varieties and associator dependent algebras. The nonflexible Lie-admissible algebras in our discussion are in essence byproducts of the study of nonassociative algebras defined by identities of degree 3. The main purpose is to discuss the classification of simple Lie-admissible algebras of nonflexible type

On 2-Banach algebras

International Nuclear Information System (INIS)

Mohammad, N.; Siddiqui, A.H.

1987-11-01

The notion of a 2-Banach algebra is introduced and its structure is studied. After a short discussion of some fundamental properties of bivectors and tensor product, several classical results of Banach algebras are extended to the 2-Banach algebra case. A condition under which a 2-Banach algebra becomes a Banach algebra is obtained and the relation between algebra of bivectors and 2-normed algebra is discussed. 11 refs

The Minnesota notes on Jordan algebras and their applications

CERN Document Server

Walcher, Sebastian

1999-01-01

This volume contains a re-edition of Max Koecher's famous Minnesota Notes. The main objects are homogeneous, but not necessarily convex, cones. They are described in terms of Jordan algebras. The central point is a correspondence between semisimple real Jordan algebras and so-called omega-domains. This leads to a construction of half-spaces which give an essential part of all bounded symmetric domains. The theory is presented in a concise manner, with only elementary prerequisites. The editors have added notes on each chapter containing an account of the relevant developments of the theory since these notes were first written.

Algebra

CERN Document Server

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

A Comprehensive Probability Project for the Upper Division One-Semester Probability Course Using Yahtzee

Science.gov (United States)

Wilson, Jason; Lawman, Joshua; Murphy, Rachael; Nelson, Marissa

2011-01-01

This article describes a probability project used in an upper division, one-semester probability course with third-semester calculus and linear algebra prerequisites. The student learning outcome focused on developing the skills necessary for approaching project-sized math/stat application problems. These skills include appropriately defining…

Low Dimensional Vessiot-Guldberg-Lie Algebras of Second-Order Ordinary Differential Equations

Directory of Open Access Journals (Sweden)

Rutwig Campoamor-Stursberg

2016-03-01

Full Text Available A direct approach to non-linear second-order ordinary differential equations admitting a superposition principle is developed by means of Vessiot-Guldberg-Lie algebras of a dimension not exceeding three. This procedure allows us to describe generic types of second-order ordinary differential equations subjected to some constraints and admitting a given Lie algebra as Vessiot-Guldberg-Lie algebra. In particular, well-known types, such as the Milne-Pinney or Kummer-Schwarz equations, are recovered as special cases of this classification. The analogous problem for systems of second-order differential equations in the real plane is considered for a special case that enlarges the generalized Ermakov systems.

Lukasiewicz-Moisil algebras

CERN Document Server

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.

Abstract Algebra for Algebra Teaching: Influencing School Mathematics Instruction

Science.gov (United States)

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…

It's a Wonderful Life: Using Public Domain Cinema Clips To Teach Affective Objectives and Illustrate Real-World Algebra Applications.

Science.gov (United States)

Palmer, Loretta

A basic algebra unit was developed at Utah Valley State College to emphasize applications of mathematical concepts in the work world, using video and computer-generated graphics to integrate textual material. The course was implemented in three introductory algebra sections involving 80 students and taught algebraic concepts using such areas as…

Geometrical treatment of Clifford algebras and spinors with applications to the dynamics of spin particles

International Nuclear Information System (INIS)

Dimakis, A.

1983-01-01

The algebraic structure of the real Clifford algebras (CA) of vector spaces with non-degenerated scalar product of arbitrary signature is studied, and a classification formula for this is obtained. The latter is based on three sequences of integer numbers from which one is the Radon-Harwitz sequence. A new representation method of real CA is constructed. This leads to a geometrical representation of real Clifford algebras in which the representation spaces are subspaces of the CA itself (''spinor spaces''). One of these spinor spaces is a subalgebra of the original CA. The relation between CA and external algebras is studied. Each external algebra with a scalar product possesses the structure of a CA. From the geometric representation developed here then follows that spinors are inhomogeneous external forms. The transformation behaviour of spinors under the orthogonal, as well as under the general linear group is studied. By means of these algebraic results the spinor connexion and the covariant Dirac operator on a differential manifold are introduced. In the geometrical representation a further in ternal SL(2,R) symmetry of the Dirac equation (DE) is shown. Furthermore other equivalent formulations of the DE can be obtained. Of special interest is the tetrade formulation of the DE. A generalization of the DE is introduced. The equations of motion of the classical relativistic spin particle are derived by means of spinors and CA from a variational principle. From this interesting formal analogies with the supersymmetric theories of the spin particle result. Finally the DE in the curved space-time is established and studied in the tetrade formulation. Using the methods developed here a new exact solution of the coupled Einstein-Curtan-Dirac theory was found (massice ''Ghost-Dirac fields''). (orig.) [de

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.

Wavelets and quantum algebras

International Nuclear Information System (INIS)

Ludu, A.; Greiner, M.

1995-09-01

A non-linear associative algebra is realized in terms of translation and dilation operators, and a wavelet structure generating algebra is obtained. We show that this algebra is a q-deformation of the Fourier series generating algebra, and reduces to this for certain value of the deformation parameter. This algebra is also homeomorphic with the q-deformed su q (2) algebra and some of its extensions. Through this algebraic approach new methods for obtaining the wavelets are introduced. (author). 20 refs

Novikov-Jordan algebras

OpenAIRE

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.

Using Linear Algebra to Introduce Computer Algebra, Numerical Analysis, Data Structures and Algorithms (and To Teach Linear Algebra, Too).

Science.gov (United States)

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)

Weierstrass preparation and division theorems for the ring of germs of superanalytic functions

International Nuclear Information System (INIS)

Yankov, C.L.

1989-11-01

The aim of this paper is to show that Weierstrass preparation and division theorems hold for the ring of germs of superanalytic functions at a given point. This ring is the tensor product of the ring of germs of analytic functions at that point and a finite-dimensional complex Grassmann algebra. 7 refs

(Quasi-)Poisson enveloping algebras

OpenAIRE

Yang, Yan-Hong; Yao, Yuan; 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.

Iterated Leavitt Path Algebras

International Nuclear Information System (INIS)

Hazrat, R.

2009-11-01

Leavitt path algebras associate to directed graphs a Z-graded algebra and in their simplest form recover the Leavitt algebras L(1,k). In this note, we introduce iterated Leavitt path algebras associated to directed weighted graphs which have natural ± Z grading and in their simplest form recover the Leavitt algebras L(n,k). We also characterize Leavitt path algebras which are strongly graded. (author)

On the binary expansions of algebraic numbers

Energy Technology Data Exchange (ETDEWEB)

Bailey, David H.; Borwein, Jonathan M.; Crandall, Richard E.; Pomerance, Carl

2003-07-01

Employing concepts from additive number theory, together with results on binary evaluations and partial series, we establish bounds on the density of 1's in the binary expansions of real algebraic numbers. A central result is that if a real y has algebraic degree D > 1, then the number {number_sign}(|y|, N) of 1-bits in the expansion of |y| through bit position N satisfies {number_sign}(|y|, N) > CN{sup 1/D} for a positive number C (depending on y) and sufficiently large N. This in itself establishes the transcendency of a class of reals {summation}{sub n{ge}0} 1/2{sup f(n)} where the integer-valued function f grows sufficiently fast; say, faster than any fixed power of n. By these methods we re-establish the transcendency of the Kempner--Mahler number {summation}{sub n{ge}0}1/2{sup 2{sup n}}, yet we can also handle numbers with a substantially denser occurrence of 1's. Though the number z = {summation}{sub n{ge}0}1/2{sup n{sup 2}} has too high a 1's density for application of our central result, we are able to invoke some rather intricate number-theoretical analysis and extended computations to reveal aspects of the binary structure of z{sup 2}.

Algebraic topological entropy

International Nuclear Information System (INIS)

Hudetz, T.

1989-01-01

As a 'by-product' of the Connes-Narnhofer-Thirring theory of dynamical entropy for (originally non-Abelian) nuclear C * -algebras, the well-known variational principle for topological entropy is eqivalently reformulated in purly algebraically defined terms for (separable) Abelian C * -algebras. This 'algebraic variational principle' should not only nicely illustrate the 'feed-back' of methods developed for quantum dynamical systems to the classical theory, but it could also be proved directly by 'algebraic' methods and could thus further simplify the original proof of the variational principle (at least 'in principle'). 23 refs. (Author)

Linearizing W-algebras

International Nuclear Information System (INIS)

Krivonos, S.O.; Sorin, A.S.

1994-06-01

We show that the Zamolodchikov's and Polyakov-Bershadsky nonlinear algebras W 3 and W (2) 3 can be embedded as subalgebras into some linear algebras with finite set of currents. Using these linear algebras we find new field realizations of W (2) 3 and W 3 which could be a starting point for constructing new versions of W-string theories. We also reveal a number of hidden relationships between W 3 and W (2) 3 . We conjecture that similar linear algebras can exist for other W-algebra as well. (author). 10 refs

On the Symmetries of the Manev Problem and Its Real Hamiltonian Form

OpenAIRE

Kyuldjiev, Assen; Gerdjikov, Vladimir; Marmo, Giuseppe; Vilasi, Gaetano

2007-01-01

The Manev model and its real form dynamics are known to possess Ermanno–Bernoulli type invariants similar to the Laplace–Runge–Lenz vector of the Kepler model. Using these additional invariants, we demon- strate here that both Manev model and its real Hamiltonian form posses the same $\\mathfrak{so}(3)$ or $\\mathfrak{so}(2,1)$ symmetry algebras (in addition to the angular momentum algebra) on angular momentum level sets. Thus Kepler and Manev models are shown to have identical symmetry algebra...

Quantum deformed su(mvertical stroke n) algebra and superconformal algebra on quantum superspace

International Nuclear Information System (INIS)

Kobayashi, Tatsuo

1993-01-01

We study a deformed su(mvertical stroke 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(1vertical stroke 4) algebra, we derive deformed Lorentz, translation of Minkowski space, iso(2,2) and its supersymmetric algebras as closed subalgebras with consistent automorphisms. (orig.)

Eliminating four-wave-mixing crosstalk in wavelength-division-multiplexing systems

Science.gov (United States)

Kwong, Wing C.; Yang, Guu-Chang

1996-11-01

To reduce four-wave-mixing crosstalk in long-haul wavelength-division multiplexing (WDM) lightwave systems, the use of unequally spaced channels has recently been proposed. Instead of being solved y integer linear programming, the unequal-spaced channel-allocation problem is here treated as constructing suitable optical orthogonal codes in optical code-division multiple-access (CDMA). Three 'algebraic' algorithms on finding the frequency locations of unequally spaced WDM channels are reported. The constructions are based on generating optical CDMA codewords with a predetermined pulse separation and 'aperiodic' autocorrelation sidelobes no greater than one. The algorithms potentially provide a fast and simple alternative to solve the problem, besides the recently reported computer-search method.

Linear algebraic groups

CERN Document Server

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...

Generalized symmetry algebras

International Nuclear Information System (INIS)

Dragon, N.

1979-01-01

The possible use of trilinear algebras as symmetry algebras for para-Fermi fields is investigated. The shortcomings of the examples are argued to be a general feature of such generalized algebras. (author)

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)

Ebrahimi-Fard, K.

2006-06-01

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.)

Galilean contractions of W-algebras

Directory of Open Access Journals (Sweden)

Jørgen Rasmussen

2017-09-01

Full Text Available Infinite-dimensional Galilean conformal algebras can be constructed by contracting pairs of symmetry algebras in conformal field theory, such as W-algebras. Known examples include contractions of pairs of the Virasoro algebra, its N=1 superconformal extension, or the W3 algebra. Here, we introduce a contraction prescription of the corresponding operator-product algebras, or equivalently, a prescription for contracting tensor products of vertex algebras. With this, we work out the Galilean conformal algebras arising from contractions of N=2 and N=4 superconformal algebras as well as of the W-algebras W(2,4, W(2,6, W4, and W5. The latter results provide evidence for the existence of a whole new class of W-algebras which we call Galilean W-algebras. We also apply the contraction prescription to affine Lie algebras and find that the ensuing Galilean affine algebras admit a Sugawara construction. The corresponding central charge is level-independent and given by twice the dimension of the underlying finite-dimensional Lie algebra. Finally, applications of our results to the characterisation of structure constants in W-algebras are proposed.

Quantum affine algebras and deformations of the virasoro and W-algebras

International Nuclear Information System (INIS)

Frenkel, E.; Reshetikhin, N.

1996-01-01

Using the Wakimoto realization of quantum affine algebras we define new Poisson algebras, which are q-deformations of the classical W-algebras. We also define their free field realizations, i.e. homomorphisms into some Heisenberg-Poisson algebras. The formulas for these homomorphisms coincide with formulas for spectra of transfer-matrices in the corresponding quantum integrable models derived by the Bethe-Ansatz method. (orig.)

Algebraic entropy for algebraic maps

International Nuclear Information System (INIS)

Hone, A N W; Ragnisco, Orlando; Zullo, Federico

2016-01-01

We propose an extension of the concept of algebraic entropy, as introduced by Bellon and Viallet for rational maps, to algebraic maps (or correspondences) of a certain kind. The corresponding entropy is an index of the complexity of the map. The definition inherits the basic properties from the definition of entropy for rational maps. We give an example with positive entropy, as well as two examples taken from the theory of Bäcklund transformations. (letter)

On hyper BCC-algebras

OpenAIRE

Borzooei, R. A.; Dudek, W. A.; Koohestani, N.

2006-01-01

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.

Learning Activity Package, Algebra 93-94, LAPs 12-22.

Science.gov (United States)

Evans, Diane

A set of 11 teacher-prepared Learning Activity Packages (LAPs) in beginning algebra, these units cover sets, properties of operations, operations over real numbers, open expressions, solution sets of equations and inequalities, equations and inequalities with two variables, solution sets of equations with two variables, exponents, factoring and…

Graphs in kinematics—a need for adherence to principles of algebraic functions

Science.gov (United States)

Sokolowski, Andrzej

2017-11-01

Graphs in physics are central to the analysis of phenomena and to learning about a system’s behavior. The ways students handle graphs are frequently researched. Students’ misconceptions are highlighted, and methods of improvement suggested. While kinematics graphs are to represent a real motion, they are also algebraic entities that must satisfy conditions for being algebraic functions. To be algebraic functions, they must pass certain tests before they can be used to infer more about motion. A preliminary survey of some physics resources has revealed that little attention is paid to verifying if the position, velocity and acceleration versus time graphs, that are to depict real motion, satisfy the most critical condition for being an algebraic function; the vertical line test. The lack of attention to this adherence shows as vertical segments in piecewise graphs. Such graphs generate unrealistic interpretations and may confuse students. A group of 25 college physics students was provided with such a graph and asked to analyse its adherence to reality. The majority of the students (N  =  16, 64%) questioned the graph’s validity. It is inferred that such graphs might not only jeopardize the function principles studied in mathematics but also undermine the purpose of studying these principles. The aim of this study was to bring this idea forth and suggest a better alignment of physics and mathematics methods.

On hyper BCC-algebras

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.

Algebraic theory of numbers

CERN Document Server

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

Another Representation for the Maximal Lie Algebra of sl(n+2,ℝ in Terms of Operators

Directory of Open Access Journals (Sweden)

Tooba Feroze

2009-01-01

of the special linear group of order (n+2, over the real numbers, sl(n+2,ℝ. In this paper, we provide an alternate representation of the symmetry algebra by simple relabelling of indices. This provides one more proof of the result that the symmetry algebra of (ya″=0 is sl(n+2,ℝ.

The BRS algebra of a free differential algebra

International Nuclear Information System (INIS)

Boukraa, S.

1987-04-01

We construct in this work, the Weil and the universal BRS algebras of theories that can have as a gauge symmetry a free differential (Sullivan) algebra, the natural extension of Lie algebras allowing the definition of p-form gauge potentials (p>1). The finite gauge transformations of these potentials are deduced from the infinitesimal ones and the group structure is shown. The geometrical meaning of these p-form gauge potentials is given by the notion of a Quillen superconnection. (author). 19 refs

Pseudo-Riemannian Novikov algebras

Energy Technology Data Exchange (ETDEWEB)

Chen Zhiqi; Zhu Fuhai [School of Mathematical Sciences and LPMC, Nankai University, Tianjin 300071 (China)], E-mail: chenzhiqi@nankai.edu.cn, E-mail: zhufuhai@nankai.edu.cn

2008-08-08

Novikov algebras were introduced in connection with the Poisson brackets of hydrodynamic-type and Hamiltonian operators in formal variational calculus. Pseudo-Riemannian Novikov algebras denote Novikov algebras with non-degenerate invariant symmetric bilinear forms. In this paper, we find that there is a remarkable geometry on pseudo-Riemannian Novikov algebras, and give a special class of pseudo-Riemannian Novikov algebras.

On the PR-algebras

International Nuclear Information System (INIS)

Lebedenko, V.M.

1978-01-01

The PR-algebras, i.e. the Lie algebras with commutation relations of [Hsub(i),Hsub(j)]=rsub(ij)Hsub(i)(i< j) type are investigated. On the basis of former results a criterion for the membership of 2-solvable Lie algebras to the PR-algebra class is given. The conditions imposed by the criterion are formulated in the linear algebra language

Introduction to W-algebras

International Nuclear Information System (INIS)

Takao, Masaru

1989-01-01

We review W-algebras which are generated by stress tensor and primary fields. Associativity plays an important role in determining the extended algebra and further implies the algebras to exist for special values of central charges. Explicitly constructing the algebras including primary fields of spin less than 4, we investigate the closure structure of the Jacobi identity of the extended algebras. (author)

(Modular Effect Algebras are Equivalent to (Frobenius Antispecial Algebras

Directory of Open Access Journals (Sweden)

Dusko Pavlovic

2017-01-01

Full Text Available Effect algebras are one of the generalizations of Boolean algebras proposed in the quest for a quantum logic. Frobenius algebras are a tool of categorical quantum mechanics, used to present various families of observables in abstract, often nonstandard frameworks. Both effect algebras and Frobenius algebras capture their respective fragments of quantum mechanics by elegant and succinct axioms; and both come with their conceptual mysteries. A particularly elegant and mysterious constraint, imposed on Frobenius algebras to characterize a class of tripartite entangled states, is the antispecial law. A particularly contentious issue on the quantum logic side is the modularity law, proposed by von Neumann to mitigate the failure of distributivity of quantum logical connectives. We show that, if quantum logic and categorical quantum mechanics are formalized in the same framework, then the antispecial law of categorical quantum mechanics corresponds to the natural requirement of effect algebras that the units are each other's unique complements; and that the modularity law corresponds to the Frobenius condition. These correspondences lead to the equivalence announced in the title. Aligning the two formalisms, at the very least, sheds new light on the concepts that are more clearly displayed on one side than on the other (such as e.g. the orthogonality. Beyond that, it may also open up new approaches to deep and important problems of quantum mechanics (such as the classification of complementary observables.

An algorithm to construct the basic algebra of a skew group algebra

NARCIS (Netherlands)

Horobeţ, E.

2016-01-01

We give an algorithm for the computation of the basic algebra Morita equivalent to a skew group algebra of a path algebra by obtaining formulas for the number of vertices and arrows of the new quiver Qb. We apply this algorithm to compute the basic algebra corresponding to all simple quaternion

A zero-dimensional approach to compute real radicals

Directory of Open Access Journals (Sweden)

Silke J. Spang

2008-04-01

Full Text Available The notion of real radicals is a fundamental tool in Real Algebraic Geometry. It takes the role of the radical ideal in Complex Algebraic Geometry. In this article I shall describe the zero-dimensional approach and efficiency improvement I have found during the work on my diploma thesis at the University of Kaiserslautern (cf. [6]. The main focus of this article is on maximal ideals and the properties they have to fulfil to be real. New theorems and properties about maximal ideals are introduced which yield an heuristic prepare_max which splits the maximal ideals into three classes, namely real, not real and the class where we can't be sure whether they are real or not. For the latter we have to apply a coordinate change into general position until we are sure about realness. Finally this constructs a randomized algorithm for real radicals. The underlying theorems and algorithms are described in detail.

Compact quantum group C*-algebras as Hopf algebras with approximate unit

International Nuclear Information System (INIS)

Do Ngoc Diep; Phung Ho Hai; Kuku, A.O.

1999-04-01

In this paper, we construct and study the representation theory of a Hopf C*-algebra with approximate unit, which constitutes quantum analogue of a compact group C*-algebra. The construction is done by first introducing a convolution-product on an arbitrary Hopf algebra H with integral, and then constructing the L 2 and C*-envelopes of H (with the new convolution-product) when H is a compact Hopf *-algebra. (author)

Intervals in Generalized Effect Algebras and their Sub-generalized Effect Algebras

Directory of Open Access Journals (Sweden)

Zdenka Riečanová

2013-01-01

Full Text Available We consider subsets G of a generalized effect algebra E with 0∈G and such that every interval [0, q]G = [0, q]E ∩ G of G (q ∈ G , q ≠ 0 is a sub-effect algebra of the effect algebra [0, q]E. We give a condition on E and G under which every such G is a sub-generalized effect algebra of E.

Variants of bosonization in parabosonic algebra: the Hopf and super-Hopf structures in parabosonic algebra

International Nuclear Information System (INIS)

Kanakoglou, K; Daskaloyannis, C

2008-01-01

Parabosonic algebra in finite or infinite degrees of freedom is considered as a Z 2 -graded associative algebra, and is shown to be a Z 2 -graded (or super) Hopf algebra. The super-Hopf algebraic structure of the parabosonic algebra is established directly without appealing to its relation to the osp(1/2n) Lie superalgebraic structure. The notion of super-Hopf algebra is equivalently described as a Hopf algebra in the braided monoidal category CZ 2 M. The bosonization technique for switching a Hopf algebra in the braided monoidal category H M (where H is a quasitriangular Hopf algebra) into an ordinary Hopf algebra is reviewed. In this paper, we prove that for the parabosonic algebra P B , beyond the application of the bosonization technique to the original super-Hopf algebra, a bosonization-like construction is also achieved using two operators, related to the parabosonic total number operator. Both techniques switch the same super-Hopf algebra P B to an ordinary Hopf algebra, thus producing two different variants of P B , with an ordinary Hopf structure

The C*-algebra of a vector bundle and fields of Cuntz algebras

OpenAIRE

Vasselli, Ezio

2004-01-01

We study the Pimsner algebra associated with the module of continuous sections of a Hilbert bundle, and prove that it is a continuous bundle of Cuntz algebras. We discuss the role of such Pimsner algebras w.r.t. the notion of inner endomorphism. Furthermore, we study bundles of Cuntz algebras carrying a global circle action, and assign to them a class in the representable KK-group of the zero-grade bundle. We compute such class for the Pimsner algebra of a vector bundle.

Bicovariant quantum algebras and quantum Lie algebras

International Nuclear Information System (INIS)

Schupp, P.; Watts, P.; Zumino, B.

1993-01-01

A bicovariant calculus of differential operators on a quantum group is constructed in a natural way, using invariant maps from Fun(G q ) to U q g, given by elements of the pure braid group. These operators - the 'reflection matrix' Y= triple bond L + SL - being a special case - generate algebras that linearly close under adjoint actions, i.e. they form generalized Lie algebras. We establish the connection between the Hopf algebra formulation of the calculus and a formulation in compact matrix form which is quite powerful for actual computations and as applications we find the quantum determinant and an orthogonality relation for Y in SO q (N). (orig.)

Simple relation algebras

CERN Document Server

Givant, Steven

2017-01-01

This monograph details several different methods for constructing simple relation algebras, many of which are new with this book. By drawing these seemingly different methods together, all are shown to be aspects of one general approach, for which several applications are given. These tools for constructing and analyzing relation algebras are of particular interest to mathematicians working in logic, algebraic logic, or universal algebra, but will also appeal to philosophers and theoretical computer scientists working in fields that use mathematics. The book is written with a broad audience in mind and features a careful, pedagogical approach; an appendix contains the requisite background material in relation algebras. Over 400 exercises provide ample opportunities to engage with the material, making this a monograph equally appropriate for use in a special topics course or for independent study. Readers interested in pursuing an extended background study of relation algebras will find a comprehensive treatme...

Boolean algebra

CERN Document Server

Goodstein, R L

2007-01-01

This elementary treatment by a distinguished mathematician employs Boolean algebra as a simple medium for introducing important concepts of modern algebra. Numerous examples appear throughout the text, plus full solutions.

Combinatorial commutative algebra

CERN Document Server

Miller, Ezra

2005-01-01

Offers an introduction to combinatorial commutative algebra, focusing on combinatorial techniques for multigraded polynomial rings, semigroup algebras, and determined rings. The chapters in this work cover topics ranging from homological invariants of monomial ideals and their polyhedral resolutions, to tools for studying algebraic varieties.

Topological أ-algebras with Cأ-enveloping algebras II

Indian Academy of Sciences (India)

necessarily complete) pro-Cأ-topology which coincides with the relative uniform .... problems in Cأ-algebras, Phillips introduced more general weakly Cأ- .... Banach أ-algebra obtained by completing A=Np in the norm jjxpjjp ¼ pًxق where.

C*-algebras by example

CERN Document Server

Davidson, Kenneth R

1996-01-01

The subject of C*-algebras received a dramatic revitalization in the 1970s by the introduction of topological methods through the work of Brown, Douglas, and Fillmore on extensions of C*-algebras and Elliott's use of K-theory to provide a useful classification of AF algebras. These results were the beginning of a marvelous new set of tools for analyzing concrete C*-algebras. This book is an introductory graduate level text which presents the basics of the subject through a detailed analysis of several important classes of C*-algebras. The development of operator algebras in the last twenty yea

Non-freely generated W-algebras and construction of N=2 super W-algebras

International Nuclear Information System (INIS)

Blumenhagen, R.

1994-07-01

Firstly, we investigate the origin of the bosonic W-algebras W(2, 3, 4, 5), W(2, 4, 6) and W(2, 4, 6) found earlier by direct construction. We present a coset construction for all three examples leading to a new type of finitely, non-freely generated quantum W-algebras, which we call unifying W-algebras. Secondly, we develop a manifest covariant formalism to construct N = 2 super W-algebras explicitly on a computer. Applying this algorithm enables us to construct the first four examples of N = 2 super W-algebras with two generators and the N = 2 super W 4 algebra involving three generators. The representation theory of the former ones shows that all examples could be divided into four classes, the largest one containing the N = 2 special type of spectral flow algebras. Besides the W-algebra of the CP(3) Kazama-Suzuki coset model, the latter example with three generators discloses a second solution which could also be explained as a unifying W-algebra for the CP(n) models. (orig.)

Answers to selected problems in multivariable calculus with linear algebra and series

CERN Document Server

Trench, William F

1972-01-01

Answers to Selected Problems in Multivariable Calculus with Linear Algebra and Series contains the answers to selected problems in linear algebra, the calculus of several variables, and series. Topics covered range from vectors and vector spaces to linear matrices and analytic geometry, as well as differential calculus of real-valued functions. Theorems and definitions are included, most of which are followed by worked-out illustrative examples.The problems and corresponding solutions deal with linear equations and matrices, including determinants; vector spaces and linear transformations; eig

Algebraic conformal field theory

International Nuclear Information System (INIS)

Fuchs, J.; Nationaal Inst. voor Kernfysica en Hoge-Energiefysica

1991-11-01

Many conformal field theory features are special versions of structures which are present in arbitrary 2-dimensional quantum field theories. So it makes sense to describe 2-dimensional conformal field theories in context of algebraic theory of superselection sectors. While most of the results of the algebraic theory are rather abstract, conformal field theories offer the possibility to work out many formulae explicitly. In particular, one can construct the full algebra A-bar of global observables and the endomorphisms of A-bar which represent the superselection sectors. Some explicit results are presented for the level 1 so(N) WZW theories; the algebra A-bar is found to be the enveloping algebra of a Lie algebra L-bar which is an extension of the chiral symmetry algebra of the WZW theory. (author). 21 refs., 6 figs

Algebraic K-theory and sums-of-squares formulas

OpenAIRE

Dugger, Daniel; Isaksen, Daniel C.

2004-01-01

We prove a result about the non-existence of certain sums-of-squares formulas over a field. This generalizes an old theorem which used topological K-theory to obtain obstruction conditions when the field is the real numbers. Our result applies to arbitrary fields not of characteristic 2, making use of algebraic K-theory in place of topological K-theory.

W-algebra for solving problems with fuzzy parameters

Science.gov (United States)

Shevlyakov, A. O.; Matveev, M. G.

2018-03-01

A method of solving the problems with fuzzy parameters by means of a special algebraic structure is proposed. The structure defines its operations through operations on real numbers, which simplifies its use. It avoids deficiencies limiting applicability of the other known structures. Examples for solution of a quadratic equation, a system of linear equations and a network planning problem are given.

Boolean algebra essentials

CERN Document Server

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

Generalizing the bms3 and 2D-conformal algebras by expanding the Virasoro algebra

Science.gov (United States)

Caroca, Ricardo; Concha, Patrick; Rodríguez, Evelyn; Salgado-Rebolledo, Patricio

2018-03-01

By means of the Lie algebra expansion method, the centrally extended conformal algebra in two dimensions and the bms3 algebra are obtained from the Virasoro algebra. We extend this result to construct new families of expanded Virasoro algebras that turn out to be infinite-dimensional lifts of the so-called Bk, Ck and Dk algebras recently introduced in the literature in the context of (super)gravity. We also show how some of these new infinite-dimensional symmetries can be obtained from expanded Kač-Moody algebras using modified Sugawara constructions. Applications in the context of three-dimensional gravity are briefly discussed.

Introduction to quantum algebras

International Nuclear Information System (INIS)

Kibler, M.R.

1992-09-01

The concept of a quantum algebra is made easy through the investigation of the prototype algebras u qp (2), su q (2) and u qp (1,1). The latter quantum algebras are introduced as deformations of the corresponding Lie algebras; this is achieved in a simple way by means of qp-bosons. The Hopf algebraic structure of u qp (2) is also discussed. The basic ingredients for the representation theory of u qp (2) are given. Finally, in connection with the quantum algebra u qp (2), the qp-analogues of the harmonic oscillator are discussed and of the (spherical and hyperbolical) angular momenta. (author) 50 refs

Continuum analogues of contragredient Lie algebras

International Nuclear Information System (INIS)

Saveliev, M.V.; Vershik, A.M.

1989-03-01

We present an axiomatic formulation of a new class of infinite-dimensional Lie algebras - the generalizations of Z-graded Lie algebras with, generally speaking, an infinite-dimensional Cartan subalgebra and a contiguous set of roots. We call such algebras ''continuum Lie algebras''. The simple Lie algebras of constant growth are encapsulated in our formulation. We pay particular attention to the case when the local algebra is parametrized by a commutative algebra while the Cartan operator (the generalization of the Cartan matrix) is a linear operator. Special examples of these algebras are the Kac-Moody algebras, algebras of Poisson brackets, algebras of vector fields on a manifold, current algebras, and algebras with differential or integro-differential Cartan operator. The nonlinear dynamical systems associated with the continuum contragredient Lie algebras are also considered. (author). 9 refs

Lectures on algebraic statistics

CERN Document Server

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.

Quiver W-algebras

Science.gov (United States)

Kimura, Taro; Pestun, Vasily

2018-06-01

For a quiver with weighted arrows, we define gauge-theory K-theoretic W-algebra generalizing the definition of Shiraishi et al. and Frenkel and Reshetikhin. In particular, we show that the qq-character construction of gauge theory presented by Nekrasov is isomorphic to the definition of the W-algebra in the operator formalism as a commutant of screening charges in the free field representation. Besides, we allow arbitrary quiver and expect interesting applications to representation theory of generalized Borcherds-Kac-Moody Lie algebras, their quantum affinizations and associated W-algebras.

33 CFR 211.22 - Real estate Claims Officers.

Science.gov (United States)

2010-07-01

... 33 Navigation and Navigable Waters 3 2010-07-01 2010-07-01 false Real estate Claims Officers. 211..., DEPARTMENT OF DEFENSE REAL ESTATE ACTIVITIES OF THE CORPS OF ENGINEERS IN CONNECTION WITH CIVIL WORKS PROJECTS Real Estate Claims § 211.22 Real estate Claims Officers. In each Division Office the Division...

Abstract algebra

CERN Document Server

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

Twisted classical Poincare algebras

International Nuclear Information System (INIS)

Lukierski, J.; Ruegg, H.; Tolstoy, V.N.; Nowicki, A.

1993-11-01

We consider the twisting of Hopf structure for classical enveloping algebra U(g), where g is the inhomogeneous rotations algebra, with explicite formulae given for D=4 Poincare algebra (g=P 4 ). The comultiplications of twisted U F (P 4 ) are obtained by conjugating primitive classical coproducts by F element of U(c)xU(c), where c denotes any Abelian subalgebra of P 4 , and the universal R-matrices for U F (P 4 ) are triangular. As an example we show that the quantum deformation of Poincare algebra recently proposed by Chaichian and Demiczev is a twisted classical Poincare algebra. The interpretation of twisted Poincare algebra as describing relativistic symmetries with clustered 2-particle states is proposed. (orig.)

Pre-Algebra Essentials For Dummies

CERN Document Server

Zegarelli, Mark

2010-01-01

Many students worry about starting algebra. Pre-Algebra Essentials For Dummies provides an overview of critical pre-algebra concepts to help new algebra students (and their parents) take the next step without fear. Free of ramp-up material, Pre-Algebra Essentials For Dummies contains content focused on key topics only. It provides discrete explanations of critical concepts taught in a typical pre-algebra course, from fractions, decimals, and percents to scientific notation and simple variable equations. This guide is also a perfect reference for parents who need to review critical pre-algebra

Representations of quantum bicrossproduct algebras

International Nuclear Information System (INIS)

Arratia, Oscar; Olmo, Mariano A del

2002-01-01

We present a method to construct induced representations of quantum algebras which have a bicrossproduct structure. We apply this procedure to some quantum kinematical algebras in (1+1) dimensions with this kind of structure: null-plane quantum Poincare algebra, non-standard quantum Galilei algebra and quantum κ-Galilei algebra

Algorithms in Algebraic Geometry

CERN Document Server

Dickenstein, Alicia; Sommese, Andrew J

2008-01-01

In the last decade, there has been a burgeoning of activity in the design and implementation of algorithms for algebraic geometric computation. Some of these algorithms were originally designed for abstract algebraic geometry, but now are of interest for use in applications and some of these algorithms were originally designed for applications, but now are of interest for use in abstract algebraic geometry. The workshop on Algorithms in Algebraic Geometry that was held in the framework of the IMA Annual Program Year in Applications of Algebraic Geometry by the Institute for Mathematics and Its

Computer algebra and operators

Science.gov (United States)

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.

Abstract Algebra to Secondary School Algebra: Building Bridges

Science.gov (United States)

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…

Infinite dimension algebra and conformal symmetry

International Nuclear Information System (INIS)

Ragoucy-Aubezon, E.

1991-04-01

A generalisation of Kac-Moody algebras (current algebras defined on a circle) to algebras defined on a compact supermanifold of any dimension and with any number of supersymmetries is presented. For such a purpose, we compute all the central extensions of loop algebras defined on this supermanifold, i.e. all the cohomology classes of these loop algebras. Then, we try to extend the relation (i.e. semi-direct sum) that exists between the two dimensional conformal algebras (called Virasoro algebra) and the usual Kac-Moody algebras, by considering the derivation algebra of our extended Kac-Moody algebras. The case of superconformal algebras (used in superstrings theories) is treated, as well as the cases of area-preserving diffeomorphisms (used in membranes theories), and Krichever-Novikov algebras (used for interacting strings). Finally, we present some generalizations of the Sugawara construction to the cases of extended Kac-Moody algebras, and Kac-Moody of superalgebras. These constructions allow us to get new realizations of the Virasoro, and Ramond, Neveu-Schwarz algebras

Almost commuting self-adjoint matrices: The real and self-dual cases

Science.gov (United States)

Loring, Terry A.; Sørensen, Adam P. W.

2016-08-01

We show that a pair of almost commuting self-adjoint, symmetric matrices is close to a pair of commuting self-adjoint, symmetric matrices (in a uniform way). Moreover, we prove that the same holds with self-dual in place of symmetric and also for paths of self-adjoint matrices. Since a symmetric, self-adjoint matrix is real, we get a real version of Huaxin Lin’s famous theorem on almost commuting matrices. Similarly, the self-dual case gives a version for matrices over the quaternions. To prove these results, we develop a theory of semiprojectivity for real C*-algebras and also examine various definitions of low-rank for real C*-algebras.

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.

String field theory. Algebraic structure, deformation properties and superstrings

International Nuclear Information System (INIS)

Muenster, Korbinian

2013-01-01

This thesis discusses several aspects of string field theory. The first issue is bosonic open-closed string field theory and its associated algebraic structure - the quantum open-closed homotopy algebra. We describe the quantum open-closed homotopy algebra in the framework of homotopy involutive Lie bialgebras, as a morphism from the loop homotopy Lie algebra of closed string to the involutive Lie bialgebra on the Hochschild complex of open strings. The formulation of the classical/quantum open-closed homotopy algebra in terms of a morphism from the closed string algebra to the open string Hochschild complex reveals deformation properties of closed strings on open string field theory. In particular, we show that inequivalent classical open string field theories are parametrized by closed string backgrounds up to gauge transformations. At the quantum level the correspondence is obstructed, but for other realizations such as the topological string, a non-trivial correspondence persists. Furthermore, we proof the decomposition theorem for the loop homotopy Lie algebra of closed string field theory, which implies uniqueness of closed string field theory on a fixed conformal background. Second, the construction of string field theory can be rephrased in terms of operads. In particular, we show that the formulation of string field theory splits into two parts: The first part is based solely on the moduli space of world sheets and ensures that the perturbative string amplitudes are recovered via Feynman rules. The second part requires a choice of background and determines the real string field theory vertices. Each of these parts can be described equivalently as a morphism between appropriate cyclic and modular operads, at the classical and quantum level respectively. The algebraic structure of string field theory is then encoded in the composition of these two morphisms. Finally, we outline the construction of type II superstring field theory. Specific features of the

Algebraic techniques for diagonalization of a split quaternion matrix in split quaternionic mechanics

International Nuclear Information System (INIS)

Jiang, Tongsong; Jiang, Ziwu; Zhang, Zhaozhong

2015-01-01

In the study of the relation between complexified classical and non-Hermitian quantum mechanics, physicists found that there are links to quaternionic and split quaternionic mechanics, and this leads to the possibility of employing algebraic techniques of split quaternions to tackle some problems in complexified classical and quantum mechanics. This paper, by means of real representation of a split quaternion matrix, studies the problem of diagonalization of a split quaternion matrix and gives algebraic techniques for diagonalization of split quaternion matrices in split quaternionic mechanics

Enveloping σ-C C C-algebra of a smooth Frechet algebra crossed ...

Indian Academy of Sciences (India)

Home; Journals; Proceedings – Mathematical Sciences; Volume 116; Issue 2. Enveloping -*-Algebra of a Smooth Frechet Algebra Crossed Product by R R , K -Theory and Differential Structure in *-Algebras. Subhash J Bhatt. Regular Articles Volume 116 Issue 2 May 2006 pp 161-173 ...

Hecke algebras with unequal parameters

CERN Document Server

Lusztig, G

2003-01-01

Hecke algebras arise in representation theory as endomorphism algebras of induced representations. One of the most important classes of Hecke algebras is related to representations of reductive algebraic groups over p-adic or finite fields. In 1979, in the simplest (equal parameter) case of such Hecke algebras, Kazhdan and Lusztig discovered a particular basis (the KL-basis) in a Hecke algebra, which is very important in studying relations between representation theory and geometry of the corresponding flag varieties. It turned out that the elements of the KL-basis also possess very interesting combinatorial properties. In the present book, the author extends the theory of the KL-basis to a more general class of Hecke algebras, the so-called algebras with unequal parameters. In particular, he formulates conjectures describing the properties of Hecke algebras with unequal parameters and presents examples verifying these conjectures in particular cases. Written in the author's precise style, the book gives rese...

Bicycles, Birds, Bats and Balloons: New Applications for Algebra Classes.

Science.gov (United States)

Yoshiwara, Bruce; Yoshiwara, Kathy

This collection of activities is intended to enhance the teaching of college algebra through the use of modeling. The problems use real data and involve the representation and interpretation of the data. The concepts addressed include rates of change, linear and quadratic regression, and functions. The collection consists of eight problems, four…

Categories and Commutative Algebra

CERN Document Server

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.

Bicomplex holomorphic functions the algebra, geometry and analysis of bicomplex numbers

CERN Document Server

Luna-Elizarrarás, M Elena; Struppa, Daniele C; Vajiac, Adrian

2015-01-01

The purpose of this book is to develop the foundations of the theory of holomorphicity on the ring of bicomplex numbers. Accordingly, the main focus is on expressing the similarities with, and differences from, the classical theory of one complex variable. The result is an elementary yet comprehensive introduction to the algebra, geometry and analysis of bicomplex numbers. Around the middle of the nineteenth century, several mathematicians (the best known being Sir William Hamilton and Arthur Cayley) became interested in studying number systems that extended the field of complex numbers. Hamilton famously introduced the quaternions, a skew field in real-dimension four, while almost simultaneously James Cockle introduced a commutative four-dimensional real algebra, which was rediscovered in 1892 by Corrado Segre, who referred to his elements as bicomplex numbers. The advantages of commutativity were accompanied by the introduction of zero divisors, something that for a while dampened interest in this subject. ...

Particle-like structure of Lie algebras

Science.gov (United States)

Vinogradov, A. M.

2017-07-01

If a Lie algebra structure 𝔤 on a vector space is the sum of a family of mutually compatible Lie algebra structures 𝔤i's, we say that 𝔤 is simply assembled from the 𝔤i's. Repeating this procedure with a number of Lie algebras, themselves simply assembled from the 𝔤i's, one obtains a Lie algebra assembled in two steps from 𝔤i's, and so on. We describe the process of modular disassembling of a Lie algebra into a unimodular and a non-unimodular part. We then study two inverse questions: which Lie algebras can be assembled from a given family of Lie algebras, and from which Lie algebras can a given Lie algebra be assembled. We develop some basic assembling and disassembling techniques that constitute the elements of a new approach to the general theory of Lie algebras. The main result of our theory is that any finite-dimensional Lie algebra over an algebraically closed field of characteristic zero or over R can be assembled in a finite number of steps from two elementary constituents, which we call dyons and triadons. Up to an abelian summand, a dyon is a Lie algebra structure isomorphic to the non-abelian 2-dimensional Lie algebra, while a triadon is isomorphic to the 3-dimensional Heisenberg Lie algebra. As an example, we describe constructions of classical Lie algebras from triadons.

Dynamical entropy of C* algebras and Von Neumann algebras

International Nuclear Information System (INIS)

Connes, A.; Narnhofer, H.; Thirring, W.

1986-01-01

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)

Time-division multiplexing vs network calculus: A comparison

DEFF Research Database (Denmark)

Puffitsch, Wolfgang; Sørensen, Rasmus Bo; Schoeberl, Martin

2015-01-01

that time-division multiplexing leads to better worst-case latencies, while network calculus supports higher bandwidths. Furthermore, time-division multiplexing leads to a simpler hardware implementation, while dynamically scheduled networks-on-chip allow the integration of best-effort traffic in the on......Networks-on-chip are increasingly common in modern multicore architectures. However, general-purpose networks-on-chip are not always well suited for real-time applications that require bandwidth and latency guarantees. Two approaches to provide real-time guarantees have emerged: time......-chip network in a more natural way....

Gradings on simple Lie algebras

CERN Document Server

Elduque, Alberto

2013-01-01

Gradings are ubiquitous in the theory of Lie algebras, from the root space decomposition of a complex semisimple Lie algebra relative to a Cartan subalgebra to the beautiful Dempwolff decomposition of E_8 as a direct sum of thirty-one Cartan subalgebras. This monograph is a self-contained exposition of the classification of gradings by arbitrary groups on classical simple Lie algebras over algebraically closed fields of characteristic not equal to 2 as well as on some nonclassical simple Lie algebras in positive characteristic. Other important algebras also enter the stage: matrix algebras, the octonions, and the Albert algebra. Most of the presented results are recent and have not yet appeared in book form. This work can be used as a textbook for graduate students or as a reference for researchers in Lie theory and neighboring areas.

Topological conformal algebra and BRST algebra in non-critical string theories

International Nuclear Information System (INIS)

Fujikawa, Kazuo; Suzuki, Hiroshi.

1991-03-01

The operator algebra in non-critical string theories is studied by treating the cosmological term as a perturbation. The algebra of covariantly regularized BRST and related currents contains a twisted N = 2 superconformal algebra only at d = -2 in bosonic strings, and a twisted N = 3 superconformal algebra only at d = ±∞ in spinning strings. The bosonic string at d = -2 is examined by replacing the string coordinate by a fermionic matter with c = -2. The resulting bc-βγ system accommodates various forms of BRST cohomology, and the ghost number assignment and BRST cohomology are different in the c = -2 string theory and two-dimensional topological gravity. (author)

Algebraic K-theory

CERN Document Server

Srinivas, V

1996-01-01

Algebraic K-Theory has become an increasingly active area of research. With its connections to algebra, algebraic geometry, topology, and number theory, it has implications for a wide variety of researchers and graduate students in mathematics. The book is based on lectures given at the author's home institution, the Tata Institute in Bombay, and elsewhere. A detailed appendix on topology was provided in the first edition to make the treatment accessible to readers with a limited background in topology. The second edition also includes an appendix on algebraic geometry that contains the required definitions and results needed to understand the core of the book; this makes the book accessible to a wider audience. A central part of the book is a detailed exposition of the ideas of Quillen as contained in his classic papers "Higher Algebraic K-Theory, I, II." A more elementary proof of the theorem of Merkujev--Suslin is given in this edition; this makes the treatment of this topic self-contained. An application ...

Novikov algebras with associative bilinear forms

Energy Technology Data Exchange (ETDEWEB)

Zhu Fuhai; Chen Zhiqi [School of Mathematical Sciences and LPMC, Nankai University, Tianjin 300071 (China)

2007-11-23

Novikov algebras were introduced in connection with the Poisson brackets of hydrodynamic-type and Hamiltonian operators in formal variational calculus. The goal of this paper is to study Novikov algebras with non-degenerate associative symmetric bilinear forms, which we call quadratic Novikov algebras. Based on the classification of solvable quadratic Lie algebras of dimension not greater than 4 and Novikov algebras in dimension 3, we show that quadratic Novikov algebras up to dimension 4 are commutative. Furthermore, we obtain the classification of transitive quadratic Novikov algebras in dimension 4. But we find that not every quadratic Novikov algebra is commutative and give a non-commutative quadratic Novikov algebra in dimension 6.

Lie algebra in quantum physics by means of computer algebra

OpenAIRE

Kikuchi, Ichio; Kikuchi, Akihito

2017-01-01

This article explains how to apply the computer algebra package GAP (www.gap-system.org) in the computation of the problems in quantum physics, in which the application of Lie algebra is necessary. The article contains several exemplary computations which readers would follow in the desktop PC: such as, the brief review of elementary ideas of Lie algebra, the angular momentum in quantum mechanics, the quark eight-fold way model, and the usage of Weyl character formula (in order to construct w...

A Practical Approach to Inquiry-Based Learning in Linear Algebra

Science.gov (United States)

Chang, J.-M.

2011-01-01

Linear algebra has become one of the most useful fields of mathematics since last decade, yet students still have trouble seeing the connection between some of the abstract concepts and real-world applications. In this article, we propose the use of thought-provoking questions in lesson designs to allow two-way communications between instructors…

Tensor spaces and exterior algebra

CERN Document Server

Yokonuma, Takeo

1992-01-01

This book explains, as clearly as possible, tensors and such related topics as tensor products of vector spaces, tensor algebras, and exterior algebras. You will appreciate Yokonuma's lucid and methodical treatment of the subject. This book is useful in undergraduate and graduate courses in multilinear algebra. Tensor Spaces and Exterior Algebra begins with basic notions associated with tensors. To facilitate understanding of the definitions, Yokonuma often presents two or more different ways of describing one object. Next, the properties and applications of tensors are developed, including the classical definition of tensors and the description of relative tensors. Also discussed are the algebraic foundations of tensor calculus and applications of exterior algebra to determinants and to geometry. This book closes with an examination of algebraic systems with bilinear multiplication. In particular, Yokonuma discusses the theory of replicas of Chevalley and several properties of Lie algebras deduced from them.

Profinite algebras and affine boundedness

OpenAIRE

Schneider, Friedrich Martin; Zumbrägel, Jens

2015-01-01

We prove a characterization of profinite algebras, i.e., topological algebras that are isomorphic to a projective limit of finite discrete algebras. In general profiniteness concerns both the topological and algebraic characteristics of a topological algebra, whereas for topological groups, rings, semigroups, and distributive lattices, profiniteness turns out to be a purely topological property as it is is equivalent to the underlying topological space being a Stone space. Condensing the core...

"Real-Time Optical Laboratory Linear Algebra Solution Of Partial Differential Equations"

Science.gov (United States)

Casasent, David; Jackson, James

1986-03-01

A Space Integrating (SI) Optical Linear Algebra Processor (OLAP) employing space and frequency-multiplexing, new partitioning and data flow, and achieving high accuracy performance with a non base-2 number system is described. Laboratory data on the performance of this system and the solution of parabolic Partial Differential Equations (PDEs) is provided. A multi-processor OLAP system is also described for the first time. It use in the solution of multiple banded matrices that frequently arise is then discussed. The utility and flexibility of this processor compared to digital systolic architectures should be apparent.

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....

Algebra II workbook for dummies

CERN Document Server

Sterling, Mary Jane

2014-01-01

To succeed in Algebra II, start practicing now Algebra II builds on your Algebra I skills to prepare you for trigonometry, calculus, and a of myriad STEM topics. Working through practice problems helps students better ingest and retain lesson content, creating a solid foundation to build on for future success. Algebra II Workbook For Dummies, 2nd Edition helps you learn Algebra II by doing Algebra II. Author and math professor Mary Jane Sterling walks you through the entire course, showing you how to approach and solve the problems you encounter in class. You'll begin by refreshing your Algebr

Very true operators on MTL-algebras

Directory of Open Access Journals (Sweden)

Wang Jun Tao

2016-01-01

Full Text Available The main goal of this paper is to investigate very true MTL-algebras and prove the completeness of the very true MTL-logic. In this paper, the concept of very true operators on MTL-algebras is introduced and some related properties are investigated. Also, conditions for an MTL-algebra to be an MV-algebra and a Gödel algebra are given via this operator. Moreover, very true filters on very true MTL-algebras are studied. In particular, subdirectly irreducible very true MTL-algebras are characterized and an analogous of representation theorem for very true MTL-algebras is proved. Then, the left and right stabilizers of very true MTL-algebras are introduced and some related properties are given. As applications of stabilizer of very true MTL-algebras, we produce a basis for a topology on very true MTL-algebras and show that the generated topology by this basis is Baire, connected, locally connected and separable. Finally, the corresponding logic very true MTL-logic is constructed and the soundness and completeness of this logic are proved based on very true MTL-algebras.

Hopf algebras in noncommutative geometry

International Nuclear Information System (INIS)

Varilly, Joseph C.

2001-10-01

We give an introductory survey to the use of Hopf algebras in several problems of non- commutative geometry. The main example, the Hopf algebra of rooted trees, is a graded, connected Hopf algebra arising from a universal construction. We show its relation to the algebra of transverse differential operators introduced by Connes and Moscovici in order to compute a local index formula in cyclic cohomology, and to the several Hopf algebras defined by Connes and Kreimer to simplify the combinatorics of perturbative renormalization. We explain how characteristic classes for a Hopf module algebra can be obtained from the cyclic cohomology of the Hopf algebra which acts on it. Finally, we discuss the theory of non- commutative spherical manifolds and show how they arise as homogeneous spaces of certain compact quantum groups. (author)

W-realization of Lie algebras. Application to so(4,2) and Poincare algebras

International Nuclear Information System (INIS)

Barbarin, F.; Ragoucy, E.; Sorba, P.

1996-05-01

The property of some finite W-algebras to appear as the commutant of a particular subalgebra in a simple Lie algebra G is exploited for the obtention of new G-realizations from a 'canonical' differential one. The method is applied to the conformal algebra so(4,2) and therefore yields also results for its Poincare subalgebra. Unitary irreducible representations of these algebras are recognized in this approach, which is naturally compared -or associated to - the induced representation technique. (author)

Extended Kac-Moody algebras and applications

International Nuclear Information System (INIS)

Ragoucy, E.; Sorba, P.

1991-04-01

The notion of a Kac-Moody algebra defined on the S 1 circle is extended to super Kac-Moody algebras defined on MxG N , M being a smooth closed compact manifold of dimension greater than one, and G N the Grassman algebra with N generators. All the central extensions of these algebras are computed. Then, for each such algebra the derivation algebra constructed from the MxG N diffeomorphism is determined. The twists of such super Kac-Moody algebras as well as the generalization to non-compact surfaces are partially studied. Finally, the general construction is applied to the study of conformal and superconformal algebras, as well as area-preserving diffeomorphisms algebra and its supersymmetric extension. (author) 65 refs

Lie algebras and applications

CERN Document Server

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...

(Fuzzy) Ideals of BN-Algebras

Science.gov (United States)

Walendziak, Andrzej

2015-01-01

The notions of an ideal and a fuzzy ideal in BN-algebras are introduced. The properties and characterizations of them are investigated. The concepts of normal ideals and normal congruences of a BN-algebra are also studied, the properties of them are displayed, and a one-to-one correspondence between them is presented. Conditions for a fuzzy set to be a fuzzy ideal are given. The relationships between ideals and fuzzy ideals of a BN-algebra are established. The homomorphic properties of fuzzy ideals of a BN-algebra are provided. Finally, characterizations of Noetherian BN-algebras and Artinian BN-algebras via fuzzy ideals are obtained. PMID:26125050

Non-relativistic Bondi-Metzner-Sachs algebra

Science.gov (United States)

Batlle, Carles; Delmastro, Diego; Gomis, Joaquim

2017-09-01

We construct two possible candidates for non-relativistic bms4 algebra in four space-time dimensions by contracting the original relativistic bms4 algebra. bms4 algebra is infinite-dimensional and it contains the generators of the Poincaré algebra, together with the so-called super-translations. Similarly, the proposed nrbms4 algebras can be regarded as two infinite-dimensional extensions of the Bargmann algebra. We also study a canonical realization of one of these algebras in terms of the Fourier modes of a free Schrödinger field, mimicking the canonical realization of relativistic bms4 algebra using a free Klein-Gordon field.

The Unitality of Quantum B-algebras

Science.gov (United States)

Han, Shengwei; Xu, Xiaoting; Qin, Feng

2018-02-01

Quantum B-algebras as a generalization of quantales were introduced by Rump and Yang, which cover the majority of implicational algebras and provide a unified semantic for a wide class of substructural logics. Unital quantum B-algebras play an important role in the classification of implicational algebras. The main purpose of this paper is to construct unital quantum B-algebras from non-unital quantum B-algebras.

On Weak-BCC-Algebras

Science.gov (United States)

Thomys, Janus; Zhang, Xiaohong

2013-01-01

We describe weak-BCC-algebras (also called BZ-algebras) in which the condition (x∗y)∗z = (x∗z)∗y is satisfied only in the case when elements x, y belong to the same branch. We also characterize ideals, nilradicals, and nilpotent elements of such algebras. PMID:24311983

G-identities of non-associative algebras

International Nuclear Information System (INIS)

Bakhturin, Yu A; Zaitsev, M V; Sehgal, S K

1999-01-01

The main class of algebras considered in this paper is the class of algebras of Lie type. This class includes, in particular, associative algebras, Lie algebras and superalgebras, Leibniz algebras, quantum Lie algebras, and many others. We prove that if a finite group G acts on such an algebra A by automorphisms and anti-automorphisms and A satisfies an essential G-identity, then A satisfies an ordinary identity of degree bounded by a function that depends on the degree of the original identity and the order of G. We show in the case of ordinary Lie algebras that if L is a Lie algebra, a finite group G acts on L by automorphisms and anti-automorphisms, and the order of G is coprime to the characteristic of the field, then the existence of an identity on skew-symmetric elements implies the existence of an identity on the whole of L, with the same kind of dependence between the degrees of the identities. Finally, we generalize Amitsur's theorem on polynomial identities in associative algebras with involution to the case of alternative algebras with involution

W-realization of Lie algebras. Application to so(4,2) and Poincare algebras

Energy Technology Data Exchange (ETDEWEB)

Barbarin, F.; Ragoucy, E.; Sorba, P.

1996-05-01

The property of some finite W-algebras to appear as the commutant of a particular subalgebra in a simple Lie algebra G is exploited for the obtention of new G-realizations from a `canonical` differential one. The method is applied to the conformal algebra so(4,2) and therefore yields also results for its Poincare subalgebra. Unitary irreducible representations of these algebras are recognized in this approach, which is naturally compared -or associated to - the induced representation technique. (author). 12 refs.

Introduction to real analysis

CERN Document Server

Schramm, Michael J

2008-01-01

This text forms a bridge between courses in calculus and real analysis. It focuses on the construction of mathematical proofs as well as their final content. Suitable for upper-level undergraduates and graduate students of real analysis, it also provides a vital reference book for advanced courses in mathematics.The four-part treatment begins with an introduction to basic logical structures and techniques of proof, including discussions of the cardinality concept and the algebraic and order structures of the real and rational number systems. Part Two presents in-depth examinations of the compl

Specification and Analysis of Soft Real-Time Systems: Quantity and Quality

NARCIS (Netherlands)

d' Argenio, P.R.; Katoen, Joost P.; Brinksma, Hendrik

This paper presents a process algebra for specifying soft real-time constraints in a compositional way. For these soft constraints we take a stochastic point of view and allow arbitrary probability distributions to express delays of activities. The semantics of this process algebra is given in terms

Algebraic computing

International Nuclear Information System (INIS)

MacCallum, M.A.H.

1990-01-01

The implementation of a new computer algebra system is time consuming: designers of general purpose algebra systems usually say it takes about 50 man-years to create a mature and fully functional system. Hence the range of available systems and their capabilities changes little between one general relativity meeting and the next, despite which there have been significant changes in the period since the last report. The introductory remarks aim to give a brief survey of capabilities of the principal available systems and highlight one or two trends. The reference to the most recent full survey of computer algebra in relativity and brief descriptions of the Maple, REDUCE and SHEEP and other applications are given. (author)

Ideals, varieties, and algorithms an introduction to computational algebraic geometry and commutative algebra

CERN Document Server

Cox, David A; O'Shea, Donal

2015-01-01

This text covers topics in algebraic geometry and commutative algebra with a strong perspective toward practical and computational aspects. The first four chapters form the core of the book. A comprehensive chart in the preface illustrates a variety of ways to proceed with the material once these chapters are covered. In addition to the fundamentals of algebraic geometry—the elimination theorem, the extension theorem, the closure theorem, and the Nullstellensatz—this new edition incorporates several substantial changes, all of which are listed in the Preface. The largest revision incorporates a new chapter (ten), which presents some of the essentials of progress made over the last decades in computing Gröbner bases. The book also includes current computer algebra material in Appendix C and updated independent projects (Appendix D). The book may serve as a first or second course in undergraduate abstract algebra and, with some supplementation perhaps, for beginning graduate level courses in algebraic geom...

Connections between algebra, combinatorics, and geometry

CERN Document Server

Sather-Wagstaff, Sean

2014-01-01

Commutative algebra, combinatorics, and algebraic geometry are thriving areas of mathematical research with a rich history of interaction. Connections Between Algebra, Combinatorics, and Geometry contains lecture notes, along with exercises and solutions, from the Workshop on Connections Between Algebra and Geometry held at the University of Regina from May 29-June 1, 2012. It also contains research and survey papers from academics invited to participate in the companion Special Session on Interactions Between Algebraic Geometry and Commutative Algebra, which was part of the CMS Summer Meeting at the University of Regina held June 2–3, 2012, and the meeting Further Connections Between Algebra and Geometry, which was held at the North Dakota State University, February 23, 2013. This volume highlights three mini-courses in the areas of commutative algebra and algebraic geometry: differential graded commutative algebra, secant varieties, and fat points and symbolic powers. It will serve as a useful resou...

Abstract algebra for physicists

International Nuclear Information System (INIS)

Zeman, J.

1975-06-01

Certain recent models of composite hadrons involve concepts and theorems from abstract algebra which are unfamiliar to most theoretical physicists. The algebraic apparatus needed for an understanding of these models is summarized here. Particular emphasis is given to algebraic structures which are not assumed to be associative. (2 figures) (auth)

Basic notions of algebra

CERN Document Server

Shafarevich, Igor Rostislavovich

2005-01-01

This book is wholeheartedly recommended to every student or user of mathematics. Although the author modestly describes his book as 'merely an attempt to talk about' algebra, he succeeds in writing an extremely original and highly informative essay on algebra and its place in modern mathematics and science. From the fields, commutative rings and groups studied in every university math course, through Lie groups and algebras to cohomology and category theory, the author shows how the origins of each algebraic concept can be related to attempts to model phenomena in physics or in other branches

Characterizations of locally C*-algebras

International Nuclear Information System (INIS)

Mohammad, N.; Somasundaram, S.

1991-08-01

We seek the generalization of the Gelfand-Naimark theorems for locally C*-algebras. Precisely, if A is a unital commutative locally C*-algebra, then it is shown that A is *-isomorphic (topologically and algebraically) to C(Δ). Further, if A is any locally C*-algebra, then it is realized as a closed *-subalgebra of some L(H) up to a topological algebraic *-isomorphism. Also, a brief exposition of the Gelfand-Naimark-Segal construction is given and some of its consequences are discussed. (author). 16 refs

Design and Implementation of Numerical Linear Algebra Algorithms on Fixed Point DSPs

Directory of Open Access Journals (Sweden)

Gene Frantz

2007-01-01

Full Text Available Numerical linear algebra algorithms use the inherent elegance of matrix formulations and are usually implemented using C/C++ floating point representation. The system implementation is faced with practical constraints because these algorithms usually need to run in real time on fixed point digital signal processors (DSPs to reduce total hardware costs. Converting the simulation model to fixed point arithmetic and then porting it to a target DSP device is a difficult and time-consuming process. In this paper, we analyze the conversion process. We transformed selected linear algebra algorithms from floating point to fixed point arithmetic, and compared real-time requirements and performance between the fixed point DSP and floating point DSP algorithm implementations. We also introduce an advanced code optimization and an implementation by DSP-specific, fixed point C code generation. By using the techniques described in the paper, speed can be increased by a factor of up to 10 compared to floating point emulation on fixed point hardware.

Galois Theory of Differential Equations, Algebraic Groups and Lie Algebras

NARCIS (Netherlands)

Put, Marius van der

1999-01-01

The Galois theory of linear differential equations is presented, including full proofs. The connection with algebraic groups and their Lie algebras is given. As an application the inverse problem of differential Galois theory is discussed. There are many exercises in the text.

Brauer algebras of type B

NARCIS (Netherlands)

Cohen, A.M.; Liu, S.

2011-01-01

For each n>0, we define an algebra having many properties that one might expect to hold for a Brauer algebra of type Bn. It is defined by means of a presentation by generators and relations. We show that this algebra is a subalgebra of the Brauer algebra of type Dn+1 and point out a cellular

A course in BE-algebras

CERN Document Server

Mukkamala, Sambasiva Rao

2018-01-01

This book presents a unified course in BE-algebras with a comprehensive introduction, general theoretical basis and several examples. It introduces the general theoretical basis of BE-algebras, adopting a credible style to offer students a conceptual understanding of the subject. BE-algebras are important tools for certain investigations in algebraic logic, because they can be considered as fragments of any propositional logic containing a logical connective implication and the constant "1", which is considered as the logical value “true”.  Primarily aimed at graduate and postgraduate students of mathematics, it also helps researchers and mathematicians to build a strong foundation in applied abstract algebra. Presenting insights into some of the abstract thinking that constitutes modern abstract algebra, it provides a transition from elementary topics to advanced topics in BE-algebras. With abundant examples and exercises arranged after each section, it offers readers a comprehensive, easy-to-follow int...

On Associative Conformal Algebras of Linear Growth

OpenAIRE

Retakh, Alexander

2000-01-01

Lie conformal algebras appear in the theory of vertex algebras. Their relation is similar to that of Lie algebras and their universal enveloping algebras. Associative conformal algebras play a role in conformal representation theory. We introduce the notions of conformal identity and unital associative conformal algebras and classify finitely generated simple unital associative conformal algebras of linear growth. These are precisely the complete algebras of conformal endomorphisms of finite ...

The Linear Span of Projections in AH Algebras and for Inclusions of C*-Algebras

Directory of Open Access Journals (Sweden)

Dinh Trung Hoa

2013-01-01

Full Text Available In the first part of this paper, we show that an AH algebra A=lim→(Ai,ϕi has the LP property if and only if every element of the centre of Ai belongs to the closure of the linear span of projections in A. As a consequence, a diagonal AH-algebra has the LP property if it has small eigenvalue variation in the sense of Bratteli and Elliott. The second contribution of this paper is that for an inclusion of unital C*-algebras P⊂A with a finite Watatani index, if a faithful conditional expectation E:A→P has the Rokhlin property in the sense of Kodaka et al., then P has the LP property under the condition thatA has the LP property. As an application, let A be a simple unital C*-algebra with the LP property, α an action of a finite group G onto Aut(A. If α has the Rokhlin property in the sense of Izumi, then the fixed point algebra AG and the crossed product algebra A ⋊α G have the LP property. We also point out that there is a symmetry on the CAR algebra such that its fixed point algebra does not have the LP property.

International Conference on Algebraic Topology

CERN Document Server

Cohen, Ralph; Miller, Haynes; Ravenel, Douglas

1989-01-01

These are proceedings of an International Conference on Algebraic Topology, held 28 July through 1 August, 1986, at Arcata, California. The conference served in part to mark the 25th anniversary of the journal Topology and 60th birthday of Edgar H. Brown. It preceded ICM 86 in Berkeley, and was conceived as a successor to the Aarhus conferences of 1978 and 1982. Some thirty papers are included in this volume, mostly at a research level. Subjects include cyclic homology, H-spaces, transformation groups, real and rational homotopy theory, acyclic manifolds, the homotopy theory of classifying spaces, instantons and loop spaces, and complex bordism.

Automorphic Lie algebras with dihedral symmetry

International Nuclear Information System (INIS)

Knibbeler, V; Lombardo, S; A Sanders, J

2014-01-01

The concept of automorphic Lie algebras arises in the context of reduction groups introduced in the early 1980s in the field of integrable systems. automorphic Lie algebras are obtained by imposing a discrete group symmetry on a current algebra of Krichever–Novikov type. Past work shows remarkable uniformity between algebras associated to different reduction groups. For example, if the base Lie algebra is sl 2 (C) and the poles of the automorphic Lie algebra are restricted to an exceptional orbit of the symmetry group, changing the reduction group does not affect the Lie algebra structure. In this research we fix the reduction group to be the dihedral group and vary the orbit of poles as well as the group action on the base Lie algebra. We find a uniform description of automorphic Lie algebras with dihedral symmetry, valid for poles at exceptional and generic orbits. (paper)

Certain number-theoretic episodes in algebra

CERN Document Server

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.

Fusion rules of chiral algebras

International Nuclear Information System (INIS)

Gaberdiel, M.

1994-01-01

Recently we showed that for the case of the WZW and the minimal models fusion can be understood as a certain ring-like tensor product of the symmetry algebra. In this paper we generalize this analysis to arbitrary chiral algebras. We define the tensor product of conformal field theory in the general case and prove that it is associative and symmetric up to equivalence. We also determine explicitly the action of the chiral algebra on this tensor product. In the second part of the paper we demonstrate that this framework provides a powerful tool for calculating restrictions for the fusion rules of chiral algebras. We exhibit this for the case of the W 3 algebra and the N=1 and N=2 NS superconformal algebras. (orig.)

Computations in finite-dimensional Lie algebras

Directory of Open Access Journals (Sweden)

A. M. Cohen

1997-12-01

Full Text Available 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 package can be found in Cohen and de Graaf[1]. Since then, in a collaborative effort with G. Ivanyos, the authors have continued to develop algorithms which were implemented in ELIAS by the second author. These activities are part of a bigger project, called ACELA and financed by STW, the Dutch Technology Foundation, which aims at an interactive book on Lie algebras (cf. Cohen and Meertens [2]. This paper gives a global description of the main ways in which to present Lie algebras on a computer. We focus on the transition from a Lie algebra abstractly given by an array of structure constants to a Lie algebra presented as a subalgebra of the Lie algebra of n×n matrices. We describe an algorithm typical of the structure analysis of a finite-dimensional Lie algebra: finding a Levi subalgebra of a Lie algebra.

Coset realization of unifying W-algebras

International Nuclear Information System (INIS)

Blumenhagen, R.; Huebel, R.

1994-06-01

We construct several quantum coset W-algebras, e.g. sl(2,R)/U(1) and sl(2,R)+sl(2,R)/sl(2,R), and argue that they are finitely nonfreely generated. Furthermore, we discuss in detail their role as unifying W-algebras of Casimir W-algebras. We show that it is possible to give coset realizations of various types of unifying W-algebras, e.g. the diagonal cosets based on the symplectic Lie algebras sp(2n) realize the unifying W-algebras which have previously been introduced as 'WD -n '. In addition, minimal models of WD -n are studied. The coset realizations provide a generalization of level-rank-duality of dual coset pairs. As further examples of finitely nonfreely generated quantum W-algebras we discuss orbifolding of W-algebras which on the quantum level has different properties than in the classical case. We demonstrate in some examples that the classical limit according to Bowcock and Watts of these nonfreely finitely generated quantum W-algebras probably yields infinitely nonfreely generated classical W-algebras. (orig.)

Algebra

CERN Document Server

Sepanski, Mark R

2010-01-01

Mark Sepanski's Algebra is a readable introduction to the delightful world of modern algebra. Beginning with concrete examples from the study of integers and modular arithmetic, the text steadily familiarizes the reader with greater levels of abstraction as it moves through the study of groups, rings, and fields. The book is equipped with over 750 exercises suitable for many levels of student ability. There are standard problems, as well as challenging exercises, that introduce students to topics not normally covered in a first course. Difficult problems are broken into manageable subproblems

Advanced Linear Algebra: A Call for the Early Introduction of Complex Numbers

Science.gov (United States)

Garcia, Stephan Ramon

2017-01-01

A second course in linear algebra that goes beyond the traditional lower-level curriculum is increasingly important for students of the mathematical sciences. Although many applications involve only real numbers, a solid understanding of complex arithmetic often sheds significant light. Many instructors are unaware of the opportunities afforded by…

Identities and derivations for Jacobian algebras

International Nuclear Information System (INIS)

Dzhumadil'daev, A.S.

2001-09-01

Constructions of n-Lie algebras by strong n-Lie-Poisson algebras are given. First cohomology groups of adjoint module of Jacobian algebras are calculated. Minimal identities of 3-Jacobian algebra are found. (author)

Situating the Debate on "Geometrical Algebra" within the Framework of Premodern Algebra.

Science.gov (United States)

Sialaros, Michalis; Christianidis, Jean

2016-06-01

Argument The aim of this paper is to employ the newly contextualized historiographical category of "premodern algebra" in order to revisit the arguably most controversial topic of the last decades in the field of Greek mathematics, namely the debate on "geometrical algebra." Within this framework, we shift focus from the discrepancy among the views expressed in the debate to some of the historiographical assumptions and methodological approaches that the opposing sides shared. Moreover, by using a series of propositions related to Elem. II.5 as a case study, we discuss Euclid's geometrical proofs, the so-called "semi-algebraic" alternative demonstrations attributed to Heron of Alexandria, as well as the solutions given by Diophantus, al-Sulamī, and al-Khwārizmī to the corresponding numerical problem. This comparative analysis offers a new reading of Heron's practice, highlights the significance of contextualizing "premodern algebra," and indicates that the origins of algebraic reasoning should be sought in the problem-solving practice, rather than in the theorem-proving tradition.

Cohomology of Effect Algebras

Directory of Open Access Journals (Sweden)

Frank Roumen

2017-01-01

Full Text Available We will define two ways to assign cohomology groups to effect algebras, which occur in the algebraic study of quantum logic. The first way is based on Connes' cyclic cohomology. The resulting cohomology groups are related to the state space of the effect algebra, and can be computed using variations on the Kunneth and Mayer-Vietoris sequences. The second way involves a chain complex of ordered abelian groups, and gives rise to a cohomological characterization of state extensions on effect algebras. This has applications to no-go theorems in quantum foundations, such as Bell's theorem.

Topology general & algebraic

CERN Document Server

Chatterjee, D

2007-01-01

About the Book: This book provides exposition of the subject both in its general and algebraic aspects. It deals with the notions of topological spaces, compactness, connectedness, completeness including metrizability and compactification, algebraic aspects of topological spaces through homotopy groups and homology groups. It begins with the basic notions of topological spaces but soon going beyond them reaches the domain of algebra through the notions of homotopy, homology and cohomology. How these approaches work in harmony is the subject matter of this book. The book finally arrives at the

Graded associative conformal algebras of finite type

OpenAIRE

Kolesnikov, Pavel

2011-01-01

In this paper, we consider graded associative conformal algebras. The class of these objects includes pseudo-algebras over non-cocommutative Hopf algebras of regular functions on some linear algebraic groups. In particular, an associative conformal algebra which is graded by a finite group $\\Gamma $ is a pseudo-algebra over the coordinate Hopf algebra of a linear algebraic group $G$ such that the identity component $G^0$ is the affine line and $G/G^0\\simeq \\Gamma $. A classification of simple...

Principles of linear algebra with Mathematica

CERN Document Server

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,

Einstein algebras and general relativity

International Nuclear Information System (INIS)

Heller, M.

1992-01-01

A purely algebraic structure called an Einstein algebra is defined in such a way that every spacetime satisfying Einstein's equations is an Einstein algebra but not vice versa. The Gelfand representation of Einstein algebras is defined, and two of its subrepresentations are discussed. One of them is equivalent to the global formulation of the standard theory of general relativity; the other one leads to a more general theory of gravitation which, in particular, includes so-called regular singularities. In order to include other types of singularities one must change to sheaves of Einstein algebras. They are defined and briefly discussed. As a test of the proposed method, the sheaf of Einstein algebras corresponding to the space-time of a straight cosmic string with quasiregular singularity is constructed. 22 refs

Resolution of the Poincare problem and nonexistence of algebraic limit cycles in family (I) of Chinese classification

International Nuclear Information System (INIS)

Chavarriga, Javier; Garcia, Isaac A.; Sorolla, Jordi

2005-01-01

Any quadratic system with limit cycles can be written in one of the three families stated by the Chinese classification. In this paper we consider family (I), i.e., x-bar =δx-y+-bar x2+mxy+ny2,y-bar =x. We show that the degree of its real irreducible invariant algebraic curves is bounded by 3. By the way, we prove that there is not any algebraic limit cycle for this family

Biderivations of W-algebra $W(2,2)$ and Virasoro algebra without skewsymmetric condition and their applications

OpenAIRE

Tang, Xiaomin

2016-01-01

In this paper, we characterize the biderivations of W-algebra $W(2,2)$ and Virasoro algebra $Vir$ without skewsymmetric condition. We get two classes of non-inner biderivations. As applications, we also get the forms of linear commuting maps on W-algebra $W(2,2)$ and Virasoro algebra $Vir$.

Evolution algebras generated by Gibbs measures

International Nuclear Information System (INIS)

Rozikov, Utkir A.; Tian, Jianjun Paul

2009-03-01

In this article we study algebraic structures of function spaces defined by graphs and state spaces equipped with Gibbs measures by associating evolution algebras. We give a constructive description of associating evolution algebras to the function spaces (cell spaces) defined by graphs and state spaces and Gibbs measure μ. For finite graphs we find some evolution subalgebras and other useful properties of the algebras. We obtain a structure theorem for evolution algebras when graphs are finite and connected. We prove that for a fixed finite graph, the function spaces have a unique algebraic structure since all evolution algebras are isomorphic to each other for whichever Gibbs measures are assigned. When graphs are infinite graphs then our construction allows a natural introduction of thermodynamics in studying of several systems of biology, physics and mathematics by theory of evolution algebras. (author)

Classical algebraic chromodynamics

International Nuclear Information System (INIS)

Adler, S.L.

1978-01-01

I develop an extension of the usual equations of SU(n) chromodynamics which permits the consistent introduction of classical, noncommuting quark source charges. The extension involves adding a singlet gluon, giving a U(n) -based theory with outer product P/sup a/(u,v) = (1/2)(d/sup a/bc + if/sup a/bc)(u/sup b/v/sup c/ - v/sup b/u/sup c/) which obeys the Jacobi identity, inner product S (u,v) = (1/2)(u/sup a/v/sup a/ + v/sup a/u/sup a/), and with the n 2 gluon fields elevated to algebraic fields over the quark color charge C* algebra. I show that provided the color charge algebra satisfies the condition S (P (u,v),w) = S (u,P (v,w)) for all elements u,v,w of the algebra, all the standard derivations of Lagrangian chromodynamics continue to hold in the algebraic chromodynamics case. I analyze in detail the color charge algebra in the two-particle (qq, qq-bar, q-barq-bar) case and show that the above consistency condition is satisfied for the following unique (and, interestingly, asymmetric) choice of quark and antiquark charges: Q/sup a//sub q/ = xi/sup a/, Q/sup a//sub q/ = xi-bar/sup a/ + delta/sup a/0(n/2)/sup 3/2/1, with xi/sup a/xi/sup b/ = (1/2)(d/sup a/bc + if/sup a/bc) xi/sup c/, xi-bar/sup a/xi-bar/sup b/ = -(1/2)(d/sup a/bc - if/sup a/bc) xi-bar/sup c/. The algebraic structure of the two-particle U(n) force problem, when expressed on an appropriately diagonalized basis, leads for all n to a classical dynamics problem involving an ordinary SU(2) Yang-Mills field with uniquely specified classical source charges which are nonparallel in the color-singlet state. An explicit calculation shows that local algebraic U(n) gauge transformations lead only to a rigid global rotation of axes in the overlying classical SU(2) problem, which implies that the relative orientations of the classical source charges have physical significance

On the classification of quantum W-algebras

International Nuclear Information System (INIS)

Bowcock, P.; Watts, G.T.M.

1992-01-01

In this paper we consider the structure of general quantum W-algebras. We introduce the notions of deformability, positive-definiteness, and reductivity of a W-algebra. We show that one can associate a reductive finite Lie algebra to each reductive W-algebra. The finite Lie algebra is also endowed with a preferred sl(2) subalgebra, which gives the conformal weights of the W-algebra. We extend this to cover W-algebras containing both bosonic and fermionic fields, and illustrate our ideas with the Poisson bracket algebras of generalised Drinfeld-Sokolov hamiltonian systems. We then discuss the possibilities of classifying deformable W-algebras which fall outside this class in the context of automorphisms of Lie algebras. In conclusion we list the cases in which the W-algebra has no weight-one fields, and further, those in which it has only one weight-two field. (orig.)

Lie-Algebras. Pt. 1

International Nuclear Information System (INIS)

Baeuerle, G.G.A.; Kerf, E.A. de

1990-01-01

The structure of the laws in physics is largely based on symmetries. This book is on Lie algebras, the mathematics of symmetry. It gives a thorough mathematical treatment of finite dimensional Lie algebras and Kac-Moody algebras. Concepts such as Cartan matrix, root system, Serre's construction are carefully introduced. Although the book can be read by an undergraduate with only an elementary knowledge of linear algebra, the book will also be of use to the experienced researcher. Experience has shown that students who followed the lectures are well-prepared to take on research in the realms of string-theory, conformal field-theory and integrable systems. 48 refs.; 66 figs.; 3 tabs

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....

The formal theory of Hopf algebras part II: the case of Hopf algebras ...

African Journals Online (AJOL)

The category HopfR of Hopf algebras over a commutative unital ring R is analyzed with respect to its categorical properties. The main results are: (1) For every ring R the category HopfR is locally presentable, it is coreflective in the category of bialgebras over R, over every R-algebra there exists a cofree Hopf algebra. (2) If ...

Macdonald index and chiral algebra

Science.gov (United States)

Song, Jaewon

2017-08-01

For any 4d N = 2 SCFT, there is a subsector described by a 2d chiral algebra. The vacuum character of the chiral algebra reproduces the Schur index of the corresponding 4d theory. The Macdonald index counts the same set of operators as the Schur index, but the former has one more fugacity than the latter. We conjecture a prescription to obtain the Macdonald index from the chiral algebra. The vacuum module admits a filtration, from which we construct an associated graded vector space. From this grading, we conjecture a notion of refined character for the vacuum module of a chiral algebra, which reproduces the Macdonald index. We test this prescription for the Argyres-Douglas theories of type ( A 1 , A 2 n ) and ( A 1 , D 2 n+1) where the chiral algebras are given by Virasoro and \\widehat{su}(2) affine Kac-Moody algebra. When the chiral algebra has more than one family of generators, our prescription requires a knowledge of the generators from the 4d.

Vertex algebras and mirror symmetry

International Nuclear Information System (INIS)

Borisov, L.A.

2001-01-01

Mirror Symmetry for Calabi-Yau hypersurfaces in toric varieties is by now well established. However, previous approaches to it did not uncover the underlying reason for mirror varieties to be mirror. We are able to calculate explicitly vertex algebras that correspond to holomorphic parts of A and B models of Calabi-Yau hypersurfaces and complete intersections in toric varieties. We establish the relation between these vertex algebras for mirror Calabi-Yau manifolds. This should eventually allow us to rewrite the whole story of toric mirror symmetry in the language of sheaves of vertex algebras. Our approach is purely algebraic and involves simple techniques from toric geometry and homological algebra, as well as some basic results of the theory of vertex algebras. Ideas of this paper may also be useful in other problems related to maps from curves to algebraic varieties.This paper could also be of interest to physicists, because it contains explicit description of holomorphic parts of A and B models of Calabi-Yau hypersurfaces and complete intersections in terms of free bosons and fermions. (orig.)

Advanced modern algebra part 2

CERN Document Server

Rotman, Joseph J

2017-01-01

This book is the second part of the new edition of Advanced Modern Algebra (the first part published as Graduate Studies in Mathematics, Volume 165). Compared to the previous edition, the material has been significantly reorganized and many sections have been rewritten. The book presents many topics mentioned in the first part in greater depth and in more detail. The five chapters of the book are devoted to group theory, representation theory, homological algebra, categories, and commutative algebra, respectively. The book can be used as a text for a second abstract algebra graduate course, as a source of additional material to a first abstract algebra graduate course, or for self-study.

A q-deformed Lorentz algebra

International Nuclear Information System (INIS)

Schmidke, W.B.; Wess, J.; Muenchen Univ.; Zumino, B.; Lawrence Berkeley Lab., CA

1991-01-01

We derive a q-deformed version of the Lorentz algebra by deformating the algebra SL(2, C). The method is based on linear representations of the algebra on the complex quantum spinor space. We find that the generators usually identified with SL q (2, C) generate SU q (2) only. Four additional generators are added which generate Lorentz boosts. The full algebra of all seven generators and their coproduct is presented. We show that in the limit q→1 the generators are those of the classical Lorentz algebra plus an additional U(1). Thus we have a deformation of SL(2, C)xU(1). (orig.)

Introduction to algebraic quantum field theory

International Nuclear Information System (INIS)

Horuzhy, S.S.

1990-01-01

This volume presents a systematic introduction to the algebraic approach to quantum field theory. The structure of the contents corresponds to the way the subject has advanced. It is shown how the algebraic approach has developed from the purely axiomatic theory of observables via superselection rules into the dynamical formalism of fields and observables. Chapter one discusses axioms and their consequences -many of which are now classical theorems- and deals, in general, with the axiomatic theory of local observable algebras. The absence of field concepts makes this theory incomplete and, in chapter two, superselection rules are shown to be the key to the reconstruction of fields from observables. Chapter three deals with the algebras of Wightman fields, first unbounded operator algebras, then Von Neumann field algebras (with a special section on wedge region algebras) and finally local algebras of free and generalised free fields. (author). 447 refs.; 4 figs

Comments on N=4 superconformal algebras

International Nuclear Information System (INIS)

Rasmussen, J.

2001-01-01

We present a new and asymmetric N=4 superconformal algebra for arbitrary central charge, thus completing our recent work on its classical analogue with vanishing central charge. Besides the Virasoro generator and 4 supercurrents, the algebra consists of an internal SU(2)xU(1) Kac-Moody algebra in addition to two spin 1/2 fermions and a bosonic scalar. The algebra is shown to be invariant under a linear twist of the generators, except for a unique value of the continuous twist parameter. At this value, the invariance is broken and the algebra collapses to the small N=4 superconformal algebra. The asymmetric N=4 superconformal algebra may be seen as induced by an affine SL(2 vertical bar 2) current superalgebra. Replacing SL(2 vertical bar 2) with the coset SL(2 vertical bar 2)/U(1), results directly in the small N=4 superconformal algebra

The theory of algebraic numbers

CERN Document Server

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.

Quantum Heisenberg groups and Sklyanin algebras

International Nuclear Information System (INIS)

Andruskiewitsch, N.; Devoto, J.; Tiraboschi, A.

1993-05-01

We define new quantizations of the Heisenberg group by introducing new quantizations in the universal enveloping algebra of its Lie algebra. Matrix coefficients of the Stone-von Neumann representation are preserved by these new multiplications on the algebra of functions on the Heisenberg group. Some of the new quantizations provide also a new multiplication in the algebra of theta functions; we obtain in this way Sklyanin algebras. (author). 23 refs

Robust algebraic image enhancement for intelligent control systems

Science.gov (United States)

Lerner, Bao-Ting; Morrelli, Michael

1993-01-01

Robust vision capability for intelligent control systems has been an elusive goal in image processing. The computationally intensive techniques a necessary for conventional image processing make real-time applications, such as object tracking and collision avoidance difficult. In order to endow an intelligent control system with the needed vision robustness, an adequate image enhancement subsystem capable of compensating for the wide variety of real-world degradations, must exist between the image capturing and the object recognition subsystems. This enhancement stage must be adaptive and must operate with consistency in the presence of both statistical and shape-based noise. To deal with this problem, we have developed an innovative algebraic approach which provides a sound mathematical framework for image representation and manipulation. Our image model provides a natural platform from which to pursue dynamic scene analysis, and its incorporation into a vision system would serve as the front-end to an intelligent control system. We have developed a unique polynomial representation of gray level imagery and applied this representation to develop polynomial operators on complex gray level scenes. This approach is highly advantageous since polynomials can be manipulated very easily, and are readily understood, thus providing a very convenient environment for image processing. Our model presents a highly structured and compact algebraic representation of grey-level images which can be viewed as fuzzy sets.

Classification of simple flexible Lie-admissible algebras

International Nuclear Information System (INIS)

Okubo, S.; Myung, H.C.

1979-01-01

Let A be a finite-dimensional flexible Lie-admissible algebra over the complex field such that A - is a simple Lie algebra. It is shown that either A is itself a Lie algebra isomorphic to A - or A - is a Lie algebra of type A/sub n/ (n greater than or equal to 2). In the latter case, A is isomorphic to the algebra defined on the space of (n + 1) x (n + 1) traceless matrices with multiplication given by x * y = μxy + (1 - μ)yx - (1/(n + 100 Tr (xy) E where μ is a fixed scalar, xy denotes the matrix operators in Lie algebras which has been studied in theoretical physics. We also discuss a broader class of Lie algebras over arbitrary field of characteristic not equal to 2, called quasi-classical, which includes semisimple as well as reductive Lie algebras. For this class of Lie algebras, we can introduce a multiplication which makes the adjoint operator space into an associative algebra. When L is a Lie algebra with nondegenerate killing form, it is shown that the adjoint operator algebra of L in the adjoint representation becomes a commutative associative algebra with unit element and its dimension is 1 or 2 if L is simple over the complex field. This is related to the known result that a Lie algebra of type A/sub n/ (n greater than or equal to 2) alone has a nonzero completely symmetric adjoint operator in the adjoint representation while all other algebras have none. Finally, Lie-admissible algebras associated with bilinear form are investigated

Quantitative Algebraic Reasoning

DEFF Research Database (Denmark)

Mardare, Radu Iulian; Panangaden, Prakash; Plotkin, Gordon

2016-01-01

We develop a quantitative analogue of equational reasoning which we call quantitative algebra. We define an equality relation indexed by rationals: a =ε b which we think of as saying that “a is approximately equal to b up to an error of ε”. We have 4 interesting examples where we have a quantitative...... equational theory whose free algebras correspond to well known structures. In each case we have finitary and continuous versions. The four cases are: Hausdorff metrics from quantitive semilattices; pWasserstein metrics (hence also the Kantorovich metric) from barycentric algebras and also from pointed...

Anyons, deformed oscillator algebras and projectors

International Nuclear Information System (INIS)

Engquist, Johan

2009-01-01

We initiate an algebraic approach to the many-anyon problem based on deformed oscillator algebras. The formalism utilizes a generalization of the deformed Heisenberg algebras underlying the operator solution of the Calogero problem. We define a many-body Hamiltonian and an angular momentum operator which are relevant for a linearized analysis in the statistical parameter ν. There exists a unique ground state and, in spite of the presence of defect lines, the anyonic weight lattices are completely connected by the application of the oscillators of the algebra. This is achieved by supplementing the oscillator algebra with a certain projector algebra.

Alternative algebraic approaches in quantum chemistry

International Nuclear Information System (INIS)

Mezey, Paul G.

2015-01-01

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

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.

Analysis of Secondary School Students’ Algebraic Thinking and Math-Talk Learning Community to Help Students Learn

Science.gov (United States)

Nurhayati, D. M.; Herman, T.; Suhendra, S.

2017-09-01

This study aims to determine the difficulties of algebraic thinking ability of students in one of secondary school on quadrilateral subject and to describe Math-Talk Learning Community as the alternative way that can be done to overcome the difficulties of the students’ algebraic thinking ability. Research conducted by using quantitative approach with descriptive method. The population in this research was all students of that school and twenty three students as the sample that was chosen by purposive sampling technique. Data of algebraic thinking were collected through essay test. The results showed the percentage of achievement of students’ algebraic thinking’s indicators on three aspects: a) algebra as generalized arithmetic with the indicators (conceptually based computational strategies and estimation); b) algebra as the language of mathematics (meaning of variables, variable expressions and meaning of solution); c) algebra as a tool for functions and mathematical modelling (representing mathematical ideas using equations, tables, or words and generalizing patterns and rules in real-world contexts) is still low. It is predicted that because the secondary school students was not familiar with the abstract problem and they are still at a semi-concrete stage where the stage of cognitive development is between concrete and abstract. Based on the percentage achievement of each indicators, it can be concluded that the level of achievement of student’s mathematical communication using conventional learning is still low, so students’ algebraic thinking ability need to be improved.

On graded algebras of global dimension 3

International Nuclear Information System (INIS)

Piontkovskii, D I

2001-01-01

Assume that a graded associative algebra A over a field k is minimally presented as the quotient algebra of a free algebra F by the ideal I generated by a set f of homogeneous elements. We study the following two extensions of A: the algebra F-bar=F/I oplus I/I 2 oplus ... associated with F with respect to the I-adic filtration, and the homology algebra H of the Shafarevich complex Sh(f,F) (which is a non-commutative version of the Koszul complex). We obtain several characterizations of algebras of global dimension 3. In particular, the A-algebra H in this case is free, and the algebra F-bar is isomorphic to the quotient algebra of a free A-algebra by the ideal generated by a so-called strongly free (or inert) set

Canonical realizations of the Lie algebra sp(2n,R)

International Nuclear Information System (INIS)

Havlicek, M.; Lassner, W.

1975-01-01

The generators of the Lie algebra of the symplectic group sp(2n,R) are, rezcurently, realied by means of polynomials in the quantum canonical variables qsub(i) and psub(i), i=1,...,d(2n-d);d=1,...,n. These realisations are skew-hermitean, the Casimir operators are realised by constant multiples of identity element and they depend on d free real parameters

Unipotent and nilpotent classes in simple algebraic groups and lie algebras

CERN Document Server

Liebeck, Martin W

2012-01-01

This book concerns the theory of unipotent elements in simple algebraic groups over algebraically closed or finite fields, and nilpotent elements in the corresponding simple Lie algebras. These topics have been an important area of study for decades, with applications to representation theory, character theory, the subgroup structure of algebraic groups and finite groups, and the classification of the finite simple groups. The main focus is on obtaining full information on class representatives and centralizers of unipotent and nilpotent elements. Although there is a substantial literature on this topic, this book is the first single source where such information is presented completely in all characteristics. In addition, many of the results are new--for example, those concerning centralizers of nilpotent elements in small characteristics. Indeed, the whole approach, while using some ideas from the literature, is novel, and yields many new general and specific facts concerning the structure and embeddings of...

Elements of mathematics algebra

CERN Document Server

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...

Brauer algebra of type F4

NARCIS (Netherlands)

Liu, S.

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.

Brauer algebras of type F4

NARCIS (Netherlands)

Liu, S.

2013-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.

New examples of continuum graded Lie algebras

International Nuclear Information System (INIS)

Savel'ev, M.V.

1989-01-01

Several new examples of continuum graded Lie algebras which provide an additional elucidation of these algebras are given. Here, in particular, the Kac-Moody algebras, the algebra S 0 Diff T 2 of infinitesimal area-preserving diffeomorphisms of the torus T 2 , the Fairlie, Fletcher and Zachos sine-algebras, etc., are described as special cases of the cross product Lie algebras. 8 refs

Generalized Galilean algebras and Newtonian gravity

Science.gov (United States)

González, N.; Rubio, G.; Salgado, P.; Salgado, S.

2016-04-01

The non-relativistic versions of the generalized Poincaré algebras and generalized AdS-Lorentz algebras are obtained. These non-relativistic algebras are called, generalized Galilean algebras of type I and type II and denoted by GBn and GLn respectively. Using a generalized Inönü-Wigner contraction procedure we find that the generalized Galilean algebras of type I can be obtained from the generalized Galilean algebras type II. The S-expansion procedure allows us to find the GB5 algebra from the Newton Hooke algebra with central extension. The procedure developed in Ref. [1] allows us to show that the nonrelativistic limit of the five dimensional Einstein-Chern-Simons gravity is given by a modified version of the Poisson equation. The modification could be compatible with the effects of Dark Matter, which leads us to think that Dark Matter can be interpreted as a non-relativistic limit of Dark Energy.

Circle Maps and C*-algebras

DEFF Research Database (Denmark)

Schmidt, Thomas Lundsgaard

such a map, generalising the transformation groupoid of a local homeomorphism first introduced by Renault in \\cite{re}. We conduct a detailed study of the relationship between the dynamics of $\\phi$, the properties of these groupoids, the structure of their corresponding reduced groupoid $C^*$-algebras, and......, for certain classes of maps, the K-theory of these algebras. When the map $\\phi$ is transitive, we show that the algebras $C^*_r(\\Gamma_\\phi)$ and $C^*_r(\\Gamma_\\phi^+)$ are purely infinite and satisfy the Universal Coefficient Theorem. Furthermore, we find necessary and sufficient conditions for simplicity...... of these algebras in terms of dynamical properties of $\\phi$. We proceed to consider the situation when the algebras are non-simple, and describe the primitive ideal spectrum in this case. We prove that any irreducible representation factors through the $C^*$-algebra of the reduction of the groupoid to the orbit...

The Boolean algebra of Galois algebras

Directory of Open Access Journals (Sweden)

Lianyong Xue

2003-02-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 each g∈G, and BJg=Beg for a central idempotent eg, Ba the Boolean algebra generated by {0,eg|g∈G}, e a nonzero element in Ba, and He={g∈G|eeg=e}. Then, a monomial e is characterized, and the Galois extension Be, generated by e with Galois group He, is investigated.

Differential properties of the Zorn algebra in general relativity

International Nuclear Information System (INIS)

Oliveira, C.G.; Maia, M.D.

1977-01-01

The covariant differential properties of the split Cayley subalgebra of local quaternion tetrads is considered. Referred to this local quaternion tetrad the several geometrical objects are given in terms of Zorn-Weyl matrices. Associated to a pair of real null vectors, two-component spinor fields over the curved space and the associated Zorn-Weyl matrices are defined, which satisfy the Dirac equation written in terms of the Zorn algebra. (L.C.) [pt

Geometry of Spin: Clifford Algebraic Approach

Indian Academy of Sciences (India)

Then the various algebraic properties of Pauli matricesare studied as properties of matrix algebra. What has beenshown in this article is that Pauli matrices are a representationof Clifford algebra of spin and hence all the propertiesof Pauli matrices follow from the underlying algebra. Cliffordalgebraic approach provides a ...

Differential operators and W-algebra

International Nuclear Information System (INIS)

Vaysburd, I.; Radul, A.

1992-01-01

The connection between W-algebras and the algebra of differential operators is conjectured. The bosonized representation of the differential operator algebra with c=-2n and all the subalgebras are examined. The degenerate representations and null-state classifications for c=-2 are presented. (orig.)

Donaldson invariants in algebraic geometry

International Nuclear Information System (INIS)

Goettsche, L.

2000-01-01

In these lectures I want to give an introduction to the relation of Donaldson invariants with algebraic geometry: Donaldson invariants are differentiable invariants of smooth compact 4-manifolds X, defined via moduli spaces of anti-self-dual connections. If X is an algebraic surface, then these moduli spaces can for a suitable choice of the metric be identified with moduli spaces of stable vector bundles on X. This can be used to compute Donaldson invariants via methods of algebraic geometry and has led to a lot of activity on moduli spaces of vector bundles and coherent sheaves on algebraic surfaces. We will first recall the definition of the Donaldson invariants via gauge theory. Then we will show the relation between moduli spaces of anti-self-dual connections and moduli spaces of vector bundles on algebraic surfaces, and how this makes it possible to compute Donaldson invariants via algebraic geometry methods. Finally we concentrate on the case that the number b + of positive eigenvalues of the intersection form on the second homology of the 4-manifold is 1. In this case the Donaldson invariants depend on the metric (or in the algebraic geometric case on the polarization) via a system of walls and chambers. We will study the change of the invariants under wall-crossing, and use this in particular to compute the Donaldson invariants of rational algebraic surfaces. (author)

Exceptional structures in mathematics and physics and the role of the octonions

Energy Technology Data Exchange (ETDEWEB)

Toppan, Francesco

2003-12-15

There is a growing interest in the logical possibility that exceptional mathematical structures (exceptional Lie and super Lie algebras, the exceptional Jordan algebra, etc.) could be linked to an ultimate 'exceptional' formulation for a Theory Of Everything (TOE). The maximal division algebra of the octonions can be held as the mathematical responsible for the existence of the exceptional structures mentioned above. In this context it is quite motivating to systematically investigate the properties of octonionic spinors and the octonionic realizations of supersymmetry. In particular the M-algebra can be consistently defined for two structures only, a real structure, leading to the standard M-algebra, and an octonionic structure. The octonionic version of the M-algebra admits striking properties induced by octonionic p-forms identities. (author)

Exceptional structures in mathematics and physics and the role of the octonions

International Nuclear Information System (INIS)

Toppan, Francesco

2003-12-01

There is a growing interest in the logical possibility that exceptional mathematical structures (exceptional Lie and super Lie algebras, the exceptional Jordan algebra, etc.) could be linked to an ultimate 'exceptional' formulation for a Theory Of Everything (TOE). The maximal division algebra of the octonions can be held as the mathematical responsible for the existence of the exceptional structures mentioned above. In this context it is quite motivating to systematically investigate the properties of octonionic spinors and the octonionic realizations of supersymmetry. In particular the M-algebra can be consistently defined for two structures only, a real structure, leading to the standard M-algebra, and an octonionic structure. The octonionic version of the M-algebra admits striking properties induced by octonionic p-forms identities. (author)

Fractional supersymmetry and infinite dimensional lie algebras

International Nuclear Information System (INIS)

Rausch de Traubenberg, M.

2001-01-01

In an earlier work extensions of supersymmetry and super Lie algebras were constructed consistently starting from any representation D of any Lie algebra g. Here it is shown how infinite dimensional Lie algebras appear naturally within the framework of fractional supersymmetry. Using a differential realization of g this infinite dimensional Lie algebra, containing the Lie algebra g as a sub-algebra, is explicitly constructed

Quantum algebra of N superspace

International Nuclear Information System (INIS)

Hatcher, Nicolas; Restuccia, A.; Stephany, J.

2007-01-01

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

Z2×Z2 generalizations of 𝒩 =2 super Schrödinger algebras and their representations

Science.gov (United States)

Aizawa, N.; Segar, J.

2017-11-01

We generalize the real and chiral N =2 super Schrödinger algebras to Z2×Z2-graded Lie superalgebras. This is done by D-module presentation, and as a consequence, the D-module presentations of Z2×Z2-graded superalgebras are identical to the ones of super Schrödinger algebras. We then generalize the calculus over the Grassmann number to Z2×Z2 setting. Using it and the standard technique of Lie theory, we obtain a vector field realization of Z2×Z2-graded superalgebras. A vector field realization of the Z2×Z2 generalization of N =1 super Schrödinger algebra is also presented.

On criteria for algebraic independence of collections of functions satisfying algebraic difference relations

Directory of Open Access Journals (Sweden)

Hiroshi Ogawara

2017-01-01

Full Text Available This paper gives conditions for algebraic independence of a collection of functions satisfying a certain kind of algebraic difference relations. As applications, we show algebraic independence of two collections of special functions: (1 Vignéras' multiple gamma functions and derivatives of the gamma function, (2 the logarithmic function, \\(q\\-exponential functions and \\(q\\-polylogarithm functions. In a similar way, we give a generalization of Ostrowski's theorem.

An algebra of reversible computation.

Science.gov (United States)

Wang, Yong

2016-01-01

We design an axiomatization for reversible computation called reversible ACP (RACP). It has four extendible modules: basic reversible processes algebra, algebra of reversible communicating processes, recursion and abstraction. Just like process algebra ACP in classical computing, RACP can be treated as an axiomatization foundation for reversible computation.

On an extension of the Weil algebra

International Nuclear Information System (INIS)

Palev, Ch.

An extension of the Weil algebra Wsub(n), generated by an appropriate topology is considered. The topology is introduced in such a way that algebraic operations in Wsub(n) to be continuous. The algebraic operations in Wsub(n) are extended by a natural way to a complement, which is noted as an extended Weil algebra. It turns out that the last algebra contains isomorphically the Heisenberg group. By the same way an arbitrary enveloping algebra of a Lie group may be extended. The extended algebra will contain the initial Lie group. (S.P.)

Process algebra with timing : real time and discrete time

NARCIS (Netherlands)

Baeten, J.C.M.; Middelburg, C.A.; Bergstra, J.A.; Ponse, A.J.; Smolka, S.A.

2001-01-01

We present real time and discrete time versions of ACP with absolute timing and relative timing. The starting-point is a new real time version with absolute timing, called ACPsat, featuring urgent actions and a delay operator. The discrete time versions are conservative extensions of the discrete

Process algebra with timing: Real time and discrete time

NARCIS (Netherlands)

Baeten, J.C.M.; Middelburg, C.A.

1999-01-01

We present real time and discrete time versions of ACP with absolute timing and relative timing. The startingpoint is a new real time version with absolute timing, called ACPsat , featuring urgent actions and a delay operator. The discrete time versions are conservative extensions of the discrete

Contraction of graded su(2) algebra

International Nuclear Information System (INIS)

Patra, M.K.; Tripathy, K.C.

1989-01-01

The Inoenu-Wigner contraction scheme is extended to Lie superalgebras. The structure and representations of extended BRS algebra are obtained from contraction of the graded su(2) algebra. From cohomological consideration, we demonstrate that the graded su(2) algebra is the only superalgebra which, on contraction, yields the full BRS algebra. (orig.)

Computing algebraic transfer entropy and coupling directions via transcripts

Science.gov (United States)

Amigó, José M.; Monetti, Roberto; Graff, Beata; Graff, Grzegorz

2016-11-01

Most random processes studied in nonlinear time series analysis take values on sets endowed with a group structure, e.g., the real and rational numbers, and the integers. This fact allows to associate with each pair of group elements a third element, called their transcript, which is defined as the product of the second element in the pair times the first one. The transfer entropy of two such processes is called algebraic transfer entropy. It measures the information transferred between two coupled processes whose values belong to a group. In this paper, we show that, subject to one constraint, the algebraic transfer entropy matches the (in general, conditional) mutual information of certain transcripts with one variable less. This property has interesting practical applications, especially to the analysis of short time series. We also derive weak conditions for the 3-dimensional algebraic transfer entropy to yield the same coupling direction as the corresponding mutual information of transcripts. A related issue concerns the use of mutual information of transcripts to determine coupling directions in cases where the conditions just mentioned are not fulfilled. We checked the latter possibility in the lowest dimensional case with numerical simulations and cardiovascular data, and obtained positive results.

Atomic effect algebras with compression bases

International Nuclear Information System (INIS)

Caragheorgheopol, Dan; Tkadlec, Josef

2011-01-01

Compression base effect algebras were recently introduced by Gudder [Demonstr. Math. 39, 43 (2006)]. They generalize sequential effect algebras [Rep. Math. Phys. 49, 87 (2002)] and compressible effect algebras [Rep. Math. Phys. 54, 93 (2004)]. The present paper focuses on atomic compression base effect algebras and the consequences of atoms being foci (so-called projections) of the compressions in the compression base. Part of our work generalizes results obtained in atomic sequential effect algebras by Tkadlec [Int. J. Theor. Phys. 47, 185 (2008)]. The notion of projection-atomicity is introduced and studied, and several conditions that force a compression base effect algebra or the set of its projections to be Boolean are found. Finally, we apply some of these results to sequential effect algebras and strengthen a previously established result concerning a sufficient condition for them to be Boolean.

Operator theory, operator algebras and applications

CERN Document Server

Lebre, Amarino; Samko, Stefan; Spitkovsky, Ilya

2014-01-01

This book consists of research papers that cover the scientific areas of the International Workshop on Operator Theory, Operator Algebras and Applications, held in Lisbon in September 2012. The volume particularly focuses on (i) operator theory and harmonic analysis (singular integral operators with shifts; pseudodifferential operators, factorization of almost periodic matrix functions; inequalities; Cauchy type integrals; maximal and singular operators on generalized Orlicz-Morrey spaces; the Riesz potential operator; modification of Hadamard fractional integro-differentiation), (ii) operator algebras (invertibility in groupoid C*-algebras; inner endomorphisms of some semi group, crossed products; C*-algebras generated by mappings which have finite orbits; Folner sequences in operator algebras; arithmetic aspect of C*_r SL(2); C*-algebras of singular integral operators; algebras of operator sequences) and (iii) mathematical physics (operator approach to diffraction from polygonal-conical screens; Poisson geo...

A twisted generalization of Novikov-Poisson algebras

OpenAIRE

Yau, Donald

2010-01-01

Hom-Novikov-Poisson algebras, which are twisted generalizations of Novikov-Poisson algebras, are studied. Hom-Novikov-Poisson algebras are shown to be closed under tensor products and several kinds of twistings. Necessary and sufficient conditions are given under which Hom-Novikov-Poisson algebras give rise to Hom-Poisson algebras.

Complete ccc Boolean algebras, the order sequential topology, and a problem of von Neumann

Czech Academy of Sciences Publication Activity Database

Balcar, Bohuslav; Jech, Thomas; Pazák, Tomáš

2005-01-01

Roč. 37, č. 6 (2005), s. 885-898 ISSN 0024-6093 Institutional research plan: CEZ:AV0Z10750506; CEZ:AV0Z10190503 Keywords : Boolean algebras * Maharam submeasure * weak distributivity * independent reals Subject RIV: BA - General Mathematics Impact factor: 0.477, year: 2005

Process Algebra and Markov Chains

NARCIS (Netherlands)

Brinksma, Hendrik; Hermanns, H.; Brinksma, Hendrik; Hermanns, H.; Katoen, Joost P.

This paper surveys and relates the basic concepts of process algebra and the modelling of continuous time Markov chains. It provides basic introductions to both fields, where we also study the Markov chains from an algebraic perspective, viz. that of Markov chain algebra. We then proceed to study

Process algebra and Markov chains

NARCIS (Netherlands)

Brinksma, E.; Hermanns, H.; Brinksma, E.; Hermanns, H.; Katoen, J.P.

2001-01-01

This paper surveys and relates the basic concepts of process algebra and the modelling of continuous time Markov chains. It provides basic introductions to both fields, where we also study the Markov chains from an algebraic perspective, viz. that of Markov chain algebra. We then proceed to study

Vertex ring-indexed Lie algebras

International Nuclear Information System (INIS)

Fairlie, David; Zachos, Cosmas

2005-01-01

Infinite-dimensional Lie algebras are introduced, which are only partially graded, and are specified by indices lying on cyclotomic rings. They may be thought of as generalizations of the Onsager algebra, but unlike it, or its sl(n) generalizations, they are not subalgebras of the loop algebras associated with sl(n). In a particular interesting case associated with sl(3), their indices lie on the Eisenstein integer triangular lattice, and these algebras are expected to underlie vertex operator combinations in CFT, brane physics, and graphite monolayers

Q-systems as cluster algebras

International Nuclear Information System (INIS)

Kedem, Rinat

2008-01-01

Q-systems first appeared in the analysis of the Bethe equations for the XXX model and generalized Heisenberg spin chains (Kirillov and Reshetikhin 1987 Zap. Nauchn. Sem. Leningr. Otd. Mat. Inst. Steklov. 160 211-21, 301). Such systems are known to exist for any simple Lie algebra and many other Kac-Moody algebras. We formulate the Q-system associated with any simple, simply-laced Lie algebras g in the language of cluster algebras (Fomin and Zelevinsky 2002 J. Am. Math. Soc. 15 497-529), and discuss the relation of the polynomiality property of the solutions of the Q-system in the initial variables, which follows from the representation-theoretical interpretation, to the Laurent phenomenon in cluster algebras (Fomin and Zelevinsky 2002 Adv. Appl. Math. 28 119-44)

Waterloo Workshop on Computer Algebra

CERN Document Server

Zima, Eugene; WWCA-2016; Advances in computer algebra : in honour of Sergei Abramov's' 70th birthday

2018-01-01

This book discusses the latest advances in algorithms for symbolic summation, factorization, symbolic-numeric linear algebra and linear functional equations. It presents a collection of papers on original research topics from the Waterloo Workshop on Computer Algebra (WWCA-2016), a satellite workshop of the International Symposium on Symbolic and Algebraic Computation (ISSAC’2016), which was held at Wilfrid Laurier University (Waterloo, Ontario, Canada) on July 23–24, 2016.   This workshop and the resulting book celebrate the 70th birthday of Sergei Abramov (Dorodnicyn Computing Centre of the Russian Academy of Sciences, Moscow), whose highly regarded and inspirational contributions to symbolic methods have become a crucial benchmark of computer algebra and have been broadly adopted by many Computer Algebra systems.

The Cuntz algebra Q_N and C*-algebras of product systems

DEFF Research Database (Denmark)

Hong, Jeong Hee; Larsen, Nadia S.; Szymanski, Wojciech

2011-01-01

We consider a product system over the multiplicative group semigroup N^x of Hilbert bimodules which is implicit in work of S. Yamashita and of the second named author. We prove directly, using universal properties, that the associated Nica-Toeplitz algebra is an extension of the C*-algebra Q...

Lectures on algebraic quantum field theory and operator algebras

International Nuclear Information System (INIS)

Schroer, Bert

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)

Assessing Algebraic Solving Ability: A Theoretical Framework

Science.gov (United States)

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…

Associative and Lie deformations of Poisson algebras

OpenAIRE

Remm, Elisabeth

2011-01-01

Considering a Poisson algebra as a non associative algebra satisfying the Markl-Remm identity, we study deformations of Poisson algebras as deformations of this non associative algebra. This gives a natural interpretation of deformations which preserves the underlying associative structure and we study deformations which preserve the underlying Lie algebra.

Paragrassmann analysis and covariant quantum algebras

International Nuclear Information System (INIS)

Filippov, A.T.; Isaev, A.P.; Kurdikov, A.B.; Pyatov, P.N.

1993-01-01

This report is devoted to the consideration from the algebraic point of view the paragrassmann algebras with one and many paragrassmann generators Θ i , Θ p+1 i = 0. We construct the paragrassmann versions of the Heisenberg algebra. For the special case, this algebra is nothing but the algebra for coordinates and derivatives considered in the context of covariant differential calculus on quantum hyperplane. The parameter of deformation q in our case is (p+1)-root of unity. Our construction is nondegenerate only for even p. Taking bilinear combinations of paragrassmann derivatives and coordinates we realize generators for the covariant quantum algebras as tensor products of (p+1) x (p+1) matrices. (orig./HSI)

Many-core graph analytics using accelerated sparse linear algebra routines

Science.gov (United States)

Kozacik, Stephen; Paolini, Aaron L.; Fox, Paul; Kelmelis, Eric

2016-05-01

Graph analytics is a key component in identifying emerging trends and threats in many real-world applications. Largescale graph analytics frameworks provide a convenient and highly-scalable platform for developing algorithms to analyze large datasets. Although conceptually scalable, these techniques exhibit poor performance on modern computational hardware. Another model of graph computation has emerged that promises improved performance and scalability by using abstract linear algebra operations as the basis for graph analysis as laid out by the GraphBLAS standard. By using sparse linear algebra as the basis, existing highly efficient algorithms can be adapted to perform computations on the graph. This approach, however, is often less intuitive to graph analytics experts, who are accustomed to vertex-centric APIs such as Giraph, GraphX, and Tinkerpop. We are developing an implementation of the high-level operations supported by these APIs in terms of linear algebra operations. This implementation is be backed by many-core implementations of the fundamental GraphBLAS operations required, and offers the advantages of both the intuitive programming model of a vertex-centric API and the performance of a sparse linear algebra implementation. This technology can reduce the number of nodes required, as well as the run-time for a graph analysis problem, enabling customers to perform more complex analysis with less hardware at lower cost. All of this can be accomplished without the requirement for the customer to make any changes to their analytics code, thanks to the compatibility with existing graph APIs.

CLASSIFICATION OF 4-DIMENSIONAL GRADED ALGEBRAS

OpenAIRE

Armour, Aaron; Chen, Hui-Xiang; ZHANG, Yinhuo

2009-01-01

Let k be an algebraically closed field. The algebraic and geometric classification of finite dimensional algebras over k with ch(k) not equal 2 was initiated by Gabriel in [6], where a complete list of nonisomorphic 4-dimensional k-algebras was given and the number of irreducible components of the variety Alg(4) was discovered to be 5. The classification of 5-dimensional k-algebras was done by Mazzola in [10]. The number of irreducible components of the variety Alg(5) is 10. With the dimensio...

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...... 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...

JB*-Algebras of Topological Stable Rank 1

Directory of Open Access Journals (Sweden)

Akhlaq A. Siddiqui

2007-01-01

Full Text Available In 1976, Kaplansky introduced the class JB*-algebras which includes all C*-algebras as a proper subclass. The notion of topological stable rank 1 for C*-algebras was originally introduced by M. A. Rieffel and was extensively studied by various authors. In this paper, we extend this notion to general JB*-algebras. We show that the complex spin factors are of tsr 1 providing an example of special JBW*-algebras for which the enveloping von Neumann algebras may not be of tsr 1. In the sequel, we prove that every invertible element of a JB*-algebra is positive in certain isotope of ; if the algebra is finite-dimensional, then it is of tsr 1 and every element of is positive in some unitary isotope of . Further, it is established that extreme points of the unit ball sufficiently close to invertible elements in a JB*-algebra must be unitaries and that in any JB*-algebras of tsr 1, all extreme points of the unit ball are unitaries. In the end, we prove the coincidence between the λ-function and λu-function on invertibles in a JB*-algebra.

(Super)conformal algebra on the (super)torus

International Nuclear Information System (INIS)

Mezincescu, L.; Nepomechie, R.I.; Zachos, C.K.

1989-01-01

A generalization of the Virasoro algebra has recently been introduced by Krichever and Novikov (KN). The KN algebra describes the algebra of general conformal transformations in a basis appropriate to a genus-g Riemann surface. We examine in detail the genus-one KN algebra, and find explicit expressions for the central extension. We, further, construct explicitly the superconformal algebra of the supertorus, which yields supersymmetric generalizations of the genus-one KN algebra. A novel feature of the odd-spin-structure case is that the algebra includes a central element which is anticommuting. We comment on possible applications to string theory. (orig.)

Spin-4 extended conformal algebras

International Nuclear Information System (INIS)

Kakas, A.C.

1988-01-01

We construct spin-4 extended conformal algebras using the second hamiltonian structure of the KdV hierarchy. In the presence of a U(1) current a family of spin-4 algebras exists but the additional requirement that the spin-1 and spin-4 currents commute fixes the algebra uniquely. (orig.)

Computer algebra applications

International Nuclear Information System (INIS)

Calmet, J.

1982-01-01

A survey of applications based either on fundamental algorithms in computer algebra or on the use of a computer algebra system is presented. Recent work in biology, chemistry, physics, mathematics and computer science is discussed. In particular, applications in high energy physics (quantum electrodynamics), celestial mechanics and general relativity are reviewed. (Auth.)

Nonlinear evolution equations and solving algebraic systems: the importance of computer algebra

International Nuclear Information System (INIS)

Gerdt, V.P.; Kostov, N.A.

1989-01-01

In the present paper we study the application of computer algebra to solve the nonlinear polynomial systems which arise in investigation of nonlinear evolution equations. We consider several systems which are obtained in classification of integrable nonlinear evolution equations with uniform rank. Other polynomial systems are related with the finding of algebraic curves for finite-gap elliptic potentials of Lame type and generalizations. All systems under consideration are solved using the method based on construction of the Groebner basis for corresponding polynomial ideals. The computations have been carried out using computer algebra systems. 20 refs

Filiform Lie algebras of order 3

Science.gov (United States)

Navarro, R. M.

2014-04-01

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.

Rudiments of algebraic geometry

CERN Document Server

Jenner, WE

2017-01-01

Aimed at advanced undergraduate students of mathematics, this concise text covers the basics of algebraic geometry. Topics include affine spaces, projective spaces, rational curves, algebraic sets with group structure, more. 1963 edition.

Applications of Computer Algebra Conference

CERN Document Server

Martínez-Moro, Edgar

2017-01-01

The Applications of Computer Algebra (ACA) conference covers a wide range of topics from Coding Theory to Differential Algebra to Quantam Computing, focusing on the interactions of these and other areas with the discipline of Computer Algebra. This volume provides the latest developments in the field as well as its applications in various domains, including communications, modelling, and theoretical physics. The book will appeal to researchers and professors of computer algebra, applied mathematics, and computer science, as well as to engineers and computer scientists engaged in research and development.

Chiral algebras of class S

CERN Document Server

Beem, Christopher; Rastelli, Leonardo; van Rees, Balt C.

2015-01-01

Four-dimensional N=2 superconformal field theories have families of protected correlation functions that possess the structure of two-dimensional chiral algebras. In this paper, we explore the chiral algebras that arise in this manner in the context of theories of class S. The class S duality web implies nontrivial associativity properties for the corresponding chiral algebras, the structure of which is best summarized in the language of generalized topological quantum field theory. We make a number of conjectures regarding the chiral algebras associated to various strongly coupled fixed points.

Homotopy Theory of C*-Algebras

CERN Document Server

Ostvaer, Paul Arne

2010-01-01

Homotopy theory and C* algebras are central topics in contemporary mathematics. This book introduces a modern homotopy theory for C*-algebras. One basic idea of the setup is to merge C*-algebras and spaces studied in algebraic topology into one category comprising C*-spaces. These objects are suitable fodder for standard homotopy theoretic moves, leading to unstable and stable model structures. With the foundations in place one is led to natural definitions of invariants for C*-spaces such as homology and cohomology theories, K-theory and zeta-functions. The text is largely self-contained. It

Computational aspects of algebraic curves

CERN Document Server

Shaska, Tanush

2005-01-01

The development of new computational techniques and better computing power has made it possible to attack some classical problems of algebraic geometry. The main goal of this book is to highlight such computational techniques related to algebraic curves. The area of research in algebraic curves is receiving more interest not only from the mathematics community, but also from engineers and computer scientists, because of the importance of algebraic curves in applications including cryptography, coding theory, error-correcting codes, digital imaging, computer vision, and many more.This book cove

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.

(L,M-Fuzzy σ-Algebras

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.

Explicit field realizations of W algebras

OpenAIRE

Wei, Shao-Wen; Liu, Yu-Xiao; Zhang, Li-Jie; Ren, Ji-Rong

2009-01-01

The fact that certain non-linear $W_{2,s}$ algebras can be linearized by the inclusion of a spin-1 current can provide a simple way to realize $W_{2,s}$ algebras from linear $W_{1,2,s}$ algebras. In this paper, we first construct the explicit field realizations of linear $W_{1,2,s}$ algebras with double-scalar and double-spinor, respectively. Then, after a change of basis, the realizations of $W_{2,s}$ algebras are presented. The results show that all these realizations are Romans-type realiz...

Explicit field realizations of W algebras

International Nuclear Information System (INIS)

Wei Shaowen; Liu Yuxiao; Ren Jirong; Zhang Lijie

2009-01-01

The fact that certain nonlinear W 2,s algebras can be linearized by the inclusion of a spin-1 current can provide a simple way to realize W 2,s algebras from linear W 1,2,s algebras. In this paper, we first construct the explicit field realizations of linear W 1,2,s algebras with double scalar and double spinor, respectively. Then, after a change of basis, the realizations of W 2,s algebras are presented. The results show that all these realizations are Romans-type realizations.

Hurwitz Algebras and the Octonion Algebra

Science.gov (United States)

Burdik, Čestmir; Catto, Sultan

2018-02-01

We explore some consequences of a theory of internal symmetries for elementary particles constructed on exceptional quantum mechanical spaces based on Jordan algebra formulation that admit exceptional groups as gauge groups.

On d -Dimensional Lattice (co)sine n -Algebra

International Nuclear Information System (INIS)

Yao Shao-Kui; Zhang Chun-Hong; Zhao Wei-Zhong; Ding Lu; Liu Peng

2016-01-01

We present the (co)sine n-algebra which is indexed by the d-dimensional integer lattice. Due to the associative operators, this generalized (co)sine n-algebra is the higher order Lie algebra for the n even case. The particular cases are the d-dimensional lattice sine 3 and cosine 5-algebras with the special parameter values. We find that the corresponding d-dimensional lattice sine 3 and cosine 5-algebras are the Nambu 3-algebra and higher order Lie algebra, respectively. The limiting case of the d-dimensional lattice (co)sine n-algebra is also discussed. Moreover we construct the super sine n-algebra, which is the super higher order Lie algebra for the n even case. (paper)

Pre-Algebra Lexicon.

Science.gov (United States)

Hayden, Dunstan; Cuevas, Gilberto

The pre-algebra lexicon is a set of classroom exercises designed to teach the technical words and phrases of pre-algebra mathematics, and includes the terms most commonly found in related mathematics courses. The lexicon has three parts, each with its own introduction. The first introduces vocabulary items in three groups forming a learning…

An Arithmetic-Algebraic Work Space for the Promotion of Arithmetic and Algebraic Thinking: Triangular Numbers

Science.gov (United States)

Hitt, Fernando; Saboya, Mireille; Cortés Zavala, Carlos

2016-01-01

This paper presents an experiment that attempts to mobilise an arithmetic-algebraic way of thinking in order to articulate between arithmetic thinking and the early algebraic thinking, which is considered a prelude to algebraic thinking. In the process of building this latter way of thinking, researchers analysed pupils' spontaneous production…

n-ary algebras: a review with applications

International Nuclear Information System (INIS)

De Azcarraga, J A; Izquierdo, J M

2010-01-01

This paper reviews the properties and applications of certain n-ary generalizations of Lie algebras in a self-contained and unified way. These generalizations are algebraic structures in which the two-entry Lie bracket has been replaced by a bracket with n entries. Each type of n-ary bracket satisfies a specific characteristic identity which plays the role of the Jacobi identity for Lie algebras. Particular attention will be paid to generalized Lie algebras, which are defined by even multibrackets obtained by antisymmetrizing the associative products of its n components and that satisfy the generalized Jacobi identity, and to Filippov (or n-Lie) algebras, which are defined by fully antisymmetric n-brackets that satisfy the Filippov identity. 3-Lie algebras have surfaced recently in multi-brane theory in the context of the Bagger-Lambert-Gustavsson model. As a result, Filippov algebras will be discussed at length, including the cohomology complexes that govern their central extensions and their deformations (it turns out that Whitehead's lemma extends to all semisimple n-Lie algebras). When the skewsymmetry of the Lie or n-Lie algebra bracket is relaxed, one is led to a more general type of n-algebras, the n-Leibniz algebras. These will be discussed as well, since they underlie the cohomological properties of n-Lie algebras. The standard Poisson structure may also be extended to the n-ary case. We shall review here the even generalized Poisson structures, whose generalized Jacobi identity reproduces the pattern of the generalized Lie algebras, and the Nambu-Poisson structures, which satisfy the Filippov identity and determine Filippov algebras. Finally, the recent work of Bagger-Lambert and Gustavsson on superconformal Chern-Simons theory will be briefly discussed. Emphasis will be made on the appearance of the 3-Lie algebra structure and on why the A 4 model may be formulated in terms of an ordinary Lie algebra, and on its Nambu bracket generalization. (topical

Additive derivations on algebras of measurable operators

International Nuclear Information System (INIS)

Ayupov, Sh.A.; Kudaybergenov, K.K.

2009-08-01

Given a von Neumann algebra M we introduce the so-called central extension mix(M) of M. We show that mix(M) is a *-subalgebra in the algebra LS(M) of all locally measurable operators with respect to M, and this algebra coincides with LS(M) if and only if M does not admit type II direct summands. We prove that if M is a properly infinite von Neumann algebra then every additive derivation on the algebra mix(M) is inner. This implies that on the algebra LS(M), where M is a type I ∞ or a type III von Neumann algebra, all additive derivations are inner derivations. (author)

Families talen en algebra

NARCIS (Netherlands)

Asveld, P.R.J.

1976-01-01

Operaties op formele talen geven aanleiding tot bijbehorende operatoren op families talen. Bepaalde onderwerpen uit de algebra (universele algebra, tralies, partieel geordende monoiden) kunnen behulpzaam zijn in de studie van verzamelingen van dergelijke operatoren.

Ternary q-Virasoro-Witt Hom-Nambu-Lie algebras

International Nuclear Information System (INIS)

Ammar, F; Makhlouf, A; Silvestrov, S

2010-01-01

In this paper we construct ternary q-Virasoro-Witt algebras which q-deform the ternary Virasoro-Witt algebras constructed by Curtright, Fairlie and Zachos using su(1, 1) enveloping algebra techniques. The ternary Virasoro-Witt algebras constructed by Curtright, Fairlie and Zachos depend on a parameter and are not Nambu-Lie algebras for all but finitely many values of this parameter. For the parameter values for which the ternary Virasoro-Witt algebras are Nambu-Lie, the corresponding ternary q-Virasoro-Witt algebras constructed in this paper are also Hom-Nambu-Lie because they are obtained from the ternary Nambu-Lie algebras using the composition method. For other parameter values this composition method does not yield a Hom-Nambu-Lie algebra structure for q-Virasoro-Witt algebras. We show however, using a different construction, that the ternary Virasoro-Witt algebras of Curtright, Fairlie and Zachos, as well as the general ternary q-Virasoro-Witt algebras we construct, carry a structure of the ternary Hom-Nambu-Lie algebra for all values of the involved parameters.

Algebraic Methods to Design Signals

Science.gov (United States)

2015-08-27

to date on designing signals using algebraic and combinatorial methods. Mathematical tools from algebraic number theory, representation theory and... combinatorial objects in designing signals for communication purposes. Sequences and arrays with desirable autocorrelation properties have many...multiple access methods in mobile radio communication systems. We continue our mathematical framework based on group algebras, character theory

Assessing Elementary Algebra with STACK

Science.gov (United States)

Sangwin, Christopher J.

2007-01-01

This paper concerns computer aided assessment (CAA) of mathematics in which a computer algebra system (CAS) is used to help assess students' responses to elementary algebra questions. Using a methodology of documentary analysis, we examine what is taught in elementary algebra. The STACK CAA system, http://www.stack.bham.ac.uk/, which uses the CAS…

Homological methods, representation theory, and cluster algebras

CERN Document Server

Trepode, Sonia

2018-01-01

This text presents six mini-courses, all devoted to interactions between representation theory of algebras, homological algebra, and the new ever-expanding theory of cluster algebras. The interplay between the topics discussed in this text will continue to grow and this collection of courses stands as a partial testimony to this new development. The courses are useful for any mathematician who would like to learn more about this rapidly developing field; the primary aim is to engage graduate students and young researchers. Prerequisites include knowledge of some noncommutative algebra or homological algebra. Homological algebra has always been considered as one of the main tools in the study of finite-dimensional algebras. The strong relationship with cluster algebras is more recent and has quickly established itself as one of the important highlights of today’s mathematical landscape. This connection has been fruitful to both areas—representation theory provides a categorification of cluster algebras, wh...

From simplicial Lie algebras and hypercrossed complexes to differential graded Lie algebras via 1-jets

OpenAIRE

Jurco, Branislav

2011-01-01

Let g be a simplicial Lie algebra with Moore complex Ng of length k. Let G be the simplicial Lie group integrating g, which is simply connected in each simplicial level. We use the 1-jet of the classifying space of G to construct, starting from g, a Lie k-algebra L. The so constructed Lie k-algebra L is actually a differential graded Lie algebra. The differential and the brackets are explicitly described in terms (of a part) of the corresponding k-hypercrossed complex structure of Ng. The res...

Classification and identification of Lie algebras

CERN Document Server

Snobl, Libor

2014-01-01

The purpose of this book is to serve as a tool for researchers and practitioners who apply Lie algebras and Lie groups to solve problems arising in science and engineering. The authors address the problem of expressing a Lie algebra obtained in some arbitrary basis in a more suitable basis in which all essential features of the Lie algebra are directly visible. This includes algorithms accomplishing decomposition into a direct sum, identification of the radical and the Levi decomposition, and the computation of the nilradical and of the Casimir invariants. Examples are given for each algorithm. For low-dimensional Lie algebras this makes it possible to identify the given Lie algebra completely. The authors provide a representative list of all Lie algebras of dimension less or equal to 6 together with their important properties, including their Casimir invariants. The list is ordered in a way to make identification easy, using only basis independent properties of the Lie algebras. They also describe certain cl...

Sugawara operators for classical Lie algebras

CERN Document Server

Molev, Alexander

2018-01-01

The celebrated Schur-Weyl duality gives rise to effective ways of constructing invariant polynomials on the classical Lie algebras. The emergence of the theory of quantum groups in the 1980s brought up special matrix techniques which allowed one to extend these constructions beyond polynomial invariants and produce new families of Casimir elements for finite-dimensional Lie algebras. Sugawara operators are analogs of Casimir elements for the affine Kac-Moody algebras. The goal of this book is to describe algebraic structures associated with the affine Lie algebras, including affine vertex algebras, Yangians, and classical \\mathcal{W}-algebras, which have numerous ties with many areas of mathematics and mathematical physics, including modular forms, conformal field theory, and soliton equations. An affine version of the matrix technique is developed and used to explain the elegant constructions of Sugawara operators, which appeared in the last decade. An affine analogue of the Harish-Chandra isomorphism connec...

Filiform Lie algebras of order 3

International Nuclear Information System (INIS)

Navarro, R. M.

2014-01-01

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

Algebraic Systems and Pushdown Automata

Science.gov (United States)

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.

Ready, Set, Algebra?

Science.gov (United States)

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 dissertation,…

Block diagonalization for algebra's associated with block codes

NARCIS (Netherlands)

D. Gijswijt (Dion)

2009-01-01

htmlabstractFor 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

Grassmann, super-Kac-Moody and super-derivation algebras

International Nuclear Information System (INIS)

Frappat, L.; Ragoucy, E.; Sorba, P.

1989-05-01

We study the cyclic cocycles of degree one on the Grassmann algebra and on the super-circle with N supersymmetries (i.e. the tensor product of the algebra of functions on the circle times a Grassmann algebra with N generators). They are related to central extensions of graded loop algebras (i.e. super-Kac-Moody algebras). The corresponding algebras of super-derivations have to be compatible with the cocycle characterizing the extension; we give a general method for determining these algebras and examine in particular the cases N = 1,2,3. We also discuss their relations with the Ademollo et al. algebras, and examine the possibility of defining new kinds of super-conformal algebras, which, for N > 1, generalize the N = 1 Ramond-Neveu-Schwarz algebra

Muzzle Flash Onset: An Algebraic Criterion and Further Validation of the Muzzle Exhaust Flow Field Model

Science.gov (United States)

1983-03-01

Tic, equals to (NI/ Nic ) where Nic , defined as the net chemical production rate of i-th species, is in general the algebraic sum of terms which are...detailed analysis has shown that in preignition regions the chemical rates which make a significant contribution to any of the Nic are such that at least...Elkton Division Lab., Inc. ATTN. R. Biddle ATTN: M. Summeitield Tech Lib. 1041 US Hlighway One North P. 0. Box 241 Princeton, NJ 08540 Elkton, MD

Current algebra

International Nuclear Information System (INIS)

Jacob, M.

1967-01-01

The first three chapters of these lecture notes are devoted to generalities concerning current algebra. The weak currents are defined, and their main properties given (V-A hypothesis, conserved vector current, selection rules, partially conserved axial current,...). The SU (3) x SU (3) algebra of Gell-Mann is introduced, and the general properties of the non-leptonic weak Hamiltonian are discussed. Chapters 4 to 9 are devoted to some important applications of the algebra. First one proves the Adler- Weisberger formula, in two different ways, by either the infinite momentum frame, or the near-by singularities method. In the others chapters, the latter method is the only one used. The following topics are successively dealt with: semi leptonic decays of K mesons and hyperons, Kroll- Ruderman theorem, non leptonic decays of K mesons and hyperons ( ΔI = 1/2 rule), low energy theorems concerning processes with emission (or absorption) of a pion or a photon, super-convergence sum rules, and finally, neutrino reactions. (author) [fr

Linear algebra

CERN Document Server

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

A type of loop algebra and the associated loop algebras

International Nuclear Information System (INIS)

Tam Honwah; Zhang Yufeng

2008-01-01

A higher-dimensional twisted loop algebra is constructed. As its application, a new Lax pair is presented, whose compatibility gives rise to a Liouville integrable hierarchy of evolution equations by making use of Tu scheme. One of the reduction cases of the hierarchy is an analogous of the well-known AKNS system. Next, the twisted loop algebra, furthermore, is extended to another higher dimensional loop algebra, from which a hierarchy of evolution equations with 11-potential component functions is obtained, whose reduction is just standard AKNS system. Especially, we prove that an arbitrary linear combination of the four Hamiltonian operators directly obtained from the recurrence relations is still a Hamiltonian operator. Therefore, the hierarchy with 11-potential functions possesses 4-Hamiltonian structures. Finally, an integrable coupling of the hierarchy is worked out

Direct estimation of elements of quantum states algebra and entanglement detection via linear contractions

International Nuclear Information System (INIS)

Horodecki, Pawel

2003-01-01

Possibility of some nonlinear-like operations in quantum mechanics are studied. Some general formula for real linear maps are derived. With the results we show how to perform physically separability tests based on any linear contraction (on product states) that either is real or Hermitian. We also show how to estimate either product or linear combinations of quantum states without knowledge about the states themselves. This can be viewed as a sort of quantum computing on quantum states algebra

Spin-zero mesons and current algebras

International Nuclear Information System (INIS)

Wellner, M.

1977-01-01

Large chiral algebras, using the f and d coefficients of SU(3) can be constructed with spin-1/2 baryons. Such algebras have been found useful in some previous investigations. This article examines under what conditions similar or identical current algebras may be realized with spin-0 mesons. A curious lack of analogy emerges between meson and baryon currents. Second-class currents, made of mesons, are required in some algebras. If meson and baryon currents are to satisfy the same extended SU(3) algebra, four meson nonets are needed, in terms of which we give an explicit construction for the currents

Chiral algebras for trinion theories

International Nuclear Information System (INIS)

Lemos, Madalena; Peelaers, Wolfger

2015-01-01

It was recently understood that one can identify a chiral algebra in any four-dimensional N=2 superconformal theory. In this note, we conjecture the full set of generators of the chiral algebras associated with the T n theories. The conjecture is motivated by making manifest the critical affine module structure in the graded partition function of the chiral algebras, which is computed by the Schur limit of the superconformal index for T n theories. We also explicitly construct the chiral algebra arising from the T 4 theory. Its null relations give rise to new T 4 Higgs branch chiral ring relations.

The $W_{3}$ algebra modules, semi-infinite cohomology and BV algebras

CERN Document Server

Bouwknegt, Peter; Pilch, Krzysztof

1996-01-01

The noncritical D=4 W_3 string is a model of W_3 gravity coupled to two free scalar fields. In this paper we discuss its BRST quantization in direct analogy with that of the D=2 (Virasoro) string. In particular, we calculate the physical spectrum as a problem in BRST cohomology. The corresponding operator cohomology forms a BV-algebra. We model this BV-algebra on that of the polyderivations of a commutative ring on six variables with a quadratic constraint, or equivalently, on the BV-algebra of (polynomial) polyvector fields on the base affine space of SL(3,C). In this paper we attempt to present a complete summary of the progress made in these studies. [...

Normed algebras and the geometric series test

Directory of Open Access Journals (Sweden)

Robert Kantrowitz

2017-11-01

Full Text Available The purpose of this article is to survey a class of normed algebras that share many central features of Banach algebras, save for completeness. The likeness of these algebras to Banach algebras derives from the fact that the geometric series test is valid, whereas the lack of completeness points to the failure of the absolute convergence test for series in the algebra. Our main result is a compendium of conditions that are all equivalent to the validity of the geometric series test for commutative unital normed algebras. Several examples in the final section showcase some incomplete normed algebras for which the geometric series test is valid, and still others for which it is not.

Representations of affine Hecke algebras

CERN Document Server

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

A modal characterization of Peirce algebras

NARCIS (Netherlands)

M. de Rijke (Maarten)

1995-01-01

textabstractPeirce algebras combine sets, relations and various operations linking the two in a unifying setting.This note offers a modal perspective on Peirce algebras.It uses modal logic to characterize the full Peirce algebras.

On δ-derivations of n-ary algebras

International Nuclear Information System (INIS)

Kaygorodov, Ivan B

2012-01-01

We give a description of δ-derivations of (n+1)-dimensional n-ary Filippov algebras and, as a consequence, of simple finite-dimensional Filippov algebras over an algebraically closed field of characteristic zero. We also give new examples of non-trivial δ-derivations of Filippov algebras and show that there are no non-trivial δ-derivations of the simple ternary Mal'tsev algebra M 8 .

Algebras of functions on compact quantum groups, Schubert cells and quantum tori

International Nuclear Information System (INIS)

Levendorskij, S.; Soibelman, Ya.

1991-01-01

The structure of Poisson Lie groups on a simple compact group are parametrized by pairs (a, u), where aelement ofR, uelement ofΛ 2 f R , and f R is a real Cartan subalgebra of complexification of Lie algebra of the group in question. In the present article the description of the symplectic leaves for all pairs (a, u) is given. Also, the corresponding quantized algebras of functions are constructed and their irreducible representations are described. In the course of investigation Schubert cells and quantum tori appear. At the end of the article the quantum analog of the Weyl group is constructed and some of its applications, among them the formula for the universal R-matrix, are given. (orig.)

Clifford algebra in finite quantum field theories

International Nuclear Information System (INIS)

Moser, M.

1997-12-01

We consider the most general power counting renormalizable and gauge invariant Lagrangean density L invariant with respect to some non-Abelian, compact, and semisimple gauge group G. The particle content of this quantum field theory consists of gauge vector bosons, real scalar bosons, fermions, and ghost fields. We assume that the ultimate grand unified theory needs no cutoff. This yields so-called finiteness conditions, resulting from the demand for finite physical quantities calculated by the bare Lagrangean. In lower loop order, necessary conditions for finiteness are thus vanishing beta functions for dimensionless couplings. The complexity of the finiteness conditions for a general quantum field theory makes the discussion of non-supersymmetric theories rather cumbersome. Recently, the F = 1 class of finite quantum field theories has been proposed embracing all supersymmetric theories. A special type of F = 1 theories proposed turns out to have Yukawa couplings which are equivalent to generators of a Clifford algebra representation. These algebraic structures are remarkable all the more than in the context of a well-known conjecture which states that finiteness is maybe related to global symmetries (such as supersymmetry) of the Lagrangean density. We can prove that supersymmetric theories can never be of this Clifford-type. It turns out that these Clifford algebra representations found recently are a consequence of certain invariances of the finiteness conditions resulting from a vanishing of the renormalization group β-function for the Yukawa couplings. We are able to exclude almost all such Clifford-like theories. (author)

Cluster algebras in mathematical physics

International Nuclear Information System (INIS)

Francesco, Philippe Di; Gekhtman, Michael; Kuniba, Atsuo; Yamazaki, Masahito

2014-01-01

This special issue of Journal of Physics A: Mathematical and Theoretical contains reviews and original research articles on cluster algebras and their applications to mathematical physics. Cluster algebras were introduced by S Fomin and A Zelevinsky around 2000 as a tool for studying total positivity and dual canonical bases in Lie theory. Since then the theory has found diverse applications in mathematics and mathematical physics. Cluster algebras are axiomatically defined commutative rings equipped with a distinguished set of generators (cluster variables) subdivided into overlapping subsets (clusters) of the same cardinality subject to certain polynomial relations. A cluster algebra of rank n can be viewed as a subring of the field of rational functions in n variables. Rather than being presented, at the outset, by a complete set of generators and relations, it is constructed from the initial seed via an iterative procedure called mutation producing new seeds successively to generate the whole algebra. A seed consists of an n-tuple of rational functions called cluster variables and an exchange matrix controlling the mutation. Relations of cluster algebra type can be observed in many areas of mathematics (Plücker and Ptolemy relations, Stokes curves and wall-crossing phenomena, Feynman integrals, Somos sequences and Hirota equations to name just a few examples). The cluster variables enjoy a remarkable combinatorial pattern; in particular, they exhibit the Laurent phenomenon: they are expressed as Laurent polynomials rather than more general rational functions in terms of the cluster variables in any seed. These characteristic features are often referred to as the cluster algebra structure. In the last decade, it became apparent that cluster structures are ubiquitous in mathematical physics. Examples include supersymmetric gauge theories, Poisson geometry, integrable systems, statistical mechanics, fusion products in infinite dimensional algebras, dilogarithm

The central extensions of Kac-Moody-Malcev algebras

International Nuclear Information System (INIS)

Osipov, E.P.

1989-01-01

The authors introduce a class of infinite-dimensional Kac-Moody-Malcev algebras. The Kac-Moody-Malcev algebras are the generalization of Lie algebras of Kac-Moody type to the Malcev algebras. They demonstrate that the central extensions of Kac-Moody-Malcev algebras are given by the same cocycles as in the case of Lie algebras. It is given a construction of Virasoro algebra in terms of bilinear combinations of currents satisfying the Kac-Moody-Malcev commutation relations. Thus, it is given the generalization of the Sugawara Construction to the case of Kac-Moody-Malcev algebras. Analogues of Kac-Moody-Malcev algebras may be also introduced in the case of arbitrary Riemann surface

The homogeneous geometries of real hyperbolic space

DEFF Research Database (Denmark)

Castrillón López, Marco; Gadea, Pedro Martínez; Swann, Andrew Francis

We describe the holonomy algebras of all canonical connections of homogeneous structures on real hyperbolic spaces in all dimensions. The structural results obtained then lead to a determination of the types, in the sense of Tricerri and Vanhecke, of the corresponding homogeneous tensors. We use...... our analysis to show that the moduli space of homogeneous structures on real hyperbolic space has two connected components....

Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes

NARCIS (Netherlands)

Cloth, L.; de Alfaro, L.; Gilmore, S.; Bohnenkamp, H.C.; Haverkort, Boudewijn R.H.M.

2001-01-01

In this paper, the concept of complete finite prefixes for process algebra expressions is extended to stochastic models. Events are supposed to happen after a delay that is determined by random variables assigned to the preceding conditions. Max-plus algebra expressions are shown to provide an

The structure of relation algebras generated by relativizations

CERN Document Server

Givant, Steven R

1994-01-01

The foundation for an algebraic theory of binary relations was laid by De Morgan, Peirce, and Schröder during the second half of the nineteenth century. Modern development of the subject as a theory of abstract algebras, called "relation algebras", was undertaken by Tarski and his students. This book aims to analyze the structure of relation algebras that are generated by relativized subalgebras. As examples of their potential for applications, the main results are used to establish representation theorems for classes of relation algebras and to prove existence and uniqueness theorems for simple closures (i.e., for minimal simple algebras containing a given family of relation algebras as relativized subalgebras). This book is well written and accessible to those who are not specialists in this area. In particular, it contains two introductory chapters on the arithmetic and the algebraic theory of relation algebras. This book is suitable for use in graduate courses on algebras of binary relations or algebraic...

Linear-Algebra Programs

Science.gov (United States)

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.

P-commutative topological *-algebras

International Nuclear Information System (INIS)

Mohammad, N.; Thaheem, A.B.

1991-07-01

If P(A) denotes the set of all continuous positive functionals on a unital complete Imc *-algebra and S(A) the extreme points of P(A), and if the spectrum of an element χ Ε A coincides with the set {f(χ): f Ε S(A)}, then A is shown to be P-commutative. Moreover, if A is unital symmetric Frechet Q Imc *-algebra, then this spectral condition is, in fact, necessary. Also, an isomorphism theorem between symmetric Frechet P-commutative Imc *-algebras is established. (author). 12 refs

Matrices and linear algebra

CERN Document Server

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

Generalized NLS hierarchies from rational W algebras

International Nuclear Information System (INIS)

Toppan, F.

1993-11-01

Finite rational W algebras are very natural structures appearing in coset constructions when a Kac-Moody subalgebra is factored out. The problem of relating these algebras to integrable hierarchies of equations is studied by showing how to associate to a rational W algebra its corresponding hierarchy. Two examples are worked out, the sl(2)/U(1) coset, leading to the Non-Linear Schroedinger hierarchy, and the U(1) coset of the Polyakov-Bershadsky W algebra, leading to a 3-field representation of the KP hierarchy already encountered in the literature. In such examples a rational algebra appears as algebra of constraints when reducing a KP hierarchy to a finite field representation. This fact arises the natural question whether rational algebras are always associated to such reductions and whether a classification of rational algebras can lead to a classification of the integrable hierarchies. (author). 19 refs

Some Aspects of -Units in BCK-Algebras

Directory of Open Access Journals (Sweden)

Hee Sik Kim

2012-01-01

Full Text Available We explore properties of the set of d-units of a -algebra. A property of interest in the study of -units in -algebras is the weak associative property. It is noted that many other -algebras, especially -algebras, are in fact weakly associative. The existence of -algebras which are not weakly associative is demonstrated. Moreover, the notions of a -integral domain and a left-injectivity are discussed.

A basic course in real analysis

CERN Document Server

Kumar, Ajit

2014-01-01

Real Number SystemAlgebra of the Real Number System Upper and Lower Bounds LUB Property and Its Applications Absolute Value and Triangle Inequality Sequences and Their Convergence Sequences and Their Convergence Cauchy Sequences Monotone Sequences Sandwich Lemma Some Important Limits Sequences Diverging to Subsequences Sequences Defined Recursively Continuity Continuous Functions Definition of Continuity Intermediate Value Theorem .Extreme Value Theorem Monotone Functions Limits Uniform Continuity Continuous Extensions Differentiation Differentiability of Functions Mean Value Theorems L'Hospit

A novel technique to solve nonlinear higher-index Hessenberg differential-algebraic equations by Adomian decomposition method.

Science.gov (United States)

Benhammouda, Brahim

2016-01-01

Since 1980, the Adomian decomposition method (ADM) has been extensively used as a simple powerful tool that applies directly to solve different kinds of nonlinear equations including functional, differential, integro-differential and algebraic equations. However, for differential-algebraic equations (DAEs) the ADM is applied only in four earlier works. There, the DAEs are first pre-processed by some transformations like index reductions before applying the ADM. The drawback of such transformations is that they can involve complex algorithms, can be computationally expensive and may lead to non-physical solutions. The purpose of this paper is to propose a novel technique that applies the ADM directly to solve a class of nonlinear higher-index Hessenberg DAEs systems efficiently. The main advantage of this technique is that; firstly it avoids complex transformations like index reductions and leads to a simple general algorithm. Secondly, it reduces the computational work by solving only linear algebraic systems with a constant coefficient matrix at each iteration, except for the first iteration where the algebraic system is nonlinear (if the DAE is nonlinear with respect to the algebraic variable). To demonstrate the effectiveness of the proposed technique, we apply it to a nonlinear index-three Hessenberg DAEs system with nonlinear algebraic constraints. This technique is straightforward and can be programmed in Maple or Mathematica to simulate real application problems.

Bases in Lie and quantum algebras

International Nuclear Information System (INIS)

Ballesteros, A; Celeghini, E; Olmo, M A del

2008-01-01

Applications of algebras in physics are related to the connection of measurable observables to relevant elements of the algebras, usually the generators. However, in the determination of the generators in Lie algebras there is place for some arbitrary conventions. The situation is much more involved in the context of quantum algebras, where inside the quantum universal enveloping algebra, we have not enough primitive elements that allow for a privileged set of generators and all basic sets are equivalent. In this paper we discuss how the Drinfeld double structure underlying every simple Lie bialgebra characterizes uniquely a particular basis without any freedom, completing the Cartan program on simple algebras. By means of a perturbative construction, a distinguished deformed basis (we call it the analytical basis) is obtained for every quantum group as the analytical prolongation of the above defined Lie basis of the corresponding Lie bialgebra. It turns out that the whole construction is unique, so to each quantum universal enveloping algebra is associated one and only one bialgebra. In this way the problem of the classification of quantum algebras is moved to the classification of bialgebras. In order to make this procedure more clear, we discuss in detail the simple cases of su(2) and su q (2).

Algebraic dynamics solutions and algebraic dynamics algorithm for nonlinear partial differential evolution equations of dynamical systems

Institute of Scientific and Technical Information of China (English)

2008-01-01

Using functional derivative technique in quantum field theory, the algebraic dy-namics approach for solution of ordinary differential evolution equations was gen-eralized to treat partial differential evolution equations. The partial differential evo-lution equations were lifted to the corresponding functional partial differential equations in functional space by introducing the time translation operator. The functional partial differential evolution equations were solved by algebraic dynam-ics. The algebraic dynamics solutions are analytical in Taylor series in terms of both initial functions and time. Based on the exact analytical solutions, a new nu-merical algorithm—algebraic dynamics algorithm was proposed for partial differ-ential evolution equations. The difficulty of and the way out for the algorithm were discussed. The application of the approach to and computer numerical experi-ments on the nonlinear Burgers equation and meteorological advection equation indicate that the algebraic dynamics approach and algebraic dynamics algorithm are effective to the solution of nonlinear partial differential evolution equations both analytically and numerically.

On Deformations and Contractions of Lie Algebras

Directory of Open Access Journals (Sweden)

Marc de Montigny

2006-05-01

Full Text Available In this contributed presentation, we discuss and compare the mutually opposite procedures of deformations and contractions of Lie algebras. We suggest that with appropriate combinations of both procedures one may construct new Lie algebras. We first discuss low-dimensional Lie algebras and illustrate thereby that whereas for every contraction there exists a reverse deformation, the converse is not true in general. Also we note that some Lie algebras belonging to parameterized families are singled out by the irreversibility of deformations and contractions. After reminding that global deformations of the Witt, Virasoro, and affine Kac-Moody algebras allow one to retrieve Lie algebras of Krichever-Novikov type, we contract the latter to find new infinite dimensional Lie algebras.

Algebraic Description of Motion

Science.gov (United States)

Davidon, William C.

1974-01-01

An algebraic definition of time differentiation is presented and used to relate independent measurements of position and velocity. With this, students can grasp certain essential physical, geometric, and algebraic properties of motion and differentiation before undertaking the study of limits. (Author)

The Casimir Effect from the Point of View of Algebraic Quantum Field Theory

Energy Technology Data Exchange (ETDEWEB)

Dappiaggi, Claudio, E-mail: claudio.dappiaggi@unipv.it; Nosari, Gabriele [Università degli Studi di Pavia, Dipartimento di Fisica (Italy); Pinamonti, Nicola [Università di Genova, Dipartimento di Matematica (Italy)

2016-06-15

We consider a region of Minkowski spacetime bounded either by one or by two parallel, infinitely extended plates orthogonal to a spatial direction and a real Klein-Gordon field satisfying Dirichlet boundary conditions. We quantize these two systems within the algebraic approach to quantum field theory using the so-called functional formalism. As a first step we construct a suitable unital ∗-algebra of observables whose generating functionals are characterized by a labelling space which is at the same time optimal and separating and fulfils the F-locality property. Subsequently we give a definition for these systems of Hadamard states and we investigate explicit examples. In the case of a single plate, it turns out that one can build algebraic states via a pull-back of those on the whole Minkowski spacetime, moreover inheriting from them the Hadamard property. When we consider instead two plates, algebraic states can be put in correspondence with those on flat spacetime via the so-called method of images, which we translate to the algebraic setting. For a massless scalar field we show that this procedure works perfectly for a large class of quasi-free states including the Poincaré vacuum and KMS states. Eventually Wick polynomials are introduced. Contrary to the Minkowski case, the extended algebras, built in globally hyperbolic subregions can be collected in a global counterpart only after a suitable deformation which is expressed locally in terms of a *-isomorphism. As a last step, we construct explicitly the two-point function and the regularized energy density, showing, moreover, that the outcome is consistent with the standard results of the Casimir effect.

Deformation of the exterior algebra and the GLq (r, included in) algebra

International Nuclear Information System (INIS)

El Hassouni, A.; Hassouni, Y.; Zakkari, M.

1993-06-01

The deformation of the associative algebra of exterior forms is performed. This operation leads to a Y.B. equation. Its relation with the braid group B n-1 is analyzed. The correspondence of this deformation with the GL q (r, included in) algebra is developed. (author). 9 refs

The Universal Askey-Wilson Algebra

Directory of Open Access Journals (Sweden)

Paul Terwilliger

2011-07-01

Full Text Available In 1992 A. Zhedanov introduced the Askey-Wilson algebra AW=AW(3 and used it to describe the Askey-Wilson polynomials. In this paper we introduce a central extension Δ of AW, obtained from AW by reinterpreting certain parameters as central elements in the algebra. We call Δ the universal Askey-Wilson algebra. We give a faithful action of the modular group PSL_2(Z on Δ as a group of automorphisms. We give a linear basis for Δ. We describe the center of Δ and the 2-sided ideal Δ[Δ,Δ]Δ. We discuss how Δ is related to the q-Onsager algebra.

Linear algebra

CERN Document Server

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

Lie algebras

CERN Document Server

Jacobson, Nathan

1979-01-01

Lie group theory, developed by M. Sophus Lie in the 19th century, ranks among the more important developments in modern mathematics. Lie algebras comprise a significant part of Lie group theory and are being actively studied today. This book, by Professor Nathan Jacobson of Yale, is the definitive treatment of the subject and can be used as a textbook for graduate courses.Chapter I introduces basic concepts that are necessary for an understanding of structure theory, while the following three chapters present the theory itself: solvable and nilpotent Lie algebras, Carlan's criterion and its

Basic algebra

CERN Document Server

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

Feature-Oriented Programming with Object Algebras

NARCIS (Netherlands)

B.C.d.S. Oliveira (Bruno); T. van der Storm (Tijs); A. Loh; W.R. Cook

2013-01-01

htmlabstractObject 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 defining modular features, the composition mechanisms for object algebras (and features) are still