Search results for "algebra"
showing 10 items of 4129 documents
Finite groups with all minimal subgroups solitary
2016
We give a complete classification of the finite groups with a unique subgroup of order p for each prime p dividing its order. All the groups considered in this paper will be finite. One of the most fruitful lines in the research in abstract group theory during the last years has been the study of groups in which the members of a certain family of subgroups satisfy a certain subgroup embedding property. The family of the subgroups of prime order (also called minimal subgroups) has attracted the interest of many mathematicians. For example, a well-known result of Itˆo (see [8, Kapitel III, Satz 5.3; 9]) states that a group of odd order with all minimal subgroups in the center is nilpotent. Th…
On the Frattini subgroup of a finite group
2016
We study the class of finite groups $G$ satisfying $\Phi (G/N)= \Phi(G)N/N$ for all normal subgroups $N$ of $G$. As a consequence of our main results we extend and amplify a theorem of Doerk concerning this class from the soluble universe to all finite groups and answer in the affirmative a long-standing question of Christensen whether the class of finite groups which possess complements for each of their normal subgroups is subnormally closed.
Algebraic singularities have maximal reductive automorphism groups
1989
LetX = On/ibe an analytic singularity where ṫ is an ideal of theC-algebraOnof germs of analytic functions on (Cn, 0). Letdenote the maximal ideal ofXandA= AutXits group of automorphisms. An abstract subgroupequipped with the structure of an algebraic group is calledalgebraic subgroupofAif the natural representations ofGon all “higher cotangent spaces”are rational. Letπbe the representation ofAon the first cotangent spaceandA1=π(A).
The action of a compact Lie group on nilpotent Lie algebras of type {{n,2}}
2015
Abstract We classify finite-dimensional real nilpotent Lie algebras with 2-dimensional central commutator ideals admitting a Lie group of automorphisms isomorphic to SO 2 ( ℝ ) ${{\mathrm{SO}}_{2}(\mathbb{R})}$ . This is the first step to extend the class of nilpotent Lie algebras 𝔥 ${{\mathfrak{h}}}$ of type { n , 2 } ${\{n,2\}}$ to solvable Lie algebras in which 𝔥 ${{\mathfrak{h}}}$ has codimension one.
A note on *-derivations of partial *-algebras
2012
A definition of *-derivation of partial *-algebra through a sufficient family of ips-forms is proposed.
Partial-order reduction for parity games and parameterised Boolean equation systems
2022
AbstractIn model checking, reduction techniques can be helpful tools to fight the state-space explosion problem. Partial-order reduction (POR) is a well-known example, and many POR variants have been developed over the years. However, none of these can be used in the context of model checking stutter-sensitive temporal properties. We propose POR techniques for parity games, a well-established formalism for solving a variety of decision problems, including model checking. As a result, we obtain the first POR method that is sound for the full modal $$\upmu $$ μ -calculus. We show how our technique can be applied to the fixed point logic called parameterised Boolean equation systems, which pro…
A Complete, Exact and Efficient Implementation for Computing the Edge-Adjacency Graph of an Arrangement of Quadrics
2011
International audience; We present a complete, exact and efficient implementation to compute the edge-adjacency graph of an arrangement of quadrics, i.e. surfaces of algebraic degree 2. This is a major step towards the computation of the full 3D arrangement. We enhanced an implementation for an exact parameterization of the intersection curves of two quadrics, such that we can compute the exact parameter value for intersection points and from that the edge-adjacency graph of the arrangement. Our implementation is complete in the sense that it can handle all kinds of inputs including all degenerate ones, i.e. singularities or tangential intersection points. It is exact in that it always comp…
Codimensions of algebras with additional structures
2022
Let A be an associative algebra endowed with an automorphism or an antiautomorphism phi of order <= 2. One associates to A, in a natural way, a numerical sequence c(n)(phi)(A), n = 1, 2, ... , called the sequence of phi-codimensions of A which is the main tool for the quantitative investigation of the polynomial identities satisfied by A. In [13] it was proved that such a sequence is eventually nondecreasing in case phi is an antiautomorphism. Here we prove that it still holds in case phi is an automorphism and present some recent results about the asymptotics of c(n)(phi)(A).
Pintojen perusryhmistä
2015
Tässä tutkielmassa osoitetaan ennestään tunnettu pintoihin liittyvä tulos, jonka mukaan epäkompaktin pinnan perusryhmä on vapaa. Todistus pohjautuu tietoon siitä, että jokaisella pinnalla on olemassa niin sanottu kolmiointi. Pinnan kolmiointia hyödyntäen pinta tyhjennetään sopivilla sisäkkäisillä kompakteilla reunallisilla pinnoilla siten, että pinnan perus ryhmä saadaan näiden kompaktien reunallisten pintojen sisäkkäisten pe rusryhmien yhdisteenä. Kompakti reunallinen pinta osoitetaan homotopia ekvivalentiksi graafin kanssa deformaatioretraktoimalla reunallinen pinta graafiksi reunallisen pinnan kolmiointia hyödyntäen. Koska homotopiaekvi valenttien avaruuksien perusryhmät ovat isomorfiset…
Hetero-difunctional dimers as building blocks for the synthesis of poly(amidoamine)s with hetero-difunctional chain terminals and their derivatives
2012
This article reports on a simple and straightforward preparation method of poly(amidoamine)s (PAAs) with hetero-difunctional chain ends as well as of several up to now hardly obtainable PAA derivatives of biotechnological interest, such as for instance PAAs of controlled molecular weight and narrow polydispersity mono-functionalized at one end with an acrylamide group, PAAs with star-like molecular architecture, graft-PAA-protein conjugates, “tadpole-like” PAA conjugates with hydrophobic moieties able to self assemble into nanoparticles in aqueous media. The key step was to design suitable building blocks consisting of hetero-difunctional dimers (HDDs). In particular, the HDDs considered we…