## 89 Citations

### On Computational Complexity of Automorphism Groups in Classical Planning

- MathematicsICAPS
- 2019

In a series of reductions, it is shown that computing the automorphism group of a grounded planning task is GI-hard.

### Prehistory of the Concept of Mathematical Structure: Isomorphism Between Group Theory, Crystallography, and Philosophy

- PhilosophyThe Mathematical Intelligencer
- 2012

I n the historical note concluding his fascicle on structures published in 1957, the Bourbaki group asserts that ‘‘every structure carries within itself a notion of isomorphism.’’ 1 The same note…

### Prehistory of the Concept of Mathematical Structure: Isomorphism Between Group Theory, Crystallography, and Philosophy

- Mathematics
- 2012

### A comic page for the first isomorphism theorem

- MathematicsJournal of Mathematics and the Arts
- 2022

Given a homomorphism between algebras, there exists an isomorphism between the quotient of the domain by its kernel and the subalgebra in the codomain given by its image. This theorem, commonly known…

### On the Extensions of Zassenhaus Lemma and Goursat’s Lemma to Algebraic Structures

- MathematicsJournal of Mathematics
- 2022

<jats:p>The Jordan–Hölder theorem is proved by using Zassenhaus lemma which is a generalization of the Second Isomorphism Theorem for groups. Goursat’s lemma is a generalization of Zassenhaus lemma,…

### Formalization of Ring Theory in PVS

- MathematicsJ. Autom. Reason.
- 2021

The paper presents the formalization of the general algebraic-theoretical version of the Chinese remainder theorem (CRT) for the theory of rings, as given in abstract algebra textbooks, proved as a consequence of the first isomorphism theorem.

### Profinite Groups and Infinite Galois Extensions

- Mathematics
- 2019

In the 1930’s Wolfgang Krull extended the fundamental theorem of Galois theory to infinite Galois extension via introducing a topology on the Galois group. This gave a correspondence between closed…

### Dedekind semidomains

- Mathematics
- 2019

We define Dedekind semidomains as semirings in which each nonzero fractional ideal is invertible. Then we find some equivalent condition for semirings to being Dedekind. For example, we prove that a…