منابع مشابه
Embedding Problems and Finite Quotients
We give a condition on a family of solutions of quotients of an embedding problem which implies the embedding problem has a solution. This shows, in particular, that to solve an embedding problem associated to the maximal extension of a number field unramified outside a fixed finite set of places, it suffices to find a solution for each finite quotient of the embedding problem. This statement i...
متن کاملEmbedding problems of division algebras
A finite group G is called admissible over a given field if there exists a central division algebra that contains a G-Galois field extension as a maximal subfield. We give a definition of embedding problems of division algebras that extends both the notion of embedding problems of fields as in classical Galois theory, and the question which finite groups are admissible over a field. In a recent...
متن کاملClique Irreducibility and Clique Vertex Irreducibility of Graphs
A graphs G is clique irreducible if every clique in G of size at least two, has an edge which does not lie in any other clique of G and is clique reducible if it is not clique irreducible. A graph G is clique vertex irreducible if every clique in G has a vertex which does not lie in any other clique of G and clique vertex reducible if it is not clique vertex irreducible. The clique vertex irred...
متن کاملSubwords: automata, embedding problems, and verification
The increasing use of software and automated systems has made it important to ensure their correct behaviour. Bugs can not only have significant financial costs, but also catastrophic consequences in mission-critical systems. Testing against a variety of environments and inputs helps with discovering bugs, but cannot guarantee their absence. Formal verification is the technique that establishes...
متن کاملSymplectic Embedding Problems, Old and New
We describe old and new motivations to study symplectic embedding problems, and we discuss a few of the many old and the many new results on symplectic embeddings.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Algebra
سال: 2012
ISSN: 0021-8693
DOI: 10.1016/j.jalgebra.2012.01.024