Search results for "Counterexample"

showing 10 items of 48 documents

A reduction theorem for a conjecture on products of two π -decomposable groups

2013

[EN] For a set of primes pi, a group X is said to be pi-decomposable if X = X-pi x X-pi' is the direct product of a pi-subgroup X-pi and a pi'-subgroup X-pi', where pi' is the complementary of pi in the set of all prime numbers. The main result of this paper is a reduction theorem for the following conjecture: "Let pi be a set of odd primes. If the finite group G = AB is a product of two pi-decomposable subgroups A = A(pi) x A(pi') and B = B-pi x B-pi', then A(pi)B(pi) = B(pi)A(pi) and this is a Hall pi-subgroup of G." We establish that a minimal counterexample to this conjecture is an almost simple group. The conjecture is then achieved in a forthcoming paper. (C) 2013 Elsevier Inc. All ri…

Discrete mathematicsFinite groupConjectureAlgebra and Number TheoryGroup (mathematics)Prime numberProducts of subgroupsFinite groupsHall subgroupsCombinatoricsLocally finite groupSimple grouppi-structureMATEMATICA APLICADAMinimal counterexampleDirect productpi-decomposable groupsMathematicsJournal of Algebra
researchProduct

A note on Taskinen's counterexamples on the problem of topologies of Grothendieck

1989

By the work of Taskinen (see [4, 5]), we know that there is a Fréchet space E such that Lb(E, l2) is not a (DF)-space. Moreover there is a Fréchet–Montel space F such that is not (DF). In this second example, the duality theorem of Buchwalter (cf. [2, §45.3]) can be applied to obtain that and hence is a (gDF)-space (cf. [1, Ch. 12 or 3, Ch. 8]). The (gDF)-spaces were introduced by several authors to extend the (DF)-spaces of Grothendieck and to provide an adequate frame to consider strict topologies.

Discrete mathematicsFréchet spaceGeneral MathematicsFrame (networking)ComputingMethodologies_DOCUMENTANDTEXTPROCESSINGSpace (mathematics)Network topologyMathematicsCounterexampleProceedings of the Edinburgh Mathematical Society
researchProduct

The existence of an a.c.i.p.m. for an expanding map of the interval; the study of a counterexample

1989

Discrete mathematicsGeneral Earth and Planetary SciencesInterval (graph theory)General Environmental ScienceMathematicsCounterexampleBanach Center Publications
researchProduct

Compound conditionals, Fr\'echet-Hoeffding bounds, and Frank t-norms

2021

Abstract In this paper we consider compound conditionals, Frechet-Hoeffding bounds and the probabilistic interpretation of Frank t-norms. By studying the solvability of suitable linear systems, we show under logical independence the sharpness of the Frechet-Hoeffding bounds for the prevision of conjunctions and disjunctions of n conditional events. In addition, we illustrate some details in the case of three conditional events. We study the set of all coherent prevision assessments on a family containing n conditional events and their conjunction, by verifying that it is convex. We discuss the case where the prevision of conjunctions is assessed by Lukasiewicz t-norms and we give explicit s…

Discrete mathematicsSettore MAT/06 - Probabilita' E Statistica MatematicaLogical independenceFrank t-normsApplied MathematicsLinear systemProbabilistic logicRegular polygon02 engineering and technologyConjunction and disjunctionConditional previsionTheoretical Computer ScienceConvexityFréchet-Hoeffding boundArtificial Intelligence020204 information systems0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingPairwise comparisonCoherenceSoftwareMathematics - ProbabilityCounterexampleMathematicsCorresponding conditional
researchProduct

On the continuity of discrete maximal operators in Sobolev spaces

2014

We investigate the continuity of discrete maximal operators in Sobolev space W 1;p (R n ). A counterexample is given as well as it is shown that the continuity follows under certain sucient assumptions. Especially, our research verifies that for the continuity in Sobolev spaces the role of the partition of the unity used in the construction of the maximal operator is very delicate.

Discrete mathematicsSobolev spaceGeneral Mathematicsta111Maximal operatorPartition (number theory)Modulus of continuityCounterexampleSobolev inequalitySobolev spaces for planar domainsMathematicsAnnales Academiae Scientiarum Fennicae Mathematica
researchProduct

Partial Finitely Generated Bi-Ideals

2016

Partial words have been studied by Blanchet-Sadri et al., but bi-ideals or reccurrent words have been studied for centuries by many researchers. This paper gives a solution for some problems for partial reccurrent words. This paper gives an algorithm for a given finitely generated bi-ideal, how to construct a new basis of ultimately finitely generated bi-ideal, which generates the same given bi-ideal. The paper states that it is always possible to find a basis for a given finitely generated bi-ideal. The main results of this paper are presented in third section. At first, we show that if two irreduciable bi-ideals are different, they will differ in infinitely many places. This led to the st…

Discrete mathematicsStatement (computer science)Mathematics::Commutative Algebra020207 software engineering0102 computer and information sciences02 engineering and technologyBasis (universal algebra)01 natural sciencesElectronic mailSection (category theory)Stallings theorem about ends of groups010201 computation theory & mathematics0202 electrical engineering electronic engineering information engineeringFinitely-generated abelian groupFinite setCounterexampleMathematics2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)
researchProduct

Images and Preimages of Null Sets

2013

In this chapter we study conditions that guarantee that our mapping maps sets of measure zero to sets of measure zero. We start with the problem in general Sobolev spaces, after which we establish a better result for mappings of finite distortion. Then we introduce a natural class of counterexamples to statements of this type and finally we give a weak condition under which the preimage of a set of measure zero has measure zero for mappings of finite distortion.

Distortion (mathematics)Sobolev spaceSet (abstract data type)Null setPure mathematicsNull (mathematics)Type (model theory)Natural classCounterexampleMathematics
researchProduct

Erratum: An Inverse Backscatter Problem for Electric Impedance Tomography

2011

We fix an incorrect statement from our paper [M. Hanke, N. Hyvonen, and S. Reusswig, SIAM J. Math. Anal., 41 (2009), pp. 1948–1966] claiming that two different perfectly conducting inclusions necessarily have different backscatter in impedance tomography. We also present a counterexample to show that this kind of nonuniqueness does indeed occur.

Electric impedance tomographyBackscatterApplied Mathematicsta111Mathematical analysisInverseUniqueness theoremBackscatterComputational MathematicsUniqueness theorem for Poisson's equationElectric impedance tomographyTomographyElectrical impedanceAnalysisCounterexampleMathematicsSIAM Journal on Mathematical Analysis
researchProduct

Conjunction of Conditional Events and t-Norms

2019

We study the relationship between a notion of conjunction among conditional events, introduced in recent papers, and the notion of Frank t-norm. By examining different cases, in the setting of coherence, we show each time that the conjunction coincides with a suitable Frank t-norm. In particular, the conjunction may coincide with the Product t-norm, the Minimum t-norm, and Lukasiewicz t-norm. We show by a counterexample, that the prevision assessments obtained by Lukasiewicz t-norm may be not coherent. Then, we give some conditions of coherence when using Lukasiewicz t-norm

Frank t-norm.Settore MAT/06 - Probabilita' E Statistica MatematicaConjunction02 engineering and technologyCoherence (statistics)01 natural sciencesConjunction (grammar)Mathematics::Logic010104 statistics & probabilitySettore SECS-S/06 -Metodi Mat. dell'Economia e d. Scienze Attuariali e Finanz.Product (mathematics)0202 electrical engineering electronic engineering information engineeringCalculus020201 artificial intelligence & image processing0101 mathematicsCoherenceConditional EventCounterexampleMathematics
researchProduct

An infinite family of counterexamples to a conjecture on positivity

2021

Recently, G. Mason has produced a counterexample of order 128 to a conjecture in conformal field theory and tensor category theory in [Ma]. Here we easily produce an infinite family of counterexamples, the smallest of which has order 72.

Frobenius–Schur indicatorPure mathematicsAlgebra and Number TheoryConjectureConformal field theoryTensor (intrinsic definition)Order (group theory)Geometry and TopologyCategory theoryMathematical PhysicsAnalysisMathematicsCounterexampleRendiconti del Seminario Matematico della Università di Padova
researchProduct