Found problems: 183
Let $ G$ be an infinite compact topological group with a Hausdorff topology. Prove that $ G$ contains an element $ g \not\equal{} 1$ such that the set of all powers of $ g$ is either everywhere dense in $ G$ or nowhere dense in $ G$.
[i]J. Erdos[/i]
Let $K\subseteq \mathbb C$ be a field with the operations from $\mathbb C$ s.t.
i) K has exactly two endomorphisms, namely f and g
ii) if f(x)=g(x) then $x\in\mathbb Q$.
Prove that there exists an integer $d\neq 1$ free from squares so that $K=\mathbb Q(\sqrt d)$.
Let $A$ be a ring.
$a)$ Show that the set $Z(A)=\{a\in A|ax=xa,\ \text{for all}\ x\in A\}$ is a subring of the ring $A$.
$b)$ Prove that, if any commutative subring of $A$ is a field, then $A$ is a field.
Let $A$ be an abelian additive group such that all nonzero elements have infinite order and for each prime number $p$ we have the inequality $|A/pA|\leq p$, where $pA = \{pa |a \in A\}$, $pa = a+a+\cdots+a$ (where the sum has $p$ summands) and $|A/pA|$ is the order of the quotient group $A/pA$ (the index of the subgroup $pA$).
Prove that each subgroup of $A$ of finite index is isomorphic to $A$.
Let $ m $ be a non-negative ineger, $ n\ge 2 $ be a natural number, $ A $ be a ring which has exactly $ n $ elements, and an element $ a $ of $ A $ such that $ 1-a^k $ is invertible, for all $ k\in\{ m+1,m+2,...,m+n-1\} . $
Prove that $ a $ is nilpotent.
Consider the following statement: for any permutation $\pi_1\not=\mathbb{I}$ of $\{1,2,...,n\}$ there is a permutation $\pi_2$ such that any permutation on these numbers can be obtained by a finite compostion of $\pi_1$ and $\pi_2$.
(a) Prove the statement for $n=3$ and $n=5$.
(b) Disprove the statement for $n=4$.
Let $\mathcal K$ be a field with $2^{n}$ elements, $n \in \mathbb N^\ast$, and $f$ be the polynomial $X^{4}+X+1$. Prove that:
(a) if $n$ is even, then $f$ is reducible in $\mathcal K[X]$;
(b) if $n$ is odd, then $f$ is irreducible in $\mathcal K[X]$.
[hide="Remark."]I saw the official solution and it wasn't that difficult, but I just couldn't solve this bloody problem.[/hide]
For a group $\left( G, \star \right)$ and $A, B$ two non-void subsets of $G$, we define $A \star B = \left\{ a \star b : a \in A \ \text{and}\ b \in B \right\}$.
(a) Prove that if $n \in \mathbb N, \, n \geq 3$, then the group $\left( \mathbb Z \slash n \mathbb Z,+\right)$ can be writen as $\mathbb Z \slash n \mathbb Z = A+B$, where $A, B$ are two non-void subsets of $\mathbb Z \slash n \mathbb Z$ and $A \neq \mathbb Z \slash n \mathbb Z, \, B \neq \mathbb Z \slash n \mathbb Z, \, \left| A \cap B \right| = 1$.
(b) If $\left( G, \star \right)$ is a finite group, $A, B$ are two subsets of $G$ and $a \in G \setminus \left( A \star B \right)$, then prove that function $f : A \to G \setminus B$ given by $f(x) = x^{-1}\star a$ is well-defined and injective. Deduce that if $|A|+|B| > |G|$, then $G = A \star B$.
[hide="Question."]Does the last result have a name?[/hide]
Let $\displaystyle \mathcal K$ be a finite field. Prove that the following statements are equivalent:
(a) $\displaystyle 1+1=0$;
(b) for all $\displaystyle f \in \mathcal K \left[ X \right]$ with $\displaystyle \textrm{deg} \, f \geq 1$, $\displaystyle f \left( X^2 \right)$ is reducible.
Let $ G $ be a finite group of odd order having, at least, three elements. For $ a\in G $ denote $ n(a) $ as the number of ways $ a $ can be written as a product of two distinct elements of $ G. $
Prove that $ \sum_{\substack{a\in G\\a\neq\text{id}}} n(a) $ is a perfect square.
Prove that the number of nilpotent elements of a commutative ring with an order greater than $ 8 $ and congruent to $ 3 $ modulo $ 6 $ is at most a third of the order of the ring.
a) If $K$ is a finite extension of the field $F$ and $K=F(\alpha,\beta)$ show that $[K: F]\leq [F(\alpha): F][F(\beta): F]$
b) If $gcd([F(\alpha): F],[F(\beta): F])=1$ then does the above inequality always become equality?
c) By giving an example show that if $gcd([F(\alpha): F],[F(\beta): F])\neq 1$ then equality might happen.
Let $K$ be a finite field, $n \ge 2$ an integer, $f \in K[X]$ an irreducible polynomial of degree $n,$ and $g$ the product of all the nonconstant polynomials in $K[X]$ of degree at most $n-1.$ Prove that $f$ divides $g-1.$
Let $R$ be a ring where $\forall a\in R: a^2=0$. Prove that $abc+abc=0$ for all $a,b,c\in R$.
Let be a ring that has the property that all its elements are the product of two idempotent elements of it. Show that:
[b]a)[/b] $ 1 $ is the only unit of this ring.
[b]b)[/b] this ring is Boolean.
Prove that a nontrivial finite ring is not a skew field if and only if the equation $ x^n+y^n=z^n $ has nontrivial solutions in this ring for any natural number $ n. $
In the questions below: $G$ is a finite group; $H \leq G$ a subgroup of $G; |G : H |$ the index of $H$ in $G; |X |$ the number of elements of $X \subseteq G; Z (G)$ the center of $G; G'$ the commutator subgroup of $G; N_{G}(H )$ the normalizer of $H$ in $G; C_{G}(H )$ the centralizer of $H$ in $G$; and $S_{n}$ the $n$-th symmetric group.
Assume $|G'| = 2$. Prove that $|G : G'|$ is even.
Show that the set of all elements minus $ 0 $ of a finite division ring that has at least $ 4 $ elements can be partitioned into two nonempty sets $ A,B $ having the property that
$$ \sum_{x\in A} x=\prod_{y\in B} y. $$
In the questions below: $G$ is a finite group; $H \leq G$ a subgroup of $G; |G : H |$ the index of $H$ in $G; |X |$ the number of elements of $X \subseteq G; Z (G)$ the center of $G; G'$ the commutator subgroup of $G; N_{G}(H )$ the normalizer of $H$ in $G; C_{G}(H )$ the centralizer of $H$ in $G$; and $S_{n}$ the $n$-th symmetric group.
Let $a, b \in G.$ Suppose that $ab^{2}= b^{3}a$ and $ba^{2}= a^{3}b.$ Prove that $a = b = 1.$
Let $ R$ be an infinite ring such that every subring of $ R$ different from $ \{0 \}$ has a finite index in $ R$. (By the index of a subring, we mean the index of its additive group in the additive group of $ R$.) Prove that the additive group of $ R$ is cyclic.
[i]L. Lovasz, J. Pelikan[/i]
Let $\alpha \in \mathbb{C} \setminus \mathbb{Q}$ be such that the set $A= \{ a+b \alpha : a,b \in \mathbb{Z} \}$ is a ring with respect to the usual operations of $\mathbb{C}.$ If the ring $A$ has exactly four invertible elements, prove that $A= \mathbb{Z}[i].$
[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.
For a distributive lattice $ L$, consider the following two statements:
(A) Every ideal of $ L$ is the kernel of at least two different homomorphisms.
(B) $ L$ contains no maximal ideal.
Which one of these statements implies the other?
(Every homomorphism $ \varphi$ of $ L$ induces an equivalence relation on $ L$: $ a \sim b$ if and only if $ a \varphi\equal{}b \varphi$. We do not consider two homomorphisms different if they imply the same equivalence relation.)
[i]J. Varlet, E. Fried[/i]
In the questions below: $G$ is a finite group; $H \leq G$ a subgroup of $G; |G : H |$ the index of $H$ in $G; |X |$ the number of elements of $X \subseteq G; Z (G)$ the center of $G; G'$ the commutator subgroup of $G; N_{G}(H )$ the normalizer of $H$ in $G; C_{G}(H )$ the centralizer of $H$ in $G$; and $S_{n}$ the $n$-th symmetric group.
Show that every element of $S_{n}$ is a product of $2$-cycles.
Prove that if an infinite, noncommutative group $ G$ contains a proper normal subgroup with a commutative factor group, then $ G$ also contains an infinite proper normal subgroup.
[i]B. Csakany[/i]