This website contains problems from math contests. Problems and corresponding tags were obtained from the Art of Problem Solving website.

Tags were heavily modified to better represent problems.

AND
OR
NO

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]