Abstrakter Aufbau der Idealtheorie in algebraischen Zahl- und Funktionenkörpern

  title={Abstrakter Aufbau der Idealtheorie in algebraischen Zahl- und Funktionenk{\"o}rpern},
  author={Emmy Noether},
  journal={Mathematische Annalen},
  • E. Noether
  • Published 1 December 1927
  • Mathematics
  • Mathematische Annalen

On Computational Complexity of Automorphism Groups in Classical Planning

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

On a classical theorem of Noether in ideal theory.

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

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

A comic page for the first isomorphism theorem

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

<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

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

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

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