Search results for "theorem"

showing 10 items of 1250 documents

Conditioning on MV-algebras and additive measures —I

1997

Abstract We present a lattice-ordered semigroup approach for the foundation of conditional events which covers the special situations where the underlying (unconditional) events are Boolean or fuzzy, respectively. Our proposal is quite different from other, ring theoretical, approaches. The problem of extending additivity of uncertainty measures from unconditional to conditional events will be discussed.

AlgebraArtificial IntelligenceLogicTwo-element Boolean algebraFuzzy setFuzzy numberBoolean expressionStone's representation theorem for Boolean algebrasBoolean algebras canonically definedComplete Boolean algebraFuzzy logicMathematicsFuzzy Sets and Systems
researchProduct

Irreducibility of Hurwitz spaces of coverings with one special fiber

2006

Abstract Let Y be a smooth, projective complex curve of genus g ⩾ 1. Let d be an integer ⩾ 3, let e = {e1, e2,..., er} be a partition of d and let | e | = Σi=1r(ei − 1). In this paper we study the Hurwitz spaces which parametrize coverings of degree d of Y branched in n points of which n − 1 are points of simple ramification and one is a special point whose local monodromy has cyclic type e and furthermore the coverings have full monodromy group Sd. We prove the irreducibility of these Hurwitz spaces when n − 1 + | e | ⩾ 2d, thus generalizing a result of Graber, Harris and Starr [A note on Hurwitz schemes of covers of a positive genus curve, Preprint, math. AG/0205056].

AlgebraCombinatoricsHurwitz spaceBundleMathematics(all)Mathematics::Algebraic GeometryMonodromyGeneral MathematicsHurwitz's automorphisms theoremIrreducibilityPartition (number theory)local monodromiesMathematicsIndagationes Mathematicae
researchProduct

Iterationsverfahren höherer Ordnung in Banach-Räumen

1969

The Newton process for operator equations in say a linear normed complete space converges under certain hypothesis about the Frechet-derivatives of the operator with at least the order two. There are different ways to improve this Newton process. For instance you obtain a process of order three if you add a correction element containing the second Frechet-derivative of the operator [1]. In the following note we will generalize this idea. In a recursive manner -- by adding higher derivatives -- we will construct iterative processes of any orderk (k > 1). A general theorem due toCollatz provides us error estimates for this processes. Last we will illustrate the processes by several examples.

AlgebraComputational MathematicsOperator (computer programming)General theoremApplied MathematicsNumerical analysisProcess (computing)Order (group theory)Construct (python library)Element (category theory)Complete metric spaceMathematicsNumerische Mathematik
researchProduct

The Fubini and Tonelli Theorems for Product Local Systems

2010

The notion of product local system and of the Kurzweil-Henstock type integral related to a product local system is introduced. The main result is a version of the Fubini and Tonelli theorems for product local systems.

AlgebraDiscrete mathematicsLocal systemProduct (mathematics)Fubini's theoremMathematics::Classical Analysis and ODEslocal system product of local systems Henstock integralType (model theory)Mathematics::Symplectic GeometryMathematics
researchProduct

Lambda substitution algebras

1993

In the paper an algebraic metatheory of type-free λ-calculus is developed. Our version is based on lambda substitution algebras (λSAs), which are just SAs introduced by Feldman (for algebraizing equational logic) enriched with a countable family of unary operations of λ-abstraction and a binary operation of application. Two representation theorems, syntactical and semantic, are proved, what directly provides completeness theorems.

AlgebraDiscrete mathematicsUnary operationBinary operationComputer Science::Logic in Computer ScienceCompleteness (logic)Substitution (algebra)Countable setGödel's completeness theoremEquational logicAlgebraic logicMathematics
researchProduct

Some applications of a fundamental theorem by Gluck and Wolf in the character theory of finite groups

1986

AlgebraFundamental theoremCompact groupGroup (mathematics)General MathematicsSimple groupCharacter theoryClassification of finite simple groupsCA-groupGroup theoryMathematicsMathematische Zeitschrift
researchProduct

On the group of the automorphisms of some algebraic systems

1968

Within a framework of general algebra we firstly formulate a proposition on the group of the automorphisms of some irreducible algebrae (id est algebrae without proper non trivial subalgebrae). This proposition includes as particular cases the uniqueness of the automorphisms of the rational field and the Burnside theorem on the commutant of an irreducible set of operators of a finite dimensional vector space over an algebraically closed field. Afterwards we apply the general proposition to modules with irreducible sets of semilinear operators and we obtain a theorem which generalises from several points of view the Burnside theorem. Finally we derive as an application a proposition which sp…

AlgebraGeneral MathematicsUniversal algebraAlgebraic geometryAlgebraic numberAlgebraically closed fieldQuaternionAutomorphismBurnside theoremMathematicsVector spaceANNALI DELL UNIVERSITA DI FERRARA
researchProduct

Erratum to “Orbit sizes, character degrees and Sylow subgroups” [Adv. Math. 184 (2004) 18–36]

2004

AlgebraMathematics(all)Pure mathematicsCharacter (mathematics)General MathematicsSylow theoremsOrbit (control theory)MathematicsAdvances in Mathematics
researchProduct

On mutually permutable products of finite groups

2005

Abstract In this paper a structural theorem about mutually permutable products of finite groups is obtained. This result is used to derive some results on mutually permutable products of groups whose chief factors are simple. Some earlier results on mutually permutable products of supersoluble groups appear as particular cases.

AlgebraMathematics::CombinatoricsAlgebra and Number TheoryStructural theoremSimple (abstract algebra)Permutable primeMathematicsJournal of Algebra
researchProduct

Nilpotent and abelian Hall subgroups in finite groups

2015

[EN] We give a characterization of the finite groups having nilpotent or abelian Hall pi-subgroups that can easily be verified using the character table.

AlgebraNilpotentPure mathematicsApplied MathematicsGeneral MathematicsSylow theoremsabelian Hall subgroupsAbelian groupSYLOWMATEMATICA APLICADAnilpotent all subgroupsfinite groupsMathematics
researchProduct