Search results for "universal"

showing 10 items of 678 documents

Varieties and Covarieties of Languages (Extended Abstract)

2013

AbstractBecause of the isomorphism (X×A)→X≅X→(A→X), the transition structure of a deterministic automaton with state set X and with inputs from an alphabet A can be viewed both as an algebra and as a coalgebra. This algebra-coalgebra duality goes back to Arbib and Manes, who formulated it as a duality between reachability and observability, and is ultimately based on Kalmanʼs duality in systems theory between controllability and observability. Recently, it was used to give a new proof of Brzozowskiʼs minimization algorithm for deterministic automata. Here we will use the algebra-coalgebra duality of automata as a common perspective for the study of both varieties and covarieties, which are …

Discrete mathematicsGeneral Computer ScienceCoalgebraData ScienceStructure (category theory)Duality (optimization)equationalgebraAutomataTheoretical Computer ScienceAlgebravarietyReachabilityDeterministic automatonComputingMethodologies_DOCUMENTANDTEXTPROCESSINGcoequationObservabilityIsomorphismcovarietyVariety (universal algebra)coalgebraComputer Science::Formal Languages and Automata TheoryComputer Science(all)MathematicsElectronic Notes in Theoretical Computer Science
researchProduct

Graded algebras with polynomial growth of their codimensions

2015

Abstract Let A be an algebra over a field of characteristic 0 and assume A is graded by a finite group G . We study combinatorial and asymptotic properties of the G -graded polynomial identities of A provided A is of polynomial growth of the sequence of its graded codimensions. Roughly speaking this means that the ideal of graded identities is “very large”. We relate the polynomial growth of the codimensions to the module structure of the multilinear elements in the relatively free G -graded algebra in the variety generated by A . We describe the irreducible modules that can appear in the decomposition, we show that their multiplicities are eventually constant depending on the shape obtaine…

Discrete mathematicsHilbert series and Hilbert polynomialPure mathematicsPolynomialMultilinear mapAlgebra and Number TheoryMathematics::Commutative AlgebraGraded ringGraded codimensionsymbols.namesakeSettore MAT/02 - AlgebraPI exponentDifferential graded algebrasymbolsMultipartitionGraded identitieVariety (universal algebra)Algebra over a fieldCodimension growthMathematics
researchProduct

Minimal varieties of algebras of exponential growth

2003

Abstract The exponent of a variety of algebras over a field of characteristic zero has been recently proved to be an integer. Through this scale we can now classify all minimal varieties of given exponent and of finite basic rank. As a consequence, we describe the corresponding T-ideals of the free algebra and we compute the asymptotics of the related codimension sequences, verifying in this setting some known conjectures. We also show that the number of these minimal varieties is finite for any given exponent. We finally point out some relations between the exponent of a variety and the Gelfand–Kirillov dimension of the corresponding relatively free algebras of finite rank.

Discrete mathematicsMathematics(all)Pure mathematicsRank (linear algebra)General MathematicsMathematical analysisZero (complex analysis)Field (mathematics)CodimensionIntegerFree algebraExponentVariety (universal algebra)MathematicsElectronic Research Announcements of the American Mathematical Society
researchProduct

Some geometric properties of disk algebras

2014

Abstract In this paper we study some geometrical properties of certain classes of uniform algebras, in particular the ball algebra A u ( B X ) of all uniformly continuous functions on the closed unit ball and holomorphic on the open unit ball of a complex Banach space X . We prove that A u ( B X ) has k -numerical index 1 for every k , the lushness and also the AHSP. Moreover, the disk algebra A ( D ) , and more in general any uniform algebra whose Choquet boundary has no isolated points, is proved to have the polynomial Daugavet property. Most of those properties are extended to the vector valued version A X of a uniform algebra A .

Discrete mathematicsMathematics::Functional AnalysisPure mathematicsApplied MathematicsUniform algebraSubalgebraUniversal enveloping algebraFiltered algebraAlgebra representationDivision algebraCellular algebraDisk algebraAnalysisMathematicsJournal of Mathematical Analysis and Applications
researchProduct

Polynomial codimension growth and the Specht problem

2017

Abstract We construct a continuous family of algebras over a field of characteristic zero with slow codimension growth bounded by a polynomial of degree 4. This is achieved by building, for any real number α ∈ ( 0 , 1 ) a commutative nonassociative algebra A α whose codimension sequence c n ( A α ) , n = 1 , 2 , …  , is polynomially bounded and lim ⁡ log n ⁡ c n ( A α ) = 3 + α . As an application we are able to construct a new example of a variety with an infinite basis of identities.

Discrete mathematicsPolynomialAlgebra and Number TheoryDegree (graph theory)Polynomial identity Codimension Growth010102 general mathematicsZero (complex analysis)Field (mathematics)Basis (universal algebra)Codimension01 natural sciences010101 applied mathematicsSettore MAT/02 - AlgebraBounded function0101 mathematicsVariety (universal algebra)Mathematics
researchProduct

Codimension and colength sequences of algebras and growth phenomena

2015

We consider non necessarily associative algebras over a field of characteristic zero and their polynomial identities. Here we describe some of the results obtained in recent years on the sequence of codimensions and the sequence of colengths of an algebra.

Discrete mathematicsPolynomialPure mathematicsSequenceMathematics::Commutative AlgebraGeneral Mathematics010102 general mathematicsZero (complex analysis)Field (mathematics)Codimension01 natural sciences010101 applied mathematicsSettore MAT/02 - AlgebraComputational Theory and Mathematics0101 mathematicsStatistics Probability and UncertaintyVariety (universal algebra)Algebra over a fieldPolynomial identities Variety Almost nilpotent Codimension.Associative propertyMathematicsSão Paulo Journal of Mathematical Sciences
researchProduct

Indecomposable modules over the Virasoro Lie algebra and a conjecture of V. Kac

1991

We consider a class of indecomposable modules over the Virasoro Lie algebra that we call bounded admissible modules. We get results concerning the center and the dimensions of the weight spaces. We prove that these modules always contain a submodule with one-dimensional weight spaces. From this follows the proof of a conjecture of V. Kac concerning the classification of simple admissible modules.

Discrete mathematicsPure mathematics17B10Statistical and Nonlinear PhysicsUniversal enveloping algebraLie superalgebraAffine Lie algebra17B68Lie conformal algebraGraded Lie algebraAlgebra representationVirasoro algebraMathematics::Representation TheoryIndecomposable moduleMathematical PhysicsMathematicsCommunications in Mathematical Physics
researchProduct

On the Codimension Growth of Finite-Dimensional Lie Algebras

1999

Abstract We study the exponential growth of the codimensions cn(L) of a finite-dimensional Lie algebra L over a field of characteristic zero. We show that if the solvable radical of L is nilpotent then lim n → ∞ c n ( L ) exists and is an integer.

Discrete mathematicsPure mathematicsAdjoint representation of a Lie algebraNilpotentAlgebra and Number TheorySimple Lie groupUniversal enveloping algebraKilling formAffine Lie algebraMathematicsLie conformal algebraGraded Lie algebraJournal of Algebra
researchProduct

Group algebras and Lie nilpotence

2013

Abstract Let ⁎ be an involution of a group algebra FG induced by an involution of the group G. For char F ≠ 2 , we classify the groups G with no 2-elements and with no nonabelian dihedral groups involved whose Lie algebra of ⁎-skew elements is nilpotent.

Discrete mathematicsPure mathematicsAlgebra and Number TheorySimple Lie group010102 general mathematicsMathematics::Rings and AlgebrasUniversal enveloping algebra0102 computer and information sciencesGroup algebraSkew-symmetric element01 natural sciencesRepresentation theoryLie conformal algebraGraded Lie algebraRepresentation of a Lie groupgroup algebra unit010201 computation theory & mathematicsLie nilpotentGroup algebra0101 mathematicsNilpotent groupANÉIS E ÁLGEBRAS ASSOCIATIVOSMathematicsJournal of Algebra
researchProduct

Codimension growth and minimal superalgebras

2003

A celebrated theorem of Kemer (1978) states that any algebra satisfying a polynomial identity over a field of characteristic zero is PI-equivalent to the Grassmann envelope G(A) of a finite dimensional superalgebra A. In this paper, by exploiting the basic properties of the exponent of a PI-algebra proved by Giambruno and Zaicev (1999), we define and classify the minimal superalgebras of a given exponent over a field of characteristic zero. In particular we prove that these algebras can be realized as block-triangular matrix algebras over the base field. The importance of such algebras is readily proved: A is a minimal superalgebra if and only if the ideal of identities of G(A) is a product…

Discrete mathematicsPure mathematicsApplied MathematicsGeneral MathematicsAssociative algebraZero (complex analysis)ExponentField (mathematics)CodimensionIdeal (ring theory)Variety (universal algebra)SuperalgebraMathematicsTransactions of the American Mathematical Society
researchProduct