olymmath

SCHWEITZER 1952 Problem 5

    Let GG be anon-commutative group. Consider all the one-to-one mappings a→a′a\rightarrow a' of GG onto itself such that (ab)′=b′a′(ab)'=b'a' (i.e. the anti-automorphisms of GG ). Prove that this mappings together with the automorphisms of GG constitute a group which contains the group of the automorphisms of GG as direct factor.

    Dataset text AI-MO AoPS. Quoted with source.

    Solutions

    No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.

    Add a solution

    Similar problems

    These problems have the most words in common with this statement.

    Locator schweitzer/1952/p5 · Tag 3J64TZW49N · Edit this page on GitHub · Keys: j next, k previous