Found problems: 183
Let $ K$ be a subset of a group $ G$ that is not a union of lift cosets of a proper subgroup. Prove that if $ G$ is a torsion group or if $ K$ is a finite set, then the subset \[ \bigcap _{k \in K} k^{-1}K\] consists of the identity alone.
[i]L. Redei[/i]
Let $(G,\cdot)$ be a group and let $F$ be the set of elements in the group $G$ of finite order. Prove that if $F$ is finite, then there exists a positive integer $n$ such that for all $x\in G$ and for all $y\in F$, we have
\[ x^n y = yx^n. \]
We say that the rank of a group $ G$ is at most $ r$ if every subgroup of $ G$ can be generated by at most $ r$ elements. Prove
that here exists an integer $ s$ such that for every finite group $ G$ of rank $ 2$ the commutator series of $ G$ has length less than $ s$.
[i]J. Erdos[/i]
Let $ I$ be an ideal of the ring $ R$ and $ f$ a nonidentity permutation of the set $ \{ 1,2,\ldots, k \}$ for some $ k$. Suppose that for every $ 0 \not\equal{} a \in R, \;aI \not\equal{} 0$ and $ Ia \not\equal{}0$ hold; furthermore, for any elements $ x_1,x_2,\ldots ,x_k \in I$, \[ x_1x_2\ldots x_k\equal{}x_{1f}x_{2f}\ldots x_{kf}\] holds. Prove that $ R$ is commutative.
[i]R. Wiegandt[/i]
Let $a_1, a_2,...,a_{51}$ be non-zero elements of a field of characteristic $p$. We simultaneously replace each element with the sum of the 50 remaining ones. In this way we get a sequence $b_1, ... , b_{51}$. If this new sequence is a permutation of the original one, find all possible values of $p$.
Unless of isomorphisms, how many simple four-vertex graphs are there?
Let $ R$ be a finite commutative ring. Prove that $ R$ has a multiplicative identity element $ (1)$ if and only if the annihilator of $ R$ is $ 0$ (that is, $ aR\equal{}0, \;a\in R $ imply $ a\equal{}0$).
Let $A,B\in M_2(\mathbb Z)$ s.t. $AB=\begin{pmatrix}1&2005\\0&1\end{pmatrix}$. Prove that there is a matrix $C\in M_2(\mathbb Z)$ s.t. $BA=C^{2005}$.
[i]Dinu Serbanescu[/i]
Let $F$ be a field whose characteristic is not $2$, let $F^*=F\setminus\left\{0\right\}$ be its multiplicative group and let $T$ be the subgroup of $F^*$ constituted by its finite order elements. Prove that if $T$ is finite, then $T$ is cyclic and its order is even.
Let $G$ be a hyper elementary abelian $p-$group and let $f : G \rightarrow G$ be a homomorphism. Then prove that $\ker f$ is isomorphic to $\mathrm{coker} f$.
Prove that in Euclidean ring $ R$ the quotient and remainder are always uniquely determined if and only if $ R$ is a polynomial ring over some field and the value of the norm is a strictly monotone function of the degree of the polynomial. (To be precise, there are two trivial cases: $ R$ can also be a field or the null ring.)
[i]E. Fried[/i]
Let $ S$ be a semigroup without proper two-sided ideals and suppose that for every $ a,b \in S$ at least one of the products $ ab$ and $ ba$ is equal to one of the elements $ a,b$. Prove that either $ ab\equal{}a$ for all $ a,b \in S$ or $ ab\equal{}b$ for all $ a,b \in S$.
[i]L. Megyesi[/i]
Let $ 0\neq\varrho\in\text{Hom}\left( \mathbb{Z}_4,\mathbb{Z}_2\right) ,$ $ \text{id}\neq\iota\in\text{Aut}\left( \mathbb{Z}_4\right) ,$ $ G:=\left\{ (x,y)\in\mathbb{Z}_4^2\big|x-y\in\ker\varrho\right\} , $ and $ \rho_1,\rho_2, $ the canonic projections of $ G $ into $ \mathbb{Z}_4. $
Prove that there exists an unique $ \nu\in\text{Hom}\left( \mathbb{Z}_4,G\right) $ such that $ \rho_1\circ\nu=\text{id} $ and $ \rho_2\circ\nu =\iota . $ Determine numerically this morphism.
Let $ p\geq 7$ be a prime number, $ \zeta$ a primitive $ p$th root of unity, $ c$ a rational number. Prove that in the additive group generated by the numbers $ 1,\zeta,\zeta^2,\zeta^3\plus{}\zeta^{\minus{}3}$ there are only finitely many elements whose norm is equal to $ c$. (The norm is in the $ p$th cyclotomic field.)
[i]K. Gyory[/i]
Let $K$ be a field having $q=p^n$ elements, where $p$ is a prime and $n\ge 2$ is an arbitrary integer number. For any $a\in K$, one defines the polynomial $f_a=X^q-X+a$. Show that:
$a)$ $f=(X^q-X)^q-(X^q-X)$ is divisible by $f_1$;
$b)$ $f_a$ has at least $p^{n-1}$ essentially different irreducible factors $K[X]$.
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]
Let $ G$ be finite group and $ \mathcal{K}$ a conjugacy class of $ G$ that generates $ G$. Prove that the following two statements are equivalent:
(1) There exists a positive integer $ m$ such that every element of $ G$ can be written as a product of $ m$ (not necessarily distinct) elements of $ \mathcal{K}$.
(2) $ G$ is equal to its own commutator subgroup.
[i]J. Denes[/i]
Let $ A$ be a commutative unitary ring with an odd number of elements.
Prove that the number of solutions of the equation $ x^2 \equal{} x$ (in $ A$) divides the number of invertible elements of $ A$.
Let $R$ be a ring of characteristic zero. Let $e,f,g\in R$ be idempotent elements (an element $x$ is called idempotent if $x^2=x$) satisfying $e+f+g=0$. Show that $e=f=g=0$.
Let $A=(a_{ij})_{i, j=1}^n$ be a symmetric $n\times n$ matrix with real entries, and let $\lambda _1, \lambda _2, \dots, \lambda _n$ denote its eigenvalues. Show that
$$\sum_{1\le i<j\le n} a_{ii}a_{jj}\ge \sum_{1\le i < j\le n} \lambda _i \lambda _j$$
and determine all matrices for which equality holds.
(Proposed by Matrin Niepel, Comenius University, Bratislava)
Let \[ f(x)\equal{}a_0\plus{}a_1x\plus{}a_2x^2\plus{}a_{10}x^{10}\plus{}a_{11}x^{11}\plus{}a_{12}x^{12}\plus{}a_{13}x^{13} \; (a_{13} \not\equal{}0) \] and \[ g(x)\equal{}b_0\plus{}b_1x\plus{}b_2x^2\plus{}b_{3}x^{3}\plus{}b_{11}x^{11}\plus{}b_{12}x^{12}\plus{}b_{13}x^{13} \; (b_{3} \not\equal{}0) \]
be polynomials over the same field. Prove that the degree of their greatest common divisor is at least $ 6$.
[i]L. Redei[/i]
Let $(A,+,\cdot)$ a 9 elements ring. Prove that the following assertions are equivalent:
(a) For any $x\in A\backslash\{0\}$ there are two numbers $a\in \{-1,0,1\}$ and $b\in \{-1,1\}$ such that $x^2+ax+b=0$.
(b) $(A,+,\cdot)$ is a field.
If A,B are invertible and the set {A<sup>k</sup> - B<sup>k</sup> | k is a natural number} is finite , then there exists a natural number m such that A<sup>m</sup> = B<sup>m</sup>.
suppose that $p$ is a prime number. find that smallest $n$ such that there exists a non-abelian group $G$ with $|G|=p^n$.
SL is an acronym for Special Lesson. this year our special lesson was Groups and Symmetries.
the exam time was 5 hours.
Let $ G$ be a group such that if $ a,b\in \mathbb{G}$ and $ a^2b\equal{}ba^2$, then $ ab\equal{}ba$.
i)If $ G$ has $ 2^n$ elements, prove that $ G$ is abelian.
ii) Give an example of a non-abelian group with $ G$'s property from the enounce.