Search results for "Presentation"

showing 10 items of 2405 documents

Rough Set Algebras as Description Domains

2009

Study of the so called knowledge ordering of rough sets was initiated by V.W. Marek and M. Truszczynski at the end of 90-ies. Under this ordering, the rough sets of a fixed approximation space form a domain in which every set ↓ is a Boolean algebra. In the paper, an additional operation inversion on rough set domains is introduced and an abstract axiomatic description of obtained algebras of rough set is given. It is shown that the resulting class of algebras is essentially different from those traditional in rough set theory: it is not definable, for instance, in the class of regular double Stone algebras, and conversely.

Discrete mathematicsAlgebra and Number TheoryA domainSpace formInversion (discrete mathematics)Theoretical Computer ScienceInterior algebraComputational Theory and MathematicsRough setField of setsStone's representation theorem for Boolean algebrasAxiomInformation SystemsMathematicsFundamenta Informaticae
researchProduct

On the number of constituents of products of characters

2022

It has been conjectured that if the number of distinct irreducible constituents of the product of two faithful irreducible characters of a finite p-group, for p ≥ 5, is bigger than (p + 1)/2, then it is at least p. We give a counterexample to this conjecture.

Discrete mathematicsAlgebra and Number TheoryConjectureApplied MathematicsProduct (mathematics)FOS: MathematicsGroup Theory (math.GR)Mathematics::Representation TheoryMathematics - Group TheoryCounterexampleMathematics
researchProduct

Varieties of Codes and Kraft Inequality

2007

Decipherability conditions for codes are investigated by using the approach of Guzman, who introduced in [7] the notion of variety of codes and established a connection between classes of codes and varieties of monoids. The class of Uniquely Decipherable (UD) codes is a special case of variety of codes, corresponding to the variety of all monoids. It is well known that the Kraft inequality is a necessary condition for UD codes, but it is not sufficient, in the sense that there exist codes that are not UD and that satisfy the Kraft inequality. The main result of the present paper states that, given a variety V of codes, if all the elements of V satisfy the Kraft inequality, then V is the var…

Discrete mathematicsClass (set theory)Computational Theory and MathematicsTheory of computationHigh Energy Physics::ExperimentAstrophysics::Cosmology and Extragalactic AstrophysicsKraft's inequalityVariety (universal algebra)Special caseConnection (algebraic framework)Mathematics::Representation TheoryTheoretical Computer ScienceMathematicsTheory of Computing Systems
researchProduct

Varieties of Codes and Kraft Inequality

2005

Decipherability conditions for codes are investigated by using the approach of Guzman, who introduced in [7] the notion of variety of codes and established a connection between classes of codes and varieties of monoids. The class of Uniquely Decipherable (UD) codes is a special case of variety of codes, corresponding to the variety of all monoids. It is well known that the Kraft inequality is a necessary condition for UD codes, but it is not sufficient, in the sense that there exist codes that are not UD and that satisfy the Kraft inequality. The main result of the present paper states that, given a variety $\mathcal{V}$ of codes, if all the elements of $\mathcal{V}$ satisfy the Kraft inequ…

Discrete mathematicsClass (set theory)Unique factorization domainCode wordAstrophysics::Cosmology and Extragalactic AstrophysicsKraft's inequalityCombinatoricsFormal languageHigh Energy Physics::ExperimentSpecial caseVariety (universal algebra)Connection (algebraic framework)Mathematics::Representation TheoryMathematics
researchProduct

Invariant characters and coprime actions on finite nilpotent groups

2000

Suppose that a group A acts via automorphisms on a nilpotent group G having coprime order. Given an A-invariant character \(\chi \in {\rm Irr}(G)\), we show that the A-primitive irreducible characters that induce \(\chi \) from an A-invariant subgroup of G all have equal degree. We use this result to obtain some information about the characters of groups of p-length 1.

Discrete mathematicsCombinatoricsMathematics::Group TheoryNilpotentCoprime integersGeneral MathematicsNilpotent groupInvariant (mathematics)Mathematics::Representation TheoryAutomorphismMathematicsArchiv der Mathematik
researchProduct

Uncertainty Measures, Realizations and Entropies*

1997

This paper presents the axiomatic foundations of uncertainty theories arising in quantum theory and artificial intelligence. Plausibility measures and additive uncertainty measures are investigated. The representation of uncertainty measures by random sets in spaces of events forms a common base for the treatment of an appropriate integration theory as well as for a reasonable decision theory.

Discrete mathematicsDecision theoryFeature integration theoryBase (topology)Representation (mathematics)Mathematical economicsAxiomMathematics
researchProduct

Defining relations of minimal degree of the trace algebra of 3×3 matrices

2008

Abstract The trace algebra C n d over a field of characteristic 0 is generated by all traces of products of d generic n × n matrices, n , d ⩾ 2 . Minimal sets of generators of C n d are known for n = 2 and n = 3 for any d as well as for n = 4 and n = 5 and d = 2 . The defining relations between the generators are found for n = 2 and any d and for n = 3 , d = 2 only. Starting with the generating set of C 3 d given by Abeasis and Pittaluga in 1989, we have shown that the minimal degree of the set of defining relations of C 3 d is equal to 7 for any d ⩾ 3 . We have determined all relations of minimal degree. For d = 3 we have also found the defining relations of degree 8. The proofs are based …

Discrete mathematicsDefining relationsTrace algebrasAlgebra and Number TheoryTrace (linear algebra)Degree (graph theory)Matrix invariantsGeneral linear groupField (mathematics)Representation theoryCombinatoricsSet (abstract data type)AlgebraGeneric matricesInvariants of tensorsGenerating set of a groupMathematicsJournal of Algebra
researchProduct

Universal Lyndon Words

2014

A word w over an alphabet Σ is a Lyndon word if there exists an order defined on Σ for which w is lexicographically smaller than all of its conjugates (other than itself). We introduce and study universal Lyndon words, which are words over an n-letter alphabet that have length n! and such that all the conjugates are Lyndon words. We show that universal Lyndon words exist for every n and exhibit combinatorial and structural properties of these words. We then define particular prefix codes, which we call Hamiltonian lex-codes, and show that every Hamiltonian lex-code is in bijection with the set of the shortest unrepeated prefixes of the conjugates of a universal Lyndon word. This allows us t…

Discrete mathematicsExistential quantificationLyndon word Universal cycle Universal Lyndon wordComputer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing)Lyndon word Universal cycle Universal Lyndon word Lex-codeLexicographical orderLyndon wordUniversal Lyndon wordLyndon wordsPrefixCombinatoricsMathematics::Group TheoryCombinatorics on wordsComputer Science::Discrete MathematicsUniversal cycleBijectionAlphabetMathematics::Representation TheoryComputer Science::Formal Languages and Automata TheoryMathematics
researchProduct

Absolutely Convergent Extensions of Nonclosable Positive Linear Functionals

2010

The existence of extensions of a positive linear functional ω defined on a dense *-subalgebra \({\mathfrak{A}_0}\) of a topological *-algebra \({\mathfrak{A}}\), satisfying certain regularity conditions, is examined. The main interest is focused on the case where ω is nonclosable and sufficient conditions for the existence of an absolutely convergent extension of ω are given.

Discrete mathematicsExtensions Positive linear functionalsSettore MAT/05 - Analisi MatematicaPositive linear functionalGeneral MathematicsSubalgebraExtension (predicate logic)Algebra over a fieldMathematics::Representation TheoryAbsolute convergenceMathematicsMediterranean Journal of Mathematics
researchProduct

Representation and factorization theorems for almost-Lp-spaces

2019

The first and fourth authors gratefully acknowledge the support of Ministerio de Ciencia, Innovacibn y Universidades (Spain), Agencia Estatal de Investigaciones, and FEDER, under projects MTM2014-53009-P (J.M. Calabuig) and MTM2016-77054-C2-1-P (E.A. Sanchez Perez).

Discrete mathematicsFactorizationGeneral MathematicsBanach lattice010102 general mathematicsRepresentation (systemics)010103 numerical & computational mathematics0101 mathematics01 natural sciencesMathematicsIndagationes Mathematicae
researchProduct