Search results for "Integer"

showing 10 items of 250 documents

Graded polynomial identities and codimensions: Computing the exponential growth

2010

Abstract Let G be a finite abelian group and A a G-graded algebra over a field of characteristic zero. This paper is devoted to a quantitative study of the graded polynomial identities satisfied by A. We study the asymptotic behavior of c n G ( A ) , n = 1 , 2 , … , the sequence of graded codimensions of A and we prove that if A satisfies an ordinary polynomial identity, lim n → ∞ c n G ( A ) n exists and is an integer. We give an explicit way of computing such integer by proving that it equals the dimension of a suitable finite dimension semisimple G × Z 2 -graded algebra related to A.

Discrete mathematicsHilbert series and Hilbert polynomialPolynomialMathematics(all)Mathematics::Commutative AlgebraGeneral MathematicsGraded ringZero (complex analysis)GrowthPolynomial identityGraded algebraCodimensionssymbols.namesakepolynomial identity growthIntegerDifferential graded algebrasymbolsAbelian groupAlgebra over a fieldMathematicsAdvances in Mathematics
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

On Codimension Growth of Finitely Generated Associative Algebras

1998

Abstract LetAbe a PI-algebra over a fieldF. We study the asymptotic behavior of the sequence of codimensionscn(A) ofA. We show that ifAis finitely generated overFthenInv(A)=limn→∞  c n (A) always exists and is an integer. We also obtain the following characterization of simple algebras:Ais finite dimensional central simple overFif and only ifInv(A)=dim=A.

Discrete mathematicsMathematics(all)SequencePure mathematicsIntegerSimple (abstract algebra)General MathematicsCodimensionFinitely-generated abelian groupCharacterization (mathematics)Associative propertyMathematicsAdvances in Mathematics
researchProduct

On generalized a-Browder's theorem

2007

We characterize the bounded linear operators T satisfying generalized a-Browder's theorem, or generalized a-Weyl's theorem, by means of localized SVEP, as well as by means of the quasi-nilpotent part H0(�I T) asbelongs to certain sets of C. In the last part we give a general framework in which generalized a-Weyl's theorem follows for several classes of operators. 1. Preliminaries. Let L(X) denote the space of bounded linear oper- ators on an infinite-dimensional complex Banach space X. For T ∈ L(X), denote by α(T) the dimension of the kernel ker T, and by β(T) the codi- mension of the range T(X). The operator T ∈ L(X) is called upper semi- Fredholm if α(T) < ∞ and T(X) is closed, and lower …

Discrete mathematicsMathematics::Functional AnalysisFredholm theoryMathematics::Operator AlgebrasGeneral MathematicsFredholm operatorgeneralized Browder's theoremBanach spaceMathematics::Spectral TheoryFredholm theorySVEPCombinatoricssymbols.namesakeKernel (algebra)Operator (computer programming)Mathematics Subject ClassificationIntegerSettore MAT/05 - Analisi MatematicaMathematics::K-Theory and HomologyBounded functionsymbolsgeneralized Weyl's theoremMathematicsStudia Mathematica
researchProduct

Brauer characters and coprime action

2016

Abstract It is an open problem to show that under a coprime action, the number of invariant Brauer characters of a finite group is the number of the Brauer characters of the fixed point subgroup. We prove that this is true if the non-abelian simple groups satisfy a stronger condition.

Discrete mathematicsModular representation theoryPure mathematicsFinite groupAlgebra and Number TheoryBrauer's theorem on induced charactersCoprime integers010102 general mathematics02 engineering and technologyFixed point021001 nanoscience & nanotechnology01 natural sciencesSimple group0101 mathematicsInvariant (mathematics)Mathematics::Representation Theory0210 nano-technologyBrauer groupMathematicsJournal of Algebra
researchProduct

If a DOL language is k-power free then it is circular

1993

We prove that if a DOL language is k-power free then it is circular. By using this result we are able to give an algorithm which decides whether, fixed an integer k≥1, a DOL language is k-power free; we are also able to give a new simpler proof of a result, previously obtained by Ehrenfeucht and Rozenberg, that states that it is decidable whether a DOL language is k-power free for some integer k≥1.

Discrete mathematicsPigeonhole principleFractional powerMathematicsInteger (computer science)Power (physics)Decidability
researchProduct

Standard polynomials are characterized by their degree and exponent

2011

Abstract By the Giambruno–Zaicev theorem (Giambruno and Zaicev, 1999) [5] , the exponent exp ( A ) of a p.i. algebra A exists, and is always an integer. In Berele and Regev (2001) [2] it was shown that the exponent exp ( St n ) of the standard polynomial St n of degree n is not smaller than the exponent of any polynomial of degree n. Here it is proved that exp ( St n ) is strictly larger than the exponent of any other polynomial of degree n which is not a multiple of St n .

Discrete mathematicsPolynomialAlgebra and Number TheoryQuantitative Biology::Neurons and CognitionDegree (graph theory)ExponentPolynomial identityCodimensionsCombinatoricsIntegerExponentDegree of a polynomialAlgebra over a fieldPolynomial identity Exponent CodimensionsMathematics
researchProduct

On computing the degree of convexity of polyominoes

2015

In this paper we present an algorithm which has as input a convex polyomino $P$ and computes its degree of convexity, defined as the smallest integer $k$ such that any two cells of $P$ can be joined by a monotone path inside $P$ with at most $k$ changes of direction. The algorithm uses space $O(m + n)$ to represent a polyomino $P$ with $n$ rows and $m$ columns, and has a running time $O(min(m; r k))$, where $r$ is the number of corners of $P$. Moreover, the algorithm leads naturally to a decomposition of $P$ into simpler polyominoes.

Discrete mathematicsPolyominoDegree (graph theory)Settore INF/01 - InformaticaApplied MathematicsRegular polygonConvexityTheoretical Computer ScienceCombinatoricsMonotone polygonIntegerComputational Theory and MathematicsPath (graph theory)Discrete Mathematics and CombinatoricsGeometry and TopologyRowMathematics
researchProduct

Computing generators of the tame kernel of a global function field

2006

Abstract The group K 2 of a curve C over a finite field is equal to the tame kernel of the corresponding function field. We describe two algorithms for computing generators of the tame kernel of a global function field. The first algorithm uses the transfer map and the fact that the l -torsion can easily be described if the ground field contains the l th roots of unity. The second method is inspired by an algorithm of Belabas and Gangl for computing generators of K 2 of the ring of integers in a number field. We finally give the generators of the tame kernel for some elliptic function fields.

Discrete mathematicsPure mathematicsAlgebra and Number TheoryGlobal function fieldsRoot of unityElliptic functionAlgebraic number fieldK-theoryRing of integersAlgorithmic number theoryGround fieldComputational MathematicsFinite fieldTorsion (algebra)Function fieldMathematicsJournal of Symbolic Computation
researchProduct

An Exact Algorithm for the Quadratic Assignment Problem on a Tree

1989

The Tree QAP is a special case of the Quadratic Assignment Problem (QAP) where the nonzero flows form a tree. No condition is required for the distance matrix. This problem is NP-complete and is also a generalization of the Traveling Salesman Problem. In this paper, we present a branch-and-bound algorithm for the exact solution of the Tree QAP based on an integer programming formulation of the problem. The bounds are computed using a Lagrangian relaxation of this formulation. To solve the relaxed problem, we present a Dynamic Programming algorithm which is polynomially bounded. The obtained lower bound is very sharp and equals the optimum in many cases. This fact allows us to employ a redu…

Discrete mathematicsQuadratic assignment problemManagement Science and Operations ResearchTravelling salesman problemComputer Science ApplicationsReduction (complexity)Tree (data structure)symbols.namesakeExact algorithmLagrangian relaxationsymbolsInteger programmingGeneralized assignment problemMathematicsOperations Research
researchProduct