WorldWideScience

Sample records for algebraic currents

  1. Generalized Quantum Current Algebras

    Institute of Scientific and Technical Information of China (English)

    ZHAO Liu

    2001-01-01

    Two general families of new quantum-deformed current algebras are proposed and identified both as infinite Hopf family of algebras, a structure which enables one to define "tensor products" of these algebras. The standard quantum affine algebras turn out to be a very special case of the two algebra families, in which case the infinite Hopf family structure degenerates into a standard Hopf algebra. The relationship between the two algebraic families as well as thefr various special examples are discussed, and the free boson representation is also considered.

  2. Representations of twisted current algebras

    OpenAIRE

    Lau, Michael

    2013-01-01

    We use evaluation representations to give a complete classification of the finite-dimensional simple modules of twisted current algebras. This generalizes and unifies recent work on multiloop algebras, current algebras, equivariant map algebras, and twisted forms.

  3. Light Cone Current Algebra

    OpenAIRE

    Fritzsch, H.; Gell-Mann, M.

    2003-01-01

    This talk follows by a few months a talk by the same authors on nearly the same subject at the Coral Gables Conference. The ideas presented here are basically the same, but with some amplification, some change of viewpoint, and a number of new questions for the future. For our own convenience, we have transcribed the Coral Gables paper, but with an added ninth section, entitled "Problems of light cone current algebra", dealing with our present views and emphasizing research topics that requir...

  4. Light Cone Current Algebra

    CERN Document Server

    Fritzsch, Harald

    2003-01-01

    This talk follows by a few months a talk by the same authors on nearly the same subject at the Coral Gables Conference. The ideas presented here are basically the same, but with some amplification, some change of viewpoint, and a number of new questions for the future. For our own convenience, we have transcribed the Coral Gables paper, but with an added ninth section, entitled "Problems of light cone current algebra", dealing with our present views and emphasizing research topics that require study.

  5. Current algebra; Algebre des courants

    Energy Technology Data Exchange (ETDEWEB)

    Jacob, M. [Commissariat a l' Energie Atomique, Saclay (France). Centre d' Etudes Nucleaires

    1967-07-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 ( {delta}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) [French] La premiere partie de ce cours (trois premiers chapitres), traite des generalites concernant l'algebre de courants. Apres une definition rapide des courants faibles et un rappel de leurs proprietes (hypothese V-A, conservation du courant vecteur, regles de selection, courant axial partiellement conserve,...), l'on introduit l'algebre de Gell-Mann SU (3) x SU (3), et discute les proprietes generales de l'Hamiltonien faible non leptonique. Les chapitres IV a IX sont consacres a des applications importantes de l'algebre des courants. En premier lieu l'on demontre la formule de Adler et Weisberger, par deux methodes differentes, celle dite du repere de moment infini et celle des singularites proches. Cette derniere est seule utilisee dans la suite. Puis, l'on traite successivement les problemes suivants: desintegrations semi-leptoniques des mesons K et des hyperons, theoreme de Kroll

  6. BGG reciprocity for current algebras

    CERN Document Server

    Bennett, Matthew; Manning, Nathan

    2011-01-01

    We study the category $\\cal I_{\\gr}$ of graded representations with finite--dimensional graded pieces for the current algebra $\\lie g\\otimes\\bc[t]$ where $\\lie g$ is a simple Lie algebra. This category has many similarities with the category $\\cal O$ of modules for $\\lie g$ and in this paper, we formulate and study an analogue of the famous BGG duality. We recall the definition of the projective and simple objects in $\\cal I_{\\gr}$ which are indexed by dominant integral weights. The role of the Verma modules is played by a family of modules called the global Weyl modules. We show that in the case when $\\lie g$ is of type $\\lie{sl}_2$, the projective module admits a flag in which the successive quotients are finite direct sums of global Weyl modules. The multiplicity with which a particular Weyl module occurs in the flag is determined by the multiplicity of a Jordan--Holder series for a closely associated family of modules, called the local Weyl modules. We conjecture that the result remains true for arbitrary...

  7. On the Early History of Current Algebra

    OpenAIRE

    Pietschmann, Herbert.

    2011-01-01

    The history of Current Algebra is reviewed up to the appearance of the Adler-Weisberger sum rule. Particular emphasis is given to the role current algebra played for the historical struggle in strong interaction physics of elementary particles between the S-matrix approach based on dispersion relations and field theory. The question whether there are fundamental particles or all hadrons are bound or resonant states of one another played an important role in this struggle and is thus also rega...

  8. The early history of current Algebra

    Science.gov (United States)

    Pietschmann, Herbert

    2011-07-01

    The history of Current Algebra is reviewed up to the appearance of the Adler-Weisberger sum rule. Particular emphasis is given to the role of current algebra in the historical struggle in strong interaction physics of elementary particles between field theory and the S-matrix approach based on dispersion relations. The question as to whether some particles are truly fundamental or all hadrons are bound or resonant states of one another played an important role in this struggle and is thus also regarded.

  9. Note on the Algebra of Screening Currents for the Quantum Deformed W-Algebra

    OpenAIRE

    Zhao, Liu; Hou, Bo-Yu

    1997-01-01

    With slight modifications in the zero modes contributions, the positive and negative screening currents for the quantum deformed W-algebra W_{q,p}(g) can be put together to form a single algebra which can be regarded as an elliptic deformation of the universal enveloping algebra of \\hat{g}, where g is any classical simply-laced Lie algebra.

  10. Fusion Rules for Extended Current Algebras

    OpenAIRE

    Baver, Ernest; Gepner, Doron

    1996-01-01

    The initial classification of fusion rules have shown that rational conformal field theory is very limited. In this paper we study the fusion rules of extend ed current algebras. Explicit formulas are given for the S matrix and the fusion rules, based on the full splitting of the fixed point fields. We find that in s ome cases sensible fusion rules are obtained, while in others this procedure lea ds to fractional fusion constants.

  11. Bosonization and current algebra of spinning strings

    Science.gov (United States)

    Stern, A.

    1996-02-01

    We write down a general geometric action principle for spinning strings in d-dimensional Minkowski space, which is formulated without the use of Grassmann coordinates. Instead, it is constructed in terms of the pull-back of a left invariant Maurer-Cartan form on the d-dimensional Poincaré group to the world-sheet. The system contains some interesting special cases. Among them are the Nambu string (as well as, null and tachyonic strings) where the spin vanishes, and also the case of a string with a spin current—but no momentum current. We find the general form for the Virasoro generators, and show that they are first class constraints in the Hamiltonian formulation of the theory. The current algebra associated with the momentum and angular momentum densities are shown, in general, to contain rather complicated anomaly terms which obstruct quantization. As expected, the anomalies vanish when one specializes to the case of the Nambu string, and there one simply recovers the algebra associated with the Poincaré loop group. We speculate that there exist other cases where the anomalies vanish, and that these cases give the bosonization of the known pseudoclassical formulations of spinning strings.

  12. Bounded Algebra and Current-Mode Digital Circuits

    Institute of Scientific and Technical Information of China (English)

    WU Xunwei; Massoud Pedram

    1999-01-01

    This paper proposes two boundedarithmetic operations, which are easily realized with current signals.Based on these two operations, a bounded algebra system suitable fordescribing current-mode digital circuits is developed and itsrelationship with the Boolean algebra, which is suitable for representingvoltage-mode digital circuits, is investigated. Design procedure forcurrent-mode circuits using the proposed algebra system is demonstratedon a number of common circuit elements which are used to realizearithmetic operations, such as adders and multipliers.

  13. Operator algebra of free conformal currents via twistors

    Energy Technology Data Exchange (ETDEWEB)

    Gelfond, O.A. [Institute of System Research of Russian Academy of Sciences, Nakhimovsky prospect 36-1, 117218 Moscow (Russian Federation); Vasiliev, M.A., E-mail: vasiliev@lpi.ru [I.E. Tamm Department of Theoretical Physics, Lebedev Physical Institute, Leninsky prospect 53, 119991 Moscow (Russian Federation)

    2013-11-21

    Operator algebra of (not necessarily free) higher-spin conformal conserved currents in generalized matrix spaces, that include 3d Minkowski space–time as a particular case, is shown to be determined by an associative algebra M of functions on the twistor space. For free conserved currents, M is the universal enveloping algebra of the higher-spin algebra. Proposed construction greatly simplifies computation and analysis of correlators of conserved currents. Generating function for n-point functions of 3d (super)currents of all spins, built from N free constituent massless scalars and spinors, is obtained in a concise form of certain determinant. Our results agree with and extend earlier bulk computations in the HS AdS{sub 4}/CFT{sub 3} framework. Generating function for n-point functions of 4d conformal currents is also presented.

  14. Aspects of QCD Current Algebra on a Null Plane

    CERN Document Server

    Beane, Silas R

    2015-01-01

    Consequences of QCD current algebra formulated on a light-like hyperplane are derived for the forward scattering of vector and axial-vector currents on an arbitrary hadronic target. It is shown that current algebra gives rise to a special class of sum rules that are direct consequences of the independent chiral symmetry that exists at every point on the two-dimensional transverse plane orthogonal to the lightlike direction. These sum rules are obtained by exploiting the closed, infinite-dimensional algebra satisfied by the transverse moments of null-plane axial-vector and vector charge distributions. In the special case of a nucleon target, this procedure leads to the Adler-Weisberger, Gerasimov-Drell-Hearn, Cabbibo-Radicatti and Fubini-Furlan-Rossetti sum rules. Matching to the dispersion-theoretic language which is usually invoked in deriving these sum rules, the moment sum rules are shown to be equivalent to algebraic constraints on forward S-matrix elements in the Regge limit.

  15. Aspects of QCD current algebra on a null plane

    Science.gov (United States)

    Beane, S. R.; Hobbs, T. J.

    2016-09-01

    Consequences of QCD current algebra formulated on a light-like hyperplane are derived for the forward scattering of vector and axial-vector currents on an arbitrary hadronic target. It is shown that current algebra gives rise to a special class of sum rules that are direct consequences of the independent chiral symmetry that exists at every point on the two-dimensional transverse plane orthogonal to the lightlike direction. These sum rules are obtained by exploiting the closed, infinite-dimensional algebra satisfied by the transverse moments of null-plane axial-vector and vector charge distributions. In the special case of a nucleon target, this procedure leads to the Adler-Weisberger, Gerasimov-Drell-Hearn, Cabibbo-Radicati and Fubini-Furlan-Rossetti sum rules. Matching to the dispersion-theoretic language which is usually invoked in deriving these sum rules, the moment sum rules are shown to be equivalent to algebraic constraints on forward S-matrix elements in the Regge limit.

  16. The PBW Filtration, Demazure Modules and Toroidal Current Algebras

    Directory of Open Access Journals (Sweden)

    Evgeny Feigin

    2008-10-01

    Full Text Available Let L be the basic (level one vacuum representation of the affine Kac-Moody Lie algebra ^g. The m-th space F_m of the PBW filtration on L is a linear span of vectors of the form x_1dots x_lv_0, where l ≤ m, x_i in ^g and v_0 is a highest weight vector of L. In this paper we give two descriptions of the associated graded space L^{gr} with respect to the PBW filtration. The ''top-down'' description deals with a structure of L^{gr} as a representation of the abelianized algebra of generating operators. We prove that the ideal of relations is generated by the coefficients of the squared field e_θ(z2, which corresponds to the longest root θ. The ''bottom-up'' description deals with the structure of L^{gr} as a representation of the current algebra g otimes C[t]. We prove that each quotient F_m/F_{m-1} can be filtered by graded deformations of the tensor products of m copies of g.

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

  18. Algebra

    Institute of Scientific and Technical Information of China (English)

    2004-01-01

    Through most of Greek history, mathematicians concentrated on geometry, although Euclid considered the theory of numbers. The Greek mathematician Diophantus (3rd century),however, presented problems that had to be solved by what we would today call algebra. His book is thus the first algebra text.

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

  20. Current algebra and conformal field theory on a figure eight

    CERN Document Server

    Balachandran, A P; Sen-Gupta, K; Marmo, G; Salomonson, P; Simoni, A; Stern, A

    1993-01-01

    We examine the dynamics of a free massless scalar field on a figure eight network. Upon requiring the scalar field to have a well defined value at the junction of the network, it is seen that the conserved currents of the theory satisfy Kirchhoff's law, that is that the current flowing into the junction equals the current flowing out. We obtain the corresponding current algebra and show that, unlike on a circle, the left- and right-moving currents on the figure eight do not in general commute in quantum theory. Since a free scalar field theory on a one dimensional spatial manifold exhibits conformal symmetry, it is natural to ask whether an analogous symmetry can be defined for the figure eight. We find that, unlike in the case of a manifold, the action plus boundary conditions for the network are not invariant under separate conformal transformations associated with left- and right-movers. Instead, the system is, at best, invariant under only a single set of transformations. Its conserved current is also fou...

  1. Anomalous effective action, Noether current, Virasoro algebra and Horizon entropy

    Energy Technology Data Exchange (ETDEWEB)

    Majhi, Bibhas Ranjan [IUCAA, Ganeshkhind, Pune University Campus, Post Bag 4, Pune (India); Hebrew University of Jerusalem, Racah Institute of Physics, Jerusalem (Israel); Chakraborty, Sumanta [IUCAA, Ganeshkhind, Pune University Campus, Post Bag 4, Pune (India)

    2014-05-15

    Several investigations show that in a very small length scale there exist corrections to the entropy of black hole horizon. Due to fluctuations of the background metric and the external fields the action incorporates corrections. In the low energy regime, the one-loop effective action in four dimensions leads to trace anomaly. We start from the Noether current corresponding to the Einstein-Hilbert plus the one-loop effective action to calculate the charge for the diffeomorphisms which preserve the Killing horizon structure. Then a bracket for the charges is calculated. We show that the Fourier modes of the bracket are exactly similar to the Virasoro algebra. Then using the Cardy formula the entropy is evaluated. Finally, the explicit terms of the entropy expression is calculated for a classical background. It turns out that the usual expression for the entropy; i.e. the Bekenstein-Hawking form, is not modified. (orig.)

  2. A U(1) Current Algebra Model Coupled to 2D-Gravity

    OpenAIRE

    Stoilov, M.; Zaikov, R.

    1993-01-01

    We consider a simple model of a scalar field with $U(1)$ current algebra gauge symmetry coupled to $2D$-gravity in order to clarify the origin of Stuckelberg symmetry in the $w_{\\infty}$-gravity theory. An analogous symmetry takes place in our model too. The possible central extension of the complete symmetry algebra and the corresponding critical dimension have been found. The analysis of the Hamiltonian and the constraints shows that the generators of the current algebra, the reparametrizat...

  3. Currents algebra for an atom-molecule Bose-Einstein condensate model

    OpenAIRE

    Filho, Gilberto N. Santos

    2016-01-01

    I present an interconversion currents algebra for an atom-molecule Bose-Einstein condensate model and use it to get the quantum dynamics of the currents. For different choices of the Hamiltonian parameters I get different currents dynamics.

  4. Wakimoto realizations of current algebras an explicit construction

    CERN Document Server

    De Boer, J; Boer, Jan de; Feher, Laszlo

    1997-01-01

    A generalized Wakimoto realization of $\\widehat{\\cal G}_K$ can be associated with each parabolic subalgebra ${\\cal P}=({\\cal G}_0 +{\\cal G}_+)$ of a simple Lie algebra ${\\cal G}$ according to an earlier proposal by Feigin and Frenkel. In this paper the proposal is made explicit by developing the construction of Wakimoto realizations from a simple but unconventional viewpoint. An explicit formula is derived for the Wakimoto current first at the Poisson bracket level by Hamiltonian symmetry reduction of the WZNW model. The quantization is then performed by normal ordering the classical formula and determining the required quantum correction for it to generate $\\widehat{\\cal G}_K$ by means of commutators. The affine-Sugawara stress-energy tensor is verified to have the expected quadratic form in the constituents, which are symplectic bosons belonging to ${\\cal G}_+$ and a current belonging to ${\\cal G}_0$. The quantization requires a choice of special polynomial coordinates on the big cell of the flag manifold $...

  5. Quaternifications and Extensions of Current Algebras on S3

    Directory of Open Access Journals (Sweden)

    Tosiaki Kori

    2015-11-01

    Full Text Available Let \\(\\mathbf{H}\\ be the quaternion algebra. Let \\(\\mathfrak{g}\\ be a complex Lie algebra and let \\(U(\\mathfrak{g}\\ be the enveloping algebra of \\(\\mathfrak{g}\\. The quaternification \\(\\mathfrak{g}^{\\mathbf{H}}=\\\\(\\,(\\,\\mathbf{H}\\otimes U(\\mathfrak{g},\\,[\\quad,\\quad]_{\\mathfrak{g}^{\\mathbf{H}}}\\,\\ of \\(\\mathfrak{g}\\ is defined by the bracket \\( \\big[\\,\\mathbf{z}\\otimes X\\,,\\,\\mathbf{w}\\otimes Y\\,\\big]_{\\mathfrak{g}^{\\mathbf{H}}}\\,=\\\\(\\,(\\mathbf{z}\\cdot \\mathbf{w}\\otimes\\,(XY\\,- \\\\(\\, (\\mathbf{w}\\cdot\\mathbf{z}\\otimes (YX\\,,\

  6. Formal Deformations of Virasoro-Current Algebra%Virasoro-Current代数的形式变形

    Institute of Scientific and Technical Information of China (English)

    程永胜; 马国锋

    2008-01-01

    李代数的变形是将李代数的结构常数参数化而得到的一种更广义的代数,当这些参数趋于1时,李代数的变形就回到了李代数的本身,在本文中,我们采用了一些方法来构造Virasoro-Current代数的变形,它包括q-变形和形式变形.%Deformations of a Lie algebras are generalizations of Lie algebras which have the deformation parameters built into their structure,which is reduced to the original Lie algebra when taking the limit q→1.In this paper,we develop Some approaches to construct the deformations of Virasoro-Current algebra which include one parameter q-deformation and formal deformation

  7. Current algebra and the Ademollo-Gatto theorem in spin-flavor symmetry of heavy quarks

    Science.gov (United States)

    Lebed, Richard F.; Suzuki, Mahiko

    1991-08-01

    The current algebra of effective weak currents is studied in detail for spin-flavor symmetry of heavy quarks. Technical issues involved in the derivation of Luke's renormalization-free theorem by Boyd and Brahm through the Ademollo-Gatto theorem are examined and elaborated upon.

  8. Infinitely conserved currents and hidden symmetry algebra related to the Belinskil-Zakharov's formulation of gravity

    International Nuclear Information System (INIS)

    Based on the Belinskil-Zakharov (BZ) formulation of the vacuum Einstein equation with the metric gsub(ab) depending only on two coordinates, the related infinitely conserved currents are discussed. It is shown that there appears a set of nonlocal conservation currents which can be regarded as a parametric Noether current which arises from 'H-transformation'. By combining the transformation with BZ's L-A pair the GxC(t) algebraic structure in BZ's gravitational formulation is derived. (Auth.)

  9. Topological Membranes, Current Algebras and H-flux - R-flux Duality based on Courant Algebroids

    CERN Document Server

    Bessho, Taiki; Ikeda, Noriaki; Watamura, Satoshi

    2015-01-01

    We construct a topological sigma model and a current algebra based on a Courant algebroid structure on a Poisson manifold. In order to construct models, we reformulate the Poisson Courant algebroid by supergeometric construction on a QP-manifold. A new duality of Courant algebroids which transforms H-flux and R-flux is proposed, where the transformation is interpreted as a canonical transformation of a graded symplectic manifold.

  10. Current algebra and the local nature of symmetries in local quantum theory

    International Nuclear Information System (INIS)

    In this report we mainly discuss the problem of finding local observables which measure the charges in a volume smaller than their localization region, in particular providing the existence of local observables with a specific physical interpretation. In the same way we can also establish the existence of a version of the current algebra structure. Similar local observables can be constructed for the energy-momentum; we also comment on the local implementation of supersymmetries. (orig./HSI)

  11. Simple-current algebra constructions of 2+1-dimensional topological orders

    Science.gov (United States)

    Schoutens, Kareljan; Wen, Xiao-Gang

    2016-01-01

    Self-consistent (non-)Abelian statistics in 2+1 dimensions (2+1D) are classified by modular tensor categories (MTCs). In recent works, a simplified axiomatic approach to MTCs, based on fusion coefficients Nki j and spins si, was proposed. A numerical search based on these axioms led to a list of possible (non-)Abelian statistics, with rank up to N =7 . However, there is no guarantee that all solutions to the simplified axioms are consistent and can be realized by bosonic physical systems. In this paper, we use simple-current algebra to address this issue. We explicitly construct many-body wave functions, aiming to realize the entries in the list (i.e., realize their fusion coefficients Nki j and spins si). We find that all entries can be constructed by simple-current algebra plus conjugation under time-reversal symmetry. This supports the conjecture that simple-current algebra is a general approach that allows us to construct all (non-)Abelian statistics in 2+1D. It also suggests that the simplified theory based on (Nki j,si) is a classifying theory at least for simple bosonic 2+1D topological orders (up to invertible topological orders).

  12. Multi-Soft gluon limits and extended current algebras at null-infinity

    CERN Document Server

    McLoughlin, Tristan

    2016-01-01

    In this note we consider aspects of the current algebra interpretation of multi-soft limits of tree-level gluon scattering amplitudes in four dimensions. Building on the relation between a positive helicity gluon soft-limit and the Ward identity for a level-zero Kac-Moody current, we use the double-soft limit to define the Sugawara energy-momentum tensor and, by using the triple- and quadruple-soft limits, show that it satisfies the correct OPEs for a CFT. We study the resulting Knizhnik-Zamolodchikov equations and show that they hold for positive helicity gluons in MHV amplitudes. Turning to the sub-leading soft-terms we define a one-parameter family of currents whose Ward identities correspond to the universal tree-level sub-leading soft-behaviour. We compute the algebra of these currents formed with the leading currents and amongst themselves. Finally, by parameterising the ambiguity in the double-soft limit for mixed helicities, we introduce a non-trivial OPE between the holomorphic and anti-holomorphic c...

  13. Current Algebra on the Conformal Boundary and the Variables of Quantum Gravity

    CERN Document Server

    Banks, Tom

    2015-01-01

    I argue that scattering theory for massless particles in Minkowski space should be reformulated as a mapping between past and future representations of an algebra of densities on the conformal boundary. These densities are best thought of as living on the momentum space light cone dual to null infinity, which describes the simultaneous eigenstates of the BMS generators. The currents describe the flow of other quantum numbers through the holographic screen at infinity. They are operator valued measures on the momentum light cone, with non-zero support at $P = 0$, which is necessary to describe finite flows of total momentum, with zero energy-momentum density, on the asymptotic holographic screen. Jet states, the closest approximation to the conventional notion of asymptotic particle state, have finite momentum flowing out through spherical caps of finite opening angle, with the zero momentum currents vanishing in annuli surrounding these caps. Although these notions are valid both in field theory and quantum g...

  14. Noether Current of the Surface Term of Einstein-Hilbert Action, Virasoro Algebra, and Entropy

    Directory of Open Access Journals (Sweden)

    Bibhas Ranjan Majhi

    2013-01-01

    Full Text Available A derivation of Noether current from the surface term of Einstein-Hilbert action is given. We show that the corresponding charge, calculated on the horizon, is related to the Bekenstein-Hawking entropy. Also using the charge, the same entropy is found based on the Virasoro algebra and Cardy formula approach. In this approach, the relevant diffeomorphisms are found by imposing a very simple physical argument: diffeomorphisms keep the horizon structure invariant. This complements similar earlier results (Majhi and Padmanabhan (2012 (arXiv:1204.1422 obtained from York-Gibbons-Hawking surface term. Finally we discuss the technical simplicities and improvements over the earlier attempts and also various important physical implications.

  15. Algebraic Reconstruction of Current Dipoles and Quadrupoles in Three-Dimensional Space

    Directory of Open Access Journals (Sweden)

    Takaaki Nara

    2013-01-01

    Full Text Available This paper presents an algebraic method for an inverse source problem for the Poisson equation where the source consists of dipoles and quadrupoles. This source model is significant in the magnetoencephalography inverse problem. The proposed method identifies the source parameters directly and algebraically using data without requiring an initial parameter estimate or iterative computation of the forward solution. The obtained parameters could be used for the initial solution in an optimization-based algorithm for further refinement.

  16. Born’s rule as signature of a superclassical current algebra

    Energy Technology Data Exchange (ETDEWEB)

    Fussy, S. [Austrian Institute for Nonlinear Studies, Akademiehof, Friedrichstr. 10, 1010 Vienna (Austria); Mesa Pascasio, J. [Austrian Institute for Nonlinear Studies, Akademiehof, Friedrichstr. 10, 1010 Vienna (Austria); Institute for Atomic and Subatomic Physics, Vienna University of Technology, Operng. 9, 1040 Vienna (Austria); Schwabl, H. [Austrian Institute for Nonlinear Studies, Akademiehof, Friedrichstr. 10, 1010 Vienna (Austria); Grössing, G., E-mail: ains@chello.at [Austrian Institute for Nonlinear Studies, Akademiehof, Friedrichstr. 10, 1010 Vienna (Austria)

    2014-04-15

    We present a new tool for calculating the interference patterns and particle trajectories of a double-, three- and N-slit system on the basis of an emergent sub-quantum theory developed by our group throughout the last years. The quantum itself is considered as an emergent system representing an off-equilibrium steady state oscillation maintained by a constant throughput of energy provided by a classical zero-point energy field. We introduce the concept of a “relational causality” which allows for evaluating structural interdependences of different systems levels, i.e. in our case of the relations between partial and total probability density currents, respectively. Combined with the application of 21st century classical physics like, e.g., modern nonequilibrium thermodynamics, we thus arrive at a “superclassical” theory. Within this framework, the proposed current algebra directly leads to a new formulation of the guiding equation which is equivalent to the original one of the de Broglie–Bohm theory. By proving the absence of third order interferences in three-path systems it is shown that Born’s rule is a natural consequence of our theory. Considering the series of one-, double-, or, generally, of N-slit systems, with the first appearance of an interference term in the double slit case, we can explain the violation of Sorkin’s first order sum rule, just as the validity of all higher order sum rules. Moreover, the Talbot patterns and Talbot distance for an arbitrary N-slit device can be reproduced exactly by our model without any quantum physics tool. -- Highlights: •Calculating the interference patterns and particle trajectories of a double-, three- and N-slit system. •Deriving a new formulation of the guiding equation equivalent to the de Broglie–Bohm one. •Proving the absence of third order interferences and thus explaining Born’s rule. •Explaining the violation of Sorkin’s order sum rules. •Classical simulation of Talbot patterns

  17. Algebra V homological algebra

    CERN Document Server

    Shafarevich, I

    1994-01-01

    This book, the first printing of which was published as volume 38 of the Encyclopaedia of Mathematical Sciences, presents a modern approach to homological algebra, based on the systematic use of the terminology and ideas of derived categories and derived functors. The book contains applications of homological algebra to the theory of sheaves on topological spaces, to Hodge theory, and to the theory of modules over rings of algebraic differential operators (algebraic D-modules). The authors Gelfand and Manin explain all the main ideas of the theory of derived categories. Both authors are well-known researchers and the second, Manin, is famous for his work in algebraic geometry and mathematical physics. The book is an excellent reference for graduate students and researchers in mathematics and also for physicists who use methods from algebraic geometry and algebraic topology.

  18. Left Artinian Algebraic Algebras

    Institute of Scientific and Technical Information of China (English)

    S. Akbari; M. Arian-Nejad

    2001-01-01

    Let R be a left artinian central F-algebra, T(R) = J(R) + [R, R],and U(R) the group of units of R. As one of our results, we show that, if R is algebraic and char F = 0, then the number of simple components of -R = R/J(R)is greater than or equal to dimF R/T(R). We show that, when char F = 0 or F is uncountable, R is algebraic over F if and only if [R, R] is algebraic over F. As another approach, we prove that R is algebraic over F if and only if the derived subgroup of U(R) is algebraic over F. Also, we present an elementary proof for a special case of an old question due to Jacobson.

  19. Algebraic geometry

    CERN Document Server

    Lefschetz, Solomon

    2012-01-01

    An introduction to algebraic geometry and a bridge between its analytical-topological and algebraical aspects, this text for advanced undergraduate students is particularly relevant to those more familiar with analysis than algebra. 1953 edition.

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

  1. Computer Algebra.

    Science.gov (United States)

    Pavelle, Richard; And Others

    1981-01-01

    Describes the nature and use of computer algebra and its applications to various physical sciences. Includes diagrams illustrating, among others, a computer algebra system and flow chart of operation of the Euclidean algorithm. (SK)

  2. Supertropical algebra

    OpenAIRE

    Izhakian, Zur; Rowen, Louis

    2008-01-01

    We develop the algebraic polynomial theory for "supertropical algebra," as initiated earlier over the real numbers by the first author. The main innovation there was the introduction of "ghost elements," which also play the key role in our structure theory. Here, we work somewhat more generally over an ordered monoid, and develop a theory which contains the analogs of several basic theorems of classical commutative algebra. This structure enables one to develop a Zariski-type algebraic geomet...

  3. Elliptic algebras

    Energy Technology Data Exchange (ETDEWEB)

    Odesskii, A V [L.D. Landau Institute for Theoretical Physics, Russian Academy of Sciences, Moscow (Russian Federation)

    2002-12-31

    This survey is devoted to associative Z{sub {>=}}{sub 0}-graded algebras presented by n generators and n(n-1)/2 quadratic relations and satisfying the so-called Poincare-Birkhoff-Witt condition (PBW-algebras). Examples are considered of such algebras, depending on two continuous parameters (namely, on an elliptic curve and a point on it), that are flat deformations of the polynomial ring in n variables. Diverse properties of these algebras are described, together with their relations to integrable systems, deformation quantization, moduli spaces, and other directions of modern investigations.

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

  5. Algebra-Geometry of Piecewise Algebraic Varieties

    Institute of Scientific and Technical Information of China (English)

    Chun Gang ZHU; Ren Hong WANG

    2012-01-01

    Algebraic variety is the most important subject in classical algebraic geometry.As the zero set of multivariate splines,the piecewise algebraic variety is a kind generalization of the classical algebraic variety.This paper studies the correspondence between spline ideals and piecewise algebraic varieties based on the knowledge of algebraic geometry and multivariate splines.

  6. The algebraic structure of the Onsager algebra

    OpenAIRE

    DATE, ETSURO; Roan, Shi-shyr

    2000-01-01

    We study the Lie algebra structure of the Onsager algebra from the ideal theoretic point of view. A structure theorem of ideals in the Onsager algebra is obtained with the connection to the finite-dimensional representations. We also discuss the solvable algebra aspect of the Onsager algebra through the formal Lie algebra theory.

  7. Geometric Algebra

    CERN Document Server

    Chisolm, Eric

    2012-01-01

    This is an introduction to geometric algebra, an alternative to traditional vector algebra that expands on it in two ways: 1. In addition to scalars and vectors, it defines new objects representing subspaces of any dimension. 2. It defines a product that's strongly motivated by geometry and can be taken between any two objects. For example, the product of two vectors taken in a certain way represents their common plane. This system was invented by William Clifford and is more commonly known as Clifford algebra. It's actually older than the vector algebra that we use today (due to Gibbs) and includes it as a subset. Over the years, various parts of Clifford algebra have been reinvented independently by many people who found they needed it, often not realizing that all those parts belonged in one system. This suggests that Clifford had the right idea, and that geometric algebra, not the reduced version we use today, deserves to be the standard "vector algebra." My goal in these notes is to describe geometric al...

  8. Hom-Akivis algebras

    OpenAIRE

    Issa, A. Nourou

    2010-01-01

    Hom-Akivis algebras are introduced. The commutator-Hom-associator algebra of a non-Hom-associative algebra (i.e. a Hom-nonassociative algebra) is a Hom-Akivis algebra. It is shown that non-Hom-associative algebras can be obtained from nonassociative algebras by twisting along algebra automorphisms while Hom-Akivis algebras can be obtained from Akivis algebras by twisting along algebra endomorphisms. It is pointed out that a Hom-Akivis algebra associated to a Hom-alternative algebra is a Hom-M...

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

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

  11. Zonotopal algebra

    OpenAIRE

    Holtz, Olga; Ron, Amos

    2007-01-01

    A wealth of geometric and combinatorial properties of a given linear endomorphism $X$ of $\\R^N$ is captured in the study of its associated zonotope $Z(X)$, and, by duality, its associated hyperplane arrangement ${\\cal H}(X)$. This well-known line of study is particularly interesting in case $n\\eqbd\\rank X \\ll N$. We enhance this study to an algebraic level, and associate $X$ with three algebraic structures, referred herein as {\\it external, central, and internal.} Each algebraic structure is ...

  12. Homogeneous conformal averaging operators on semisimple Lie algebras

    OpenAIRE

    Kolesnikov, Pavel

    2014-01-01

    In this note we show a close relation between the following objects: Classical Yang---Baxter equation (CYBE), conformal algebras (also known as vertex Lie algebras), and averaging operators on Lie algebras. It turns out that the singular part of a solution of CYBE (in the operator form) on a Lie algebra $\\mathfrak g$ determines an averaging operator on the corresponding current conformal algebra $\\mathrm{Cur} \\mathfrak g$. For a finite-dimensional semisimple Lie algebra $\\mathfrak g$, we desc...

  13. Elementary algebra

    CERN Document Server

    McKeague, Charles P

    1986-01-01

    Elementary Algebra, Third Edition focuses on the basic principles, operations, and approaches involved in elementary algebra. The book first ponders on the basics, linear equations and inequalities, and graphing and linear systems. Discussions focus on the elimination method, solving linear systems by graphing, word problems, addition property of equality, solving linear equations, linear inequalities, addition and subtraction of real numbers, and properties of real numbers. The text then takes a look at exponents and polynomials, factoring, and rational expressions. Topics include reducing ra

  14. Elementary algebra

    CERN Document Server

    McKeague, Charles P

    1981-01-01

    Elementary Algebra 2e, Second Edition focuses on the basic principles, operations, and approaches involved in elementary algebra. The book first tackles the basics, linear equations and inequalities, and graphing and linear systems. Discussions focus on the substitution method, solving linear systems by graphing, solutions to linear equations in two variables, multiplication property of equality, word problems, addition property of equality, and subtraction, addition, multiplication, and division of real numbers. The manuscript then examines exponents and polynomials, factoring, and rational e

  15. Which multiplier algebras are $W^*$-algebras?

    OpenAIRE

    Akemann, Charles A.; Amini, Massoud; Asadi, Mohammad B.

    2013-01-01

    We consider the question of when the multiplier algebra $M(\\mathcal{A})$ of a $C^*$-algebra $\\mathcal{A}$ is a $ W^*$-algebra, and show that it holds for a stable $C^*$-algebra exactly when it is a $C^*$-algebra of compact operators. This implies that if for every Hilbert $C^*$-module $E$ over a $C^*$-algebra $\\mathcal{A}$, the algebra $B(E)$ of adjointable operators on $E$ is a $ W^*$-algebra, then $\\mathcal{A}$ is a $C^*$-algebra of compact operators. Also we show that a unital $C^*$-algebr...

  16. Irreducible finite-dimensional representations of equivariant map algebras

    CERN Document Server

    Neher, Erhard; Senesi, Prasad

    2009-01-01

    Suppose a finite group acts on an algebraic variety X and a finite-dimensional semisimple Lie algebra g. The corresponding equivariant map algebra is the Lie algebra M of equivariant regular maps from X to g. We classify the irreducible finite-dimensional representations of these algebras. In particular, we show that all such representations are tensor products of evaluation representations and one-dimensional representations, and we establish conditions ensuring that they are all evaluation representations. For example, this is always the case if M is perfect. Our results can be applied to multiloop algebras, current algebras, the Onsager algebra, and the tetrahedron algebra. Doing so, we easily recover the known classifications of irreducible finite-dimensional representations of these algebras. Moreover, we obtain previously unknown classifications of irreducible finite-dimensional representations of other types of equivariant map algebras, such as the generalized Onsager algebra.

  17. Spatial-Operator Algebra For Robotic Manipulators

    Science.gov (United States)

    Rodriguez, Guillermo; Kreutz, Kenneth K.; Milman, Mark H.

    1991-01-01

    Report discusses spatial-operator algebra developed in recent studies of mathematical modeling, control, and design of trajectories of robotic manipulators. Provides succinct representation of mathematically complicated interactions among multiple joints and links of manipulator, thereby relieving analyst of most of tedium of detailed algebraic manipulations. Presents analytical formulation of spatial-operator algebra, describes some specific applications, summarizes current research, and discusses implementation of spatial-operator algebra in the Ada programming language.

  18. Piecewise algebraic varieties

    Institute of Scientific and Technical Information of China (English)

    WANG Renhong; ZHU Chungang

    2004-01-01

    The piecewise algebraic variety is a generalization of the classical algebraic variety. This paper discusses some properties of piecewise algebraic varieties and their coordinate rings based on the knowledge of algebraic geometry.

  19. Handbook of linear algebra

    CERN Document Server

    Hogben, Leslie

    2013-01-01

    With a substantial amount of new material, the Handbook of Linear Algebra, Second Edition provides comprehensive coverage of linear algebra concepts, applications, and computational software packages in an easy-to-use format. It guides you from the very elementary aspects of the subject to the frontiers of current research. Along with revisions and updates throughout, the second edition of this bestseller includes 20 new chapters.New to the Second EditionSeparate chapters on Schur complements, additional types of canonical forms, tensors, matrix polynomials, matrix equations, special types of

  20. Word Hopf algebras

    OpenAIRE

    Hazewinkel, Michiel

    2004-01-01

    Two important generalizations of the Hopf algebra of symmetric functions are the Hopf algebra of noncommutative symmetric functions and its graded dual the Hopf algebra of quasisymmetric functions. A common generalization of the latter is the selfdual Hopf algebra of permutations (MPR Hopf algebra). This latter Hopf algebra can be seen as a Hopf algebra of endomorphisms of a Hopf algebra. That turns out to be a fruitful way of looking at things and gives rise to wide ranging further generaliz...

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

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

  3. GOLDMAN ALGEBRA, OPERS AND THE SWAPPING ALGEBRA

    OpenAIRE

    Labourie, François

    2012-01-01

    We define a Poisson Algebra called the {\\em swapping algebra} using the intersection of curves in the disk. We interpret a subalgebra of the fraction algebra of the swapping algebra -- called the {\\em algebra of multifractions} -- as an algebra of functions on the space of cross ratios and thus as an algebra of functions on the Hitchin component as well as on the space of $\\mathsf{SL}_n(\\mathbb R)$-opers with trivial holonomy. We relate this Poisson algebra to the Atiyah--Bott--Goldman symple...

  4. Boolean Algebra of C-Algebras

    Directory of Open Access Journals (Sweden)

    G.C. Rao

    2012-11-01

    Full Text Available A C- algebra is the algebraic form of the 3-valued conditional logic, which was introduced by F. Guzman and C. C. Squier in 1990. In this paper, some equivalent conditions for a C- algebra to become a boolean algebra in terms of congruences are given. It is proved that the set of all central elements B(A is isomorphic to the Boolean algebra of all C-algebras Sa, where a B(A. It is also proved that B(A is isomorphic to the Boolean algebra of all C-algebras Aa, where a B(A.

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

  6. Linear algebra

    CERN Document Server

    Allenby, Reg

    1995-01-01

    As the basis of equations (and therefore problem-solving), linear algebra is the most widely taught sub-division of pure mathematics. Dr Allenby has used his experience of teaching linear algebra to write a lively book on the subject that includes historical information about the founders of the subject as well as giving a basic introduction to the mathematics undergraduate. The whole text has been written in a connected way with ideas introduced as they occur naturally. As with the other books in the series, there are many worked examples.Solutions to the exercises are available onlin

  7. Abstract algebra

    CERN Document Server

    Deskins, W E

    1996-01-01

    This excellent textbook provides undergraduates with an accessible introduction to the basic concepts of abstract algebra and to the analysis of abstract algebraic systems. These systems, which consist of sets of elements, operations, and relations among the elements, and prescriptive axioms, are abstractions and generalizations of various models which evolved from efforts to explain or discuss physical phenomena.In Chapter 1, the author discusses the essential ingredients of a mathematical system, and in the next four chapters covers the basic number systems, decompositions of integers, diop

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

  9. Algebraic Stacks

    Indian Academy of Sciences (India)

    Tomás L Gómez

    2001-02-01

    This is an expository article on the theory of algebraic stacks. After introducing the general theory, we concentrate in the example of the moduli stack of vector bundles, giving a detailed comparison with the moduli scheme obtained via geometric invariant theory.

  10. Algebraic Topology

    CERN Document Server

    Oliver, Bob; Pawałowski, Krzystof

    1991-01-01

    As part of the scientific activity in connection with the 70th birthday of the Adam Mickiewicz University in Poznan, an international conference on algebraic topology was held. In the resulting proceedings volume, the emphasis is on substantial survey papers, some presented at the conference, some written subsequently.

  11. Algebra and Number Theory An Integrated Approach

    CERN Document Server

    Dixon, Martyn; Subbotin, Igor

    2011-01-01

    Explore the main algebraic structures and number systems that play a central role across the field of mathematics Algebra and number theory are two powerful branches of modern mathematics at the forefront of current mathematical research, and each plays an increasingly significant role in different branches of mathematics, from geometry and topology to computing and communications. Based on the authors' extensive experience within the field, Algebra and Number Theory has an innovative approach that integrates three disciplines-linear algebra, abstract algebra, and number theory-into one compr

  12. Clifford algebra, geometric algebra, and applications

    CERN Document Server

    Lundholm, Douglas

    2009-01-01

    These are lecture notes for a course on the theory of Clifford algebras, with special emphasis on their wide range of applications in mathematics and physics. Clifford algebra is introduced both through a conventional tensor algebra construction (then called geometric algebra) with geometric applications in mind, as well as in an algebraically more general form which is well suited for combinatorics, and for defining and understanding the numerous products and operations of the algebra. The various applications presented include vector space and projective geometry, orthogonal maps and spinors, normed division algebras, as well as simplicial complexes and graph theory.

  13. Central simple Poisson algebras

    Institute of Scientific and Technical Information of China (English)

    SU; Yucai; XU; Xiaoping

    2004-01-01

    Poisson algebras are fundamental algebraic structures in physics and symplectic geometry. However, the structure theory of Poisson algebras has not been well developed. In this paper, we determine the structure of the central simple Poisson algebras related to locally finite derivations, over an algebraically closed field of characteristic zero.The Lie algebra structures of these Poisson algebras are in general not finitely-graded.

  14. The Onsager Algebra

    OpenAIRE

    El-Chaar, Caroline

    2012-01-01

    In this thesis, four realizations of the Onsager algebra are explored. We begin with its original definition as introduced by Lars Onsager. We then examine how the Onsager algebra can be presented as a Lie algebra with two generators and two relations. The third realization of the Onsager algebra consists of viewing it as an equivariant map algebra which then gives us the tools to classify its closed ideals. Finally, we examine the Onsager algebra as a subalgebra of the tetrahedron algebra. U...

  15. Almost-graded central extensions of Lax operator algebra

    CERN Document Server

    Schlichenmaier, Martin

    2011-01-01

    Lax operator algebras constitute a new class of infinite dimensional Lie algebras of geometric origin. More precisely, they are algebras of matrices whose entries are meromorphic functions on a compact Riemann surface. They generalize classical current algebras and current algebras of Krichever-Novikov type. Lax operators for $\\gl(n)$, with the spectral parameter on a Riemann surface, were introduced by Krichever. In joint works of Krichever and Sheinman their algebraic structure was revealed and extended to more general groups. These algebras are almost-graded. In this article their definition is recalled and classification and uniqueness results for almost-graded central extensions for this new class of algebras are presented. The explicit forms of the defining cocycles are given. If the finite-dimensional Lie algebra on which the Lax operator algebra is based is simple then, up to equivalence and rescaling of the central element, there is a unique non-trivial almost-graded central extension. These results ...

  16. Exotic Elliptic Algebras

    OpenAIRE

    Chirvasitu, Alex; Smith, S. Paul

    2015-01-01

    This paper examines a general method for producing twists of a comodule algebra by tensoring it with a torsor then taking co-invariants. We examine the properties that pass from the original algebra to the twisted algebra and vice versa. We then examine the special case where the algebra is a 4-dimensional Sklyanin algebra viewed as a comodule algebra over the Hopf algebra of functions on the non-cyclic group of order 4 with the torsor being the 2x2 matrix algebra. The twisted algebra is an "...

  17. Nonmonotonic logics and algebras

    Institute of Scientific and Technical Information of China (English)

    CHAKRABORTY Mihir Kr; GHOSH Sujata

    2008-01-01

    Several nonmonotonie logic systems together with their algebraic semantics are discussed. NM-algebra is defined.An elegant construction of an NM-algebra starting from a Boolean algebra is described which gives rise to a few interesting algebraic issues.

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

  19. Real Algebraic Geometry

    CERN Document Server

    Mahé, Louis; Roy, Marie-Françoise

    1992-01-01

    Ten years after the first Rennes international meeting on real algebraic geometry, the second one looked at the developments in the subject during the intervening decade - see the 6 survey papers listed below. Further contributions from the participants on recent research covered real algebra and geometry, topology of real algebraic varieties and 16thHilbert problem, classical algebraic geometry, techniques in real algebraic geometry, algorithms in real algebraic geometry, semialgebraic geometry, real analytic geometry. CONTENTS: Survey papers: M. Knebusch: Semialgebraic topology in the last ten years.- R. Parimala: Algebraic and topological invariants of real algebraic varieties.- Polotovskii, G.M.: On the classification of decomposing plane algebraic curves.- Scheiderer, C.: Real algebra and its applications to geometry in the last ten years: some major developments and results.- Shustin, E.L.: Topology of real plane algebraic curves.- Silhol, R.: Moduli problems in real algebraic geometry. Further contribu...

  20. Solvable quadratic Lie algebras

    Institute of Scientific and Technical Information of China (English)

    2006-01-01

    A Lie algebra endowed with a nondegenerate, symmetric, invariant bilinear form is called a quadratic Lie algebra. In this paper, the author investigates the structure of solvable quadratic Lie algebras, in particular, the solvable quadratic Lie algebras whose Cartan subalgebras consist of semi-simple elements, the author presents a procedure to construct a class of quadratic Lie algebras from the point of view of cohomology and shows that all solvable quadratic Lie algebras can be obtained in this way.

  1. Graded cluster algebras

    OpenAIRE

    Grabowski, Jan

    2015-01-01

    In the cluster algebra literature, the notion of a graded cluster algebra has been implicit since the origin of the subject. In this work, we wish to bring this aspect of cluster algebra theory to the foreground and promote its study. We transfer a definition of Gekhtman, Shapiro and Vainshtein to the algebraic setting, yielding the notion of a multi-graded cluster algebra. We then study gradings for finite type cluster algebras without coefficients, giving a full classification. Translating ...

  2. Piecewise-Koszul algebras

    Institute of Scientific and Technical Information of China (English)

    2007-01-01

    It is a small step toward the Koszul-type algebras. The piecewise-Koszul algebras are,in general, a new class of quadratic algebras but not the classical Koszul ones, simultaneously they agree with both the classical Koszul and higher Koszul algebras in special cases. We give a criteria theorem for a graded algebra A to be piecewise-Koszul in terms of its Yoneda-Ext algebra E(A), and show an A∞-structure on E(A). Relations between Koszul algebras and piecewise-Koszul algebras are discussed. In particular, our results are related to the third question of Green-Marcos.

  3. On vertex Leibniz algebras

    OpenAIRE

    Li, Haisheng; Tan, Shaobin; Wang, Qing

    2012-01-01

    In this paper, we study a notion of what we call vertex Leibniz algebra. This notion naturally extends that of vertex algebra without vacuum, which was previously introduced by Huang and Lepowsky. We show that every vertex algebra without vacuum can be naturally extended to a vertex algebra. On the other hand, we show that a vertex Leibniz algebra can be embedded into a vertex algebra if and only if it admits a faithful module. To each vertex Leibniz algebra we associate a vertex algebra with...

  4. Universal algebra

    CERN Document Server

    Grätzer, George

    1979-01-01

    Universal Algebra, heralded as ". . . the standard reference in a field notorious for the lack of standardization . . .," has become the most authoritative, consistently relied on text in a field with applications in other branches of algebra and other fields such as combinatorics, geometry, and computer science. Each chapter is followed by an extensive list of exercises and problems. The "state of the art" account also includes new appendices (with contributions from B. Jónsson, R. Quackenbush, W. Taylor, and G. Wenzel) and a well-selected additional bibliography of over 1250 papers and books which makes this a fine work for students, instructors, and researchers in the field. "This book will certainly be, in the years to come, the basic reference to the subject." --- The American Mathematical Monthly (First Edition) "In this reviewer's opinion [the author] has more than succeeded in his aim. The problems at the end of each chapter are well-chosen; there are more than 650 of them. The book is especially sui...

  5. Yoneda algebras of almost Koszul algebras

    Indian Academy of Sciences (India)

    Zheng Lijing

    2015-11-01

    Let be an algebraically closed field, a finite dimensional connected (, )-Koszul self-injective algebra with , ≥ 2. In this paper, we prove that the Yoneda algebra of is isomorphic to a twisted polynomial algebra $A^!$ [ ; ] in one indeterminate of degree +1 in which $A^!$ is the quadratic dual of , is an automorphism of $A^!$, and = () for each $t \\in A^!$. As a corollary, we recover Theorem 5.3 of [2].

  6. WEAKLY ALGEBRAIC REFLEXIVITY AND STRONGLY ALGEBRAIC REFLEXIVITY

    Institute of Scientific and Technical Information of China (English)

    TaoChangli; LuShijie; ChenPeixin

    2002-01-01

    Algebraic reflexivity introduced by Hadwin is related to linear interpolation. In this paper, the concepts of weakly algebraic reflexivity and strongly algebraic reflexivity which are also related to linear interpolation are introduced. Some properties of them are obtained and some relations between them revealed.

  7. Rigidification of algebras over essentially algebraic theories

    CERN Document Server

    Rosicky, J

    2012-01-01

    Badzioch and Bergner proved a rigidification theorem saying that each homotopy simplicial algebra is weakly equivalent to a simplicial algebra. The question is whether this result can be extended from algebraic theories to finite limit theories and from simplicial sets to more general monoidal model categories. We will present some answers to this question.

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

  9. Enveloping algebras of some quantum Lie algebras

    OpenAIRE

    Pourkia, Arash

    2014-01-01

    We define a family of Hopf algebra objects, $H$, in the braided category of $\\mathbb{Z}_n$-modules (known as anyonic vector spaces), for which the property $\\psi^2_{H\\otimes H}=id_{H\\otimes H}$ holds. We will show that these anyonic Hopf algebras are, in fact, the enveloping (Hopf) algebras of particular quantum Lie algebras, also with the property $\\psi^2=id$. Then we compute the braided periodic Hopf cyclic cohomology of these Hopf algebras. For that, we will show the following fact: analog...

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

  11. Historical Topics in Algebra.

    Science.gov (United States)

    National Council of Teachers of Mathematics, Inc., Reston, VA.

    This is a reprint of the historical capsules dealing with algebra from the 31st Yearbook of NCTM,"Historical Topics for the Mathematics Classroom." Included are such themes as the change from a geometric to an algebraic solution of problems, the development of algebraic symbolism, the algebraic contributions of different countries, the origin and…

  12. Workshop on Commutative Algebra

    CERN Document Server

    Simis, Aron

    1990-01-01

    The central theme of this volume is commutative algebra, with emphasis on special graded algebras, which are increasingly of interest in problems of algebraic geometry, combinatorics and computer algebra. Most of the papers have partly survey character, but are research-oriented, aiming at classification and structural results.

  13. Probabilistic Concurrent Kleene Algebra

    Directory of Open Access Journals (Sweden)

    Annabelle McIver

    2013-06-01

    Full Text Available We provide an extension of concurrent Kleene algebras to account for probabilistic properties. The algebra yields a unified framework containing nondeterminism, concurrency and probability and is sound with respect to the set of probabilistic automata modulo probabilistic simulation. We use the resulting algebra to generalise the algebraic formulation of a variant of Jones' rely/guarantee calculus.

  14. The Onsager Algebra

    CERN Document Server

    El-Chaar, Caroline

    2012-01-01

    In this thesis, four realizations of the Onsager algebra are explored. We begin with its original definition as introduced by Lars Onsager. We then examine how the Onsager algebra can be presented as a Lie algebra with two generators and two relations. The third realization of the Onsager algebra consists of viewing it as an equivariant map algebra which then gives us the tools to classify its closed ideals. Finally, we examine the Onsager algebra as a subalgebra of the tetrahedron algebra. Using this fourth realization, we explicitly describe all its ideals.

  15. Perturbations of planar algebras

    CERN Document Server

    Das, Paramita; Gupta, Ved Prakash

    2010-01-01

    We introduce the concept of {\\em weight} of a planar algebra $P$ and construct a new planar algebra referred as the {\\em perturbation of $P$} by the weight. We establish a one-to-one correspondence between pivotal structures on 2-categories and perturbations of planar algebras by weights. To each bifinite bimodule over $II_1$-factors, we associate a {\\em bimodule planar algebra} bimodule corresponds naturally with sphericality of the bimodule planar algebra. As a consequence of this, we reproduce an extension of Jones' theorem (of associating 'subfactor planar algebras' to extremal subfactors). Conversely, given a bimodule planar algebra, we construct a bifinite bimodule whose associated bimodule planar algebra is the one which we start with using perturbations and Jones-Walker-Shlyakhtenko-Kodiyalam-Sunder method of reconstructing an extremal subfactor from a subfactor planar algebra. We show that the perturbation class of a bimodule planar algebra contains a unique spherical unimodular bimodule planar algeb...

  16. Multiparameter Twisted Weyl Algebras

    OpenAIRE

    Futorny, Vyacheslav; Hartwig, Jonas T.

    2011-01-01

    We introduce a new family of twisted generalized Weyl algebras, called multiparameter twisted Weyl algebras, for which we parametrize all simple quotients of a certain kind. Both Jordan's simple localization of the multiparameter quantized Weyl algebra and Hayashi's q-analog of the Weyl algebra are special cases of this construction. We classify all simple weight modules over any multiparameter twisted Weyl algebra. Extending results by Benkart and Ondrus, we also describe all Whittaker pairs...

  17. Piecewise-Koszul algebras

    Institute of Scientific and Technical Information of China (English)

    Jia-feng; Lü

    2007-01-01

    [1]Priddy S.Koszul resolutions.Trans Amer Math Soc,152:39-60 (1970)[2]Beilinson A,Ginszburg V,Soergel W.Koszul duality patterns in representation theory.J Amer Math Soc,9:473-525 (1996)[3]Aquino R M,Green E L.On modules with linear presentations over Koszul algebras.Comm Algebra,33:19-36 (2005)[4]Green E L,Martinez-Villa R.Koszul and Yoneda algebras.Representation theory of algebras (Cocoyoc,1994).In:CMS Conference Proceedings,Vol 18.Providence,RI:American Mathematical Society,1996,247-297[5]Berger R.Koszulity for nonquadratic algebras.J Algebra,239:705-734 (2001)[6]Green E L,Marcos E N,Martinez-Villa R,et al.D-Koszul algebras.J Pure Appl Algebra,193:141-162(2004)[7]He J W,Lu D M.Higher Koszul Algebras and A-infinity Algebras.J Algebra,293:335-362 (2005)[8]Green E L,Marcos E N.δ-Koszul algebras.Comm Algebra,33(6):1753-1764 (2005)[9]Keller B.Introduction to A-infinity algebras and modules.Homology Homotopy Appl,3:1-35 (2001)[10]Green E L,Martinez-Villa R,Reiten I,et al.On modules with linear presentations.J Algebra,205(2):578-604 (1998)[11]Keller B.A-infinity algebras in representation theory.Contribution to the Proceedings of ICRA Ⅸ.Beijing:Peking University Press,2000[12]Lu D M,Palmieri J H,Wu Q S,et al.A∞-algebras for ring theorists.Algebra Colloq,11:91-128 (2004)[13]Weibel C A.An Introduction to homological algebra.Cambridge Studies in Avanced Mathematics,Vol 38.Cambridge:Cambridge University Press,1995

  18. Maps from the enveloping algebra of the positive Witt algebra to regular algebras

    OpenAIRE

    Sierra, Susan J.; Walton, Chelsea

    2015-01-01

    We construct homomorphisms from the universal enveloping algebra of the positive (part of the) Witt algebra to several different Artin-Schelter regular algebras, and determine their kernels and images. As a result, we produce elementary proofs that the universal enveloping algebras of the Virasoro algebra, the Witt algebra, and the positive Witt algebra are neither left nor right noetherian.

  19. Effectiveness of Cognitive Tutor Algebra I at Scale

    Science.gov (United States)

    Pane, John F.; Griffin, Beth Ann; McCaffrey, Daniel F.; Karam, Rita

    2014-01-01

    This article examines the effectiveness of a technology-based algebra curriculum in a wide variety of middle schools and high schools in seven states. Participating schools were matched into similar pairs and randomly assigned to either continue with the current algebra curriculum for 2 years or to adopt Cognitive Tutor Algebra I (CTAI), which…

  20. Topics in algebraic and topological K-theory

    CERN Document Server

    Baum, Paul Frank; Meyer, Ralf; Sánchez-García, Rubén; Schlichting, Marco; Toën, Bertrand

    2011-01-01

    This volume is an introductory textbook to K-theory, both algebraic and topological, and to various current research topics within the field, including Kasparov's bivariant K-theory, the Baum-Connes conjecture, the comparison between algebraic and topological K-theory of topological algebras, the K-theory of schemes, and the theory of dg-categories.

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

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

  3. Hom-alternative algebras and Hom-Jordan algebras

    CERN Document Server

    Makhlouf, Abdenacer

    2009-01-01

    The purpose of this paper is to introduce Hom-alternative algebras and Hom-Jordan algebras. We discuss some of their properties and provide construction procedures using ordinary alternative algebras or Jordan algebras. Also, we show that a polarization of Hom-associative algebra leads to Hom-Jordan algebra.

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

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

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

  7. Lie Algebra of Noncommutative Inhomogeneous Hopf Algebra

    OpenAIRE

    Lagraa, M.; Touhami, N.

    1997-01-01

    We construct the vector space dual to the space of right-invariant differential forms construct from a first order differential calculus on inhomogeneous quantum group. We show that this vector space is equipped with a structure of a Hopf algebra which closes on a noncommutative Lie algebra satisfying a Jacobi identity.

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

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

  10. Algebraic statistics computational commutative algebra in statistics

    CERN Document Server

    Pistone, Giovanni; Wynn, Henry P

    2000-01-01

    Written by pioneers in this exciting new field, Algebraic Statistics introduces the application of polynomial algebra to experimental design, discrete probability, and statistics. It begins with an introduction to Gröbner bases and a thorough description of their applications to experimental design. A special chapter covers the binary case with new application to coherent systems in reliability and two level factorial designs. The work paves the way, in the last two chapters, for the application of computer algebra to discrete probability and statistical modelling through the important concept of an algebraic statistical model.As the first book on the subject, Algebraic Statistics presents many opportunities for spin-off research and applications and should become a landmark work welcomed by both the statistical community and its relatives in mathematics and computer science.

  11. REAL PIECEWISE ALGEBRAIC VARIETY

    Institute of Scientific and Technical Information of China (English)

    Ren-hong Wang; Yi-sheng Lai

    2003-01-01

    We give definitions of real piecewise algebraic variety and its dimension. By using the techniques of real radical ideal, P-radical ideal, affine Hilbert polynomial, Bernstein-net form of polynomials on simplex, and decomposition of semi-algebraic set, etc., we deal with the dimension of the real piecewise algebraic variety and real Nullstellensatz in Cμ spline ring.

  12. Deficiently Extremal Gorenstein Algebras

    Indian Academy of Sciences (India)

    Pavinder Singh

    2011-08-01

    The aim of this article is to study the homological properties of deficiently extremal Gorenstein algebras. We prove that if / is an odd deficiently extremal Gorenstein algebra with pure minimal free resolution, then the codimension of / must be odd. As an application, the structure of pure minimal free resolution of a nearly extremal Gorenstein algebra is obtained.

  13. Bases of Schur algebras associated to cellularly stratified diagram algebras

    CERN Document Server

    Bowman, C

    2011-01-01

    We examine homomorphisms between induced modules for a certain class of cellularly stratified diagram algebras, including the BMW algebra, Temperley-Lieb algebra, Brauer algebra, and (quantum) walled Brauer algebra. We define the `permutation' modules for these algebras, these are one-sided ideals which allow us to study the diagrammatic Schur algebras of Hartmann, Henke, Koenig and Paget. We construct bases of these Schur algebras in terms of modified tableaux. On the way we prove that the (quantum) walled Brauer algebra and the Temperley-Lieb algebra are both cellularly stratified and therefore have well-defined Specht filtrations.

  14. Group identities on the units of algebraic algebras with applications to restricted enveloping algebras

    OpenAIRE

    Jespers, Eric; Riley, David; Siciliano, Salvatore

    2007-01-01

    An algebra is called a GI-algebra if its group of units satisfies a group identity. We provide positive support for the following two open problems. 1. Does every algebraic GI-algebra satisfy a polynomial identity? 2. Is every algebraically generated GI-algebra locally finite?

  15. Split Malcev Algebras

    Indian Academy of Sciences (India)

    Antonio J Calderón Martín; Manuel Forero Piulestán; José M Sánchez Delgado

    2012-05-01

    We study the structure of split Malcev algebras of arbitrary dimension over an algebraically closed field of characteristic zero. We show that any such algebras is of the form $M=\\mathcal{U}+\\sum_jI_j$ with $\\mathcal{U}$ a subspace of the abelian Malcev subalgebra and any $I_j$ a well described ideal of satisfying $[I_j, I_k]=0$ if ≠ . Under certain conditions, the simplicity of is characterized and it is shown that is the direct sum of a semisimple split Lie algebra and a direct sum of simple non-Lie Malcev algebras.

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

  17. A Note on Z* algebras

    OpenAIRE

    Taghavi, Ali

    2013-01-01

    We study some properies of $Z^{*}$ algebras, thos C^* algebra which all positive elements are zero divisors. We show by means of an example that an extension of a Z* algebra by a Z* algebra is not necessarily Z* algebra. However we prove that an extension of a non Z* algebra by a non Z* algebra is again a Z^* algebra. As an application of our methods, we prove that evey compact subset of the positive cones of a C* algebra has an upper bound in the algebra.

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

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

  20. Light-Cone Algebra, \\pi^0 Decay and e^+ e^- Annihilation

    CERN Document Server

    Bardeen, William A; Gell-Mann, Murray

    2002-01-01

    The indication from deep inelastic electron scattering experiments at SLAC that Bjorken scaling may really hold has motivated an extension of the hypotheses of current algebra to what may be called light-cone current algebra.

  1. On Derivations Of Genetic Algebras

    International Nuclear Information System (INIS)

    A genetic algebra is a (possibly non-associative) algebra used to model inheritance in genetics. In application of genetics this algebra often has a basis corresponding to genetically different gametes, and the structure constant of the algebra encode the probabilities of producing offspring of various types. In this paper, we find the connection between the genetic algebras and evolution algebras. Moreover, we prove the existence of nontrivial derivations of genetic algebras in dimension two

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

  3. Stable endomorphism algebras of modules over special biserial algebras

    OpenAIRE

    Schröer, Jan; Zimmermann, Alexander

    2002-01-01

    We prove that the stable endomorphism algebra of a module without self-extensions over a special biserial algebra is a gentle algebra. In particular, it is again special biserial. As a consequence, any algebra which is derived equivalent to a gentle algebra is gentle.

  4. $L_{\\infty}$ algebra structures of Lie algebra deformations

    OpenAIRE

    Gao, Jining

    2004-01-01

    In this paper,we will show how to kill the obstructions to Lie algebra deformations via a method which essentially embeds a Lie algebra into Strong homotopy Lie algebra or $L_{\\infty}$ algebra. All such obstructions have been transfered to the revelvant $L_{\\infty}$ algebras which contain only three terms

  5. Omni-Lie Color Algebras and Lie Color 2-Algebras

    OpenAIRE

    Zhang, Tao

    2013-01-01

    Omni-Lie color algebras over an abelian group with a bicharacter are studied. The notions of 2-term color $L_{\\infty}$-algebras and Lie color 2-algebras are introduced. It is proved that there is a one-to-one correspondence between Lie color 2-algebras and 2-term color $L_{\\infty}$-algebras.

  6. Space-time algebra

    CERN Document Server

    Hestenes, David

    2015-01-01

    This small book started a profound revolution in the development of mathematical physics, one which has reached many working physicists already, and which stands poised to bring about far-reaching change in the future. At its heart is the use of Clifford algebra to unify otherwise disparate mathematical languages, particularly those of spinors, quaternions, tensors and differential forms. It provides a unified approach covering all these areas and thus leads to a very efficient ‘toolkit’ for use in physical problems including quantum mechanics, classical mechanics, electromagnetism and relativity (both special and general) – only one mathematical system needs to be learned and understood, and one can use it at levels which extend right through to current research topics in each of these areas. These same techniques, in the form of the ‘Geometric Algebra’, can be applied in many areas of engineering, robotics and computer science, with no changes necessary – it is the same underlying mathematics, a...

  7. Evolution algebras and their applications

    CERN Document Server

    Tian, Jianjun Paul

    2008-01-01

    Behind genetics and Markov chains, there is an intrinsic algebraic structure. It is defined as a type of new algebra: as evolution algebra. This concept lies between algebras and dynamical systems. Algebraically, evolution algebras are non-associative Banach algebras; dynamically, they represent discrete dynamical systems. Evolution algebras have many connections with other mathematical fields including graph theory, group theory, stochastic processes, dynamical systems, knot theory, 3-manifolds, and the study of the Ihara-Selberg zeta function. In this volume the foundation of evolution algebra theory and applications in non-Mendelian genetics and Markov chains is developed, with pointers to some further research topics.

  8. Finite-dimensional (*)-serial algebras

    Institute of Scientific and Technical Information of China (English)

    2010-01-01

    Let A be a finite-dimensional associative algebra with identity over a field k. In this paper we introduce the concept of (*)-serial algebras which is a generalization of serial algebras. We investigate the properties of (*)-serial algebras, and we obtain suficient and necessary conditions for an associative algebra to be (*)-serial.

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

  10. On the Toroidal Leibniz Algebras

    Institute of Scientific and Technical Information of China (English)

    Dong LIU; Lei LIN

    2008-01-01

    Toroidal Leibniz algebras are the universal central extensions of the iterated loop algebras gOC[t±11 ,...,t±v1] in the category of Leibniz algebras. In this paper, some properties and representations of toroidal Leibniz algebras are studied. Some general theories of central extensions of Leibniz algebras are also obtained.

  11. Developable algebraic surfaces

    Institute of Scientific and Technical Information of China (English)

    CHEN Dongren; WANG Guojin

    2004-01-01

    An algebraic surface can be defined by an implicit polynomial equation F(x,y,z)=0. In this paper, general characterizations of developable algebraic surfaces of arbitrary degree are presented. Using the shift operators of the subscripts of Bézier ordinates, the uniform apparent discriminants of developable algebraic surfaces to their Bézier ordinates are given directly. To degree 2 algebraic surfaces, which are widely used in computer aided geometric design and graphics, all possible developable surface types are obtained. For more conveniently applying algebraic surfaces of high degree to computer aided geometric design, the notion of ε-quasi-developable surfaces is introduced, and an example of using a quasi-developable algebraic surface of degree 3 to interpolate three curves of degree 2 is given.

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

  13. Symmetric Extended Ockham Algebras

    Institute of Scientific and Technical Information of China (English)

    T.S. Blyth; Jie Fang

    2003-01-01

    The variety eO of extended Ockham algebras consists of those algealgebra with an additional endomorphism k such that the unary operations f and k commute. Here, we consider the cO-algebras which have a property of symmetry. We show that there are thirty two non-isomorphic subdirectly irreducible symmetric extended MS-algebras and give a complete description of them.2000 Mathematics Subject Classification: 06D15, 06D30

  14. A quantum field algebra

    OpenAIRE

    Brouder, Christian

    2002-01-01

    The Laplace Hopf algebra created by Rota and coll. is generalized to provide an algebraic tool for combinatorial problems of quantum field theory. This framework encompasses commutation relations, normal products, time-ordered products and renormalisation. It considers the operator product and the time-ordered product as deformations of the normal product. In particular, it gives an algebraic meaning to Wick's theorem and it extends the concept of Laplace pairing to prove that the renormalise...

  15. Algebraic nonlinear collective motion

    OpenAIRE

    Troupe, J.; Rosensteel, G.

    1999-01-01

    Finite-dimensional Lie algebras of vector fields determine geometrical collective models in quantum and classical physics. Every set of vector fields on Euclidean space that generates the Lie algebra sl(3, R) and contains the angular momentum algebra so(3) is determined. The subset of divergence-free sl(3, R) vector fields is proven to be indexed by a real number $\\Lambda$. The $\\Lambda=0$ solution is the linear representation that corresponds to the Riemann ellipsoidal model. The nonlinear g...

  16. Geometric Algebras and Extensors

    OpenAIRE

    Fernandez, V. V.; Moya, A. M.; Rodrigues Jr., W. A.

    2007-01-01

    This is the first paper in a series (of four) designed to show how to use geometric algebras of multivectors and extensors to a novel presentation of some topics of differential geometry which are important for a deeper understanding of geometrical theories of the gravitational field. In this first paper we introduce the key algebraic tools for the development of our program, namely the euclidean geometrical algebra of multivectors Cl(V,G_{E}) and the theory of its deformations leading to met...

  17. Working memory, worry, and algebraic ability.

    Science.gov (United States)

    Trezise, Kelly; Reeve, Robert A

    2014-05-01

    Math anxiety (MA)-working memory (WM) relationships have typically been examined in the context of arithmetic problem solving, and little research has examined the relationship in other math domains (e.g., algebra). Moreover, researchers have tended to examine MA/worry separate from math problem solving activities and have used general WM tasks rather than domain-relevant WM measures. Furthermore, it seems to have been assumed that MA affects all areas of math. It is possible, however, that MA is restricted to particular math domains. To examine these issues, the current research assessed claims about the impact on algebraic problem solving of differences in WM and algebraic worry. A sample of 80 14-year-old female students completed algebraic worry, algebraic WM, algebraic problem solving, nonverbal IQ, and general math ability tasks. Latent profile analysis of worry and WM measures identified four performance profiles (subgroups) that differed in worry level and WM capacity. Consistent with expectations, subgroup membership was associated with algebraic problem solving performance: high WM/low worry>moderate WM/low worry=moderate WM/high worry>low WM/high worry. Findings are discussed in terms of the conceptual relationship between emotion and cognition in mathematics and implications for the MA-WM-performance relationship.

  18. Algebraic extensions of fields

    CERN Document Server

    McCarthy, Paul J

    1991-01-01

    ""...clear, unsophisticated and direct..."" - MathThis textbook is intended to prepare graduate students for the further study of fields, especially algebraic number theory and class field theory. It presumes some familiarity with topology and a solid background in abstract algebra. Chapter 1 contains the basic results concerning algebraic extensions. In addition to separable and inseparable extensions and normal extensions, there are sections on finite fields, algebraically closed fields, primitive elements, and norms and traces. Chapter 2 is devoted to Galois theory. Besides the fundamenta

  19. Lectures in general algebra

    CERN Document Server

    Kurosh, A G; Stark, M; Ulam, S

    1965-01-01

    Lectures in General Algebra is a translation from the Russian and is based on lectures on specialized courses in general algebra at Moscow University. The book starts with the basics of algebra. The text briefly describes the theory of sets, binary relations, equivalence relations, partial ordering, minimum condition, and theorems equivalent to the axiom of choice. The text gives the definition of binary algebraic operation and the concepts of groups, groupoids, and semigroups. The book examines the parallelism between the theory of groups and the theory of rings; such examinations show the

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

  1. Fundamentals of Hopf algebras

    CERN Document Server

    Underwood, Robert G

    2015-01-01

    This text aims to provide graduate students with a self-contained introduction to topics that are at the forefront of modern algebra, namely, coalgebras, bialgebras, and Hopf algebras.  The last chapter (Chapter 4) discusses several applications of Hopf algebras, some of which are further developed in the author’s 2011 publication, An Introduction to Hopf Algebras.  The book may be used as the main text or as a supplementary text for a graduate algebra course.  Prerequisites for this text include standard material on groups, rings, modules, algebraic extension fields, finite fields, and linearly recursive sequences. The book consists of four chapters. Chapter 1 introduces algebras and coalgebras over a field K; Chapter 2 treats bialgebras; Chapter 3 discusses Hopf algebras and Chapter 4 consists of three applications of Hopf algebras. Each chapter begins with a short overview and ends with a collection of exercises which are designed to review and reinforce the material. Exercises range from straightforw...

  2. Relations Between BZMVdM-Algebra and Other Algebras

    Institute of Scientific and Technical Information of China (English)

    高淑萍; 邓方安; 刘三阳

    2003-01-01

    Some properties of BZMVdM-algebra are proved, and a new operator is introduced. It is shown that the substructure of BZMVdM-algebra can produce a quasi-lattice implication algebra. The relations between BZMVdM-algebra and other algebras are discussed in detail. A pseudo-distance function is defined in linear BZMVdM-algebra, and its properties are derived.

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

    NARCIS (Netherlands)

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

    1995-01-01

    We discuss a method to construct a De Rham complex (differential algebra) of Poincar'e-Birkhoff-Witt-type on the universal enveloping algebra of a Lie algebra $g$. We determine the cases in which this gives rise to a differential Hopf algebra that naturally extends the Hopf algebra structure of $U(g

  4. Lie n-algebras of BPS charges

    CERN Document Server

    Sati, Hisham

    2015-01-01

    We uncover higher algebraic structures on Noether currents and BPS charges. It is known that equivalence classes of conserved currents form a Lie algebra. We show that at least for target space symmetries of higher parameterized WZW-type sigma-models this naturally lifts to a Lie (p+1)-algebra structure on the Noether currents themselves. Applied to the Green-Schwarz-type action functionals for super p-brane sigma-models this yields super Lie (p+1)-algebra refinements of the traditional BPS brane charge extensions of supersymmetry algebras. We discuss this in the generality of higher differential geometry, where it applies also to branes with (higher) gauge fields on their worldvolume. Applied to the M5-brane sigma-model we recover and properly globalize the M-theory super Lie algebra extension of 11-dimensional superisometries by 2-brane and 5-brane charges. Passing beyond the infinitesimal Lie theory we find cohomological corrections to these charges in higher analogy to the familiar corrections for D-brane...

  5. Tubular algebras and affine Kac-Moody algebras

    Institute of Scientific and Technical Information of China (English)

    Zheng-xin CHEN; Ya-nan LIN

    2007-01-01

    The purpose of this paper is to construct quotient algebras L(A)C1/I(A) of complex degenerate composition Lie algebras L(A)C1 by some ideals, where L(A)C1 is defined via Hall algebras of tubular algebras A, and to prove that the quotient algebras L(A)C1/I(A) are isomorphic to the corresponding affine Kac-Moody algebras. Moreover, it is shown that the Lie algebra Lre(A)C1 generated by A-modules with a real root coincides with the degenerate composition Lie algebra L(A)C1 generated by simple A-modules.

  6. Tubular algebras and affine Kac-Moody algebras

    Institute of Scientific and Technical Information of China (English)

    2007-01-01

    The purpose of this paper is to construct quotient algebras L(A)1C/I(A) of complex degenerate composition Lie algebras L(A)1C by some ideals, where L(A)1C is defined via Hall algebras of tubular algebras A, and to prove that the quotient algebras L(A)1C/I(A) are isomorphic to the corresponding affine Kac-Moody algebras. Moreover, it is shown that the Lie algebra Lre(A)1C generated by A-modules with a real root coincides with the degenerate composition Lie algebra L(A)1C generated by simple A-modules.

  7. Universal Algebras of Hurwitz Numbers

    OpenAIRE

    A. Mironov; Morozov, A; Natanzon, S.

    2009-01-01

    Infinite-dimensional universal Cardy-Frobenius algebra is constructed, which unifies all particular algebras of closed and open Hurwitz numbers and is closely related to the algebra of differential operators, familiar from the theory of Generalized Kontsevich Model.

  8. Fields and Forms on -Algebras

    Indian Academy of Sciences (India)

    Cătălin Ciupală

    2005-02-01

    In this paper we introduce non-commutative fields and forms on a new kind of non-commutative algebras: -algebras. We also define the Frölicher–Nijenhuis bracket in the non-commutative geometry on -algebras.

  9. From the Virasoro Algebra to Krichever--Novikov Type Algebras and Beyond

    CERN Document Server

    Schlichenmaier, Martin

    2013-01-01

    Starting from the Virasoro algebra and its relatives the generalization to higher genus compact Riemann surfaces was initiated by Krichever and Novikov. The elements of these algebras are meromorphic objects which are holomorphic outside a finite set of points. A crucial and non-trivial point is to establish an almost-grading replacing the honest grading in the Virasoro case. Such an almost-grading is given by splitting the set of points of possible poles into two non-empty disjoint subsets. Krichever and Novikov considered the two-point case. Schlichenmaier studied the most general multi-point situation with arbitrary splittings. Here we will review the path of developments from the Virasoro algebra to its higher genus and multi-point analogs. The starting point will be a Poisson algebra structure on the space of meromorphic forms of all weights. As sub-structures the vector field algebras, function algebras, Lie superalgebras and the related current algebras show up. All these algebras will be almost-graded...

  10. (Quasi-)Poisson enveloping algebras

    OpenAIRE

    Yang, Yan-Hong; Yuan YAO; Ye, Yu

    2010-01-01

    We introduce the quasi-Poisson enveloping algebra and Poisson enveloping algebra for a non-commutative Poisson algebra. We prove that for a non-commutative Poisson algebra, the category of quasi-Poisson modules is equivalent to the category of left modules over its quasi-Poisson enveloping algebra, and the category of Poisson modules is equivalent to the category of left modules over its Poisson enveloping algebra.

  11. On algebraic volume density property

    OpenAIRE

    Kaliman, Shulim; Kutzschebauch, Frank

    2012-01-01

    A smooth affine algebraic variety $X$ equipped with an algebraic volume form $\\omega$ has the algebraic volume density property (AVDP) if the Lie algebra generated by completely integrable algebraic vector fields of $\\omega$-divergence zero coincides with the space of all algebraic vector fields of $\\omega$-divergence zero. We develop an effective criterion of verifying whether a given $X$ has AVDP. As an application of this method we establish AVDP for any homogeneous space $X=G/R$ that admi...

  12. The geometry of supersymmetric coset models and superconformal algebras

    CERN Document Server

    Papadopoulos, G

    1993-01-01

    An on-shell formulation of (p,q), 2\\leq p \\leq 4, 0\\leq q\\leq 4, supersymmetric coset models with target space the group G and gauge group a subgroup H of G is given. It is shown that there is a correspondence between the number of supersymmetries of a coset model and the geometry of the coset space G/H. The algebras of currents of supersymmetric coset models are superconformal algebras. In particular, the algebras of currents of (2,2) and (4,0) supersymmetric coset models are related to the N=2 Kazama-Suzuki and N=4 Van Proeyen superconformal algebras correspondingly.

  13. Automorphism groups of some algebras

    Institute of Scientific and Technical Information of China (English)

    PARK; Hong; Goo; LEE; Jeongsig; CHOI; Seul; Hee; NAM; Ki-Bong

    2009-01-01

    The automorphism groups of algebras are found in many papers. Using auto-invariance, we find the automorphism groups of the Laurent extension of the polynomial ring and the quantum n-plane (respectively, twisting polynomial ring) in this work. As an application of the results of this work, we can find the automorphism group of a twisting algebra. We define a generalized Weyl algebra and show that the generalized Weyl algebra is simple. We also find the automorphism group of a generalized Weyl algebra. We show that the generalized Weyl algebra Am,m+n is the universal enveloping algebra of the generalized Witt algebra W(m,m + n).

  14. Automorphism groups of some algebras

    Institute of Scientific and Technical Information of China (English)

    PARK Hong Goo; LEE Jeongsig; CHOI Seul Hee; CHEN XueQing; NAM Ki-Bong

    2009-01-01

    The automorphism groups of algebras are found in many papers. Using auto-invariance, we find the automorphism groups of the Laurent extension of the polynomial ring and the quantum n-plane (respectively, twisting polynomial ring) in this work. As an application of the results of this work, we can find the automorphism group of a twisting algebra. We define a generalized Weyl algebra and show that the generalized Weyl algebra is simple. We also find the automorphism group of a generalized Weyl algebra. We show that the generalized Weyl algebra Am,m+n is the universal enveloping algebra of the generalized Witt algebra W(m, m+n).

  15. Commutative algebra constructive methods finite projective modules

    CERN Document Server

    Lombardi, Henri

    2015-01-01

    Translated from the popular French edition, this book offers a detailed introduction to various basic concepts, methods, principles, and results of commutative algebra. It takes a constructive viewpoint in commutative algebra and studies algorithmic approaches alongside several abstract classical theories. Indeed, it revisits these traditional topics with a new and simplifying manner, making the subject both accessible and innovative. The algorithmic aspects of such naturally abstract topics as Galois theory, Dedekind rings, Prüfer rings, finitely generated projective modules, dimension theory of commutative rings, and others in the current treatise, are all analysed in the spirit of the great developers of constructive algebra in the nineteenth century. This updated and revised edition contains over 350 well-arranged exercises, together with their helpful hints for solution. A basic knowledge of linear algebra, group theory, elementary number theory as well as the fundamentals of ring and module theory is r...

  16. Higher algebraic K-theory an overview

    CERN Document Server

    Lluis-Puebla, Emilio; Gillet, Henri; Soulé, Christophe; Snaith, Victor

    1992-01-01

    This book is a general introduction to Higher Algebraic K-groups of rings and algebraic varieties, which were first defined by Quillen at the beginning of the 70's. These K-groups happen to be useful in many different fields, including topology, algebraic geometry, algebra and number theory. The goal of this volume is to provide graduate students, teachers and researchers with basic definitions, concepts and results, and to give a sampling of current directions of research. Written by five specialists of different parts of the subject, each set of lectures reflects the particular perspective ofits author. As such, this volume can serve as a primer (if not as a technical basic textbook) for mathematicians from many different fields of interest.

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

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

  19. On Hadamard algebras

    Directory of Open Access Journals (Sweden)

    Carlos C. Peña

    2000-05-01

    Full Text Available Topological algebras of sequences of complex numbers are introduced, endowed with a Hadamard product type. The complex homomorphisms on these algebras are characterized, and units, prime cyclic ideals, prime closed ideals, and prime minimal ideals, discussed. Existence of closed and maximal ideals are investigated, and it is shown that the Jacobson and nilradicals are both trivial.

  20. Computer algebra in gravity

    CERN Document Server

    Heinicke, C; Heinicke, Christian; Hehl, Friedrich W.

    2001-01-01

    We survey the application of computer algebra in the context of gravitational theories. After some general remarks, we show of how to check the second Bianchi-identity by means of the Reduce package Excalc. Subsequently we list some computer algebra systems and packages relevant to applications in gravitational physics. We conclude by presenting a couple of typical examples.

  1. Introduction to noncommutative algebra

    CERN Document Server

    Brešar, Matej

    2014-01-01

    Providing an elementary introduction to noncommutative rings and algebras, this textbook begins with the classical theory of finite dimensional algebras. Only after this, modules, vector spaces over division rings, and tensor products are introduced and studied. This is followed by Jacobson's structure theory of rings. The final chapters treat free algebras, polynomial identities, and rings of quotients. Many of the results are not presented in their full generality. Rather, the emphasis is on clarity of exposition and simplicity of the proofs, with several being different from those in other texts on the subject. Prerequisites are kept to a minimum, and new concepts are introduced gradually and are carefully motivated. Introduction to Noncommutative Algebra is therefore accessible to a wide mathematical audience. It is, however, primarily intended for beginning graduate and advanced undergraduate students encountering noncommutative algebra for the first time.

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

  3. Automorphisms of the Cuntz algebras

    DEFF Research Database (Denmark)

    Conti, Roberto; Szymanski, Wojciech

    2011-01-01

    We survey recent results on endomorphisms and especially on automorphisms of the Cuntz algebras, with a special emphasis on the structure of the Weyl group. We discuss endomorphisms globally preserving the diagonal MASA and their corresponding actions. In particular, we investigate those endomorp...... endomorphisms of O_n which restrict to automorphisms of the diagonal. We review a combinatorial approach to the study of permutative endomorphisms. All the presented material is put in context with current research topics.......We survey recent results on endomorphisms and especially on automorphisms of the Cuntz algebras, with a special emphasis on the structure of the Weyl group. We discuss endomorphisms globally preserving the diagonal MASA and their corresponding actions. In particular, we investigate those...

  4. Deformation of central charges, vertex operator algebras whose Griess algebras are Jordan algebras

    OpenAIRE

    Ashihara, Takahiro; Miyamoto, Masahiko

    2008-01-01

    If a vertex operator algebra $V=\\oplus_{n=0}^{\\infty}V_n$ satisfies $\\dim V_0=1, V_1=0$, then $V_2$ has a commutative (nonassociative) algebra structure called Griess algebra. One of the typical examples of commutative (nonassociative) algebras is a Jordan algebra. For example, the set $Sym_d(\\C)$ of symmetric matrices of degree $d$ becomes a Jordan algebra. On the other hand, in the theory of vertex operator algebras, central charges influence the properties of vertex operator algebras. In t...

  5. The Planar Algebra of a Semisimple and Cosemisimple Hopf Algebra

    Indian Academy of Sciences (India)

    Vijay Kodiyalam; V S Sunder

    2006-11-01

    To a semisimple and cosemisimple Hopf algebra over an algebraically closed field, we associate a planar algebra defined by generators and relations and show that it is a connected, irreducible, spherical, non-degenerate planar algebra with non-zero modulus and of depth two. This association is shown to yield a bijection between (the isomorphism classes, on both sides, of) such objects.

  6. Graded Lie Algebra Generating of Parastatistical Algebraic Relations

    Institute of Scientific and Technical Information of China (English)

    JING Si-Cong; YANG Wei-Min; LI Ping

    2001-01-01

    A new kind of graded Lie algebra (We call it Z2,2 graded Lie algebra) is introduced as a framework for formulating parasupersymmetric theories. By choosing suitable Bose subspace of the Z2,2 graded Lie algebra and using relevant generalized Jacobi identities, we generate the whole algebraic structure of parastatistics.

  7. Semigroups and computer algebra in algebraic structures

    Science.gov (United States)

    Bijev, G.

    2012-11-01

    Some concepts in semigroup theory can be interpreted in several algebraic structures. A generalization fA,B,fA,B(X) = A(X')B of the complement operator (') on Boolean matrices is made, where A and B denote any rectangular Boolean matrices. While (') is an isomorphism between Boolean semilattices, the generalized complement operator is homomorphism in the general case. The map fA,B and its general inverse (fA,B)+ have quite similar properties to those in the linear algebra and are useful for solving linear equations in Boolean matrix algebras. For binary relations on a finite set, necessary and sufficient conditions for the equation αξβ = γ to have a solution ξ are proved. A generalization of Green's equivalence relations in semigroups for rectangular matrices is proposed. Relationships between them and the Moore-Penrose inverses are investigated. It is shown how any generalized Green's H-class could be constructed by given its corresponding linear subspaces and converted into a group isomorphic to a linear group. Some information about using computer algebra methods concerning this paper is given.

  8. On Linear Algebra Education

    Directory of Open Access Journals (Sweden)

    Sinan AYDIN

    2009-04-01

    Full Text Available Linear algebra is a basic course followed in mathematics, science, and engineering university departments.Generally, this course is taken in either the first or second year but there have been difficulties in teachingand learning. This type of active algebra has resulted in an increase in research by mathematics educationresearchers. But there is insufficient information on this subject in Turkish and therefore it has not beengiven any educational status. This paper aims to give a general overview of this subject in teaching andlearning. These education studies can be considered quadruple: a the history of linear algebra, b formalismobstacles of linear algebra and cognitive flexibility to improve teaching and learning, c the relation betweenlinear algebra and geometry, d using technology in the teaching and learning linear algebra.Mathematicseducation researchers cannot provide an absolute solution to overcome the teaching and learning difficultiesof linear algebra. Epistemological analyses and experimental teaching have shown the learning difficulties.Given these results, further advice and assistance can be offered locally.

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

  10. Super Linear Algebra

    CERN Document Server

    Kandasamy, W B Vasantha

    2008-01-01

    In this book, the authors introduce the notion of Super linear algebra and super vector spaces using the definition of super matrices defined by Horst (1963). This book expects the readers to be well-versed in linear algebra. Many theorems on super linear algebra and its properties are proved. Some theorems are left as exercises for the reader. These new class of super linear algebras which can be thought of as a set of linear algebras, following a stipulated condition, will find applications in several fields using computers. The authors feel that such a paradigm shift is essential in this computerized world. Some other structures ought to replace linear algebras which are over a century old. Super linear algebras that use super matrices can store data not only in a block but in multiple blocks so it is certainly more powerful than the usual matrices. This book has 3 chapters. Chapter one introduces the notion of super vector spaces and enumerates a number of properties. Chapter two defines the notion of sup...

  11. Equational axioms of test algebra

    NARCIS (Netherlands)

    Hollenberg, M.

    2008-01-01

    We present a complete axiomatization of test algebra ([24,18,29]), the two-sorted algebraic variant of Propositional Dynamic Logic (PDL,[21,7]). The axiomatization consists of adding a finite number of equations to any axiomatization of Kleene algebra ([15,26,17,4]) and algebraic translations of the

  12. Process algebra for Hybrid systems

    NARCIS (Netherlands)

    Bergstra, J.A.; Middelburg, C.A.

    2008-01-01

    We propose a process algebra obtained by extending a combination of the process algebra with continuous relative timing from Baeten and Middelburg [Process Algebra with Timing, Springer, Chap. 4, 2002] and the process algebra with propositional signals from Baeten and Bergstra [Theoretical Computer

  13. Process algebra for hybrid systems

    NARCIS (Netherlands)

    Bergstra, J.A.; Middelburg, C.A.

    2005-01-01

    We propose a process algebra obtained by extending a combination of the process algebra with continuous relative timing from Baeten and Middelburg (Process Algebra with Timing, Springer,Berlin, 2002, Chapter 4), and the process algebra with propositional signals from Baeten and Bergstra(Theoret. Com

  14. Symplectic algebraic dynamics algorithm

    Institute of Scientific and Technical Information of China (English)

    2007-01-01

    Based on the algebraic dynamics solution of ordinary differential equations andintegration of  ,the symplectic algebraic dynamics algorithm sn is designed,which preserves the local symplectic geometric structure of a Hamiltonian systemand possesses the same precision of the na ve algebraic dynamics algorithm n.Computer experiments for the 4th order algorithms are made for five test modelsand the numerical results are compared with the conventional symplectic geometric algorithm,indicating that sn has higher precision,the algorithm-inducedphase shift of the conventional symplectic geometric algorithm can be reduced,and the dynamical fidelity can be improved by one order of magnitude.

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

  16. Bundles of Banach algebras

    Directory of Open Access Journals (Sweden)

    J. W. Kitchen

    1994-01-01

    Full Text Available We study bundles of Banach algebras π:A→X, where each fiber Ax=π−1({x} is a Banach algebra and X is a compact Hausdorff space. In the case where all fibers are commutative, we investigate how the Gelfand representation of the section space algebra Γ(π relates to the Gelfand representation of the fibers. In the general case, we investigate how adjoining an identity to the bundle π:A→X relates to the standard adjunction of identities to the fibers.

  17. On Griess Algebras

    OpenAIRE

    Michael Roitman

    2003-01-01

    In this paper we prove that for any commutative (but in general non-associative) algebra $A$ with an invariant symmetric non-degenerate bilinear form there is a graded vertex algebra $V = V_0 \\oplus V_2 \\oplus V_3\\oplus ...$, such that $\\dim V_0 = 1$ and $V_2$ contains $A$. We can choose $V$ so that if $A$ has a unit $e$, then $2e$ is the Virasoro element of $V$, and if $G$ is a finite group of automorphisms of $A$, then $G$ acts on $V$ as well. In addition, the algebra $V$ can be chosen with...

  18. Vedas and the Development of Arithmetic and Algebra

    Directory of Open Access Journals (Sweden)

    Gurudeo A. Tularam

    2010-01-01

    Full Text Available Problem statement: Algebra developed in three stages: rhetorical or prose algebra, syncopated or abbreviated algebra and symbolic algebra-known as “school algebra”. School algebra developed rather early in India and the literature now suggests that the first civilization to develop symbolic algebra was the Vedic Indians. Approach: Philosophical ideas of the time influenced the development of the decimal system and arithmetic and that in turn led to algebra. Indeed, symbolic algebraic ideas are deep rooted in Vedic philosophy. The Vedic arithmetic and mathematics were of a high level at an early period and the Hindus used algebraic ideas to generate formulas simplifying calculations. Results: In the main, they developed formulas to understand the physical world satisfying the needs of religion (apara and para vidya. While geometrical focus, logic and proof type are features of Greek mathematics, “boldness of conception, abstraction, symbolism” are essentially in Indian mathematics. From such a history study, a number of implications can be drawn regarding the learning of algebra. Real life, imaginative and creative problems that encourage risk should be the focus in student learning; allowing students freely move between numbers, magnitudes and symbols rather than taking separate static or unchanging view. A move from concrete to pictorial to symbolic modes was present in ancient learning. Real life practical needs motivated the progress to symbolic algebra. The use of rich context based problems that stimulate and motivate students to raise levels higher to transfer knowledge should be the focus of learning. Conclusion/Recommendations: The progress from arithmetic to algebra in India was achieved through different modes of learning, risk taking, problem solving and higher order thinking all in line with current emphasis in mathematics education but at rather early stage in human history.

  19. Meadow enriched ACP process algebras

    OpenAIRE

    J.A. Bergstra; Middelburg, C.A.

    2009-01-01

    We introduce the notion of an ACP process algebra. The models of the axiom system ACP are the origin of this notion. ACP process algebras have to do with processes in which no data are involved. We also introduce the notion of a meadow enriched ACP process algebra, which is a simple generalization of the notion of an ACP process algebra to processes in which data are involved. In meadow enriched ACP process algebras, the mathematical structure for data is a meadow.

  20. Algebraic Properties of Propositional Calculus

    OpenAIRE

    Schuh, Bernd R.

    2009-01-01

    In this short note we relate some known properties of propositional calculus to purely algebraic considerations of a Boolean algebra. Classes of formulas of propositional calculus are considered as elements of a Boolean algebra. As such they can be represented by uniquely defined elements of this algebra which we call "logical primes". The algebraic notations appear useful because they make it possible to derive well known properties of propositional calculus by simple calculations or to subs...

  1. Hom-power associative algebras

    OpenAIRE

    Yau, Donald

    2010-01-01

    A generalization of power associative algebra, called Hom-power associative algebra, is studied. The main result says that a multiplicative Hom-algebra is Hom-power associative if and only if it satisfies two identities of degrees three and four. It generalizes Albert's result that power associativity is equivalent to third and fourth power associativity. In particular, multiplicative right Hom-alternative algebras and non-commutative Hom-Jordan algebras are Hom-power associative.

  2. On isomorphisms of integral table algebras

    Institute of Scientific and Technical Information of China (English)

    FAN; Yun(樊恽); SUN; Daying(孙大英)

    2002-01-01

    For integral table algebras with integral table basis T, we can consider integral R-algebra RT over a subring R of the ring of the algebraic integers. It is proved that an R-algebra isomorphism between two integral table algebras must be an integral table algebra isomorphism if it is compatible with the so-called normalizings of the integral table algebras.

  3. Introduction to algebra

    CERN Document Server

    Cameron, Peter J

    2007-01-01

    This Second Edition of a classic algebra text includes updated and comprehensive introductory chapters,. new material on axiom of Choice, p-groups and local rings, discussion of theory and applications, and over 300 exercises. It is an ideal introductory text for all Year 1 and 2 undergraduate students in mathematics. - ;Developed to meet the needs of modern students, this Second Edition of the classic algebra text by Peter Cameron covers all the abstract algebra an undergraduate student is likely to need. Starting with an introductory overview of numbers, sets and functions, matrices, polynomials, and modular arithmetic, the text then introduces the most important algebraic structures: groups, rings and fields, and their properties. This is followed by coverage of vector spaces and modules with. applications to abelian groups and canonical forms before returning to the construction of the number systems, including the existence of transcendental numbers. The final chapters take the reader further into the th...

  4. Linear algebra done right

    CERN Document Server

    Axler, Sheldon

    2015-01-01

    This best-selling textbook for a second course in linear algebra is aimed at undergrad math majors and graduate students. The novel approach taken here banishes determinants to the end of the book. The text focuses on the central goal of linear algebra: understanding the structure of linear operators on finite-dimensional vector spaces. The author has taken unusual care to motivate concepts and to simplify proofs. A variety of interesting exercises in each chapter helps students understand and manipulate the objects of linear algebra. The third edition contains major improvements and revisions throughout the book. More than 300 new exercises have been added since the previous edition. Many new examples have been added to illustrate the key ideas of linear algebra. New topics covered in the book include product spaces, quotient spaces, and dual spaces. Beautiful new formatting creates pages with an unusually pleasant appearance in both print and electronic versions. No prerequisites are assumed other than the ...

  5. The Algebra of -relations

    Indian Academy of Sciences (India)

    Vijay Kodiyalam; R Srinivasan; V S Sunder

    2000-08-01

    In this paper, we study a tower $\\{A^G_n(d):n≥ 1\\}$ of finite-dimensional algebras; here, represents an arbitrary finite group, denotes a complex parameter, and the algebra $A^G_n(d)$ has a basis indexed by `-stable equivalence relations' on a set where acts freely and has 2 orbits. We show that the algebra $A^G_n(d)$ is semi-simple for all but a finite set of values of , and determine the representation theory (or, equivalently, the decomposition into simple summands) of this algebra in the `generic case'. Finally we determine the Bratteli diagram of the tower $\\{A^G_n(d): n≥ 1\\}$ (in the generic case).

  6. On W algebras commuting with a set of screenings

    CERN Document Server

    Litvinov, Alexey

    2016-01-01

    We consider the problem of classification of all W algebras which commute with a set of exponential screening operators. Assuming that the W algebra has a nontrivial current of spin 3, we find equations satisfied by the screening operators and classify their solutions.

  7. Introduction to abstract algebra

    CERN Document Server

    Nicholson, W Keith

    2012-01-01

    Praise for the Third Edition ". . . an expository masterpiece of the highest didactic value that has gained additional attractivity through the various improvements . . ."-Zentralblatt MATH The Fourth Edition of Introduction to Abstract Algebra continues to provide an accessible approach to the basic structures of abstract algebra: groups, rings, and fields. The book's unique presentation helps readers advance to abstract theory by presenting concrete examples of induction, number theory, integers modulo n, and permutations before the abstract structures are defined. Readers can immediately be

  8. Summing Boolean Algebras

    Institute of Scientific and Technical Information of China (English)

    Antonio AIZPURU; Antonio GUTI(E)RREZ-D(A)VILA

    2004-01-01

    In this paper we will study some families and subalgebras ( ) of ( )(N) that let us characterize the unconditional convergence of series through the weak convergence of subseries ∑i∈A xi, A ∈ ( ).As a consequence, we obtain a new version of the Orlicz-Pettis theorem, for Banach spaces. We also study some relationships between algebraic properties of Boolean algebras and topological properties of the corresponding Stone spaces.

  9. Geometric Algebra for Physicists

    Science.gov (United States)

    Doran, Chris; Lasenby, Anthony

    2007-11-01

    Preface; Notation; 1. Introduction; 2. Geometric algebra in two and three dimensions; 3. Classical mechanics; 4. Foundations of geometric algebra; 5. Relativity and spacetime; 6. Geometric calculus; 7. Classical electrodynamics; 8. Quantum theory and spinors; 9. Multiparticle states and quantum entanglement; 10. Geometry; 11. Further topics in calculus and group theory; 12. Lagrangian and Hamiltonian techniques; 13. Symmetry and gauge theory; 14. Gravitation; Bibliography; Index.

  10. Intermediate algebra a textworkbook

    CERN Document Server

    McKeague, Charles P

    1985-01-01

    Intermediate Algebra: A Text/Workbook, Second Edition focuses on the principles, operations, and approaches involved in intermediate algebra. The publication first takes a look at basic properties and definitions, first-degree equations and inequalities, and exponents and polynomials. Discussions focus on properties of exponents, polynomials, sums, and differences, multiplication of polynomials, inequalities involving absolute value, word problems, first-degree inequalities, real numbers, opposites, reciprocals, and absolute value, and addition and subtraction of real numbers. The text then ex

  11. Elementary linear algebra

    CERN Document Server

    Andrilli, Stephen

    2010-01-01

    Elementary Linear Algebra develops and explains in careful detail the computational techniques and fundamental theoretical results central to a first course in linear algebra. This highly acclaimed text focuses on developing the abstract thinking essential for further mathematical study. The authors give early, intensive attention to the skills necessary to make students comfortable with mathematical proofs. The text builds a gradual and smooth transition from computational results to general theory of abstract vector spaces. It also provides flexbile coverage of practical applications, expl

  12. Intermediate algebra & analytic geometry

    CERN Document Server

    Gondin, William R

    1967-01-01

    Intermediate Algebra & Analytic Geometry Made Simple focuses on the principles, processes, calculations, and methodologies involved in intermediate algebra and analytic geometry. The publication first offers information on linear equations in two unknowns and variables, functions, and graphs. Discussions focus on graphic interpretations, explicit and implicit functions, first quadrant graphs, variables and functions, determinate and indeterminate systems, independent and dependent equations, and defective and redundant systems. The text then examines quadratic equations in one variable, system

  13. Hopf Algebra of Sashes

    OpenAIRE

    Law, Shirley

    2014-01-01

    International audience A general lattice theoretic construction of Reading constructs Hopf subalgebras of the Malvenuto-Reutenauer Hopf algebra (MR) of permutations. The products and coproducts of these Hopf subalgebras are defined extrinsically in terms of the embedding in MR. The goal of this paper is to find an intrinsic combinatorial description of a particular one of these Hopf subalgebras. This Hopf algebra has a natural basis given by permutations that we call Pell permutations. The...

  14. Holomorphically Equivalent Algebraic Embeddings

    OpenAIRE

    Feller, Peter; Stampfli, Immanuel

    2014-01-01

    We prove that two algebraic embeddings of a smooth variety $X$ in $\\mathbb{C}^m$ are the same up to a holomorphic coordinate change, provided that $2 \\dim X + 1$ is smaller than or equal to $m$. This improves an algebraic result of Nori and Srinivas. For the proof we extend a technique of Kaliman using generic linear projections of $\\mathbb{C}^m$.

  15. Beginning algebra a textworkbook

    CERN Document Server

    McKeague, Charles P

    1985-01-01

    Beginning Algebra: A Text/Workbook, Second Edition focuses on the principles, operations, and approaches involved in algebra. The publication first elaborates on the basics, linear equations and inequalities, and graphing and linear systems. Discussions focus on solving linear systems by graphing, elimination method, graphing ordered pairs and straight lines, linear and compound inequalities, addition and subtraction of real numbers, and properties of real numbers. The text then examines exponents and polynomials, factoring, and rational expressions. Topics include multiplication and division

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

    OpenAIRE

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

    1995-01-01

    We discuss a method to construct a De Rham complex (differential algebra) of Poincar'e-Birkhoff-Witt-type on the universal enveloping algebra of a Lie algebra $g$. We determine the cases in which this gives rise to a differential Hopf algebra that naturally extends the Hopf algebra structure of $U(g)$. The construction of such differential structures is interpreted in terms of colour Lie superalgebras.

  17. Topological ∗-algebras with *-enveloping Algebras II

    Indian Academy of Sciences (India)

    S J Bhatt

    2001-02-01

    Universal *-algebras *() exist for certain topological ∗-algebras called algebras with a *-enveloping algebra. A Frechet ∗-algebra has a *-enveloping algebra if and only if every operator representation of maps into bounded operators. This is proved by showing that every unbounded operator representation , continuous in the uniform topology, of a topological ∗-algebra , which is an inverse limit of Banach ∗-algebras, is a direct sum of bounded operator representations, thereby factoring through the enveloping pro-* algebra () of . Given a *-dynamical system (, , ), any topological ∗-algebra containing (, ) as a dense ∗-subalgebra and contained in the crossed product *-algebra *(, , ) satisfies ()=*(, , ). If $G = \\mathbb{R}$, if is an -invariant dense Frechet ∗-subalgebra of such that () = , and if the action on is -tempered, smooth and by continuous ∗-automorphisms: then the smooth Schwartz crossed product $S(\\mathbb{R}, B, )$ satisfies $E(S(\\mathbb{R}, B, )) = C^*(\\mathbb{R}, A, )$. When is a Lie group, the ∞-elements ∞(), the analytic elements () as well as the entire analytic elements () carry natural topologies making them algebras with a *-enveloping algebra. Given a non-unital *-algebra , an inductive system of ideals is constructed satisfying $A = C^*-\\mathrm{ind} \\lim I_$; and the locally convex inductive limit $\\mathrm{ind}\\lim I_$ is an -convex algebra with the *-enveloping algebra and containing the Pedersen ideal of . Given generators with weakly Banach admissible relations , we construct universal topological ∗-algebra (, ) and show that it has a *-enveloping algebra if and only if (, ) is *-admissible.

  18. L-o cto-algebras

    Institute of Scientific and Technical Information of China (English)

    An Hui-hui; Wang Zhi-chun

    2016-01-01

    L-octo-algebra with 8 operations as the Lie algebraic analogue of octo-algebra such that the sum of 8 operations is a Lie algebra is discussed. Any octo-algebra is an L-octo-algebra. The relationships among L-octo-algebras, L-quadri-algebras, L-dendriform algebras, pre-Lie algebras and Lie algebras are given. The close relationships between L-octo-algebras and some interesting structures like Rota-Baxter operators, classical Yang-Baxter equations and some bilinear forms satisfying certain conditions are given also.

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

  20. Redesigning College Algebra for Student Retention: Results of a Quasi-Experimental Research Study

    Science.gov (United States)

    Thompson, Carla J.; McCann, Patricia

    2010-01-01

    One prohibitory component to graduation rates in college is the lack of student success in college algebra. The current national passing rate of college students enrolled in college algebra is approximately 40 percent. Lack of success in college algebra creating higher enrollments in remediation courses for students has also been linked to…

  1. The Algebra of Lexical Semantics

    Science.gov (United States)

    Kornai, András

    The current generative theory of the lexicon relies primarily on tools from formal language theory and mathematical logic. Here we describe how a different formal apparatus, taken from algebra and automata theory, resolves many of the known problems with the generative lexicon. We develop a finite state theory of word meaning based on machines in the sense of Eilenberg [11], a formalism capable of describing discrepancies between syntactic type (lexical category) and semantic type (number of arguments). This mechanism is compared both to the standard linguistic approaches and to the formalisms developed in AI/KR.

  2. Simple algebras of Weyl type

    Institute of Scientific and Technical Information of China (English)

    2001-01-01

    Over a field F of arbitrary characteristic, we define the associative and the Lie algebras of Weyl type on the same vector space A[D]=A[D] from any pair of a commutative associative algebra A with an identity element and the polynomial algebra [D] of a commutative derivation subalgebra D of A. We prove that A[D], as a Lie algebra (modulo its center) or as an associative algebra, is simple if and only if A is D-simple and A[D] acts faithfully on A. Thus we obtain a lot of simple algebras.

  3. Simple Algebras of Invariant Operators

    Institute of Scientific and Technical Information of China (English)

    Xiaorong Shen; J.D.H. Smith

    2001-01-01

    Comtrans algebras were introduced in as algebras with two trilinear operators, a commutator [x, y, z] and a translator , which satisfy certain identities. Previously known simple comtrans algebras arise from rectangular matrices, simple Lie algebras, spaces equipped with a bilinear form having trivial radical, spaces of hermitian operators over a field with a minimum polynomial x2+1. This paper is about generalizing the hermitian case to the so-called invariant case. The main result of this paper shows that the vector space of n-dimensional invariant operators furnishes some comtrans algebra structures, which are simple provided that certain Jordan and Lie algebras are simple.

  4. SLAPP: A systolic linear algebra parallel processor

    Energy Technology Data Exchange (ETDEWEB)

    Drake, B.L.; Luk, F.T.; Speiser, J.M.; Symanski, J.J. (Naval Ocean Systems Center and Cornell Univ.)

    1987-07-01

    Systolic array computer architectures provide a means for fast computation of the linear algebra algorithms that form the building blocks of many signal-processing algorithms, facilitating their real-time computation. For applications to signal processing, the systolic array operates on matrices, an inherently parallel view of the data, using numerical linear algebra algorithms that have been suitably parallelized to efficiently utilize the available hardware. This article describes work currently underway at the Naval Ocean Systems Center, San Diego, California, to build a two-dimensional systolic array, SLAPP, demonstrating efficient and modular parallelization of key matric computations for real-time signal- and image-processing problems.

  5. C∗-algebras of Penrose hyperbolic tilings

    Science.gov (United States)

    Oyono-Oyono, Hervé; Petite, Samuel

    2011-02-01

    Penrose hyperbolic tilings are tilings of the hyperbolic plane which admit, up to affine transformations a finite number of prototiles. In this paper, we give a complete description of the C∗-algebras and of the K-theory for such tilings. Since the continuous hull of these tilings have no transversally invariant measure, these C∗-algebras are traceless. Nevertheless, harmonic currents give rise to 3-cyclic cocycles and we discuss in this setting a higher-order version of the gap-labeling.

  6. Surveys in differential-algebraic equations II

    CERN Document Server

    Reis, Timo

    2015-01-01

    The present volume comprises survey articles on various fields of Differential-Algebraic Equations (DAEs), which have widespread applications in controlled dynamical systems, especially in mechanical and electrical engineering and a strong relation to (ordinary) differential equations. The individual chapters provide reviews, presentations of the current state of research and new concepts in - Observers for DAEs - DAEs in chemical processes - Optimal control of DAEs - DAEs from a functional-analytic viewpoint - Algebraic methods for DAEs The results are presented in an accessible style, making this book suitable not only for active researchers but also for graduate students (with a good knowledge of the basic principles of DAEs) for self-study.

  7. Surveys in differential-algebraic equations III

    CERN Document Server

    Reis, Timo

    2015-01-01

    The present volume comprises survey articles on various fields of Differential-Algebraic Equations (DAEs), which have widespread applications in controlled dynamical systems, especially in mechanical and electrical engineering and a strong relation to (ordinary) differential equations. The individual chapters provide reviews, presentations of the current state of research and new concepts in - Flexibility of DAE formulations - Reachability analysis and deterministic global optimization - Numerical linear algebra methods - Boundary value problems The results are presented in an accessible style, making this book suitable not only for active researchers but also for graduate students (with a good knowledge of the basic principles of DAEs) for self-study.

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

  9. Rings of quotients of incidence algebras and path algebras

    DEFF Research Database (Denmark)

    Esparza, Eduardo Ortega

    2006-01-01

    We compute the maximal right/left/symmetric rings of quotients of finite dimensional incidence and graph algebras. We show that these rings of quotients are Morita equivalent to incidence algebras and path algebras respectively, with respect to simpler, well determined partially ordered sets...

  10. The Planar Algebra Associated to a Kac Algebra

    Indian Academy of Sciences (India)

    Vijay Kodiyalam; Zeph Landau; V S Sunder

    2003-02-01

    We obtain (two equivalent) presentations – in terms of generators and relations-of the planar algebra associated with the subfactor corresponding to (an outer action on a factor by) a finite-dimensional Kac algebra. One of the relations shows that the antipode of the Kac algebra agrees with the `rotation on 2-boxes'.

  11. Structure of Solvable Quadratic Lie Algebras

    Institute of Scientific and Technical Information of China (English)

    ZHU Lin-sheng

    2005-01-01

    @@ Killing form plays a key role in the theory of semisimple Lie algebras. It is natural to extend the study to Lie algebras with a nondegenerate symmetric invariant bilinear form. Such a Lie algebra is generally called a quadratic Lie algebra which occur naturally in physics[10,12,13]. Besides semisimple Lie algebras, interesting quadratic Lie algebras include the Kac-Moody algebras and the Extended Affine Lie algebras.

  12. Algebraic totality, towards completeness

    CERN Document Server

    Tasson, Christine

    2009-01-01

    Finiteness spaces constitute a categorical model of Linear Logic (LL) whose objects can be seen as linearly topologised spaces, (a class of topological vector spaces introduced by Lefschetz in 1942) and morphisms as continuous linear maps. First, we recall definitions of finiteness spaces and describe their basic properties deduced from the general theory of linearly topologised spaces. Then we give an interpretation of LL based on linear algebra. Second, thanks to separation properties, we can introduce an algebraic notion of totality candidate in the framework of linearly topologised spaces: a totality candidate is a closed affine subspace which does not contain 0. We show that finiteness spaces with totality candidates constitute a model of classical LL. Finally, we give a barycentric simply typed lambda-calculus, with booleans ${\\mathcal{B}}$ and a conditional operator, which can be interpreted in this model. We prove completeness at type ${\\mathcal{B}}^n\\to{\\mathcal{B}}$ for every n by an algebraic metho...

  13. Basic linear algebra

    CERN Document Server

    Blyth, T S

    2002-01-01

    Basic Linear Algebra is a text for first year students leading from concrete examples to abstract theorems, via tutorial-type exercises. More exercises (of the kind a student may expect in examination papers) are grouped at the end of each section. The book covers the most important basics of any first course on linear algebra, explaining the algebra of matrices with applications to analytic geometry, systems of linear equations, difference equations and complex numbers. Linear equations are treated via Hermite normal forms which provides a successful and concrete explanation of the notion of linear independence. Another important highlight is the connection between linear mappings and matrices leading to the change of basis theorem which opens the door to the notion of similarity. This new and revised edition features additional exercises and coverage of Cramer's rule (omitted from the first edition). However, it is the new, extra chapter on computer assistance that will be of particular interest to readers:...

  14. Algebraic quantum field theory

    International Nuclear Information System (INIS)

    The basic assumption that the complete information relevant for a relativistic, local quantum theory is contained in the net structure of the local observables of this theory results first of all in a concise formulation of the algebraic structure of the superselection theory and an intrinsic formulation of charge composition, charge conjugation and the statistics of an algebraic quantum field theory. In a next step, the locality of massive particles together with their spectral properties are wed for the formulation of a selection criterion which opens the access to the massive, non-abelian quantum gauge theories. The role of the electric charge as a superselection rule results in the introduction of charge classes which in term lead to a set of quantum states with optimum localization properties. Finally, the asymptotic observables of quantum electrodynamics are investigated within the framework of algebraic quantum field theory. (author)

  15. Algebraic number theory

    CERN Document Server

    Jarvis, Frazer

    2014-01-01

    The technical difficulties of algebraic number theory often make this subject appear difficult to beginners. This undergraduate textbook provides a welcome solution to these problems as it provides an approachable and thorough introduction to the topic. Algebraic Number Theory takes the reader from unique factorisation in the integers through to the modern-day number field sieve. The first few chapters consider the importance of arithmetic in fields larger than the rational numbers. Whilst some results generalise well, the unique factorisation of the integers in these more general number fields often fail. Algebraic number theory aims to overcome this problem. Most examples are taken from quadratic fields, for which calculations are easy to perform. The middle section considers more general theory and results for number fields, and the book concludes with some topics which are more likely to be suitable for advanced students, namely, the analytic class number formula and the number field sieve. This is the fi...

  16. On Griess Algebras

    Directory of Open Access Journals (Sweden)

    Michael Roitman

    2008-08-01

    Full Text Available In this paper we prove that for any commutative (but in general non-associative algebra A with an invariant symmetric non-degenerate bilinear form there is a graded vertex algebra V = V_0 oplus V2 oplus V3 oplus ..., such that dim V_0 = 1 and V_2 contains A. We can choose V so that if A has a unit e, then 2e is the Virasoro element of V, and if G is a finite group of automorphisms of A, then G acts on V as well. In addition, the algebra V can be chosen with a non-degenerate invariant bilinear form, in which case it is simple.

  17. On Griess Algebras

    Science.gov (United States)

    Roitman, Michael

    2008-08-01

    In this paper we prove that for any commutative (but in general non-associative) algebra A with an invariant symmetric non-degenerate bilinear form there is a graded vertex algebra V = V0 Å V2 Å V3 Å ¼, such that dim V0 = 1 and V2 contains A. We can choose V so that if A has a unit e, then 2e is the Virasoro element of V, and if G is a finite group of automorphisms of A, then G acts on V as well. In addition, the algebra V can be chosen with a non-degenerate invariant bilinear form, in which case it is simple.

  18. Algebra for Gifted Third Graders.

    Science.gov (United States)

    Borenson, Henry

    1987-01-01

    Elementary school children who are exposed to a concrete, hands-on experience in algebraic linear equations will more readily develop a positive mind-set and expectation for success in later formal, algebraic studies. (CB)

  19. Order Units in a *-Algebra

    Indian Academy of Sciences (India)

    Anil K Karn

    2003-02-01

    Order unit property of a positive element in a *-algebra is defined. It is proved that precisely projections satisfy this order theoretic property. This way, unital hereditary *-subalgebras of a *-algebra are characterized.

  20. Computer Program For Linear Algebra

    Science.gov (United States)

    Krogh, F. T.; Hanson, R. J.

    1987-01-01

    Collection of routines provided for basic vector operations. Basic Linear Algebra Subprogram (BLAS) library is collection from FORTRAN-callable routines for employing standard techniques to perform basic operations of numerical linear algebra.

  1. Principles of algebraic geometry

    CERN Document Server

    Griffiths, Phillip A

    1994-01-01

    A comprehensive, self-contained treatment presenting general results of the theory. Establishes a geometric intuition and a working facility with specific geometric practices. Emphasizes applications through the study of interesting examples and the development of computational tools. Coverage ranges from analytic to geometric. Treats basic techniques and results of complex manifold theory, focusing on results applicable to projective varieties, and includes discussion of the theory of Riemann surfaces and algebraic curves, algebraic surfaces and the quadric line complex as well as special top

  2. Algebra task & drill sheets

    CERN Document Server

    Reed, Nat

    2011-01-01

    For grades 3-5, our State Standards-based combined resource meets the algebraic concepts addressed by the NCTM standards and encourages the students to review the concepts in unique ways. The task sheets introduce the mathematical concepts to the students around a central problem taken from real-life experiences, while the drill sheets provide warm-up and timed practice questions for the students to strengthen their procedural proficiency skills. Included are opportunities for problem-solving, patterning, algebraic graphing, equations and determining averages. The combined task & drill sheets

  3. Algebra task & drill sheets

    CERN Document Server

    Reed, Nat

    2011-01-01

    For grades 6-8, our State Standards-based combined resource meets the algebraic concepts addressed by the NCTM standards and encourages the students to review the concepts in unique ways. The task sheets introduce the mathematical concepts to the students around a central problem taken from real-life experiences, while the drill sheets provide warm-up and timed practice questions for the students to strengthen their procedural proficiency skills. Included are opportunities for problem-solving, patterning, algebraic graphing, equations and determining averages. The combined task & drill sheets

  4. Recollements of extension algebras

    Institute of Scientific and Technical Information of China (English)

    CHEN; Qinghua(陈清华); LIN; Yanan(林亚南)

    2003-01-01

    Let A be a finite-dimensional algebra over arbitrary base field k. We prove: if the unbounded derived module category D-(Mod-A) admits symmetric recollement relative to unbounded derived module categories of two finite-dimensional k-algebras B and C:D-(Mod- B) ( ) D-(Mod- A) ( ) D-(Mod- C),then the unbounded derived module category D-(Mod - T(A)) admits symmetric recollement relative to the unbounded derived module categories of T(B) and T(C):D-(Mod - T(B)) ( ) D-(Mod - T(A)) ( ) D-(Mod - T(C)).

  5. Advanced linear algebra

    CERN Document Server

    Cooperstein, Bruce

    2010-01-01

    Vector SpacesFieldsThe Space FnVector Spaces over an Arbitrary Field Subspaces of Vector SpacesSpan and IndependenceBases and Finite Dimensional Vector SpacesBases and Infinite Dimensional Vector SpacesCoordinate VectorsLinear TransformationsIntroduction to Linear TransformationsThe Range and Kernel of a Linear TransformationThe Correspondence and Isomorphism TheoremsMatrix of a Linear TransformationThe Algebra of L(V, W) and Mmn(F)Invertible Transformations and MatricesPolynomialsThe Algebra of PolynomialsRoots of PolynomialsTheory of a Single Linear OperatorInvariant Subspaces of an Operator

  6. Algebra & trigonometry super review

    CERN Document Server

    2012-01-01

    Get all you need to know with Super Reviews! Each Super Review is packed with in-depth, student-friendly topic reviews that fully explain everything about the subject. The Algebra and Trigonometry Super Review includes sets and set operations, number systems and fundamental algebraic laws and operations, exponents and radicals, polynomials and rational expressions, equations, linear equations and systems of linear equations, inequalities, relations and functions, quadratic equations, equations of higher order, ratios, proportions, and variations. Take the Super Review quizzes to see how much y

  7. Algebraic number theory

    CERN Document Server

    Weiss, Edwin

    1998-01-01

    Careful organization and clear, detailed proofs characterize this methodical, self-contained exposition of basic results of classical algebraic number theory from a relatively modem point of view. This volume presents most of the number-theoretic prerequisites for a study of either class field theory (as formulated by Artin and Tate) or the contemporary treatment of analytical questions (as found, for example, in Tate's thesis).Although concerned exclusively with algebraic number fields, this treatment features axiomatic formulations with a considerable range of applications. Modem abstract te

  8. Elementary algebraic geometry

    CERN Document Server

    Kendig, Keith

    2015-01-01

    Designed to make learning introductory algebraic geometry as easy as possible, this text is intended for advanced undergraduates and graduate students who have taken a one-year course in algebra and are familiar with complex analysis. This newly updated second edition enhances the original treatment's extensive use of concrete examples and exercises with numerous figures that have been specially redrawn in Adobe Illustrator. An introductory chapter that focuses on examples of curves is followed by a more rigorous and careful look at plane curves. Subsequent chapters explore commutative ring th

  9. Elementary matrix algebra

    CERN Document Server

    Hohn, Franz E

    2012-01-01

    This complete and coherent exposition, complemented by numerous illustrative examples, offers readers a text that can teach by itself. Fully rigorous in its treatment, it offers a mathematically sound sequencing of topics. The work starts with the most basic laws of matrix algebra and progresses to the sweep-out process for obtaining the complete solution of any given system of linear equations - homogeneous or nonhomogeneous - and the role of matrix algebra in the presentation of useful geometric ideas, techniques, and terminology.Other subjects include the complete treatment of the structur

  10. Lie 2-algebra models

    International Nuclear Information System (INIS)

    In this paper, we begin the study of zero-dimensional field theories with fields taking values in a semistrict Lie 2-algebra. These theories contain the IKKT matrix model and various M-brane related models as special cases. They feature solutions that can be interpreted as quantized 2-plectic manifolds. In particular, we find solutions corresponding to quantizations of ℝ3, S3 and a five-dimensional Hpp-wave. Moreover, by expanding a certain class of Lie 2-algebra models around the solution corresponding to quantized ℝ3, we obtain higher BF-theory on this quantized space

  11. Algebra & trigonometry I essentials

    CERN Document Server

    REA, Editors of

    2012-01-01

    REA's Essentials provide quick and easy access to critical information in a variety of different fields, ranging from the most basic to the most advanced. As its name implies, these concise, comprehensive study guides summarize the essentials of the field covered. Essentials are helpful when preparing for exams, doing homework and will remain a lasting reference source for students, teachers, and professionals. Algebra & Trigonometry I includes sets and set operations, number systems and fundamental algebraic laws and operations, exponents and radicals, polynomials and rational expressions, eq

  12. Partially ordered algebraic systems

    CERN Document Server

    Fuchs, Laszlo

    2011-01-01

    Originally published in an important series of books on pure and applied mathematics, this monograph by a distinguished mathematician explores a high-level area in algebra. It constitutes the first systematic summary of research concerning partially ordered groups, semigroups, rings, and fields. The self-contained treatment features numerous problems, complete proofs, a detailed bibliography, and indexes. It presumes some knowledge of abstract algebra, providing necessary background and references where appropriate. This inexpensive edition of a hard-to-find systematic survey will fill a gap i

  13. Helmholtz algebraic solitons

    Energy Technology Data Exchange (ETDEWEB)

    Christian, J M; McDonald, G S [Joule Physics Laboratory, School of Computing, Science and Engineering, Materials and Physics Research Centre, University of Salford, Salford M5 4WT (United Kingdom); Chamorro-Posada, P, E-mail: j.christian@salford.ac.u [Departamento de Teoria de la Senal y Comunicaciones e Ingenieria Telematica, Universidad de Valladolid, ETSI Telecomunicacion, Campus Miguel Delibes s/n, 47011 Valladolid (Spain)

    2010-02-26

    We report, to the best of our knowledge, the first exact analytical algebraic solitons of a generalized cubic-quintic Helmholtz equation. This class of governing equation plays a key role in photonics modelling, allowing a full description of the propagation and interaction of broad scalar beams. New conservation laws are presented, and the recovery of paraxial results is discussed in detail. The stability properties of the new solitons are investigated by combining semi-analytical methods and computer simulations. In particular, new general stability regimes are reported for algebraic bright solitons.

  14. Endomorphisms of graph algebras

    DEFF Research Database (Denmark)

    Conti, Roberto; Hong, Jeong Hee; Szymanski, Wojciech

    2012-01-01

    We initiate a systematic investigation of endomorphisms of graph C*-algebras C*(E), extending several known results on endomorphisms of the Cuntz algebras O_n. Most but not all of this study is focused on endomorphisms which permute the vertex projections and globally preserve the diagonal MASA D...... that the restriction to the diagonal MASA of an automorphism which globally preserves both D_E and the core AF-subalgebra eventually commutes with the corresponding one-sided shift. Secondly, we exhibit several properties of proper endomorphisms, investigate invertibility of localized endomorphisms both on C...

  15. Automorphism groups of pointed Hopf algebras

    Institute of Scientific and Technical Information of China (English)

    YANG Shilin

    2007-01-01

    The group of Hopf algebra automorphisms for a finite-dimensional semisimple cosemisimple Hopf algebra over a field k was considered by Radford and Waterhouse. In this paper, the groups of Hopf algebra automorphisms for two classes of pointed Hopf algebras are determined. Note that the Hopf algebras we consider are not semisimple Hopf algebras.

  16. Derivations of generalized Weyl algebras

    Institute of Scientific and Technical Information of China (English)

    SU; Yucai(苏育才)

    2003-01-01

    A class of the associative and Lie algebras A[D] = A × F[D] of Weyl type are studied, where Ais a commutative associative algebra with an identity element over a field F of characteristic zero, and F[D] isthe polynomial algebra of a finite dimensional commutative subalgebra of locally finite derivations of A suchthat A is D-simple. The derivations of these associative and Lie algebras are precisely determined.

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

  18. Optimal Algorithm for Algebraic Factoring

    Institute of Scientific and Technical Information of China (English)

    支丽红

    1997-01-01

    This paper presents on optimized method for factoring multivariate polynomials over algebraic extension fields defined by an irreducible ascending set. The basic idea is to convert multivariate polynomials to univariate polynomials and algebraic extension fields to algebraic number fields by suitable integer substituteions.Then factorize the univariate polynomials over the algebraic number fields.Finally,construct mulativariate factors of the original polynomial by Hensel lemma and TRUEFACTOR test.Some examples with timing are included.

  19. Meadow enriched ACP process algebras

    NARCIS (Netherlands)

    J.A. Bergstra; C.A. Middelburg

    2009-01-01

    We introduce the notion of an ACP process algebra. The models of the axiom system ACP are the origin of this notion. ACP process algebras have to do with processes in which no data are involved. We also introduce the notion of a meadow enriched ACP process algebra, which is a simple generalization o

  20. Some Hopf algebras of trees

    NARCIS (Netherlands)

    Laan, P. van der

    2001-01-01

    In the literature several Hopf algebras that can be described in terms of trees have been studied. This paper tries to answer the question whether one can understand some of these Hopf algebras in terms of a single mathematical construction. The starting point is the Hopf algebra of rooted trees as

  1. Computer Algebra in Particle Physics

    OpenAIRE

    Weinzierl, Stefan

    2002-01-01

    These lectures given to graduate students in theoretical particle physics, provide an introduction to the ``inner workings'' of computer algebra systems. Computer algebra has become an indispensable tool for precision calculations in particle physics. A good knowledge of the basics of computer algebra systems allows one to exploit these systems more efficiently.

  2. An Algebra of Reversible Computation

    OpenAIRE

    Wang, Yong

    2014-01-01

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

  3. The Maximal Graded Left Quotient Algebra of a Graded Algebra

    Institute of Scientific and Technical Information of China (English)

    Gonzalo ARANDA PINO; Mercedes SILES MOLINA

    2006-01-01

    We construct the maximal graded left quotient algebra of every graded algebra A without homogeneous total right zero divisors as the direct limit of graded homomorphisms (of left A-modules)from graded dense left ideals of A into a graded left quotient algebra of A. In the case of a superalgebra,and with some extra hypothesis, we prove that the component in the neutral element of the group of the maximal graded left quotient algebra coincides with the maximal left quotient algebra of the component in the neutral element of the group of the superalgebra.

  4. Vibrational spectra of nickel metalloporphyrins: An algebraic approach

    Indian Academy of Sciences (India)

    Srinivasa Rao Karumuri; Joydeep Choudhury; Nirmal Kumar Sarkar; Ramendu Bhattacharjee

    2009-03-01

    One of the most interesting areas of current research in molecular physics is the study of the vibrationally excitated states of medium and large molecules. In view of the considerable amount of experimental activity in this area, one needs theoretical models within which to interpret experimental data. Using Lie algebraic method, the vibrational energy levels of nickel metalloporphyrins like Ni(OEP), Ni porphyrin and Ni(TPP) are calculated for 16 vibrational modes. The algebraic Hamiltonian $$H = E_{0} + \\sum_{i=1}^{n} A_{i}C_{i} + \\sum_{i < j} A_{ij}C_{ij} + \\sum_{i < j}^{n} _{ij}M_{ij}$,$$ where , and are the algebraic parameters which vary from molecule to molecule and , and are algebraic operators. The vibrational energy levels are calculated using algebraic model Hamiltonian and the results are compared with the experimental values. The results obtained by this model are very accurate.

  5. International Conference on Semigroups, Algebras and Operator Theory

    CERN Document Server

    Meakin, John; Rajan, A

    2015-01-01

    This book discusses recent developments in semigroup theory and its applications in areas such as operator algebras, operator approximations and category theory. All contributing authors are eminent researchers in their respective fields, from across the world. Their papers, presented at the 2014 International Conference on Semigroups, Algebras and Operator Theory in Cochin, India, focus on recent developments in semigroup theory and operator algebras. They highlight current research activities on the structure theory of semigroups as well as the role of semigroup theoretic approaches to other areas such as rings and algebras. The deliberations and discussions at the conference point to future research directions in these areas. This book presents 16 unpublished, high-quality and peer-reviewed research papers on areas such as structure theory of semigroups, decidability vs. undecidability of word problems, regular von Neumann algebras, operator theory and operator approximations. Interested researchers will f...

  6. Certain associative algebras similar to $U(sl_{2})$ and Zhu's algebra $A(V_{L})$

    OpenAIRE

    Dong, Chongying; Li, Haisheng; Mason, Geoffrey

    1996-01-01

    It is proved that Zhu's algebra for vertex operator algebra associated to a positive-definite even lattice of rank one is a finite-dimensional semiprimitive quotient algebra of certain associative algebra introduced by Smith. Zhu's algebra for vertex operator algebra associated to any positive-definite even lattice is also calculated and is related to a generalization of Smith's algebra.

  7. Observable Algebra in Field Algebra of G-spin Models

    Institute of Scientific and Technical Information of China (English)

    蒋立宁

    2003-01-01

    Field algebra of G-spin models can provide the simplest examples of lattice field theory exhibiting quantum symmetry. Let D(G) be the double algebra of a finite group G and D(H), a sub-algebra of D(G) determined by subgroup H of G. This paper gives concrete generators and the structure of the observable algebra AH, which is a D(H)-invariant sub-algebra in the field algebra of G-spin models F, and shows that AH is a C*-algebra. The correspondence between H and AH is strictly monotonic. Finally, a duality between D(H) and AH is given via an irreducible vacuum C*-representation of F.

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

  9. The Power of Algebra.

    Science.gov (United States)

    Boiteau, Denise; Stansfield, David

    This document describes mathematical programs on the basic concepts of algebra produced by Louisiana Public Broadcasting. Programs included are: (1) "Inverse Operations"; (2) "The Order of Operations"; (3) "Basic Properties" (addition and multiplication of numbers and variables); (4) "The Positive and Negative Numbers"; and (5) "Using Positive…

  10. Finitary Algebraic Superspace

    CERN Document Server

    Zapatrin, R R

    1998-01-01

    An algebraic scheme is suggested in which discretized spacetime turns out to be a quantum observable. As an example, a toy model producing spacetimes of four points with different topologies is presented. The possibility of incorporating this scheme into the framework of non-commutative differential geometry is discussed.

  11. Questions on Algebraic Varieties

    CERN Document Server

    Marchionna, E

    2011-01-01

    P. Dolbeault: Residus et courants.- D. Mumford: Varieties defined by quadratic equations.- A. Neron: Hauteurs et theorie des intersections.- A. Seidenberg: Report on analytic product.- C.S. Seshadri: Moduli of p-vector bundles over an algebraic curve.- O. Zariski: Contributions to the problem of equi-singularity.

  12. Algebraic topology and concurrency

    DEFF Research Database (Denmark)

    Fajstrup, Lisbeth; Raussen, Martin; Goubault, Eric

    2006-01-01

    We show in this article that some concepts from homotopy theory, in algebraic topology,are relevant for studying concurrent programs. We exhibit a natural semantics of semaphore programs, based on partially ordered topological spaces, which are studied up to “elastic deformation” or homotopy, giv...

  13. Operation of Algebraic Fractions

    Institute of Scientific and Technical Information of China (English)

    2008-01-01

    <正>The first step in factorizing algebraic expressions is to take out the common factors of all the terms of the expression.For example,2x~2+14x+24=2(x~2+7x+12)=2(x+3)(x+4) The three identities are also useful in factorizing some quadratic expressions:

  14. Simple algebras of Weyl type

    Institute of Scientific and Technical Information of China (English)

    SU; Yucai(

    2001-01-01

    [1] Kawamoto, N., Generalizations of Witt algebras over a field of characteristic zero, Hiroshima Math. J., 1986, 16: 417.[2] Osborn, J. M., New simple infinite-dimensional Lie algebras of characteristic 0, J. Alg., 1996, 185: 820.[3] Dokovic, D. Z., Zhao, K., Derivations, isomorphisms, and second cohomology of generalized Witt algebras, Trans. of Amer. Math. Soc., 1998, 350(2): 643.[4] Dokovic, D. Z., Zhao, K., Generalized Cartan type W Lie algebras in characteristic zero, J. Alg., 1997, 195: 170.[5] Osborn, J. M., Zhao, K., Generalized Poisson bracket and Lie algebras of type H in characteristic 0, Math. Z., 1999, 230: 107.[6] Osborn, J. M., Zhao, K., Generalized Cartan type K Lie algebras in characteristic 0, Comm. Alg., 1997, 25: 3325.[7] Zhao, K., Isomorphisms between generalized Cartan type W Lie algebras in characteristic zero, Canadian J. Math., 1998, 50: 210.[8] Passman, D. P., Simple Lie algebras of Witt type, J. Algebra, 1998, 206: 682.[9] Jordan, D. A., On the simplicity of Lie algebras of derivations of commutative algebras, J. Alg., 2000, 206: 682.[10] Xu, X., New generalized simple Lie algebras of Cartan type over a field with characteristic 0, J. Alg., 2000, 244: 23.[11] Su, Y., Xu, X., Zhang, H., Derivation-simple algebras and the structures of Lie algebras of generalized Witt type, J. Alg., 2000, 233: 642.[12] Dixmer, J., Enveloping Algebras, Amsterdam: North Holland, 1977.

  15. On ultraproducts of operator algebras

    Institute of Scientific and Technical Information of China (English)

    LI Weihua

    2005-01-01

    Some basic questions on ultraproducts of C*-algebras and yon Neumann algebras, including the relation to K-theory of C*-algebras are considered. More specifically,we prove that under certain conditions, the K-groups of ultraproduct of C*-algebras are isomorphic to the ultraproduct of respective K-groups of C*-algebras. We also show that the ultraproducts of factors of type Ⅱ1 are prime, i.e. not isomorphic to any non-trivial tensor product.

  16. Ockham Algebras Arising from Monoids

    Institute of Scientific and Technical Information of China (English)

    T.S. Blyth; H.J. Silva; J.C. Varlet

    2001-01-01

    An Ockham algebra (L; f) is of boolean shape if its lattice reduct L is boolean and f is not the complementation. We investigate a natural construction of Ockham algebras of boolean shape from any given monoid. Of particular interest is the question of when such algebras are subdirectly irreducible. In settling this, we obtain what is probably the first example of a subdirectly irreducible Ockham algebra that does not belong to the generalized variety Kω. We also prove that every semigroup can be embedded in the monoid of endomorphisms of an Ockham algebra of boolean shape.

  17. Quantum algebra of $N$ superspace

    CERN Document Server

    Hatcher, N; Stephany, J

    2006-01-01

    We identify the quantum algebra of position and momentum operators for a quantum system in superspace bearing an irreducible representation of the super Poinca\\'e algebra. This algebra is noncommutative for the position operators. We use the properties of superprojectors in D=4 $N$ superspace to construct explicit position and momentum operators satisfying the algebra. They act on wave functions corresponding to different supermultiplets classified by its superspin. We show that the quantum algebra associated to the massive superparticle is a particular case described by a supermultiplet of superspin 0. This result generalizes the construction for D=4, N=1 reported recently.

  18. Algebraic Approach to Algorithmic Logic

    Directory of Open Access Journals (Sweden)

    Bancerek Grzegorz

    2014-09-01

    Full Text Available We introduce algorithmic logic - an algebraic approach according to [25]. It is done in three stages: propositional calculus, quantifier calculus with equality, and finally proper algorithmic logic. For each stage appropriate signature and theory are defined. Propositional calculus and quantifier calculus with equality are explored according to [24]. A language is introduced with language signature including free variables, substitution, and equality. Algorithmic logic requires a bialgebra structure which is an extension of language signature and program algebra. While-if algebra of generator set and algebraic signature is bialgebra with appropriate properties and is used as basic type of algebraic logic.

  19. Notes on Piecewise-Koszul Algebras

    Institute of Scientific and Technical Information of China (English)

    Jia Feng L(U); Xiao Lan YU

    2011-01-01

    The relationships between piecewise-Koszul algebras and other "Koszul-type" algebras are discussed.. The Yoneda-Ext algebra and the dual algebra of a piecewise-Koszul algebra are studied, and a sufficient condition for the dual algebra A to be piecewise-Koszul is given. Finally, by studying the trivial extension algebras of the path algebras of Dynkin quivers in bipartite orientation, we give explicit constructions for piecewise-Koszul algebras with arbitrary "period" and piecewise-Koszul algebras with arbitrary "jump-degree".

  20. The Green formula and heredity of algebras

    Institute of Scientific and Technical Information of China (English)

    2005-01-01

    [1]Green, J. A., Hall algebras, hereditary algebras and quantum groups, Invent. Math. 1995, 120: 361-377.[2]Ringel, C. M., Green's theorem on Hall algebras, in Representations of Algebras and Related Topics, CMS Conference Proceedings 19, Providence, 1996, 185-245.[3]Xiao J., Drinfeld double and Ringel-Green theory of Hall Algebras, J. Algebra, 1997, 190: 100-144.[4]Sevenhant, B., Van den Bergh, M., A relation between a conjecture of Kac and the structure of the Hall algebra,J. Pure Appl. Algebra, 2001, 160: 319-332.[5]Deng B., Xiao, J., On double Ringel-Hall algebras, J. Algebra, 2002, 251: 110-149.

  1. Operator algebras and topology

    International Nuclear Information System (INIS)

    These notes, based on three lectures on operator algebras and topology at the 'School on High Dimensional Manifold Theory' at the ICTP in Trieste, introduce a new set of tools to high dimensional manifold theory, namely techniques coming from the theory of operator algebras, in particular C*-algebras. These are extensively studied in their own right. We will focus on the basic definitions and properties, and on their relevance to the geometry and topology of manifolds. A central pillar of work in the theory of C*-algebras is the Baum-Connes conjecture. This is an isomorphism conjecture, as discussed in the talks of Luck, but with a certain special flavor. Nevertheless, it has important direct applications to the topology of manifolds, it implies e.g. the Novikov conjecture. In the first chapter, the Baum-Connes conjecture will be explained and put into our context. Another application of the Baum-Connes conjecture is to the positive scalar curvature question. This will be discussed by Stephan Stolz. It implies the so-called 'stable Gromov-Lawson-Rosenberg conjecture'. The unstable version of this conjecture said that, given a closed spin manifold M, a certain obstruction, living in a certain (topological) K-theory group, vanishes if and only M admits a Riemannian metric with positive scalar curvature. It turns out that this is wrong, and counterexamples will be presented in the second chapter. The third chapter introduces another set of invariants, also using operator algebra techniques, namely L2-cohomology, L2-Betti numbers and other L2-invariants. These invariants, their basic properties, and the central questions about them, are introduced in the third chapter. (author)

  2. $A\\mathcal{T}$-Algebras and Extensions of $AT$-Algebras

    Indian Academy of Sciences (India)

    Hongliang Yao

    2010-04-01

    Lin and Su classified $A\\mathcal{T}$-algebras of real rank zero. This class includes all $A\\mathbb{T}$-algebras of real rank zero as well as many *-algebras which are not stably finite. An $A\\mathcal{T}$-algebra often becomes an extension of an $A\\mathbb{T}$-algebra by an -algebra. In this paper, we show that there is an essential extension of an $A\\mathbb{T}$-algebra by an -algebra which is not an $A\\mathcal{T}$-algebra. We describe a characterization of an extension of an $A\\mathbb{T}$-algebra by an -algebra if is an $A\\mathcal{T}$-algebra.

  3. MODEL IDENTIFICATION AND COMPUTER ALGEBRA.

    Science.gov (United States)

    Bollen, Kenneth A; Bauldry, Shawn

    2010-10-01

    Multiequation models that contain observed or latent variables are common in the social sciences. To determine whether unique parameter values exist for such models, one needs to assess model identification. In practice analysts rely on empirical checks that evaluate the singularity of the information matrix evaluated at sample estimates of parameters. The discrepancy between estimates and population values, the limitations of numerical assessments of ranks, and the difference between local and global identification make this practice less than perfect. In this paper we outline how to use computer algebra systems (CAS) to determine the local and global identification of multiequation models with or without latent variables. We demonstrate a symbolic CAS approach to local identification and develop a CAS approach to obtain explicit algebraic solutions for each of the model parameters. We illustrate the procedures with several examples, including a new proof of the identification of a model for handling missing data using auxiliary variables. We present an identification procedure for Structural Equation Models that makes use of CAS and that is a useful complement to current methods.

  4. MODEL IDENTIFICATION AND COMPUTER ALGEBRA.

    Science.gov (United States)

    Bollen, Kenneth A; Bauldry, Shawn

    2010-10-01

    Multiequation models that contain observed or latent variables are common in the social sciences. To determine whether unique parameter values exist for such models, one needs to assess model identification. In practice analysts rely on empirical checks that evaluate the singularity of the information matrix evaluated at sample estimates of parameters. The discrepancy between estimates and population values, the limitations of numerical assessments of ranks, and the difference between local and global identification make this practice less than perfect. In this paper we outline how to use computer algebra systems (CAS) to determine the local and global identification of multiequation models with or without latent variables. We demonstrate a symbolic CAS approach to local identification and develop a CAS approach to obtain explicit algebraic solutions for each of the model parameters. We illustrate the procedures with several examples, including a new proof of the identification of a model for handling missing data using auxiliary variables. We present an identification procedure for Structural Equation Models that makes use of CAS and that is a useful complement to current methods. PMID:21769158

  5. Proposition Algebra with Projective Limits

    CERN Document Server

    Bergstra, J A

    2008-01-01

    Sequential logic deviates from propositional logic by taking into account that atomic propositions yield different Boolean values at different times during the sequential evaluation of a single proposition. Reactive valuations capture this dynamics of a proposition's environment. This logic is phrased as an equationally specified algebra rather than in the form of proof rules. It is strictly more general than Boolean algebra to the extent that the classical connectives fail to be expressively complete in the sequential case. The proposition algebra PRA is developed in a fashion similar to the process algebra ACP and the program algebra PGA via an algebraic specification which has a meaningful initial algebra for which a range of courser congruences are considered important as well. In addition infinite objects (that is propositions, processes and programs respectively) are preferably dealt with by means of an inverse limit construction which allows the transfer of knowledge concerning finite objects to facts ...

  6. Algebraic connectivity and graph robustness.

    Energy Technology Data Exchange (ETDEWEB)

    Feddema, John Todd; Byrne, Raymond Harry; Abdallah, Chaouki T. (University of New Mexico)

    2009-07-01

    Recent papers have used Fiedler's definition of algebraic connectivity to show that network robustness, as measured by node-connectivity and edge-connectivity, can be increased by increasing the algebraic connectivity of the network. By the definition of algebraic connectivity, the second smallest eigenvalue of the graph Laplacian is a lower bound on the node-connectivity. In this paper we show that for circular random lattice graphs and mesh graphs algebraic connectivity is a conservative lower bound, and that increases in algebraic connectivity actually correspond to a decrease in node-connectivity. This means that the networks are actually less robust with respect to node-connectivity as the algebraic connectivity increases. However, an increase in algebraic connectivity seems to correlate well with a decrease in the characteristic path length of these networks - which would result in quicker communication through the network. Applications of these results are then discussed for perimeter security.

  7. Abstract algebra structure and application

    CERN Document Server

    Finston, David R

    2014-01-01

    This text seeks to generate interest in abstract algebra by introducing each new structure and topic via a real-world application. The down-to-earth presentation is accessible to a readership with no prior knowledge of abstract algebra. Students are led to algebraic concepts and questions in a natural way through their everyday experiences. Applications include: Identification numbers and modular arithmetic (linear) error-correcting codes, including cyclic codes ruler and compass constructions cryptography symmetry of patterns in the real plane Abstract Algebra: Structure and Application is suitable as a text for a first course on abstract algebra whose main purpose is to generate interest in the subject, or as a supplementary text for more advanced courses. The material paves the way to subsequent courses that further develop the theory of abstract algebra and will appeal to students of mathematics, mathematics education, computer science, and engineering interested in applications of algebraic concepts.

  8. On Dunkl angular momenta algebra

    Science.gov (United States)

    Feigin, Misha; Hakobyan, Tigran

    2015-11-01

    We consider the quantum angular momentum generators, deformed by means of the Dunkl operators. Together with the reflection operators they generate a subalgebra in the rational Cherednik algebra associated with a finite real reflection group. We find all the defining relations of the algebra, which appear to be quadratic, and we show that the algebra is of Poincaré-Birkhoff-Witt (PBW) type. We show that this algebra contains the angular part of the Calogero-Moser Hamiltonian and that together with constants it generates the centre of the algebra. We also consider the gl( N ) version of the subalge-bra of the rational Cherednik algebra and show that it is a non-homogeneous quadratic algebra of PBW type as well. In this case the central generator can be identified with the usual Calogero-Moser Hamiltonian associated with the Coxeter group in the harmonic confinement.

  9. Free Malcev algebra of rank three

    OpenAIRE

    Kornev, Alexandr

    2011-01-01

    We find a basis of the free Malcev algebra on three free generators over a field of characteristic zero. The specialty and semiprimity of this algebra are proved. In addition, we prove the decomposability of this algebra into subdirect sum of the free Lie algebra rank three and the free algebra of rank three of variety of Malcev algebras generated by a simple seven-dimensional Malcev algebra.

  10. Current Algebra Quarks and What Else?

    CERN Document Server

    Fritzsch, Harald; Fritzsch, Harald; Gell-Mann, Murray

    1972-01-01

    After receiving many requests for reprints of this article, describing the original ideas on the quark gluon gauge theory, which we later named QCD, we decided to place the article in the e-Print archive.

  11. The q-AGT-W relations via shuffle algebras

    CERN Document Server

    Neguţ, Andrei

    2016-01-01

    We construct the action of the q-deformed W-algebra on its level r representation geometrically, using the moduli space of U(r) instantons on the plane and the double shuffle algebra. We give explicit formulas for the action of W-currents in the fixed point basis of the level r representation, and prove a relation between the Carlsson-Okounkov Ext operator and vertex operators for the deformed W-algebra. We interpret this result as a q-deformed version of the AGT-W relations.

  12. Dual number coefficient octonion algebra, field equations and conservation laws

    Science.gov (United States)

    Chanyal, B. C.; Chanyal, S. K.

    2016-08-01

    Starting with octonion algebra, we develop the dual number coefficient octonion (DNCO) algebra having sixteen components. DNCO forms of generalized potential, field and current equations are discussed in consistent manner. We have made an attempt to write the DNCO form of generalized Dirac-Maxwell's equations in presence of electric and magnetic charges (dyons). Accordingly, we demonstrate the work-energy theorem of classical mechanics reproducing the continuity equation for dyons in terms of DNCO algebra. Further, we discuss the DNCO form of linear momentum conservation law for dyons.

  13. Vertex Algebras, Kac-Moody Algebras, and the Monster

    Science.gov (United States)

    Borcherds, Richard E.

    1986-05-01

    It is known that the adjoint representation of any Kac-Moody algebra A can be identified with a subquotient of a certain Fock space representation constructed from the root lattice of A. I define a product on the whole of the Fock space that restricts to the Lie algebra product on this subquotient. This product (together with a infinite number of other products) is constructed using a generalization of vertex operators. I also construct an integral form for the universal enveloping algebra of any Kac-Moody algebra that can be used to define Kac-Moody groups over finite fields, some new irreducible integrable representations, and a sort of affinization of any Kac-Moody algebra. The ``Moonshine'' representation of the Monster constructed by Frenkel and others also has products like the ones constructed for Kac-Moody algebras, one of which extends the Griess product on the 196884-dimensional piece to the whole representation.

  14. Testing algebraic geometric codes

    Institute of Scientific and Technical Information of China (English)

    2009-01-01

    Property testing was initially studied from various motivations in 1990’s. A code C  GF (r)n is locally testable if there is a randomized algorithm which can distinguish with high possibility the codewords from a vector essentially far from the code by only accessing a very small (typically constant) number of the vector’s coordinates. The problem of testing codes was firstly studied by Blum, Luby and Rubinfeld and closely related to probabilistically checkable proofs (PCPs). How to characterize locally testable codes is a complex and challenge problem. The local tests have been studied for Reed-Solomon (RS), Reed-Muller (RM), cyclic, dual of BCH and the trace subcode of algebraicgeometric codes. In this paper we give testers for algebraic geometric codes with linear parameters (as functions of dimensions). We also give a moderate condition under which the family of algebraic geometric codes cannot be locally testable.

  15. Combinatorics and commutative algebra

    CERN Document Server

    Stanley, Richard P

    1996-01-01

    Some remarkable connections between commutative algebra and combinatorics have been discovered in recent years. This book provides an overview of two of the main topics in this area. The first concerns the solutions of linear equations in nonnegative integers. Applications are given to the enumeration of integer stochastic matrices (or magic squares), the volume of polytopes, combinatorial reciprocity theorems, and related results. The second topic deals with the face ring of a simplicial complex, and includes a proof of the Upper Bound Conjecture for Spheres. An introductory chapter giving background information in algebra, combinatorics and topology broadens access to this material for non-specialists. New to this edition is a chapter surveying more recent work related to face rings, focusing on applications to f-vectors. Included in this chapter is an outline of the proof of McMullen's g-conjecture for simplicial polytopes based on toric varieties, as well as a discussion of the face rings of such special ...

  16. Real algebraic geometry

    CERN Document Server

    Bochnak, Jacek; Roy, Marie-Françoise

    1998-01-01

    This book is a systematic treatment of real algebraic geometry, a subject that has strong interrelation with other areas of mathematics: singularity theory, differential topology, quadratic forms, commutative algebra, model theory, complexity theory etc. The careful and clearly written account covers both basic concepts and up-to-date research topics. It may be used as text for a graduate course. The present edition is a substantially revised and expanded English version of the book "Géometrie algébrique réelle" originally published in French, in 1987, as Volume 12 of ERGEBNISSE. Since the publication of the French version the theory has made advances in several directions. Many of these are included in this English version. Thus the English book may be regarded as a completely new treatment of the subject.

  17. Topological convolution algebras

    CERN Document Server

    Alpay, Daniel

    2012-01-01

    In this paper we introduce a new family of topological convolution algebras of the form $\\bigcup_{p\\in\\mathbb N} L_2(S,\\mu_p)$, where $S$ is a Borel semi-group in a locally compact group $G$, which carries an inequality of the type $\\|f*g\\|_p\\le A_{p,q}\\|f\\|_q\\|g\\|_p$ for $p > q+d$ where $d$ pre-assigned, and $A_{p,q}$ is a constant. We give a sufficient condition on the measures $\\mu_p$ for such an inequality to hold. We study the functional calculus and the spectrum of the elements of these algebras, and present two examples, one in the setting of non commutative stochastic distributions, and the other related to Dirichlet series.

  18. Operator product expansion algebra

    Energy Technology Data Exchange (ETDEWEB)

    Holland, Jan [CPHT, Ecole Polytechnique, Paris-Palaiseau (France)

    2014-07-01

    The Operator Product Expansion (OPE) is a theoretical tool for studying the short distance behaviour of products of local quantum fields. Over the past 40 years, the OPE has not only found widespread computational application in high-energy physics, but, on a more conceptual level, it also encodes fundamental information on algebraic structures underlying quantum field theories. I review new insights into the status and properties of the OPE within Euclidean perturbation theory, addressing in particular the topics of convergence and ''factorisation'' of the expansion. Further, I present a formula for the ''deformation'' of the OPE algebra caused by a quartic interaction. This formula can be used to set up a novel iterative scheme for the perturbative computation of OPE coefficients, based solely on the zeroth order coefficients (and renormalisation conditions) as initial input.

  19. Testing algebraic geometric codes

    Institute of Scientific and Technical Information of China (English)

    CHEN Hao

    2009-01-01

    Property testing was initially studied from various motivations in 1990's.A code C (∩)GF(r)n is locally testable if there is a randomized algorithm which can distinguish with high possibility the codewords from a vector essentially far from the code by only accessing a very small (typically constant) number of the vector's coordinates.The problem of testing codes was firstly studied by Blum,Luby and Rubinfeld and closely related to probabilistically checkable proofs (PCPs).How to characterize locally testable codes is a complex and challenge problem.The local tests have been studied for Reed-Solomon (RS),Reed-Muller (RM),cyclic,dual of BCH and the trace subcode of algebraicgeometric codes.In this paper we give testers for algebraic geometric codes with linear parameters (as functions of dimensions).We also give a moderate condition under which the family of algebraic geometric codes cannot be locally testable.

  20. Algebra of Majorana doubling.

    Science.gov (United States)

    Lee, Jaehoon; Wilczek, Frank

    2013-11-27

    Motivated by the problem of identifying Majorana mode operators at junctions, we analyze a basic algebraic structure leading to a doubled spectrum. For general (nonlinear) interactions the emergent mode creation operator is highly nonlinear in the original effective mode operators, and therefore also in the underlying electron creation and destruction operators. This phenomenon could open up new possibilities for controlled dynamical manipulation of the modes. We briefly compare and contrast related issues in the Pfaffian quantum Hall state.

  1. The Algebra Artist

    Science.gov (United States)

    Beigie, Darin

    2014-01-01

    Most people who are attracted to STEM-related fields are drawn not by a desire to take mathematics tests but to create things. The opportunity to create an algebra drawing gives students a sense of ownership and adventure that taps into the same sort of energy that leads a young person to get lost in reading a good book, building with Legos®,…

  2. Clifford Algebras and Spinors

    International Nuclear Information System (INIS)

    Expository notes on Clifford algebras and spinors with a detailed discussion of Majorana, Weyl, and Dirac spinors. The paper is meant as a review of background material, needed, in particular, in now fashionable theoretical speculations on neutrino masses. It has a more mathematical flavour than the over twenty-six-year-old Introduction to Majorana masses [M84] and includes historical notes and biographical data on past participants in the story. (author)

  3. Algebra & trigonometry II essentials

    CERN Document Server

    REA, Editors of

    2012-01-01

    REA's Essentials provide quick and easy access to critical information in a variety of different fields, ranging from the most basic to the most advanced. As its name implies, these concise, comprehensive study guides summarize the essentials of the field covered. Essentials are helpful when preparing for exams, doing homework and will remain a lasting reference source for students, teachers, and professionals. Algebra & Trigonometry II includes logarithms, sequences and series, permutations, combinations and probability, vectors, matrices, determinants and systems of equations, mathematica

  4. Redesigning linear algebra algorithms

    Energy Technology Data Exchange (ETDEWEB)

    Dongarra, J.J.

    1983-01-01

    Many of the standard algorithms in linear algebra as implemented in FORTRAN do not achieve maximum performance on today's large-scale vector computers. The author examines the problem and constructs alternative formulations of algorithms that do not lose the clarity of the original algorithm or sacrifice the FORTRAN portable environment, but do gain the performance attainable on these supercomputers. The resulting implementation not only performs well on vector computers but also increases performance on conventional sequential computers. 13 references.

  5. Redesigning linear algebra algorithms

    Energy Technology Data Exchange (ETDEWEB)

    Dongarra, J.J.

    1983-01-01

    Many of the standard algorithms in linear algebra as implemented in FORTRAN do not achieve maximum performance on today's large-scale vector computers. In this paper we examine the problem and construct alternative formulations of algorithms that do not lose the clarity of the original algorithm or sacrifice the Fortran portable environment, but do gain the performance attainable on these supercomputers. The resulting implementation not only performs well on vector computers but also increases performance on conventional sequential computers.

  6. Fundamentals of linear algebra

    CERN Document Server

    Dash, Rajani Ballav

    2008-01-01

    FUNDAMENTALS OF LINEAR ALGEBRA is a comprehensive Text Book, which can be used by students and teachers of All Indian Universities. The Text has easy, understandable form and covers all topics of UGC Curriculum. There are lots of worked out examples which helps the students in solving the problems without anybody's help. The Problem sets have been designed keeping in view of the questions asked in different examinations.

  7. Semisimple Metacyclic Group Algebras

    Indian Academy of Sciences (India)

    Gurmeet K Bakshi; Shalini Gupta; Inder Bir S Passi

    2011-11-01

    Given a group of order $p_1p_2$, where $p_1,p_2$ are primes, and $\\mathbb{F}_q$, a finite field of order coprime to $p_1p_2$, the object of this paper is to compute a complete set of primitive central idempotents of the semisimple group algebra $\\mathbb{F}_q[G]$. As a consequence, we obtain the structure of $\\mathbb{F}_q[G]$ and its group of automorphisms.

  8. Modern algebra essentials

    CERN Document Server

    Lutfiyya, Lutfi A

    2012-01-01

    REA's Essentials provide quick and easy access to critical information in a variety of different fields, ranging from the most basic to the most advanced. As its name implies, these concise, comprehensive study guides summarize the essentials of the field covered. Essentials are helpful when preparing for exams, doing homework and will remain a lasting reference source for students, teachers, and professionals. Modern Algebra includes set theory, operations, relations, basic properties of the integers, group theory, and ring theory.

  9. Algebra, Arithmetic, and Geometry

    CERN Document Server

    Tschinkel, Yuri

    2009-01-01

    The two volumes of "Algebra, Arithmetic, and Geometry: In Honor of Y.I. Manin" are composed of invited expository articles and extensions detailing Manin's contributions to the subjects, and are in celebration of his 70th birthday. The well-respected and distinguished contributors include: Behrend, Berkovich, Bost, Bressler, Calaque, Carlson, Chambert-Loir, Colombo, Connes, Consani, Dabrowski, Deninger, Dolgachev, Donaldson, Ekedahl, Elsenhans, Enriques, Etingof, Fock, Friedlander, Geemen, Getzler, Goncharov, Harris, Iskovskikh, Jahnel, Kaledin, Kapranov, Katz, Kaufmann, Kollar, Kont

  10. Algebraic volume density property of affine algebraic manifolds

    OpenAIRE

    Kaliman, Shulim; Kutzschebauch, Frank

    2009-01-01

    We introduce the notion of algebraic volume density property for affine algebraic manifolds and prove some important basic facts about it, in particular that it implies the volume density property. The main results of the paper are producing two big classes of examples of Stein manifolds with volume density property. One class consists of certain affine modifications of $\\C^n$ equipped with a canonical volume form, the other is the class of all Linear Algebraic Groups equipped with the left i...

  11. LOCAL AUTOMORPHISMS OF SEMISIMPLE ALGEBRAS AND GROUP ALGEBRAS

    Institute of Scientific and Technical Information of China (English)

    Wang Dengyin; Guan Qi; Zhan9 Dongju

    2011-01-01

    Let F be a field of characteristic not 2,and let A be a finite-dimensional semisimple F-algebra.All local automorphisms of A are characterized when all the degrees of A are larger than 1.If F is further assumed to be an algebraically closed field of characteristic zero,K a finite group,FK the group algebra of K over F,then all local automorphisms of FK are also characterized.

  12. Exceptional Vertex Operator Algebras and the Virasoro Algebra

    OpenAIRE

    Tuite, Michael P.

    2008-01-01

    We consider exceptional vertex operator algebras for which particular Casimir vectors constructed from the primary vectors of lowest conformal weight are Virasoro descendants of the vacuum. We discuss constraints on these theories that follow from an analysis of appropriate genus zero and genus one two point correlation functions. We find explicit differential equations for the partition function in the cases where the lowest weight primary vectors form a Lie algebra or a Griess algebra. Exam...

  13. Reinvention of early algebra : developmental research on the transition from arithmetic to algebra

    NARCIS (Netherlands)

    Amerom, B.A. van

    2002-01-01

    In chapter 1 we give our reasons for carrying out this developmental research project on the transition from arithmetic to algebra, which includes the design of an experimental learning strand on solving equations. Chapter 2 describes the theoretical background of the book: current views on the teac

  14. Further linear algebra

    CERN Document Server

    Blyth, T S

    2002-01-01

    Most of the introductory courses on linear algebra develop the basic theory of finite­ dimensional vector spaces, and in so doing relate the notion of a linear mapping to that of a matrix. Generally speaking, such courses culminate in the diagonalisation of certain matrices and the application of this process to various situations. Such is the case, for example, in our previous SUMS volume Basic Linear Algebra. The present text is a continuation of that volume, and has the objective of introducing the reader to more advanced properties of vector spaces and linear mappings, and consequently of matrices. For readers who are not familiar with the contents of Basic Linear Algebra we provide an introductory chapter that consists of a compact summary of the prerequisites for the present volume. In order to consolidate the student's understanding we have included a large num­ ber of illustrative and worked examples, as well as many exercises that are strategi­ cally placed throughout the text. Solutions to the ex...

  15. The tensor hierarchy algebra

    Energy Technology Data Exchange (ETDEWEB)

    Palmkvist, Jakob, E-mail: palmkvist@ihes.fr [Institut des Hautes Etudes Scientifiques, 35 Route de Chartres, FR-91440 Bures-sur-Yvette (France)

    2014-01-15

    We introduce an infinite-dimensional Lie superalgebra which is an extension of the U-duality Lie algebra of maximal supergravity in D dimensions, for 3 ⩽ D ⩽ 7. The level decomposition with respect to the U-duality Lie algebra gives exactly the tensor hierarchy of representations that arises in gauge deformations of the theory described by an embedding tensor, for all positive levels p. We prove that these representations are always contained in those coming from the associated Borcherds-Kac-Moody superalgebra, and we explain why some of the latter representations are not included in the tensor hierarchy. The most remarkable feature of our Lie superalgebra is that it does not admit a triangular decomposition like a (Borcherds-)Kac-Moody (super)algebra. Instead the Hodge duality relations between level p and D − 2 − p extend to negative p, relating the representations at the first two negative levels to the supersymmetry and closure constraints of the embedding tensor.

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

  17. Stability of functional equations in Banach algebras

    CERN Document Server

    Cho, Yeol Je; Rassias, Themistocles M; Saadati, Reza

    2015-01-01

    Some of the most recent and significant results on homomorphisms and derivations in Banach algebras, quasi-Banach algebras, C*-algebras, C*-ternary algebras, non-Archimedean Banach algebras and multi-normed algebras are presented in this book. A brief introduction for functional equations and their stability is provided with historical remarks. Since the homomorphisms and derivations in Banach algebras are additive and R-linear or C-linear, the stability problems for additive functional equations and additive mappings are studied in detail. The latest results are discussed and examined in stability theory for new functional equations and functional inequalities in Banach algebras and C*-algebras, non-Archimedean Banach algebras, non-Archimedean C*-algebras, multi-Banach algebras and multi-C*-algebras. Graduate students with an understanding of operator theory, functional analysis, functional equations and analytic inequalities will find this book useful for furthering their understanding and discovering the l...

  18. The Affine q-Schur algebra

    OpenAIRE

    Green, R. M.

    1997-01-01

    We introduce an analogue of the $q$-Schur algebra associated to Coxeter systems of type $\\hat A_{n-1}$. We give two constructions of this algebra. The first construction realizes the algebra as a certain endomorphism algebra arising from an affine Hecke algebra of type $\\hat A_{r-1}$, where $n \\geq r$. This generalizes the original $q$-Schur algebra as defined by Dipper and James, and the new algebra contains the ordinary $q$-Schur algebra and the affine Hecke algebra as subalgebras. Using th...

  19. DERIVATIONS ON DIFFERENTIAL OPERATOR ALGEBRA AND WEYL ALGEBRA

    Institute of Scientific and Technical Information of China (English)

    CHENCAOYU

    1996-01-01

    Let L be an n-dimensional nilpotent Lie algebra with a basis{x1…,xn),and every xi acts as a locally nilpotent derivation on algebra A. This paper shows that there exists a set of derivations{y1,…,yn}on U(L) such that (A#U(L))#k{y,1,…,yn] is ismorphic to the Weyl algebra An(A).The author also uses the de4rivations to obtain a necessary and sufficient condition for a finite dimesional Lie algebra to be nilpotent.

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

  1. Minimal ambient nuclear C*-algebras

    OpenAIRE

    Suzuki, Yuhei

    2015-01-01

    We provide examples of ambient nuclear C*-algebras of non-nuclear C*-algebras with no proper intermediate C*-algebras. In particular this gives the first examples of minimal ambient nuclear C*-algebras of non-nuclear C*-algebras. For this purpose, we study generic Cantor systems of infinite free product groups.

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

  3. 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. PMID:26806075

  4. Quantum computation using geometric algebra

    Science.gov (United States)

    Matzke, Douglas James

    This dissertation reports that arbitrary Boolean logic equations and operators can be represented in geometric algebra as linear equations composed entirely of orthonormal vectors using only addition and multiplication Geometric algebra is a topologically based algebraic system that naturally incorporates the inner and anticommutative outer products into a real valued geometric product, yet does not rely on complex numbers or matrices. A series of custom tools was designed and built to simplify geometric algebra expressions into a standard sum of products form, and automate the anticommutative geometric product and operations. Using this infrastructure, quantum bits (qubits), quantum registers and EPR-bits (ebits) are expressed symmetrically as geometric algebra expressions. Many known quantum computing gates, measurement operators, and especially the Bell/magic operators are also expressed as geometric products. These results demonstrate that geometric algebra can naturally and faithfully represent the central concepts, objects, and operators necessary for quantum computing, and can facilitate the design and construction of quantum computing tools.

  5. Linear algebra and projective geometry

    CERN Document Server

    Baer, Reinhold

    2005-01-01

    Geared toward upper-level undergraduates and graduate students, this text establishes that projective geometry and linear algebra are essentially identical. The supporting evidence consists of theorems offering an algebraic demonstration of certain geometric concepts. These focus on the representation of projective geometries by linear manifolds, of projectivities by semilinear transformations, of collineations by linear transformations, and of dualities by semilinear forms. These theorems lead to a reconstruction of the geometry that constituted the discussion's starting point, within algebra

  6. Higher theories of algebraic structures

    OpenAIRE

    Matsuoka, Takuo

    2016-01-01

    The notion of (symmetric) coloured operad or "multicategory" can be obtained from the notion of commutative algebra through a certain general process which we call "theorization" (where our term comes from an analogy with William Lawvere's notion of algebraic theory). By exploiting the inductivity in the structure of higher associativity, we obtain the notion of "$n$-theory" for every integer $n\\ge 0$, which inductively "theorizes" $n$ times, the notion of commutative algebra. As a result, (c...

  7. Differential Equations with Linear Algebra

    CERN Document Server

    Boelkins, Matthew R; Potter, Merle C

    2009-01-01

    Linearity plays a critical role in the study of elementary differential equations; linear differential equations, especially systems thereof, demonstrate a fundamental application of linear algebra. In Differential Equations with Linear Algebra, we explore this interplay between linear algebra and differential equations and examine introductory and important ideas in each, usually through the lens of important problems that involve differential equations. Written at a sophomore level, the text is accessible to students who have completed multivariable calculus. With a systems-first approach, t

  8. COCLEFT EXTENSIONS OF HOPF ALGEBRAS

    Institute of Scientific and Technical Information of China (English)

    祝家贵

    2006-01-01

    Let B and H be finitely generated projective Hopf algebras over a commutative ring R,with B cocommutative and H commutative. In this paper we investigate cocleft extensions of Hopf algebras, and prove that the isomorphism classes of cocleft Hopf algebras extensions of B by H are determined uniquely by the group C(B, H) = ZC(B, H)/d(B, H) .

  9. Categorical Algebra and its Applications

    CERN Document Server

    1988-01-01

    Categorical algebra and its applications contain several fundamental papers on general category theory, by the top specialists in the field, and many interesting papers on the applications of category theory in functional analysis, algebraic topology, algebraic geometry, general topology, ring theory, cohomology, differential geometry, group theory, mathematical logic and computer sciences. The volume contains 28 carefully selected and refereed papers, out of 96 talks delivered, and illustrates the usefulness of category theory today as a powerful tool of investigation in many other areas.

  10. Algebraic Independence and Mahler's method

    OpenAIRE

    Zorin, Evgeniy

    2011-01-01

    We give some new results on algebraic independence within Mahler's method, including algebraic independence of values at transcendental points. We also give some new measures of algebraic independence for infinite series of numbers. In particular, our results furnishes, for $n\\geq 1$ arbitrarily large, new examples of sets $(\\theta_1,...,\\theta_n)\\in\\mrr^n$ normal in the sense of definition formulated by Grigory Chudnovsky (1980).

  11. Algebraic geometric codes with applications

    Institute of Scientific and Technical Information of China (English)

    CHEN Hao

    2007-01-01

    The theory of linear error-correcting codes from algebraic geomet-ric curves (algebraic geometric (AG) codes or geometric Goppa codes) has been well-developed since the work of Goppa and Tsfasman, Vladut, and Zink in 1981-1982. In this paper we introduce to readers some recent progress in algebraic geometric codes and their applications in quantum error-correcting codes, secure multi-party computation and the construction of good binary codes.

  12. NON-COMMUTATIVE POISSON ALGEBRA STRUCTURES ON LIE ALGEBRA sln(fCq) WITH NULLITY M

    Institute of Scientific and Technical Information of China (English)

    Jie TONG; Quanqin JIN

    2013-01-01

    Non-commutative Poisson algebras are the algebras having both an associa-tive algebra structure and a Lie algebra structure together with the Leibniz law. In this paper, the non-commutative poisson algebra structures on the Lie algebras sln(fCq) are determined.

  13. How Structure Sense for Algebraic Expressions or Equations Is Related to Structure Sense for Abstract Algebra

    Science.gov (United States)

    Novotna, Jarmila; Hoch, Maureen

    2008-01-01

    Many students have difficulties with basic algebraic concepts at high school and at university. In this paper two levels of algebraic structure sense are defined: for high school algebra and for university algebra. We suggest that high school algebra structure sense components are sub-components of some university algebra structure sense…

  14. Square Roots of -1 in Real Clifford Algebras

    CERN Document Server

    Hitzer, Eckhard; Ablamowicz, Rafal

    2012-01-01

    It is well known that Clifford (geometric) algebra offers a geometric interpretation for square roots of -1 in the form of blades that square to minus 1. This extends to a geometric interpretation of quaternions as the side face bivectors of a unit cube. Systematic research has been done [1] on the biquaternion roots of -1, abandoning the restriction to blades. Biquaternions are isomorphic to the Clifford (geometric) algebra $Cl(3,0)$ of $\\mathbb{R}^3$. Further research on general algebras $Cl(p,q)$ has explicitly derived the geometric roots of -1 for $p+q \\leq 4$ [2]. The current research abandons this dimension limit and uses the Clifford algebra to matrix algebra isomorphisms in order to algebraically characterize the continuous manifolds of square roots of -1 found in the different types of Clifford algebras, depending on the type of associated ring ($\\mathbb{R}$, $\\mathbb{H}$, $\\mathbb{R}^2$, $\\mathbb{H}^2$, or $\\mathbb{C}$). At the end of the paper explicit computer generated tables of representative sq...

  15. Planar Para Algebras, Reflection Positivity

    CERN Document Server

    Jaffe, Arthur

    2016-01-01

    We define the notion of a planar para algebra, which arises naturally from combining planar algebras with the idea of $\\Z_{N}$ para symmetry in physics. A subfactor planar para algebra is a Hilbert space representation of planar tangles with parafermionic defects, that are invariant under isotopy. For each $\\Z_{N}$, we construct a family of subfactor planar para algebras which play the role of Temperley-Lieb-Jones planar algebras. The first example in this family is the parafermion planar para algebra. Based on this example, we introduce parafermion Pauli matrices, quaternion relations, and braided relations for parafermion algebras which one can use in the study of quantum information. Two different reflections play an important role in the theory of planar para algebras. One is the adjoint operator; the other is the modular conjugation in Tomita-Takesaki theory. We use the latter one to define the double algebra and to introduce reflection positivity. We give a new and geometric proof of reflection positivi...

  16. Congruence Kernels of Orthoimplication Algebras

    Directory of Open Access Journals (Sweden)

    I. Chajda

    2007-10-01

    Full Text Available Abstracting from certain properties of the implication operation in Boolean algebras leads to so-called orthoimplication algebras. These are in a natural one-to-one correspondence with families of compatible orthomodular lattices. It is proved that congruence kernels of orthoimplication algebras are in a natural one-to-one correspondence with families of compatible p-filters on the corresponding orthomodular lattices. Finally, it is proved that the lattice of all congruence kernels of an orthoimplication algebra is relatively pseudocomplemented and a simple description of the relative pseudocomplement is given.

  17. Introduction to algebraic independence theory

    CERN Document Server

    Philippon, Patrice

    2001-01-01

    In the last five years there has been very significant progress in the development of transcendence theory. A new approach to the arithmetic properties of values of modular forms and theta-functions was found. The solution of the Mahler-Manin problem on values of modular function j(tau) and algebraic independence of numbers pi and e^(pi) are most impressive results of this breakthrough. The book presents these and other results on algebraic independence of numbers and further, a detailed exposition of methods created in last the 25 years, during which commutative algebra and algebraic geometry exerted strong catalytic influence on the development of the subject.

  18. Hochschild homology of structured algebras

    DEFF Research Database (Denmark)

    Wahl, Nathalie; Westerland, Craig Christopher

    2016-01-01

    We give a general method for constructing explicit and natural operations on the Hochschild complex of algebras over any prop with A∞-multiplication—we think of such algebras as A∞-algebras “with extra structure”. As applications, we obtain an integral version of the Costello......–Kontsevich–Soibelman moduli space action on the Hochschild complex of open TCFTs, the Tradler–Zeinalian and Kaufmann actions of Sullivan diagrams on the Hochschild complex of strict Frobenius algebras, and give applications to string topology in characteristic zero. Our main tool is a generalization of the Hochschild complex....

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

    Science.gov (United States)

    Ayupov, Shavkat; Kudaybergenov, Karimbergen

    2016-03-01

    The paper is devoted to 2-local derivations on matrix algebras over unital semi-prime Banach algebras. For a unital semi-prime Banach algebra A with the inner derivation property we prove that any 2-local derivation on the algebra M 2n (A), n ≥ 2, is a derivation. We apply this result to AW*-algebras and show that any 2-local derivation on an arbitrary AW*-algebra is a derivation.

  20. Fundamental structures of algebra and discrete mathematics

    CERN Document Server

    Foldes, Stephan

    2011-01-01

    Introduces and clarifies the basic theories of 12 structural concepts, offering a fundamental theory of groups, rings and other algebraic structures. Identifies essentials and describes interrelationships between particular theories. Selected classical theorems and results relevant to current research are proved rigorously within the theory of each structure. Throughout the text the reader is frequently prompted to perform integrated exercises of verification and to explore examples.

  1. Construction of complete generalized algebraic groups

    Institute of Scientific and Technical Information of China (English)

    WANG Dengyin

    2005-01-01

    With one exception, the holomorph of a finite dimensional abelian connectedalgebraic group is shown to be a complete generalized algebraic group. This result on algebraic group is an analogy to that on Lie algebra.

  2. On triangular algebras with noncommutative diagonals

    Institute of Scientific and Technical Information of China (English)

    2008-01-01

    We construct a triangular algebra whose diagonals form a noncommutative algebra and its lattice of invariant projections contains only two nontrivial projections. Moreover we prove that our triangular algebra is maximal.

  3. Tilting mutation of Brauer tree algebras

    CERN Document Server

    Aihara, T

    2010-01-01

    We define tilting mutations of symmetric algebras as the endomorphism algebras of Okuyama-Rickard complexes. For Brauer tree algebras, we give an explicit description of the change of Brauer trees under mutation.

  4. Algebraic dynamics solution and algebraic dynamics algorithm of Burgers equations

    Institute of Scientific and Technical Information of China (English)

    2008-01-01

    Algebraic dynamics solution and algebraic dynamics algorithm of nonlinear partial differential evolution equations in the functional space are applied to Burgers equation. The results indicate that the approach is effective for analytical solutions to Burgers equation, and the algorithm for numerical solutions of Burgers equation is more stable, with higher precision than other existing finite difference algo-rithms.

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

  6. Dynamical entropy of C* algebras and Von Neumann algebras

    International Nuclear Information System (INIS)

    The definition of the dynamical entropy is extended for automorphism groups of C* algebras. As example the dynamical entropy of the shift of a lattice algebra is studied and it is shown that in some cases it coincides with the entropy density. (Author)

  7. Simplicity of a vertex operator algebra whose Griess algebra is the Jordan algebra of symmetric matrices

    OpenAIRE

    Niibori, Hidekazu; Sagaki, Daisuke

    2009-01-01

    Let $r \\in \\BC$ be a complex number, and $d \\in \\BZ_{\\ge 2}$ a positive integer greater than or equal to 2. Ashihara and Miyamoto introduced a vertex operator algebra $\\Vam$ of central charge $dr$, whose Griess algebra is isomorphic to the simple Jordan algebra of symmetric matrices of size $d$. In this paper, we prove that the vertex operator algebra $\\Vam$ is simple if and only if $r$ is not an integer. Further, in the case that $r$ is an integer (i.e., $\\Vam$ is not simple), we give a gene...

  8. Semi-Hopf Algebra and Supersymmetry

    OpenAIRE

    Gunara, Bobby Eka

    1999-01-01

    We define a semi-Hopf algebra which is more general than a Hopf algebra. Then we construct the supersymmetry algebra via the adjoint action on this semi-Hopf algebra. As a result we have a supersymmetry theory with quantum gauge group, i.e., quantised enveloping algebra of a simple Lie algebra. For the example, we construct the Lagrangian N=1 and N=2 supersymmetry.

  9. Stable flatness of nonarchimedean hyperenveloping algebras

    OpenAIRE

    Schmidt, Tobias

    2008-01-01

    Let L be a p-adic local field and g a finite dimensional Lie algebra over L. We show that its hyperenveloping algebra F(g) is a stably flat completion of its universal enveloping algebra. As a consequence the relative cohomology for the locally convex algebra F(g) coincides with the underlying Lie algebra cohomology. Final version. Some minor items corrected. Appeared in Journal of Algebra (2010).

  10. Dimer models and Calabi-Yau algebras

    CERN Document Server

    Broomhead, Nathan

    2008-01-01

    In this thesis we study dimer models, as introduced in string theory, which give a way of writing down a class of non-commutative `superpotential' algebras. Some examples are 3-dimensional Calabi-Yau algebras, as defined by Ginzburg, and some are not. We consider two types of `consistency' condition on dimer models, and show that a `geometrically consistent' model is `algebraically consistent'. Finally we prove that the algebras obtained from algebraically consistent dimer models are 3-dimensional Calabi-Yau algebras.

  11. Circles and Clifford Algebras

    OpenAIRE

    Timorin, Vladlen

    2002-01-01

    Consider a smooth map from a neighborhood of the origin in a real vector space to a neighborhood of the origin in a Euclidean space. Suppose that this map takes all germs of lines passing through the origin to germs of Euclidean circles, or lines, or a point. We prove that under some simple additional assumptions this map takes all lines passing though the origin to the same circles as a Hopf map coming from a representation of a Clifford algebra does. We also describe a connection between ou...

  12. Handbook of algebra

    CERN Document Server

    Hazewinkel, M

    2008-01-01

    Algebra, as we know it today, consists of many different ideas, concepts and results. A reasonable estimate of the number of these different items would be somewhere between 50,000 and 200,000. Many of these have been named and many more could (and perhaps should) have a name or a convenient designation. Even the nonspecialist is likely to encounter most of these, either somewhere in the literature, disguised as a definition or a theorem or to hear about them and feel the need for more information. If this happens, one should be able to find enough information in this Handbook to judge if it i

  13. Advanced linear algebra

    CERN Document Server

    Cooperstein, Bruce

    2015-01-01

    Advanced Linear Algebra, Second Edition takes a gentle approach that starts with familiar concepts and then gradually builds to deeper results. Each section begins with an outline of previously introduced concepts and results necessary for mastering the new material. By reviewing what students need to know before moving forward, the text builds a solid foundation upon which to progress. The new edition of this successful text focuses on vector spaces and the maps between them that preserve their structure (linear transformations). Designed for advanced undergraduate and beginning graduate stud

  14. Optical linear algebra

    Energy Technology Data Exchange (ETDEWEB)

    Casasent, D.; Ghosh, A.

    1983-01-01

    Many of the linear algebra operations and algorithms possible on optical matrix-vector processors are reviewed. Emphasis is given to the use of direct solutions and their realization on systolic optical processors. As an example, implicit and explicit solutions to partial differential equations are considered. The matrix-decomposition required is found to be the major operation recommended for optical realization. The pipelining and flow of data and operations are noted to be key issues in the realization of any algorithm on an optical systolic array processor. A realization of the direct solution by householder qr decomposition is provided as a specific case study. 19 references.

  15. Matlab linear algebra

    CERN Document Server

    Lopez, Cesar

    2014-01-01

    MATLAB is a high-level language and environment for numerical computation, visualization, and programming. Using MATLAB, you can analyze data, develop algorithms, and create models and applications. The language, tools, and built-in math functions enable you to explore multiple approaches and reach a solution faster than with spreadsheets or traditional programming languages, such as C/C++ or Java. MATLAB Linear Algebra introduces you to the MATLAB language with practical hands-on instructions and results, allowing you to quickly achieve your goals. In addition to giving an introduction to

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

  17. Statecharts Via Process Algebra

    Science.gov (United States)

    Luttgen, Gerald; vonderBeeck, Michael; Cleaveland, Rance

    1999-01-01

    Statecharts is a visual language for specifying the behavior of reactive systems. The Language extends finite-state machines with concepts of hierarchy, concurrency, and priority. Despite its popularity as a design notation for embedded system, precisely defining its semantics has proved extremely challenging. In this paper, a simple process algebra, called Statecharts Process Language (SPL), is presented, which is expressive enough for encoding Statecharts in a structure-preserving and semantic preserving manner. It is establish that the behavioral relation bisimulation, when applied to SPL, preserves Statecharts semantics

  18. Metric Clifford Algebra

    OpenAIRE

    Fernández, V. V.; Moya, A. M.; Rodrigues Jr., W. A.

    2002-01-01

    In this paper we introduce the concept of metric Clifford algebra $\\mathcal{C\\ell}(V,g)$ for a $n$-dimensional real vector space $V$ endowed with a metric extensor $g$ whose signature is $(p,q)$, with $p+q=n$. The metric Clifford product on $\\mathcal{C\\ell}(V,g)$ appears as a well-defined \\emph{deformation}(induced by $g$) of an euclidean Clifford product on $\\mathcal{C\\ell}(V)$. Associated with the metric extensor $g,$ there is a gauge metric extensor $h$ which codifies all the geometric inf...

  19. (s,t,d)-bi-Koszul algebras

    Institute of Scientific and Technical Information of China (English)

    2009-01-01

    The paper focuses on the 1-generated positively graded algebras with non-pure resolutions and mainly discusses a new kind of algebras called(s,t,d)-bi-Koszul algebras as the generalization of bi-Koszul algebras. An(s,t,d)-bi-Koszul algebra can be obtained from two periodic algebras with pure resolutions. The generation of the Koszul dual of an(s,t,d)-bi-Koszul algebra is discussed. Based on it,the notion of strongly(s,t,d)-bi-Koszul algebras is raised and their homological properties are further discussed.

  20. (s, t, d)-bi-Koszul algebras

    Institute of Scientific and Technical Information of China (English)

    SI JunRu

    2009-01-01

    The paper focuses on the 1-generated positively graded algebras with non-pure resolutions and mainly discusses a new kind of algebras called (s, t, d)-bi-Koszul algebras as the generalization of bi-Koszul algebras. An (s, t, d)-bi-Koszul algebra can be obtained from two periodic algebras with pure resolutions. The generation of the Koszul dual of an (s, t, d)-bi-Koszul algebra is discussed. Based on it, the notion of strongly (s, t, d)-bi-Koszul algebras is raised and their homological properties are further discussed.

  1. New criterion for algebraic volume density property

    CERN Document Server

    Kaliman, Shulim

    2012-01-01

    A smooth affine algebraic variety $X$ equipped with an algebraic volume form $\\omega$ has the algebraic volume density property (AVDP) if the Lie algebra generated by completely integrable algebraic vector fields of $\\omega$-divergence zero coincides with the space of all algebraic vector fields of $\\omega$-divergence zero. We develop an effective criterion of verifying whether a given $X$ has AVDP. As an application of this method we establish AVDP for any homogeneous space $X=G/R$ that admits a $G$-invariant algebraic volume form where $G$ is a linear algebraic group and $R$ is a closed reductive subgroup of $G$.

  2. Algebraic solution of master equations

    OpenAIRE

    R. Rangel; L. Carvalho

    2003-01-01

    We present a simple analytical method to solve master equations for finite temperatures and any initial conditions, which consists in the expansion of the density operator into normal modes. These modes and the expansion coefficients are obtained algebraically by using ladder superoperators. This algebraic technique is successful in cases in which the Liouville superoperator is quadratic in the creation and annihilation operators.

  3. Linear Algebra and Image Processing

    Science.gov (United States)

    Allali, Mohamed

    2010-01-01

    We use the computing technology digital image processing (DIP) to enhance the teaching of linear algebra so as to make the course more visual and interesting. Certainly, this visual approach by using technology to link linear algebra to DIP is interesting and unexpected to both students as well as many faculty. (Contains 2 tables and 11 figures.)

  4. Toeplitz Algebras on Dirichlet Spaces

    Institute of Scientific and Technical Information of China (English)

    TAN Yan-hua; WANG Xiao-feng

    2001-01-01

    In the present paper, some properties of Toeplitz algebras on Dirichlet spaces for several complex variables are discussed; in particular, the automorphism group of the Toeplitz C* -algebra, (C1), generated by Toeplitz operators with C1-symbols is discussed. In addition, the first cohomology group of (C1) is computed.

  5. On crossed product of algebras

    OpenAIRE

    Borowiec, A.; Marcinek, W.

    2000-01-01

    The concept of a crossed tensor product of algebras is studied from a few points of views. Some related constructions are considered. Crossed enveloping algebras and their representations are discussed. Applications to the noncommutative geometry and particle systems with generalized statistics are indicated.

  6. Exploring Algebraic Patterns through Literature.

    Science.gov (United States)

    Austin, Richard A.; Thompson, Denisse R.

    1997-01-01

    Presents methods for using literature to develop algebraic thinking in an environment that connects algebra to various situations. Activities are based on the book "Anno's Magic Seeds" with additional resources listed. Students express a constant function, exponential function, and a recursive function in their own words as well as writing about…

  7. Algebraic Squares: Complete and Incomplete.

    Science.gov (United States)

    Gardella, Francis J.

    2000-01-01

    Illustrates ways of using algebra tiles to give students a visual model of competing squares that appear in algebra as well as in higher mathematics. Such visual representations give substance to the symbolic manipulation and give students who do not learn symbolically a way of understanding the underlying concepts of completing the square. (KHR)

  8. Algebraic Connectivity of Interdependent Networks

    NARCIS (Netherlands)

    Martin-Hernandez, J.; Wang, H.; Van Mieghem, P.; D'Agostino, G.

    2014-01-01

    The algebraic connectivity UN-1, i.e. the second smallest eigenvalue of the Laplacian matrix, plays a crucial role in dynamic phenomena such as diffusion processes, synchronization stability, and network robustness. In this work we study the algebraic connectivity in the general context of interdepe

  9. Templates for Linear Algebra Problems

    NARCIS (Netherlands)

    Bai, Z.; Day, D.; Demmel, J.; Dongarra, J.; Gu, M.; Ruhe, A.; Vorst, H.A. van der

    2001-01-01

    The increasing availability of advanced-architecture computers is having a very signicant eect on all spheres of scientic computation, including algorithm research and software development in numerical linear algebra. Linear algebra {in particular, the solution of linear systems of equations and eig

  10. Baxter Algebras and Umbral Calculus

    OpenAIRE

    Guo, Li

    2004-01-01

    We apply recent constructions of free Baxter algebras to the study of the umbral calculus. We give a characterization of the umbral calculus in terms of Baxter algebra. This characterization leads to a natural generalization of the umbral calculus that include the classical umbral calculus in a family of $\\lambda$-umbral calculi parameterized by $\\lambda$ in the base ring.

  11. On Homomorphism of Valuation Algebras

    Institute of Scientific and Technical Information of China (English)

    GUAN XUE-CHONG; LI YONG-MING

    2011-01-01

    In this paper, firstly, a necessary condition and a sufficient condition for an isomorphism between two semiring-inducod valuation algebras to exist are presented respectively. Then a general valuation homomorphism based on different domains is defined, and the corresponding homomorphism theorem of valuation algebra is proved.

  12. Program For Simple Algebra

    International Nuclear Information System (INIS)

    PFSA (Program For Simple Algebra) is designed to be helpful to people doing algebra and calculus with polynomial expressions. It is written entirely in Fortran and hence is portable and easily modified. It is much (approximately 90 times) faster than Macsyma. PFSA uses Fortran integer arithmetic to compute coefficients, and so the occurrence of an excessively large number in a numerator or denominator during a computation bombs the computation. The program was developed to enable a computation (of a canonical transformation for a Hamiltonian system) which was too big to be run in other systems available at the time. The intent in creating PFSA was to make a program which would do the Hamiltonian computation and similar computations easily and fast. The only language available (on the Cray) was Fortran. Example C in Section III is a very simple canonical transformation. In running the problem for which PFSA was written some intermediate expressions have more than 20,000 terms and some answers have more than 1000 terms

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

  14. Elements of algebraic coding systems

    CERN Document Server

    Cardoso da Rocha, Jr, Valdemar

    2014-01-01

    Elements of Algebraic Coding Systems is an introductory textto algebraic coding theory. In the first chapter, you'll gain insideknowledge of coding fundamentals, which is essential for a deeperunderstanding of state-of-the-art coding systems.This book is a quick reference for those who are unfamiliar withthis topic, as well as for use with specific applications such as cryptographyand communication. Linear error-correcting block codesthrough elementary principles span eleven chapters of the text.Cyclic codes, some finite field algebra, Goppa codes, algebraic decodingalgorithms, and applications in public-key cryptography andsecret-key cryptography are discussed, including problems and solutionsat the end of each chapter. Three appendices cover the Gilbertbound and some related derivations, a derivation of the Mac-Williams' identities based on the probability of undetected error,and two important tools for algebraic decoding-namely, the finitefield Fourier transform and the Euclidean algorithm for polynomials.

  15. The vector algebra war: A historical perspective

    CERN Document Server

    Chappell, James M; Hartnett, John G; Abbott, Derek

    2015-01-01

    There are a wide variety of different vector formalisms currently utilized in science. For example, Gibbs three-vectors, spacetime four-vectors, complex spinors for quantum mechanics, quaternions used for rigid body rotations and Clifford multivectors. With such a range of vector formalisms in use, it thus appears that there is as yet no general agreement on a vector formalism suitable for the whole of science. This surprising situation exists today, despite the fact that one of the main goals of nineteenth century science was to correctly describe vectors and the algebra of three-dimensional space. This situation has also had the unfortunate consequence of fragmenting knowledge across many disciplines and requiring a very significant amount of time and effort in learning the different formalisms. We thus review historically the development of our various vector systems and conclude that the Clifford algebra multivector fulfills the goal of correctly describing vectorial quantities in three dimensions.

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

  17. Rota-Baxter algebras and the Hopf algebra of renormalization

    International Nuclear Information System (INIS)

    Recently, the theory of renormalization in perturbative quantum field theory underwent some exciting new developments. Kreimer discovered an organization of Feynman graphs into combinatorial Hopf algebras. The process of renormalization is captured by a factorization theorem for regularized Hopf algebra characters. Hereby the notion of Rota-Baxter algebras enters the scene. In this work we develop in detail several mathematical aspects of Rota-Baxter algebras as they appear also in other sectors closely related to perturbative renormalization, to wit, for instance multiple-zeta-values and matrix differential equations. The Rota-Baxter picture enables us to present the algebraic underpinning for the Connes-Kreimer Birkhoff decomposition in a concise way. This is achieved by establishing a general factorization theorem for filtered algebras. Which in turn follows from a new recursion formula based on the Baker-Campbell-Hausdorff formula. This allows us to generalize a classical result due to Spitzer to non-commutative Rota-Baxter algebras. The Baker-Campbell-Hausdorff based recursion turns out to be a generalization of Magnus' expansion in numerical analysis to generalized integration operators. We will exemplify these general results by establishing a simple representation of the combinatorics of renormalization in terms of triangular matrices. We thereby recover in the presence of a Rota-Baxter operator the matrix representation of the Birkhoff decomposition of Connes and Kreimer. (orig.)

  18. On the Lie-algebraic origin of metric 3-algebras

    OpenAIRE

    de Medeiros, Paul; Figueroa-O'Farrill, José; Méndez-Escobar, E.; Ritter, Patricia

    2008-01-01

    Since the pioneering work of Bagger-Lambert and Gustavsson, there has been a proliferation of three-dimensional superconformal Chern-Simons theories whose main ingredient is a metric 3-algebra. On the other hand, many of these theories have been shown to allow for a reformulation in terms of standard gauge theory coupled to matter, where the 3-algebra does not appear explicitly. In this paper we reconcile these two sets of results by pointing out the Lie-algebraic origin of some metric 3-alge...

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

  20. Quaternionen and Geometric Algebra (Quaternionen und Geometrische Algebra)

    CERN Document Server

    Horn, Martin Erik

    2007-01-01

    In the last one and a half centuries, the analysis of quaternions has not only led to further developments in mathematics but has also been and remains an important catalyst for the further development of theories in physics. At the same time, Hestenes geometric algebra provides a didactically promising instrument to model phenomena in physics mathematically and in a tangible manner. Quaternions particularly have a catchy interpretation in the context of geometric algebra which can be used didactically. The relation between quaternions and geometric algebra is presented with a view to analysing its didactical possibilities.

  1. Algebraic volume density property of affine algebraic manifolds

    CERN Document Server

    Kaliman, Shulim

    2009-01-01

    We introduce the notion of algebraic volume density property for affine algebraic manifolds and prove some important basic facts about it, in particular that it implies the volume density property. The main results of the paper are producing two big classes of examples of Stein manifolds with volume density property. One class consists of certain affine modifications of $\\C^n$ equipped with a canonical volume form, the other is the class of all Linear Algebraic Groups equipped with the left invariant volume form.

  2. On atomicity of free algebras in Boolean algebras with operators, and a new result on Pinter's free algebras

    OpenAIRE

    Ahmed, Tarek Sayed

    2013-01-01

    We give some general theorems on free algebras of varieties of Boolean algebras with operators; a hitherto new result is obtained for Pinter's substitution algebras. For n\\geq 3, and m>1, there is a generating set of the free algebra freely generated by m elements, which is not a free set of generators.

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

  4. Color Hom-Akivis algebras, Color Hom-Leibniz algebras and Modules over Color Hom-Leibniz algebras

    OpenAIRE

    Bakayoko, Ibrahima; Bangoura, Momo; Manga, Bakary

    2014-01-01

    In this paper we introduce color Hom-Akivis algebras and prove that the commutator of any color non-associative Hom-algebra structure map leads to a color Hom-akivis algebra. We give various constructions of color Hom-Akivis algebras. Next we study flexible and alternative color Hom-Akivis algebras. Likewise color Hom-Akivis algebras, we introduce non-commutative color Hom-Leibniz-Poisson algebras and presente several constructions. Moreover we give the relationship between Hom-dialgebras and...

  5. Quantum algebra of N superspace

    International Nuclear Information System (INIS)

    We identify the quantum algebra of position and momentum operators for a quantum system bearing an irreducible representation of the super Poincare algebra in the N>1 and D=4 superspace, both in the case where there are no central charges in the algebra, and when they are present. This algebra is noncommutative for the position operators. We use the properties of superprojectors acting on the superfields to construct explicit position and momentum operators satisfying the algebra. They act on the projected wave functions associated to the various supermultiplets with defined superspin present in the representation. We show that the quantum algebra associated to the massive superparticle appears in our construction and is described by a supermultiplet of superspin 0. This result generalizes the construction for D=4, N=1 reported recently. For the case N=2 with central charges, we present the equivalent results when the central charge and the mass are different. For the κ-symmetric case when these quantities are equal, we discuss the reduction to the physical degrees of freedom of the corresponding superparticle and the construction of the associated quantum algebra

  6. Bicrossproducts of algebraic quantum groups

    CERN Document Server

    Delvaux, Lydia; Wang, Shuanhong

    2012-01-01

    Let $A$ and $B$ be two algebraic quantum groups (i.e. multiplier Hopf algebras with integrals). Assume that $B$ is a right $A$-module algebra and that $A$ is a left $B$-comodule coalgebra. If the action and coaction are matched, it is possible to define a coproduct $\\Delta_#$ on the smash product $A # B$ making the pair $(A # B,\\Delta_#)$ into an algebraic quantum group. In this paper, we continue the study of these objects. First, we study the various data of the bicrossproduct $A # B$, such as the modular automorphisms, the modular elements, ... and obtain formulas in terms of the data of the components $A$ and $B$. Secondly, we look at the dual of $A # B$ (in the sense of algebraic quantum groups) and we show it is itself a bicrossproduct (of the second type) of the duals $\\hatA$ and $\\hatB$. The result is immediate for finite-dimensional Hopf algebras and therefore it is expected also for algebraic quantum groups. However, it turns out that some aspects involve a careful argument, mainly due to the fact t...

  7. Operator algebras for analytic varieties

    CERN Document Server

    Davidson, Kenneth R; Shalit, Orr Moshe

    2012-01-01

    We study the isomorphism problem for the multiplier algebras of irreducible complete Pick kernels. These are precisely the restrictions $\\cM_V$ of the multiplier algebra $\\cM$ of Drury-Arveson space to a holomorphic subvariety $V$ of the unit ball. The related algebras of continuous multipliers are also considered. We find that $\\cM_V$ is completely isometrically isomorphic to $\\cM_W$ if and only if $W$ is the image of $V$ under a biholomorphic automorphism of the ball. A similar condition characterizes when there exists a unital completely contractive homomorphism from $\\cM_V$ to $\\cM_W$. If one of the varieties is a homogeneous algebraic variety, then isometric isomorphism is shown to imply completely isometric isomorphism of the algebras. The problem of characterizing when two such algebras are (algebraically) isomorphic is also studied. It is shown that if there is an isomorphism between $\\cM_V$ and $\\cM_W$, then there is a biholomorphism (with multiplier coordinates) between the varieties. We present a n...

  8. Interval Algebraic Bistructures

    CERN Document Server

    Kandasamy, W B Vasantha

    2011-01-01

    This book has four chapters. In the first chapter interval bistructures (biinterval structures) such as interval bisemigroup, interval bigroupoid, interval bigroup and interval biloops are introduced. Throughout this book we work only with the intervals of the form [0, a] where a \\in Zn or Z+ \\cup {0} or R+ \\cup {0} or Q+ \\cup {0} unless otherwise specified. Also interval bistructures of the form interval loop-group, interval groupgroupoid so on are introduced and studied. In chapter two n-interval structures are introduced. n-interval groupoids, n-interval semigroups, n-interval loops and so on are introduced and analysed. Using these notions n-interval mixed algebraic structure are defined and described. Some probable applications are discussed. Only in due course of time several applications would be evolved by researchers as per their need. The final chapter suggests around 295 problems of which some are simple exercises, some are difficult and some of them are research problems.

  9. MATLAB matrix algebra

    CERN Document Server

    Pérez López, César

    2014-01-01

    MATLAB is a high-level language and environment for numerical computation, visualization, and programming. Using MATLAB, you can analyze data, develop algorithms, and create models and applications. The language, tools, and built-in math functions enable you to explore multiple approaches and reach a solution faster than with spreadsheets or traditional programming languages, such as C/C++ or Java. MATLAB Matrix Algebra introduces you to the MATLAB language with practical hands-on instructions and results, allowing you to quickly achieve your goals. Starting with a look at symbolic and numeric variables, with an emphasis on vector and matrix variables, you will go on to examine functions and operations that support vectors and matrices as arguments, including those based on analytic parent functions. Computational methods for finding eigenvalues and eigenvectors of matrices are detailed, leading to various matrix decompositions. Applications such as change of bases, the classification of quadratic forms and ...

  10. Decomposition of semigroup algebras

    CERN Document Server

    Boehm, Janko; Nitsche, Max Joachim

    2011-01-01

    Let A \\subseteq B be cancellative abelian semigroups, and let R be an integral domain. We show that the semigroup ring R[B] can be decomposed, as an R[A]-module, into a direct sum of R[A]-submodules of the quotient ring of R[A]. In the case of a finite extension of positive affine semigroup rings we obtain an algorithm computing the decomposition. When R[A] is a polynomial ring over a field we explain how to compute many ring-theoretic properties of R[B] in terms of this decomposition. In particular we obtain a fast algorithm to compute the Castelnuovo-Mumford regularity of homogeneous semigroup rings. As an application we confirm the Eisenbud-Goto conjecture in a range of new cases. Our algorithms are implemented in the Macaulay2 package MonomialAlgebras.

  11. Applications of computer algebra

    CERN Document Server

    1985-01-01

    Today, certain computer software systems exist which surpass the computational ability of researchers when their mathematical techniques are applied to many areas of science and engineering. These computer systems can perform a large portion of the calculations seen in mathematical analysis. Despite this massive power, thousands of people use these systems as a routine resource for everyday calculations. These software programs are commonly called "Computer Algebra" systems. They have names such as MACSYMA, MAPLE, muMATH, REDUCE and SMP. They are receiving credit as a computational aid with in­ creasing regularity in articles in the scientific and engineering literature. When most people think about computers and scientific research these days, they imagine a machine grinding away, processing numbers arithmetically. It is not generally realized that, for a number of years, computers have been performing non-numeric computations. This means, for example, that one inputs an equa­ tion and obtains a closed for...

  12. Algebra for cryptologists

    CERN Document Server

    Meijer, Alko R

    2016-01-01

    This textbook provides an introduction to the mathematics on which modern cryptology is based. It covers not only public key cryptography, the glamorous component of modern cryptology, but also pays considerable attention to secret key cryptography, its workhorse in practice. Modern cryptology has been described as the science of the integrity of information, covering all aspects like confidentiality, authenticity and non-repudiation and also including the protocols required for achieving these aims. In both theory and practice it requires notions and constructions from three major disciplines: computer science, electronic engineering and mathematics. Within mathematics, group theory, the theory of finite fields, and elementary number theory as well as some topics not normally covered in courses in algebra, such as the theory of Boolean functions and Shannon theory, are involved. Although essentially self-contained, a degree of mathematical maturity on the part of the reader is assumed, corresponding to his o...

  13. Constraint algebra in bigravity

    Energy Technology Data Exchange (ETDEWEB)

    Soloviev, V. O., E-mail: Vladimir.Soloviev@ihep.ru [National Research Center Kurchatov Institute, Institute for High Energy Physics (Russian Federation)

    2015-07-15

    The number of degrees of freedom in bigravity theory is found for a potential of general form and also for the potential proposed by de Rham, Gabadadze, and Tolley (dRGT). This aim is pursued via constructing a Hamiltonian formalismand studying the Poisson algebra of constraints. A general potential leads to a theory featuring four first-class constraints generated by general covariance. The vanishing of the respective Hessian is a crucial property of the dRGT potential, and this leads to the appearance of two additional second-class constraints and, hence, to the exclusion of a superfluous degree of freedom—that is, the Boulware—Deser ghost. The use of a method that permits avoiding an explicit expression for the dRGT potential is a distinctive feature of the present study.

  14. $A_{\\infty}$-algebra Structures Associated to $\\mathcal{K}_2$-algebras

    OpenAIRE

    Conner, Andrew; Goetz, Pete

    2010-01-01

    The notion of a $\\mathcal{K}_2$-algebra was recently introduced by Cassidy and Shelton as a generalization of the notion of a Koszul algebra. The Yoneda algebra of any connected graded algebra admits a canonical $A_{\\infty}$-algebra structure. This structure is trivial if the algebra is Koszul. We study the $A_{\\infty}$-structure on the Yoneda algebra of a $\\mathcal{K}_2$-algebra. For each non-negative integer $n$ we prove the existence of a $\\mathcal{K}_2$-algebra $B$ and a canonical $A_{\\in...

  15. Brauer algebra of type F4

    OpenAIRE

    Liu, Shoumin

    2012-01-01

    We present an algebra related to the Coxeter group of type F4 which can be viewed as the Brauer algebra of type F4 and is obtained as a subalgebra of the Brauer algebra of type E6. We also describe some properties of this algebra.

  16. A Partition Temperley-Lieb Algebra

    OpenAIRE

    Juyumaya, Jesús

    2013-01-01

    We introduce a generalization of the Temperley--Lieb algebra. This generalization is defined by adding certain relations to the algebra of braids and ties. A specialization of this last algebra corresponds to one small Ramified Partition algebra, this fact is the motivation for the name of our generalization.

  17. On Nambu-Lie 3-algebra representations

    CERN Document Server

    Sochichiu, Corneliu

    2008-01-01

    We propose a recipe to construct matrix representations of Nambu--Lie 3-algebras in terms of irreducible representations of underlying Lie algebra. The case of Euclidean four-dimensional 3-algebra is considered in details. We find that representations of this 3-algebra are not possible in terms of only Hermitian matrices in spite of its Euclidean nature.

  18. Located Actions in Process Algebra with Timing

    NARCIS (Netherlands)

    Bergstra, J.A.; Middelburg, C.A.

    2004-01-01

    We propose a process algebra obtained by adapting the process algebra with continuous relative timing from Baeten and Middelburg [Process Algebra with Timing, Springer, 2002, Chap. 4] to spatially located actions. This process algebra makes it possible to deal with the behaviour of systems with a kn

  19. Turner doubles and generalized Schur algebras

    OpenAIRE

    Evseev, Anton; Kleshchev, Alexander

    2016-01-01

    Turner's Conjecture describes all blocks of symmetric groups and Hecke algebras up to derived equivalence in terms of certain double algebras. With a view towards a proof of this conjecture, we develop a general theory of Turner doubles. In particular, we describe doubles as explicit maximal symmetric subalgebras of certain generalized Schur algebras and establish a Schur-Weyl duality with wreath product algebras.

  20. A Specialization of Prinjective Ringel-Hall Algebra and the associated Lie algebra

    Institute of Scientific and Technical Information of China (English)

    Justyna KOSAKOWSKA

    2008-01-01

    In the present paper we describe a specialization of prinjective Ringel-Hall algebra to 1, for prinjective modules over incidence algebras of posets of finite prinjective type,by generators and relations.This gives us a generalisation of Serre relations for semisimple Lie algebras.Connections of prinjective Ringel-Hall algebras with classical Lie algebras are also discussed.

  1. A remark on BMW algebra, q-Schur algebras and categorification

    CERN Document Server

    Vaz, Pedro

    2012-01-01

    We prove that the 2-variable BMW algebra embeds into an algebra constructed from the HOMFLY-PT polynomial. We also prove that the so(2N)-BMW algebra embeds in the q-Schur algebra of type A. We use these results to construct categorifications of the so(2N)-BMW algebra.

  2. Extension of a quantized enveloping algebra by a Hopf algebra

    Institute of Scientific and Technical Information of China (English)

    2010-01-01

    Suppose that H is a Hopf algebra,and g is a generalized Kac-Moody algebra with Cartan matrix A =(aij)I×I,where I is an index set and is equal to either {1,2,...,n} or the natural number set N.Let f,g be two mappings from I to G(H),the set of group-like elements of H,such that the multiplication of elements in the set {f(i),g(i)|i ∈I} is commutative.Then we define a Hopf algebra Hgf Uq(g),where Uq(g) is the quantized enveloping algebra of g.

  3. Splitting full matrix algebras over algebraic number fields

    CERN Document Server

    Ivanyos, Gábor; Schicho, Joseph

    2011-01-01

    Let K be an algebraic number field of degree d and discriminant D over Q. Let A be an associative algebra over K given by structure constants such that A is siomorphic to the algebra M_n(K) of n by n matrices over K for some positive integer n. Suppose that d, n and D are bounded. Then an isomorphism of A with M_n(K) can be constructed by a polynomial time ff-algorithm. (An ff-algorithm is a deterministic procedure which is allowed to call oracles for factoring integers and factoring univariate polynomials over finite fields.) As a consequence, we obtain a polynomial time ff-algorithm to compute isomorphisms of central simple algebras of bounded degree over K.

  4. Using Homemade Algebra Tiles To Develop Algebra and Prealgebra Concepts.

    Science.gov (United States)

    Leitze, Annette Ricks; Kitt, Nancy A.

    2000-01-01

    Describes how to use homemade tiles, sketches, and the box method to reach a broader group of students for successful algebra learning. Provides a list of concepts appropriate for such an approach. (KHR)

  5. Test bank for college algebra

    CERN Document Server

    Kolman, Bernard; Levitan, Michael L

    1985-01-01

    Test Bank for College Algebra, Second Edition is a supplementary material for the text, College Algebra, Second Edition. The book is intended for use by mathematics teachers.The book contains standard tests for each chapter in the textbook. Each set of test aims to evaluate the level of understanding the student has achieved during the course. The answers for each chapter test and the final exam are found at the end of the book.Mathematics teachers teaching college algebra will find the book very useful.

  6. Handbook of algebra Vol. 1

    CERN Document Server

    1996-01-01

    Handbook of Algebra defines algebra as consisting of many different ideas, concepts and results. Even the nonspecialist is likely to encounter most of these, either somewhere in the literature, disguised as a definition or a theorem or to hear about them and feel the need for more information. Each chapter of the book combines some of the features of both a graduate-level textbook and a research-level survey. This book is divided into eight sections. Section 1A focuses on linear algebra and discusses such concepts as matrix functions and equations and random matrices. Section 1B cover linear d

  7. Practical approach to linear algebra

    CERN Document Server

    Choudhary, Prabhat

    2009-01-01

    ""Linear Algebra is the heart of applied science but there are divergent views concerning its meaning. The field of Linear Algebra is more beautiful and more fundamental than its rather dull name may suggest. More beautiful because it is full of powerful ideas that are quite unlike those normally emphasized in a linear algebra course in a mathematics department. Throughout the book the author follows the practice of first presenting required background material, which is then used to develop the results. The book is divided in ten chapters. Relevant material is included in each chapter from ot

  8. Study guide for college algebra

    CERN Document Server

    Snow, James W; Shapiro, Arnold

    1981-01-01

    Study Guide for College Algebra is a supplemental material for the basic text, College Algebra. Its purpose is to make the learning of college algebra and trigonometry easier and enjoyable.The book provides detailed solutions to exercises found in the text. Students are encouraged to use the study guide as a learning tool during the duration of the course, a reviewer prior to an exam, a reference book, and as a quick overview before studying a section of the text. The Study Guide and Solutions Manual consists of four major components: basic concepts that should be learned from each unit, what

  9. Unique Tensor Factorization of Algebras

    OpenAIRE

    Nüsken, Michael

    1998-01-01

    Tensor product decomposition of algebras is known to be non-unique in many cases. But, as will be shown here, an additively indecomposable, finite-dimensional C-algebra A has an essentially unique tensor factorization A=A1x...xAr into non-trivial, x-indecomposable factors Ai. Thus the semiring of isomorphism classes of finite-dimensional C-algebras is a polynomial semiring N[X]. Moreover, the field C of complex numbers can be replaced by an arbitrary field of characteristic zero if one restr...

  10. Introduction to algebra and trigonometry

    CERN Document Server

    Kolman, Bernard

    1981-01-01

    Introduction to Algebra and Trigonometry provides a complete and self-contained presentation of the fundamentals of algebra and trigonometry.This book describes an axiomatic development of the foundations of algebra, defining complex numbers that are used to find the roots of any quadratic equation. Advanced concepts involving complex numbers are also elaborated, including the roots of polynomials, functions and function notation, and computations with logarithms. This text also discusses trigonometry from a functional standpoint. The angles, triangles, and applications involving triangles are

  11. Loop Virasoro Lie conformal algebra

    Energy Technology Data Exchange (ETDEWEB)

    Wu, Henan, E-mail: wuhenanby@163.com; Chen, Qiufan; Yue, Xiaoqing [Department of Mathematics, Tongji University, Shanghai 200092 (China)

    2014-01-15

    The Lie conformal algebra of loop Virasoro algebra, denoted by CW, is introduced in this paper. Explicitly, CW is a Lie conformal algebra with C[∂]-basis (L{sub i} | i∈Z) and λ-brackets [L{sub i} {sub λ} L{sub j}] = (−∂−2λ)L{sub i+j}. Then conformal derivations of CW are determined. Finally, rank one conformal modules and Z-graded free intermediate series modules over CW are classified.

  12. Operator algebras for multivariable dynamics

    OpenAIRE

    Davidson, Kenneth R.; Katsoulis, Elias G.

    2007-01-01

    Let $X$ be a locally compact Hausdorff space with $n$ proper continuous self maps $\\tau_i:X \\to X$ for $1 \\le i \\le n$. To this we associate two topological conjugacy algebras which emerge as the natural candidates for the universal algebra of the system, the tensor algebra $\\A(X, \\tau)$ and the semicrossed product $\\rC_0(X)\\times_\\tau\\Fn$. We introduce a concept of conjugacy for multidimensional systems, which we coin piecewise conjugacy. We prove that the piecewise conjugacy class of the sy...

  13. Congruence Permutable Symmetric Extended de Morgan Algebras

    Institute of Scientific and Technical Information of China (English)

    Jie FANG

    2006-01-01

    An algebra A is said to be congruence permutable if any two congruences on it are per-mutable. This property has been investigated in several varieties of algebras, for example, de Morgan algebras, p-algebras, Kn,o-algebras. In this paper, we study the class of symmetric extended de Morgan algebras that are congruence permutable. In particular we consider the case where A is finite, and show that A is congruence permutable if and only if it is isomorphic to a direct product of finitely many simple algebras.

  14. Modules Over Color Hom-Poisson Algebras

    OpenAIRE

    Bakayoko, Ibrahima

    2014-01-01

    In this paper we introduce color Hom-Poisson algebras and show that every color Hom-associative algebra has a non-commutative Hom-Poisson algebra structure in which the Hom-Poisson bracket is the commutator bracket. Then we show that color Poisson algebras (respectively morphism of color Poisson algebras) turn to color Hom-Poisson algebras (respectively morphism of Color Hom-Poisson algebras) by twisting the color Poisson structure. Next we prove that modules over color Hom–associative algebr...

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

  16. Lectures on algebraic quantum field theory and operator algebras

    Energy Technology Data Exchange (ETDEWEB)

    Schroer, Bert [Berlin Univ. (Germany). Institut fuer Theoretische Physik. E-mail: schroer@cbpf.br

    2001-04-01

    In this series of lectures directed towards a mainly mathematically oriented audience I try to motivate the use of operator algebra methods in quantum field theory. Therefore a title as why mathematicians are/should be interested in algebraic quantum field theory would be equally fitting. besides a presentation of the framework and the main results of local quantum physics these notes may serve as a guide to frontier research problems in mathematical. (author)

  17. Constructions of Lie algebras and their modules

    CERN Document Server

    Seligman, George B

    1988-01-01

    This book deals with central simple Lie algebras over arbitrary fields of characteristic zero. It aims to give constructions of the algebras and their finite-dimensional modules in terms that are rational with respect to the given ground field. All isotropic algebras with non-reduced relative root systems are treated, along with classical anisotropic algebras. The latter are treated by what seems to be a novel device, namely by studying certain modules for isotropic classical algebras in which they are embedded. In this development, symmetric powers of central simple associative algebras, along with generalized even Clifford algebras of involutorial algebras, play central roles. Considerable attention is given to exceptional algebras. The pace is that of a rather expansive research monograph. The reader who has at hand a standard introductory text on Lie algebras, such as Jacobson or Humphreys, should be in a position to understand the results. More technical matters arise in some of the detailed arguments. T...

  18. A Jacobi identity for intertwining operator algebras

    CERN Document Server

    Huang, Y Z

    1997-01-01

    We find a Jacobi identity for intertwining operator algebras. Most of the main properties of genus-zero conformal field theories, including the main properties of vertex operator algebras, modules, intertwining operators, Verlinde algebras, and fusing and braiding matrices, are incorporated into this identity. We prove that intertwining operators for a suitable vertex operator algebra satisfy this Jacobi identity. Two equivalent definitions of intertwining operator algebra in terms of this Jacobi identity are given.

  19. Reflexive Operator Algebras on Banach Spaces

    OpenAIRE

    Merlevède, Florence; Peligrad, Costel; Peligrad, Magda

    2012-01-01

    In this paper we study the reflexivity of a unital strongly closed algebra of operators with complemented invariant subspace lattice on a Banach space. We prove that if such an algebra contains a complete Boolean algebra of projections of finite uniform multiplicity and with the direct sum property, then it is reflexive, i.e. it contains every operator that leaves invariant every closed subspace in the invariant subspace lattice of the algebra. In particular, such algebras coincide with their...

  20. Algebraic density property of homogeneous spaces

    OpenAIRE

    Donzelli, Fabrizio; Dvorsky, Alexander; Kaliman, Shulim

    2008-01-01

    Let $X$ be an affine algebraic variety with a transitive action of the algebraic automorphism group. Suppose that $X$ is equipped with several non-degenerate fixed point free $SL_2$-actions satisfying some mild additional assumption. Then we show that the Lie algebra generated by completely integrable algebraic vector fields on $X$ coincides with the set of all algebraic vector fields. In particular, we show that apart from a few exceptions this fact is true for any homogeneous space of form ...

  1. On Monotone Product of Operator Algebras

    Institute of Scientific and Technical Information of China (English)

    Wen Ming WU; Li Guang WANG

    2007-01-01

    In this note, we give complete descriptions of the structure of the monotone product of two yon Neumann algebras and two C*-algebras. We show that the monotone product of two simple yon Neumann algebras and C*-algebras aren't simple again. We also show that the monotone product of two hyperfinite von Neumann algebras is again hyperfinite and determine the type of the monotone product of two factors.

  2. Homology of L_{\\infty}-Algebras and Cyclic Homology

    OpenAIRE

    Khalkhali, Masoud

    1998-01-01

    A classical result of Loday-Quillen and Tsygan states that the Lie algebra homology of the algebra of stable matrices over an associative algebra is isomorphic, as a Hopf algebra, to the exterior algebra of the cyclic homology of the algebra. In this paper we develop the necessary tools needed to extend extend this result to the category of L_{\\infty} algebras.

  3. Cartooning in Algebra and Calculus

    Science.gov (United States)

    Moseley, L. Jeneva

    2014-01-01

    This article discusses how teachers can create cartoons for undergraduate math classes, such as college algebra and basic calculus. The practice of cartooning for teaching can be helpful for communication with students and for students' conceptual understanding.

  4. On Nilpotent Extensions of Algebras

    Institute of Scientific and Technical Information of China (English)

    Adam W. Marczak; Jerzy Plonka

    2007-01-01

    In this paper, we investigate essentially n-ary term operations of nilpotent extensions of algebras. We detect the connection between term operations of an original algebra and its nilpotent extensions. This structural point of view easily leads to the conclusion that the number of distinct essentially n-ary term operations of a proper algebraic nilpotent extension (ひ) of an algebra (ワ) is given by the formula pn(ひ)={pn(ワ)+1 for n=1,{pn(ワ) otherwise. We show that in general the converse theorem is not true. However, we suppose that if a variety V is uniquely determined by its pn-sequences, the converse theorem is also satisfied. In the second part of the paper, we characterize generics of nilpotent shifts of varieties and describe cardinalities of minimal generics. We give a number of examples and pose some problems.

  5. Classical theory of algebraic numbers

    CERN Document Server

    Ribenboim, Paulo

    2001-01-01

    Gauss created the theory of binary quadratic forms in "Disquisitiones Arithmeticae" and Kummer invented ideals and the theory of cyclotomic fields in his attempt to prove Fermat's Last Theorem These were the starting points for the theory of algebraic numbers, developed in the classical papers of Dedekind, Dirichlet, Eisenstein, Hermite and many others This theory, enriched with more recent contributions, is of basic importance in the study of diophantine equations and arithmetic algebraic geometry, including methods in cryptography This book has a clear and thorough exposition of the classical theory of algebraic numbers, and contains a large number of exercises as well as worked out numerical examples The Introduction is a recapitulation of results about principal ideal domains, unique factorization domains and commutative fields Part One is devoted to residue classes and quadratic residues In Part Two one finds the study of algebraic integers, ideals, units, class numbers, the theory of decomposition, iner...

  6. Semiclassical states on Lie algebras

    Energy Technology Data Exchange (ETDEWEB)

    Tsobanjan, Artur, E-mail: artur.tsobanjan@gmail.com [King’s College, 133 North River Street, Kingston, Pennsylvania 18702 (United States)

    2015-03-15

    The effective technique for analyzing representation-independent features of quantum systems based on the semiclassical approximation (developed elsewhere) has been successfully used in the context of the canonical (Weyl) algebra of the basic quantum observables. Here, we perform the important step of extending this effective technique to the quantization of a more general class of finite-dimensional Lie algebras. The case of a Lie algebra with a single central element (the Casimir element) is treated in detail by considering semiclassical states on the corresponding universal enveloping algebra. Restriction to an irreducible representation is performed by “effectively” fixing the Casimir condition, following the methods previously used for constrained quantum systems. We explicitly determine the conditions under which this restriction can be consistently performed alongside the semiclassical truncation.

  7. GCD, LCM, and Boolean Algebra?

    Science.gov (United States)

    Cohen, Martin P.; Juraschek, William A.

    1976-01-01

    This article investigates the algebraic structure formed when the process of finding the greatest common divisor and the least common multiple are considered as binary operations on selected subsets of positive integers. (DT)

  8. Computational linear and commutative algebra

    CERN Document Server

    Kreuzer, Martin

    2016-01-01

    This book combines, in a novel and general way, an extensive development of the theory of families of commuting matrices with applications to zero-dimensional commutative rings, primary decompositions and polynomial system solving. It integrates the Linear Algebra of the Third Millennium, developed exclusively here, with classical algorithmic and algebraic techniques. Even the experienced reader will be pleasantly surprised to discover new and unexpected aspects in a variety of subjects including eigenvalues and eigenspaces of linear maps, joint eigenspaces of commuting families of endomorphisms, multiplication maps of zero-dimensional affine algebras, computation of primary decompositions and maximal ideals, and solution of polynomial systems. This book completes a trilogy initiated by the uncharacteristically witty books Computational Commutative Algebra 1 and 2 by the same authors. The material treated here is not available in book form, and much of it is not available at all. The authors continue to prese...

  9. Ada Linear-Algebra Program

    Science.gov (United States)

    Klumpp, A. R.; Lawson, C. L.

    1988-01-01

    Routines provided for common scalar, vector, matrix, and quaternion operations. Computer program extends Ada programming language to include linear-algebra capabilities similar to HAS/S programming language. Designed for such avionics applications as software for Space Station.

  10. Asymptotic algebra of quantum electrodynamics

    OpenAIRE

    Herdegen, Andrzej

    2004-01-01

    The Staruszkiewicz quantum model of the long-range structure in electrodynamics is reviewed in the form of a Weyl algebra. This is followed by a personal view on the asymptotic structure of quantum electrodynamics.

  11. Electronic Algebra and Calculus Tutor

    Directory of Open Access Journals (Sweden)

    Larissa Fradkin

    2012-06-01

    Full Text Available Modern undergraduates join science and engineering courses with poorer mathematical background than most contemporaries of the current faculty had when they were freshers. The problem is very acute in the United Kingdom but more and more countries adopt less resource intensive models of teaching and the problem spreads. University tutors and lecturers spend more and more time covering the basics. However, most of them still rely on traditional methods of delivery which presuppose that learners have a good memory and considerable time to practice, so that they can memorize disjointed facts and discover for themselves various connections between the underlying concepts. These suppositions are particularly unrealistic when dealing with a large number of undergraduates who are ordinary learners with limited mathematics background. The first author has developed a teaching system that allows such adult learners achieve relatively deep learning of mathematics – and remarkably quickly – through a teacher-guided (often called Socratic dialog, which aims at the frequent reinforcement of basic mathematical abstractions through Eulerian sequencing. These ideas have been applied to create a prototype of a Cognitive Mathematics Tutoring System aimed at teaching basic mathematics to University freshers., an electronic Personal Algebra and Calculus Tutor (e- PACT.

  12. Changes in Pre-Service Teachers' Algebraic Misconceptions by Using Computer-Assisted Instruction

    Science.gov (United States)

    Lin, ByCheng-Yao; Ko, Yi-Yin; Kuo, Yu-Chun

    2014-01-01

    In order to carry out current reforms regarding algebra and technology in elementary school mathematics successfully, pre-service elementary mathematics teachers must be equipped with adequate understandings of algebraic concepts and self-confidence in using computers for their future teaching. This paper examines the differences in preservice…

  13. Drinfeld center of planar algebra

    CERN Document Server

    Das, Paramita; Gupta, Ved Prakash

    2012-01-01

    We introduce fusion and contragadient of affine representations of a planar algebra $P$ (not necessarily having finite depth). We prove that if $N \\subset M$ is a subfactor realization of $P$, then the Drinfeld center of the $N$-$N$-bimodule category generated by $_N L^2 (M)_M$, is equivalent to the category Hilbert affine representations of $P$ satisfying certain finiteness criterion. As a consequence, we prove Kevin Walker's conjecture for planar algebras.

  14. Ternary generalizations of Grassmann algebra

    CERN Document Server

    Abramov, V V

    1996-01-01

    We propose the ternary generalization of the classical anti-commutativity and study the algebras whose generators are ternary anti-commutative. The integral over an algebra with an arbitrary number of generators N is defined and the formula of a change of variables is proved. In analogy with the fermion integral we define an analogue of the Pfaffian for a cubic matrix by means of Gaussian type integral and calculate its explicit form in the case of N=3.

  15. Distribution theory of algebraic numbers

    CERN Document Server

    Yang, Chung-Chun

    2008-01-01

    The book timely surveys new research results and related developments in Diophantine approximation, a division of number theory which deals with the approximation of real numbers by rational numbers. The book is appended with a list of challenging open problems and a comprehensive list of references. From the contents: Field extensions Algebraic numbers Algebraic geometry Height functions The abc-conjecture Roth''s theorem Subspace theorems Vojta''s conjectures L-functions.

  16. FOUNDATION OF NUCLEAR ALGEBRAIC MODELS

    Institute of Scientific and Technical Information of China (English)

    周孝谦

    1990-01-01

    Based upon Tomonoga-Rowe's many body theory, we find that the algebraic models, including IBM and FDSM are simplest extension of Rowe-Rosensteel's sp(3R).Dynkin-Gruber's subalgebra embedding method is applied to find an appropriate algebra and it's reduction chains conforming to physical requirement. The separated cases sp(6) and so(8) now appear as two branches stemming from the same root D6-O(12). Transitional ease between sp(6) and so(8) is inherently include.

  17. Cluster algebras and Poisson geometry

    OpenAIRE

    Gekhtman, M.; Shapiro, M.; Vainshtein, A.

    2002-01-01

    We introduce a Poisson variety compatible with a cluster algebra structure and a compatible toric action on this variety. We study Poisson and topological properties of the union of generic orbits of this toric action. In particular, we compute the number of connected components of the union of generic toric orbits for cluster algebras over real numbers. As a corollary we compute the number of connected components of refined open Bruhat cells in Grassmanians G(k,n) over real numbers.

  18. Process algebra for synchronous communication

    OpenAIRE

    Bergstra, J. A.; Klop, Jan Willem

    1984-01-01

    Within the context of an algebraic theory of processes, an equational specification of process cooperation is provided. Four cases are considered: free merge or interleaving, merging with communication, merging with mutual exclusion of tight regions, and synchronous process cooperation. The rewrite system behind the communication algebra is shown to be confluent and terminating (modulo its permutative reductions). Further, some relationships are shown to hold between the four concepts of merg...

  19. GNSS algebraic structures

    Science.gov (United States)

    Lannes, A.; Teunissen, P. J. G.

    2011-05-01

    The first objective of this paper is to show that some basic concepts used in global navigation satellite systems (GNSS) are similar to those introduced in Fourier synthesis for handling some phase calibration problems. In experimental astronomy, the latter are at the heart of what is called `phase closure imaging.' In both cases, the analysis of the related structures appeals to the algebraic graph theory and the algebraic number theory. For example, the estimable functions of carrier-phase ambiguities, which were introduced in GNSS to correct some rank defects of the undifferenced equations, prove to be `closure-phase ambiguities:' the so-called `closure-delay' (CD) ambiguities. The notion of closure delay thus generalizes that of double difference (DD). The other estimable functional variables involved in the phase and code undifferenced equations are the receiver and satellite pseudo-clock biases. A related application, which corresponds to the second objective of this paper, concerns the definition of the clock information to be broadcasted to the network users for their precise point positioning (PPP). It is shown that this positioning can be achieved by simply having access to the satellite pseudo-clock biases. For simplicity, the study is restricted to relatively small networks. Concerning the phase for example, these biases then include five components: a frequency-dependent satellite-clock error, a tropospheric satellite delay, an ionospheric satellite delay, an initial satellite phase, and an integer satellite ambiguity. The form of the PPP equations to be solved by the network user is then similar to that of the traditional PPP equations. As soon as the CD ambiguities are fixed and validated, an operation which can be performed in real time via appropriate decorrelation techniques, estimates of these float biases can be immediately obtained. No other ambiguity is to be fixed. The satellite pseudo-clock biases can thus be obtained in real time. This is

  20. The derivation algebra and automorphism group of the (generalized) twisted N=2 superconformal algebra

    OpenAIRE

    Fa, Huanxia

    2013-01-01

    In this paper, we determine the derivation algebra and automorphism group of the twisted N=2 superconformal algebra. Then we generalize the relative results to the generalized twisted N=2 superconformal algebra in the final section.

  1. A note on the "logarithmic-W_3" octuplet algebra and its Nichols algebra

    OpenAIRE

    Semikhatov, A M

    2013-01-01

    We describe a Nichols-algebra-motivated construction of an octuplet chiral algebra that is a "W_3-counterpart" of the triplet algebra of (p,1) logarithmic models of two-dimensional conformal field theory.

  2. Stability of -Jordan Homomorphisms from a Normed Algebra to a Banach Algebra

    Directory of Open Access Journals (Sweden)

    Yang-Hi Lee

    2013-01-01

    Full Text Available We establish the hyperstability of -Jordan homomorphisms from a normed algebra to a Banach algebra, and also we show that an -Jordan homomorphism between two commutative Banach algebras is an -ring homomorphism.

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

  4. Algebras with actions and automata

    Directory of Open Access Journals (Sweden)

    W. Kühnel

    1982-01-01

    Full Text Available In the present paper we want to give a common structure theory of left action, group operations, R-modules and automata of different types defined over various kinds of carrier objects: sets, graphs, presheaves, sheaves, topological spaces (in particular: compactly generated Hausdorff spaces. The first section gives an axiomatic approach to algebraic structures relative to a base category B, slightly more powerful than that of monadic (tripleable functors. In section 2 we generalize Lawveres functorial semantics to many-sorted algebras over cartesian closed categories. In section 3 we treat the structures mentioned in the beginning as many-sorted algebras with fixed “scalar” or “input” object and show that they still have an algebraic (or monadic forgetful functor (theorem 3.3 and hence the general theory of algebraic structures applies. These structures were usually treated as one-sorted in the Lawvere-setting, the action being expressed by a family of unary operations indexed over the scalars. But this approach cannot, as the one developed here, describe continuity of the action (more general: the action to be a B-morphism, which is essential for the structures mentioned above, e.g. modules for a sheaf of rings or topological automata. Finally we discuss consequences of theorem 3.3 for the structure theory of various types of automata. The particular case of algebras with fixed “natural numbers object” has been studied by the authors in [23].

  5. 格蕴涵代数与MV-代数%Lattice Implication Algebras and MV-algebras

    Institute of Scientific and Technical Information of China (English)

    郭天榜

    1999-01-01

    Lattice implication algebras is an algebraic structure which is established by combining lattice and implication algebras. In this paper,the relationship between lattice implication algebras and MV-algebra was discussed,and then proved that both of the categorys of the two algebras are categorical equivalence. Finally,the infinitely distributivity in lattice implication algebras were proved.

  6. A Workshop on Algebraic Design Theory and Hadamard Matrices

    CERN Document Server

    2015-01-01

    This volume develops the depth and breadth of the mathematics underlying the construction and analysis of Hadamard matrices and their use in the construction of combinatorial designs. At the same time, it pursues current research in their numerous applications in security and cryptography, quantum information, and communications. Bridges among diverse mathematical threads and extensive applications make this an invaluable source for understanding both the current state of the art and future directions. The existence of Hadamard matrices remains one of the most challenging open questions in combinatorics. Substantial progress on their existence has resulted from advances in algebraic design theory using deep connections with linear algebra, abstract algebra, finite geometry, number theory, and combinatorics. Hadamard matrices arise in a very diverse set of applications. Starting with applications in experimental design theory and the theory of error-correcting codes, they have found unexpected and important ap...

  7. Quantum Deformed $su(m|n)$ Algebra and Superconformal Algebra on Quantum Superspace

    OpenAIRE

    Kobayashi, Tatsuo

    1993-01-01

    We study a deformed $su(m|n)$ algebra on a quantum superspace. Some interesting aspects of the deformed algebra are shown. As an application of the deformed algebra we construct a deformed superconformal algebra. {}From the deformed $su(1|4)$ algebra, we derive deformed Lorentz, translation of Minkowski space, $iso(2,2)$ and its supersymmetric algebras as closed subalgebras with consistent automorphisms.

  8. Algebras in genetics

    CERN Document Server

    Wörz-Busekros, Angelika

    1980-01-01

    The purpose of these notes is to give a rather complete presentation of the mathematical theory of algebras in genetics and to discuss in detail many applications to concrete genetic situations. Historically, the subject has its origin in several papers of Etherington in 1939- 1941. Fundamental contributions have been given by Schafer, Gonshor, Holgate, Reiers¢l, Heuch, and Abraham. At the moment there exist about forty papers in this field, one survey article by Monique Bertrand from 1966 based on four papers of Etherington, a paper by Schafer and Gonshor's first paper. Furthermore Ballonoff in the third section of his book "Genetics and Social Structure" has included four papers by Etherington and Reiers¢l's paper. Apparently a complete review, in par­ ticular one comprising more recent results was lacking, and it was difficult for students to enter this field of research. I started to write these notes in spring 1978. A first german version was finished at the end of that year. Further revision and tran...

  9. On Algebra and Tachyons

    Directory of Open Access Journals (Sweden)

    M. Sivasubramanian

    2009-01-01

    Full Text Available Problem statement: After formulating the special theory of relativity in 1905, Albert Einstein politely remarked: “for velocities that are greater than light our deliberations become meaningless”. In 1962, Sudarshan and his co-researchers proposed a hypothesis that particles/objects whose rest mass is imaginary can travel by birth faster than light. After the publication of Sudarshan’s research, many scholars began to probe into faster than light phenomena. In extended relativity, many properties of tachyons have been found. But still this micro second, the velocity of a free tachyon with respect to us is unknown. In this research the researchers found tachyon velocity. Approach: In this research, Einstein’s variation of mass with velocity equation was transformed into quadratic equation. We introduced a new hypothesis to find the roots of the quadratic equation. Results: By introducing a new hypothesis in tachyon algebra, the researchers found that the velocity of superluminal objects with respect to us is v = c√3 where c is the velocity of the light. Conclusion/Recommendations: But the road to tachyon is too long. Hereafter it is up to experimental physicists to establish the existence/generation of tachyons.

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

  11. Congruences on Balanced Pseudocomplemented Ockham Algebras

    Institute of Scientific and Technical Information of China (English)

    Jie FANG

    2009-01-01

    The variety bpO consists of those algebras (L;∧,∨, f,* ) of type where (L; ∧, ∨, f, 0, 1) is an Ockham algebra, (L; ∧, ∨, *, 0, 1) is a p-algebra, and the operations x→f(x) and x →x* satisfy the identities f(x*) = x** and [f(x)]* = f2(x). In this note, we show that the compact congruences on a bpO-algebra form a dual Stone lattice. Using this, we characterize the algebras in which every principal congruence is complemented. We also give a description of congruence coherent bpO-algebras.

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

  13. Harmonic functions on groups and Fourier algebras

    CERN Document Server

    Chu, Cho-Ho

    2002-01-01

    This research monograph introduces some new aspects to the theory of harmonic functions and related topics. The authors study the analytic algebraic structures of the space of bounded harmonic functions on locally compact groups and its non-commutative analogue, the space of harmonic functionals on Fourier algebras. Both spaces are shown to be the range of a contractive projection on a von Neumann algebra and therefore admit Jordan algebraic structures. This provides a natural setting to apply recent results from non-associative analysis, semigroups and Fourier algebras. Topics discussed include Poisson representations, Poisson spaces, quotients of Fourier algebras and the Murray-von Neumann classification of harmonic functionals.

  14. ISOMORPHISMS AND DERIVATIONS IN C*-ALGEBRAS

    Institute of Scientific and Technical Information of China (English)

    Lee Jung-Rye; Shin Dong-Yun

    2011-01-01

    In this article, we prove the Hyers-Ulam-Rassias stability of the following Cauchy-Jensen functional inequality:||f(x) + f(y) + 2f(z) + 2f(w)|| ≤ ||2f (x +y /2+ z +w)|| (0.1)This is applied to investigate isomorphisms between C*-algebras, Lie C*-algebras and JC*-algebras, and derivations on C*-algebras, Lie C*-algebras and JC*-algebras, associated with the Cauchy-Jensen functional equation2f(x+y/2+z+w)=f(x)+f(y)+2f(z)+2f(w).(0.2)

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

  16. Do Phantom Cuntz-Krieger Algebras Exist?

    DEFF Research Database (Denmark)

    Arklint, Sara E.

    2013-01-01

    If phantom Cuntz-Krieger algebras do not exist, then purely infinite Cuntz-Krieger algebras can be characterized by outer properties. In this survey paper, a summary of the known results on non-existence of phantom Cuntz-Krieger algebras is given......If phantom Cuntz-Krieger algebras do not exist, then purely infinite Cuntz-Krieger algebras can be characterized by outer properties. In this survey paper, a summary of the known results on non-existence of phantom Cuntz-Krieger algebras is given...

  17. Operator product expansion algebra

    Energy Technology Data Exchange (ETDEWEB)

    Holland, Jan [School of Mathematics, Cardiff University, Senghennydd Rd, Cardiff CF24 4AG (United Kingdom); Hollands, Stefan [School of Mathematics, Cardiff University, Senghennydd Rd, Cardiff CF24 4AG (United Kingdom); Institut für Theoretische Physik, Universität Leipzig, Brüderstr. 16, Leipzig, D-04103 (Germany)

    2013-07-15

    We establish conceptually important properties of the operator product expansion (OPE) in the context of perturbative, Euclidean φ{sup 4}-quantum field theory. First, we demonstrate, generalizing earlier results and techniques of hep-th/1105.3375, that the 3-point OPE, =Σ{sub C}C{sub A{sub 1A{sub 2A{sub 3}{sup C}}}}, usually interpreted only as an asymptotic short distance expansion, actually converges at finite, and even large, distances. We further show that the factorization identity C{sub A{sub 1A{sub 2A{sub 3}{sup B}}}}=Σ{sub C}C{sub A{sub 1A{sub 2}{sup C}}}C{sub CA{sub 3}{sup B}} is satisfied for suitable configurations of the spacetime arguments. Again, the infinite sum is shown to be convergent. Our proofs rely on explicit bounds on the remainders of these expansions, obtained using refined versions, mostly due to Kopper et al., of the renormalization group flow equation method. These bounds also establish that each OPE coefficient is a real analytic function in the spacetime arguments for non-coinciding points. Our results hold for arbitrary but finite loop orders. They lend support to proposals for a general axiomatic framework of quantum field theory, based on such “consistency conditions” and akin to vertex operator algebras, wherein the OPE is promoted to the defining structure of the theory.

  18. Homological Dimensions of the Extension Algebras of Monomial Algebras

    Institute of Scientific and Technical Information of China (English)

    Hong Bo SHI

    2015-01-01

    The main objective of this paper is to study the dimension trees and further the homo-logical dimensions of the extension algebras — dual and trivially twisted extensions — with a unified combinatorial approach using the two combinatorial algorithms — Topdown and Bottomup. We first present a more complete and clearer picture of a dimension tree, with which we are then able, on the one hand, to sharpen some results obtained before and furthermore reveal a few more hidden sub-tle homological phenomenons of or connections between the involved algebras; on the other hand, to provide two more effi cient combinatorial algorithms for computing dimension trees, and consequently the homological dimensions as an application. We believe that the more refined complete structural information on dimension trees will be useful to study other homological properties of this class of extension algebras.

  19. Discrete event systems in dioid algebra and conventional algebra

    CERN Document Server

    Declerck, Philippe

    2013-01-01

    This book concerns the use of dioid algebra as (max, +) algebra to treat the synchronization of tasks expressed by the maximum of the ends of the tasks conditioning the beginning of another task - a criterion of linear programming. A classical example is the departure time of a train which should wait for the arrival of other trains in order to allow for the changeover of passengers.The content focuses on the modeling of a class of dynamic systems usually called "discrete event systems" where the timing of the events is crucial. Events are viewed as sudden changes in a process which i

  20. Linear algebra algorithms for divisors on an algebraic curve

    OpenAIRE

    Khuri-Makdisi, Kamal

    2001-01-01

    We use an embedding of the symmetric $d$th power of any algebraic curve $C$ of genus $g$ into a Grassmannian space to give algorithms for working with divisors on $C$, using only linear algebra in vector spaces of dimension $O(g)$, and matrices of size $O(g^2)\\times O(g)$. When the base field $k$ is finite, or if $C$ has a rational point over $k$, these give algorithms for working on the Jacobian of $C$ that require $O(g^4)$ field operations, arising from the Gaussian elimination. Our point o...

  1. Rational and algebraic approximations of algebraic numbers and their application

    Institute of Scientific and Technical Information of China (English)

    袁平之

    1997-01-01

    Effective rational and algebraic approximations of a large class of algebraic numbers are obtained by Thue-Siegel’s method.As an application of this result,it is proved that; if D>0 is not a square,and ε=x0 +y0 D denotes the fundamental solution of x2-Dy2=-1,then x2+1=Dy4 is solvable if and only if y0=A2 where A is an integer.Moreover,if ≥64,then x2+1=Dy4 has at most one positive integral solution (x,y).

  2. Birman-Murakami-Wenzl algebras for general Coxeter groups

    CERN Document Server

    Chen, Zhi

    2012-01-01

    We introduce a BMW type algebra for every Coxeter group. These new algebras are introduced as deformations of the Brauer type algebras introduced by the author, they have the corresponding Hecke algebras as quotients.

  3. Group Averaging and Refined Algebraic Quantization: Where are we now?

    OpenAIRE

    Marolf, D.

    2000-01-01

    Refined Algebraic Quantization and Group Averaging are powerful methods for quantizing constrained systems. They give constructive algorithms for generating observables and the physical inner product. This work outlines the current status of these ideas with an eye toward quantum gravity. The main goal is provide a description of outstanding problems and possible research topics in the field.

  4. Topics in Cohomological Studies of Algebraic Varieties Impanga Lecture Notes

    CERN Document Server

    Pragacz, Piotr

    2005-01-01

    The articles in this volume study various cohomological aspects of algebraic varieties:- characteristic classes of singular varieties;- geometry of flag varieties;- cohomological computations for homogeneous spaces;- K-theory of algebraic varieties;- quantum cohomology and Gromov-Witten theory.The main purpose is to give comprehensive introductions to the above topics through a series of "friendly" texts starting from a very elementary level and ending with the discussion of current research. In the articles, the reader will find classical results and methods as well as new ones. Num

  5. Algebraic Systems Biology: A Case Study for the Wnt Pathway.

    Science.gov (United States)

    Gross, Elizabeth; Harrington, Heather A; Rosen, Zvi; Sturmfels, Bernd

    2016-01-01

    Steady-state analysis of dynamical systems for biological networks gives rise to algebraic varieties in high-dimensional spaces whose study is of interest in their own right. We demonstrate this for the shuttle model of the Wnt signaling pathway. Here, the variety is described by a polynomial system in 19 unknowns and 36 parameters. It has degree 9 over the parameter space. This case study explores multistationarity, model comparison, dynamics within regions of the state space, identifiability, and parameter estimation, from a geometric point of view. We employ current methods from computational algebraic geometry, polyhedral geometry, and combinatorics.

  6. Geometry, algebra and applications from mechanics to cryptography

    CERN Document Server

    Encinas, Luis; Gadea, Pedro; María, Mª

    2016-01-01

    This volume collects contributions written by different experts in honor of Prof. Jaime Muñoz Masqué. It covers a wide variety of research topics, from differential geometry to algebra, but particularly focuses on the geometric formulation of variational calculus; geometric mechanics and field theories; symmetries and conservation laws of differential equations, and pseudo-Riemannian geometry of homogeneous spaces. It also discusses algebraic applications to cryptography and number theory. It offers state-of-the-art contributions in the context of current research trends. The final result is a challenging panoramic view of connecting problems that initially appear distant.

  7. Algebraic Systems Biology: A Case Study for the Wnt Pathway.

    Science.gov (United States)

    Gross, Elizabeth; Harrington, Heather A; Rosen, Zvi; Sturmfels, Bernd

    2016-01-01

    Steady-state analysis of dynamical systems for biological networks gives rise to algebraic varieties in high-dimensional spaces whose study is of interest in their own right. We demonstrate this for the shuttle model of the Wnt signaling pathway. Here, the variety is described by a polynomial system in 19 unknowns and 36 parameters. It has degree 9 over the parameter space. This case study explores multistationarity, model comparison, dynamics within regions of the state space, identifiability, and parameter estimation, from a geometric point of view. We employ current methods from computational algebraic geometry, polyhedral geometry, and combinatorics. PMID:26645985

  8. Generic, Type-Safe and Object Oriented Computer Algebra Software

    Science.gov (United States)

    Kredel, Heinz; Jolly, Raphael

    Advances in computer science, in particular object oriented programming, and software engineering have had little practical impact on computer algebra systems in the last 30 years. The software design of existing systems is still dominated by ad-hoc memory management, weakly typed algorithm libraries and proprietary domain specific interactive expression interpreters. We discuss a modular approach to computer algebra software: usage of state-of-the-art memory management and run-time systems (e.g. JVM) usage of strongly typed, generic, object oriented programming languages (e.g. Java) and usage of general purpose, dynamic interactive expression interpreters (e.g. Python) To illustrate the workability of this approach, we have implemented and studied computer algebra systems in Java and Scala. In this paper we report on the current state of this work by presenting new examples.

  9. Developments and retrospectives in Lie theory algebraic methods

    CERN Document Server

    Penkov, Ivan; Wolf, Joseph

    2014-01-01

    This volume reviews and updates a prominent series of workshops in representation/Lie theory, and reflects the widespread influence of those  workshops in such areas as harmonic analysis, representation theory, differential geometry, algebraic geometry, and mathematical physics.  Many of the contributors have had leading roles in both the classical and modern developments of Lie theory and its applications. This Work, entitled Developments and Retrospectives in Lie Theory, and comprising 26 articles, is organized in two volumes: Algebraic Methods and Geometric and Analytic Methods. This is the Algebraic Methods volume. The Lie Theory Workshop series, founded by Joe Wolf and Ivan Penkov and joined shortly thereafter by Geoff Mason, has been running for over two decades. Travel to the workshops has usually been supported by the NSF, and local universities have provided hospitality. The workshop talks have been seminal in describing new perspectives in the field covering broad areas of current research.  Mos...

  10. Scaling Linear Algebra Kernels using Remote Memory Access

    Energy Technology Data Exchange (ETDEWEB)

    Krishnan, Manoj Kumar; Lewis, Robert R.; Vishnu, Abhinav

    2010-09-13

    This paper describes the scalability of linear algebra kernels based on remote memory access approach. The current approach differs from the other linear algebra algorithms by the explicit use of shared memory and remote memory access (RMA) communication rather than message passing. It is suitable for clusters and scalable shared memory systems. The experimental results on large scale systems (Linux-Infiniband cluster, Cray XT) demonstrate consistent performance advantages over ScaLAPACK suite, the leading implementation of parallel linear algebra algorithms used today. For example, on a Cray XT4 for a matrix size of 102400, our RMA-based matrix multiplication achieved over 55 teraflops while ScaLAPACK’s pdgemm measured close to 42 teraflops on 10000 processes.

  11. Concurrent Composition and Algebras of Events, Actions, and Processes

    CERN Document Server

    Burgin, Mark

    2008-01-01

    There are many different models of concurrent processes. The goal of this work is to introduce a common formalized framework for current research in this area and to eliminate shortcomings of existing models of concurrency. Following up the previous research of the authors and other researchers on concurrency, here we build a high-level metamodel EAP (event-action-process) for concurrent processes. This metamodel comprises a variety of other models of concurrent processes. We shape mathematical models for, and study events, actions, and processes in relation to important practical problems, such as communication in networks, concurrent programming, and distributed computations. In the third section of the work, a three-level algebra of events, actions and processes is constructed and studied as a new stage of algebra for concurrent processes. Relations between EAP process algebra and other models of concurrency are considered in the fourth section of this work.

  12. Solving Tensor Structured Problems with Computational Tensor Algebra

    CERN Document Server

    Morozov, Oleksii

    2010-01-01

    Since its introduction by Gauss, Matrix Algebra has facilitated understanding of scientific problems, hiding distracting details and finding more elegant and efficient ways of computational solving. Today's largest problems, which often originate from multidimensional data, might profit from even higher levels of abstraction. We developed a framework for solving tensor structured problems with tensor algebra that unifies concepts from tensor analysis, multilinear algebra and multidimensional signal processing. In contrast to the conventional matrix approach, it allows the formulation of multidimensional problems, in a multidimensional way, preserving structure and data coherence; and the implementation of automated optimizations of solving algorithms, based on the commutativity of all tensor operations. Its ability to handle large scientific tasks is showcased by a real-world, 4D medical imaging problem, with more than 30 million unknown parameters solved on a current, inexpensive hardware. This significantly...

  13. Twisted Hamiltonian Lie Algebras and Their Multiplicity-Free Representations

    Institute of Scientific and Technical Information of China (English)

    Ling CHEN

    2011-01-01

    We construct a class of new Lie algebras by generalizing the one-variable Lie algebras generated by the quadratic conformal algebras (or corresponding Hamiltonian operators) associated with Poisson algebras and a quasi-derivation found by Xu. These algebras can be viewed as certain twists of Xu's generalized Hamiltonian Lie algebras. The simplicity of these algebras is completely determined. Moreover, we construct a family of multiplicity-free representations of these Lie algebras and prove their irreducibility.

  14. The quantum algebra of superspace

    CERN Document Server

    Hatcher, N; Stephany, J

    2006-01-01

    We present the complete set of N=1, D=4 quantum algebras associated to massive superparticles. We obtain the explicit solution of these algebras realized in terms of unconstrained operators acting on the Hilbert space of superfields. These solutions are expressed in terms of the chiral, anti-chiral and tensorial projectors which define the three irreducible representations of the supersymmetry on the superfields. In each case the space-time variables are non-commuting and their commutators are proportional to the internal angular momentum of the representation. The quantum algebras associated to the chiral or anti-chiral projectors is the one obtained by the quantization of the Casalbuoni-Brink-Schwarz massive superparticle. We present a new action for the tensorial case and show that their wave functions are restricted to be tensorial superfields.

  15. Algebras, dialgebras, and polynomial identities

    CERN Document Server

    Bremner, Murray R

    2012-01-01

    This is a survey of some recent developments in the theory of associative and nonassociative dialgebras, with an emphasis on polynomial identities and multilinear operations. We discuss associative, Lie, Jordan, and alternative algebras, and the corresponding dialgebras; the KP algorithm for converting identities for algebras into identities for dialgebras; the BSO algorithm for converting operations in algebras into operations in dialgebras; Lie and Jordan triple systems, and the corresponding disystems; and a noncommutative version of Lie triple systems based on the trilinear operation abc-bca. The paper concludes with a conjecture relating the KP and BSO algorithms, and some suggestions for further research. Most of the original results are joint work with Raul Felipe, Luiz A. Peresi, and Juana Sanchez-Ortega.

  16. A characterisation of algebraic exactness

    CERN Document Server

    Garner, Richard

    2011-01-01

    An algebraically exact category in one that admits all of the limits and colimits which every variety of algebras possesses and every forgetful functor between varieties preserves, and which verifies the same interactions between these limits and colimits as hold in any variety. Such categories were studied by Ad\\'amek, Lawvere and Rosick\\'y: they characterised them as the categories with small limits and sifted colimits for which the functor taking sifted colimits is continuous. They conjectured that a complete and sifted-cocomplete category should be algebraically exact just when it is Barr-exact, finite limits commute with filtered colimits, regular epimorphisms are stable by small products, and filtered colimits distribute over small products. We prove this conjecture.

  17. Topics in quaternion linear algebra

    CERN Document Server

    Rodman, Leiba

    2014-01-01

    Quaternions are a number system that has become increasingly useful for representing the rotations of objects in three-dimensional space and has important applications in theoretical and applied mathematics, physics, computer science, and engineering. This is the first book to provide a systematic, accessible, and self-contained exposition of quaternion linear algebra. It features previously unpublished research results with complete proofs and many open problems at various levels, as well as more than 200 exercises to facilitate use by students and instructors. Applications presented in the book include numerical ranges, invariant semidefinite subspaces, differential equations with symmetries, and matrix equations. Designed for researchers and students across a variety of disciplines, the book can be read by anyone with a background in linear algebra, rudimentary complex analysis, and some multivariable calculus. Instructors will find it useful as a complementary text for undergraduate linear algebra courses...

  18. Dynamical systems of algebraic origin

    CERN Document Server

    Schmidt, Klaus

    1995-01-01

    Although much of classical ergodic theory is concerned with single transformations and one-parameter flows, the subject inherits from statistical mechanics not only its name, but also an obligation to analyze spatially extended systems with multidimensional symmetry groups. However, the wealth of concrete and natural examples which has contributed so much to the appeal and development of classical dynamics, is noticeably absent in this more general theory. The purpose of this book is to help remedy this scarcity of explicit examples by introducing a class of continuous Zd-actions diverse enough to exhibit many of the new phenomena encountered in the transition from Z to Zd, but which nevertheless lends itself to systematic study: the Zd-actions by automorphisms of compact, abelian groups. One aspect of these actions, not surprising in itself but quite striking in its extent and depth nonetheless, is the connection with commutative algebra and arithmetical algebraic geometry. The algebraic framework resulting...

  19. Probability on real Lie algebras

    CERN Document Server

    Franz, Uwe

    2016-01-01

    This monograph is a progressive introduction to non-commutativity in probability theory, summarizing and synthesizing recent results about classical and quantum stochastic processes on Lie algebras. In the early chapters, focus is placed on concrete examples of the links between algebraic relations and the moments of probability distributions. The subsequent chapters are more advanced and deal with Wigner densities for non-commutative couples of random variables, non-commutative stochastic processes with independent increments (quantum Lévy processes), and the quantum Malliavin calculus. This book will appeal to advanced undergraduate and graduate students interested in the relations between algebra, probability, and quantum theory. It also addresses a more advanced audience by covering other topics related to non-commutativity in stochastic calculus, Lévy processes, and the Malliavin calculus.

  20. Algebraic lattices in QFT renormalization

    CERN Document Server

    Borinsky, Michael

    2015-01-01

    The structure of overlapping subdivergences, which appear in the perturbative expansions of quantum field theory, is analyzed using algebraic lattice theory. It is shown that for specific QFTs the sets of subdivergences of Feynman diagrams form algebraic lattices. This class of QFTs includes the Standard model. In kinematic renormalization schemes, in which tadpole diagrams vanish, the lattices are semimodular. This implies that the Hopf algebra of Feynman diagrams is graded by the coradical degree or equivalently that every maximal forest has the same length in the scope of BPHZ renormalization. As an application of this framework a formula for the counter terms in zero-dimensional QFT is given together with some examples of the enumeration of primitive or skeleton diagrams.

  1. Algebraic Proofs over Noncommutative Formulas

    CERN Document Server

    Tzameret, Iddo

    2010-01-01

    We study possible formulations of algebraic propositional proof systems operating with noncommutative formulas. We observe that a simple formulation gives rise to systems at least as strong as Frege---yielding a semantic way to define a Cook-Reckhow (i.e., polynomially verifiable) algebraic analogue of Frege proofs, different from that given in [BIKPRS96,GH03]. We then turn to an apparently weaker system, namely, polynomial calculus (PC) where polynomials are written as ordered formulas ("PC over ordered formulas", for short). This is an algebraic propositional proof system that operates with noncommutative polynomials in which the order of products in all monomials respects a fixed linear order on the variables, and where proof-lines are written as noncommutative formulas. We show that the latter proof system is strictly stronger than resolution, polynomial calculus and polynomial calculus with resolution (PCR) and admits polynomial-size refutations for the pigeonhole principle and the Tseitin's formulas. We...

  2. Algebraic realization of rotational dynamics

    International Nuclear Information System (INIS)

    It is shown that the dynamics of a quantum rotor can be realized in terms of the SU(3)→SO(3) group algebra. Specifically, an analytic result is given for mapping from the hamiltonian of a trixial rotor to its algebraic image. Under the mapping invariants of the rotor are carried into Casimir invariants of the algebraic theory. Results for spectra and transition rates and various sums are given to demonstrate the effectiveness of the mapping. The theory gives physical significance to operators that were first introduced by Racah as a means for resolving the SU(3)→SO(3) state labelling problem. As the SU(3)→SO(3) structure is common to the rotational limit of several nuclear models, the theory also offers an opportunity to explore in a new way the microscopic underpinnings of rotational phenomena in nuclei. (orig.)

  3. A Metric Conceptual Space Algebra

    Science.gov (United States)

    Adams, Benjamin; Raubal, Martin

    The modeling of concepts from a cognitive perspective is important for designing spatial information systems that interoperate with human users. Concept representations that are built using geometric and topological conceptual space structures are well suited for semantic similarity and concept combination operations. In addition, concepts that are more closely grounded in the physical world, such as many spatial concepts, have a natural fit with the geometric structure of conceptual spaces. Despite these apparent advantages, conceptual spaces are underutilized because existing formalizations of conceptual space theory have focused on individual aspects of the theory rather than the creation of a comprehensive algebra. In this paper we present a metric conceptual space algebra that is designed to facilitate the creation of conceptual space knowledge bases and inferencing systems. Conceptual regions are represented as convex polytopes and context is built in as a fundamental element. We demonstrate the applicability of the algebra to spatial information systems with a proof-of-concept application.

  4. Algebraic Lattices in QFT Renormalization

    Science.gov (United States)

    Borinsky, Michael

    2016-07-01

    The structure of overlapping subdivergences, which appear in the perturbative expansions of quantum field theory, is analyzed using algebraic lattice theory. It is shown that for specific QFTs the sets of subdivergences of Feynman diagrams form algebraic lattices. This class of QFTs includes the standard model. In kinematic renormalization schemes, in which tadpole diagrams vanish, these lattices are semimodular. This implies that the Hopf algebra of Feynman diagrams is graded by the coradical degree or equivalently that every maximal forest has the same length in the scope of BPHZ renormalization. As an application of this framework, a formula for the counter terms in zero-dimensional QFT is given together with some examples of the enumeration of primitive or skeleton diagrams.

  5. A Matrix Construction of Cellular Algebras

    Institute of Scientific and Technical Information of China (English)

    Dajing Xiang

    2005-01-01

    In this paper, we give a concrete method to construct cellular algebras from matrix algebras by specifying certain fixed matrices for the data of inflations. In particular,orthogonal matrices can be chosen for such data.

  6. Quadratic and 2-Crossed Modules of Algebras

    Institute of Scientific and Technical Information of China (English)

    Z. Arvasi; E. Ulualan

    2007-01-01

    In this work, we define the quadratic modules for commutative algebras and give relations among 2-crossed modules, crossed squares, quadratic modules and simplicial commutative algebras with Moore complex of length 2.

  7. Banana Algebra: Compositional syntactic language extension

    DEFF Research Database (Denmark)

    Andersen, Jacob; Brabrand, Claus; Christiansen, David Raymond

    2013-01-01

    We propose an algebra of languages and transformations as a means of compositional syntactic language extension. The algebra provides a layer of high-level abstractions built on top of languages (captured by context-free grammars) and transformations (captured by constructive catamorphisms......). The algebra is self-contained in that any term of the algebra specifying a transformation can be reduced to a constant catamorphism, before the transfor- mation is run. Thus, the algebra comes “for free” without sacrificing the strong safety and efficiency properties of constructive catamorphisms. The entire...... algebra as presented in the paper is implemented as the Banana Algebra Tool which may be used to syntactically extend languages in an incremental and modular fashion via algebraic composition of previously defined languages and transformations. We demonstrate and evaluate the tool via several kinds...

  8. States on sharply dominating effect algebras

    Institute of Scientific and Technical Information of China (English)

    Zdenka; RIE■ANOV

    2008-01-01

    We prove that sharply dominating Archimedean atomic lattice effect algebras can be characterized by the property called basic decomposition of elements.As an application we prove the state smearing theorem for these effect algebras.

  9. On Axiomatic Approaches to Intertwining Operator Algebras

    CERN Document Server

    Chen, Ling

    2015-01-01

    We study intertwining operator algebras introduced and constructed by Huang. In the case that the intertwining operator algebras involve intertwining operators among irreducible modules for their vertex operator subalgebras, a number of results on intertwining operator algebras were given in [H9] but some of the proofs were postponed to an unpublished monograph. In this paper, we give the proofs of these results in [H9] and we formulate and prove results for general intertwining operator algebras without assuming that the modules involved are irreducible. In particular, we construct fusing and braiding isomorphisms for general intertwining operator algebras and prove that they satisfy the genus-zero Moore-Seiberg equations. We show that the Jacobi identity for intertwining operator algebras is equivalent to generalized rationality, commutativity and associativity properties of intertwining operator algebras. We introduce the locality for intertwining operator algebras and show that the Jacobi identity is equi...

  10. Uniform Algebras Over Complete Valued Fields

    CERN Document Server

    Mason, Jonathan W

    2012-01-01

    UNIFORM algebras have been extensively investigated because of their importance in the theory of uniform approximation and as examples of complex Banach algebras. An interesting question is whether analogous algebras exist when a complete valued field other than the complex numbers is used as the underlying field of the algebra. In the Archimedean setting, this generalisation is given by the theory of real function algebras introduced by S. H. Kulkarni and B. V. Limaye in the 1980s. This thesis establishes a broader theory accommodating any complete valued field as the underlying field by involving Galois automorphisms and using non-Archimedean analysis. The approach taken keeps close to the original definitions from the Archimedean setting. Basic function algebras are defined and generalise real function algebras to all complete valued fields. Several examples are provided. Each basic function algebra is shown to have a lattice of basic extensions related to the field structure. In the non-Archimedean settin...

  11. Hopf algebra structures in particle physics

    OpenAIRE

    Weinzierl, Stefan

    2004-01-01

    In the recent years, Hopf algebras have been introduced to describe certain combinatorial properties of quantum field theories. I will give a basic introduction to these algebras and review some occurrences in particle physics.

  12. Quantum Groupoids Acting on Semiprime Algebras

    Directory of Open Access Journals (Sweden)

    Inês Borges

    2011-01-01

    Full Text Available Following Linchenko and Montgomery's arguments we show that the smash product of an involutive weak Hopf algebra and a semiprime module algebra, satisfying a polynomial identity, is semiprime.

  13. Open problems on open algebraic varieties

    CERN Document Server

    Gurjar, R V; Kumar, N M; Miyanishi, M; Russell, P; Sakai, F; Wright, D; Zaidenberg, M G; Kaliman, Shulim; Kumar, N Mohan; Miyanishi, Masayoshi; Russell, Peter; Sakai, Fumio; Wright, David; Zaidenberg, Mikhail

    1995-01-01

    This report records a large number of open problems in Affine Algebraic Geometry that were proposed by participants in a Conference on Open Algebraic Varieties at the Centre de Recherches en Mathematiques in Montreal at December 1994.

  14. Irreducible representations of Birman-Wenzl algebras

    Institute of Scientific and Technical Information of China (English)

    潘峰

    1995-01-01

    Irreducible representations of Birman-Wenzl algebras are constructed by using the induced representation and the linear equation method. Self-adjoint representations of Birman-Wenzl algebras Cf (r, q) with f≤4 are presented.

  15. THE ALGEBRAIC METHOD OF RATIONAL INTERPOLATION

    Institute of Scientific and Technical Information of China (English)

    Cai Shoufeng; Zhang Shugong

    2005-01-01

    This paper deals with rational interpolation. From algebraic viewpoint, we present an algebraic formulation of rational interpolation and discuss the existence of the interpolation function. Finally an algorithm for univariate case and an example are presented.

  16. Non-commutative Poisson Algebra Structures on the Lie Algebra son(CQ)

    Institute of Scientific and Technical Information of China (English)

    Jie Tong; Quanqin Jin

    2007-01-01

    Non-commutative Poisson algebras are the algebras having both an associativealgebra structure and a Lie algebra structure together with the Leibniz law.In this paper,the non-commutative poisson algebra structures on son(CQ) are determined.

  17. Universal Algebra of a Hom-Lie Algebra and group-like elements

    OpenAIRE

    Laurent-Gengoux, Camille; Makhlouf, Abdenacer; Teles, Joana

    2015-01-01

    We construct the universal enveloping algebra of a Hom-Lie algebra and endow it with a Hom-Hopf algebra structure. We discuss group-like elements that we see as a Hom-group integrating the initial Hom-Lie algebra.

  18. The bar construction of an algebra as an E-infinite Hopf algebra

    OpenAIRE

    Fresse, Benoit

    2003-01-01

    We prove that the bar construction of an $E_\\infty$ algebra forms an $E_\\infty$ algebra. To be more precise, we provide the bar construction of an algebra over the surjection operad with the structure of a Hopf algebra over the Barratt-Eccles operad. (The surjection operad and the Barratt-Eccles operad are classical $E_\\infty$ operads.)

  19. The tiling C*-algebra viewed as a tight inverse semigroup algebra

    OpenAIRE

    Exel, Ruy; Gonçalves, Daniel; Starling, Charles

    2011-01-01

    We realize Kellendonk'?s C*-algebra of an aperiodic tiling as the tight C*-algebra of the inverse semigroup associated to the tiling, thus providing further evidence that the tight C*-algebra is a good candidate to be the natural associative algebra to go along with an inverse semigroup.

  20. Automorphism groups and derivation algebras of finitely generated vertex operator algebras

    OpenAIRE

    Dong, C.; Griess Jr., R. L.

    2002-01-01

    We investigate the general structure of the automorphism group and the Lie algebra of derivations of a finitely generated vertex operator algebra. The automorphism group is isomorphic to an algebraic group. Under natural assumptions, the derivation algebra has an invariant bilinear form and the ideal of inner derivations is nonsingular.

  1. Matrix methods applied linear algebra

    CERN Document Server

    Bronson, Richard

    2008-01-01

    Matrix Methods: Applied Linear Algebra, 3e, as a textbook, provides a unique and comprehensive balance between the theory and computation of matrices. The application of matrices is not just for mathematicians. The use by other disciplines has grown dramatically over the years in response to the rapid changes in technology. Matrix methods is the essence of linear algebra and is what is used to help physical scientists; chemists, physicists, engineers, statisticians, and economists solve real world problems.* Applications like Markov chains, graph theory and Leontief Models are placed i

  2. The algebraic combinatorics of snakes

    CERN Document Server

    Josuat-Vergès, Matthieu; Thibon, Jean-Yves

    2011-01-01

    Snakes are analogues of alternating permutations defined for any Coxeter group. We study these objects from the point of view of combinatorial Hopf algebras, such as noncommutative symmetric functions and their generalizations. The main purpose is to show that several properties of the generating functions of snakes, such as differential equations or closed form as trigonometric functions, can be lifted at the level of noncommutative symmetric functions or free quasi-symmetric functions. The results take the form of algebraic identities for type B noncommutative symmetric functions, noncommutative supersymmetric functions and colored free quasi-symmetric functions.

  3. Scalable Parallel Algebraic Multigrid Solvers

    Energy Technology Data Exchange (ETDEWEB)

    Bank, R; Lu, S; Tong, C; Vassilevski, P

    2005-03-23

    The authors propose a parallel algebraic multilevel algorithm (AMG), which has the novel feature that the subproblem residing in each processor is defined over the entire partition domain, although the vast majority of unknowns for each subproblem are associated with the partition owned by the corresponding processor. This feature ensures that a global coarse description of the problem is contained within each of the subproblems. The advantages of this approach are that interprocessor communication is minimized in the solution process while an optimal order of convergence rate is preserved; and the speed of local subproblem solvers can be maximized using the best existing sequential algebraic solvers.

  4. Algebra I Workbook For Dummies

    CERN Document Server

    Sterling, Mary Jane

    2011-01-01

    From signed numbers to story problems - calculate equations with ease Practice is the key to improving your algebra skills, and that's what this workbook is all about. This hands-on guide focuses on helping you solve the many types of algebra problems you'll encounter in a focused, step-by-step manner. With just enough refresher explanations before each set of problems, this workbook shows you how to work with fractions, exponents, factoring, linear and quadratic equations, inequalities, graphs, and more! 100s of problems! Hundreds of practice exercises and helpful explanations Explanations mi

  5. Introduction to computational linear algebra

    CERN Document Server

    Nassif, Nabil; Erhel, Jocelyne

    2015-01-01

    Introduction to Computational Linear Algebra introduces the reader with a background in basic mathematics and computer programming to the fundamentals of dense and sparse matrix computations with illustrating examples. The textbook is a synthesis of conceptual and practical topics in ""Matrix Computations."" The book's learning outcomes are twofold: to understand state-of-the-art computational tools to solve matrix computations problems (BLAS primitives, MATLAB® programming) as well as essential mathematical concepts needed to master the topics of numerical linear algebra. It is suitable for s

  6. Computational triadic algebras of signs

    Energy Technology Data Exchange (ETDEWEB)

    Zadrozny, W. [T.J. Watson Research Center, Yorktown Heights, NY (United States)

    1996-12-31

    We present a finite model of Peirce`s ten classes of signs. We briefly describe Peirce`s taxonomy of signs; we prove that any finite collection of signs can be extended to a finite algebra of signs in which all interpretants are themselves being interpreted; and we argue that Peirce`s ten classes of signs can be defined using constraints on algebras of signs. The paper opens the possibility of defining multimodal cognitive agents using Peirce`s classes of signs, and is a first step towards building a computational logic of signs based on Peirce`s taxonomies.

  7. Regular algebra and finite machines

    CERN Document Server

    Conway, John Horton

    2012-01-01

    World-famous mathematician John H. Conway based this classic text on a 1966 course he taught at Cambridge University. Geared toward graduate students of mathematics, it will also prove a valuable guide to researchers and professional mathematicians.His topics cover Moore's theory of experiments, Kleene's theory of regular events and expressions, Kleene algebras, the differential calculus of events, factors and the factor matrix, and the theory of operators. Additional subjects include event classes and operator classes, some regulator algebras, context-free languages, communicative regular alg

  8. Universal Algebra and Mathematical Logic

    OpenAIRE

    Luo, Zhaohua

    2011-01-01

    In this paper, first-order logic is interpreted in the framework of universal algebra, using the clone theory developed in three previous papers. We first define the free clone T(L, C) of terms of a first order language L over a set C of parameters in a standard way. The free right algebra F(L, C) of formulas over T(L, C) is then generated by atomic formulas. Structures for L over C are represented as perfect valuations of F(L, C), and theories of L are represented as filters of F(L). Finally...

  9. Star products and geometric algebra

    International Nuclear Information System (INIS)

    The formalism of geometric algebra can be described as deformed super analysis. The deformation is done with a fermionic star product, that arises from deformation quantization of pseudoclassical mechanics. If one then extends the deformation to the bosonic coefficients of superanalysis one obtains quantum mechanics for systems with spin. This approach clarifies on the one hand the relation between Grassmann and Clifford structures in geometric algebra and on the other hand the relation between classical mechanics and quantum mechanics. Moreover it gives a formalism that allows to handle classical and quantum mechanics in a consistent manner

  10. Block diagonalization for algebra's associated with block codes

    NARCIS (Netherlands)

    Gijswijt, D.

    2009-01-01

    For a matrix *-algebra B, consider the matrix *-algebra A consisting of the symmetric tensors in the n-fold tensor product of B. Examples of such algebras in coding theory include the Bose-Mesner algebra and Terwilliger algebra of the (non)binary Hamming cube, and algebras arising in SDP-hierarchies

  11. On Ideals and Quotients of $A\\mathcal{T}$-Algebras

    Indian Academy of Sciences (India)

    Changguo Wei

    2008-11-01

    Some results on $A\\mathcal{T}$-algebras are given. We study the problem when ideals, quotients and hereditary subalgebras of $A\\mathcal{T}$-algebras are $A\\mathcal{T}$-algebras or $A\\mathcal{T}$-algebras, and give a necessary and sufficient condition of a hereditary subalgebra of an $A\\mathcal{T}$-algebra being an $A\\mathcal{T}$-algebra.

  12. Discrimination in a General Algebraic Setting

    Directory of Open Access Journals (Sweden)

    Benjamin Fine

    2015-01-01

    Full Text Available Discriminating groups were introduced by G. Baumslag, A. Myasnikov, and V. Remeslennikov as an outgrowth of their theory of algebraic geometry over groups. Algebraic geometry over groups became the main method of attack on the solution of the celebrated Tarski conjectures. In this paper we explore the notion of discrimination in a general universal algebra context. As an application we provide a different proof of a theorem of Malcev on axiomatic classes of Ω-algebras.

  13. Characteristic Numbers of Matrix Lie Algebras

    Science.gov (United States)

    Zhang, Yu-Feng; Fan, En-Gui

    2008-04-01

    A notion of characteristic number of matrix Lie algebras is defined, which is devoted to distinguishing various Lie algebras that are used to generate integrable couplings of soliton equations. That is, the exact classification of the matrix Lie algebras by using computational formulas is given. Here the characteristic numbers also describe the relations between soliton solutions of the stationary zero curvature equations expressed by various Lie algebras.

  14. DERIVATIONS AND EXTENSIONS OF LIE COLOR ALGEBRA

    Institute of Scientific and Technical Information of China (English)

    Zhang Qingcheng; Zhang Yongzheng

    2008-01-01

    In this article, the authors obtain some results concerning derivations of fi-nitely generated Lie color algebras and discuss the relation between skew derivation space SkDer(L) and central extension H2(L, F) on some Lie color algebras. Meanwhile, they generalize the notion of double extension to quadratic Lie color algebras, a sufficient con-dition for a quadratic Lie color algebra to be a double extension and further properties are given.

  15. Discrimination in a General Algebraic Setting.

    Science.gov (United States)

    Fine, Benjamin; Gaglione, Anthony; Lipschutz, Seymour; Spellman, Dennis

    2015-01-01

    Discriminating groups were introduced by G. Baumslag, A. Myasnikov, and V. Remeslennikov as an outgrowth of their theory of algebraic geometry over groups. Algebraic geometry over groups became the main method of attack on the solution of the celebrated Tarski conjectures. In this paper we explore the notion of discrimination in a general universal algebra context. As an application we provide a different proof of a theorem of Malcev on axiomatic classes of Ω-algebras.

  16. Discrimination in a General Algebraic Setting

    Science.gov (United States)

    Fine, Benjamin; Gaglione, Anthony; Lipschutz, Seymour; Spellman, Dennis

    2015-01-01

    Discriminating groups were introduced by G. Baumslag, A. Myasnikov, and V. Remeslennikov as an outgrowth of their theory of algebraic geometry over groups. Algebraic geometry over groups became the main method of attack on the solution of the celebrated Tarski conjectures. In this paper we explore the notion of discrimination in a general universal algebra context. As an application we provide a different proof of a theorem of Malcev on axiomatic classes of Ω-algebras. PMID:26171421

  17. Liouville Extensions of Artinian Simple Module Algebras

    OpenAIRE

    Amano, Katsutoshi

    2006-01-01

    In a previous article (Amano and Masuoka, 2005), the author and Masuoka developed a Picard-Vessiot theory for module algebras over a cocommutative pointed smooth Hopf algebra D. By using the notion of Artinian simple (AS)D-module algebras, it generalizes and unifies the standard Picard-Vessiot theories for linear differential and difference equations. The purpose of this article is to define the notion of Liouville extensions of AS D-module algebras and to characterize the corresponding Picar...

  18. String Quantization and the Shuffle Hopf Algebra

    CERN Document Server

    Bahns, Dorothea

    2011-01-01

    The Poisson algebra $\\mathfrak h$ of invariants of the Nambu-Goto string, which was first introduced by K. Pohlmeyer in 1982, is described using the Shuffle Hopf algebra. In particular, an underlying auxiliary Lie algebra is reformulated in terms of the image of the first Eulerian idempotent of the Shuffle Hopf algebra. This facilitates the comparison of different approaches to the quantization of $\\mathfrak h$.

  19. Compact Weighted Composition Operators on Function Algebras

    OpenAIRE

    TAKAGI, Hiroyuki

    1988-01-01

    A weighted endomorphism of an algebra is an endomorphism followed by a multiplier. In [6] and [4], H. Kamowitz characterized compact weighted endomorphisms of $C(X)$ and the disc algebra. In this note we define a weighted composition operator on a function algebra as a generalization of a weighted endomorphism, and characterize compact weighted composition operators on a function algebra satisfying a certain condition [Theorem 2]. This theorem not only includes Kamowitz's results as ...

  20. On the Model Properties of BCK Algebras

    Institute of Scientific and Technical Information of China (English)

    LIANGJun-qi

    2004-01-01

    This paper is devoted to the study of the logical properties of BCK algebras. For formalized BCK algebra theory T, it is proved that T is preserved under submodels and unions of chains; T is neither complete nor model complete, and hence there exist no builtin Skolem function. Moreover, the ultraproduct BCK algebras and the fuzzy ultraproduct of fuzzy subsets of BCK algebras were proposed by using the concept of ultrafilters with corresponding propertics of fuzzy ideals discussed.