Olympiad problems

2000 Romania National Olympiad, 3

We say that the abelian group $ G $ has property [i](P)[/i] if, for any commutative group $ H, $ any $ H’\le H $ and any momorphism $ \mu’:H\longrightarrow G, $ there exists a morphism $ \mu :H\longrightarrow G $ such that $ \mu\bigg|_{H’} =\mu’ . $ Show that: [b]a)[/b] the group $ \left( \mathbb{Q}^*,\cdot \right) $ hasn’t property [i](P).[/i] [b]b)[/b] the group $ \left( \mathbb{Q}, +\right) $ has property [i](P).[/i]

2011 District Olympiad, 2

Tags: superior algebra , morphisms , group theory

Let $ G $ be the set of matrices of the form $ \begin{pmatrix} a&b\\0&1 \end{pmatrix} , $ with $ a,b\in\mathbb{Z}_7,a\neq 0. $ [b]a)[/b] Verify that $ G $ is a group. [b]b)[/b] Show that $ \text{Hom}\left( (G,\cdot) ; \left( \mathbb{Z}_7,+ \right) \right) =\{ 0\} $

2017 District Olympiad, 2

Tags: group theory , morphisms , abstract algebra , superior algebra

Let be a group and two coprime natural numbers $ m,n. $ Show that if the applications $ G\ni x\mapsto x^{m+1},x^{n+1} $ are surjective endomorphisms, then the group is commutative.

2018 Ramnicean Hope, 3

Tags: morphisms , endomorphisms , Automorphisms , Ring Theory , function , polynomial ring

[b]a)[/b] Let $ u $ be a polynom in $ \mathbb{Q}[X] . $ Prove that the function $ E_u:\mathbb{Q}[X]\longrightarrow\mathbb{Q}[X] $ defined as $ E_u(P)=P(u) $ is an endomorphism. [b]b)[/b] Let $ E $ be an injective endomorphism of $ \mathbb{Q} [X] . $ Show that there exists a nonconstant polynom $ v $ in $ \mathbb{Q}[X] $ such that $ E(P)=P(v) , $ for any $ P $ in $ \mathbb{Q}[X] . $ [b]c)[/b] Let $ A $ be an automorphism of $ \mathbb{Q}[X] . $ Demonstrate that there is a nonzero constant polynom $ w $ in $ \mathbb{Q}[X] $ which has the property that $ A(P)=P(w) , $ for any $ P $ in $ \mathbb{Q}[X] . $ [i]Marcel Țena[/i]

2002 District Olympiad, 2

Tags: superior algebra , morphisms , product rings , Ring Theory

[b]a)[/b] Show that, for any distinct natural numbers $ m,n, $ the rings $ \mathbb{Z}_2\times \underbrace{\cdots}_{m\text{ times}} \times\mathbb{Z}_2,\mathbb{Z}_2\times \underbrace{\cdots}_{n\text{ times}} \times\mathbb{Z}_2 $ are homomorphic, but not isomorphic. [b]b)[/b] Show that there are infinitely many pairwise nonhomomorphic rings of same order.